Неједнакост троугла једна је од најважнијих математичких неједнакости. Оригинално, везивана је за геометрију, конкретно чињеницу да је у троуглу збир дужина двеју произвољних страница увек већа од дужине преостале. Касније, ова идеја се проширила и на друге математичке просторе, првенствено на скуп реалних и скуп комплексних бројева и остале векторске просторе као особина норме, а потом је добила и своје уопштење на свим метричким просторима. „Неједнакост троугла”, Енциклопедија Британика. Приступљено: 19. април 2020.
Неједнакост троугла у Еуклидској геометрији
мини|Збир дужина двеју страница је увек већи од дужине треће.
Још је Еуклид показао да су, у произвољном троуглу, две странице, надограђене једна на другу, веће дужине од треће. То је и објавио у првој књизи својих „Елемената”, и то као пропозицију 20. Еуклидов доказ, „Елементи”. Приступљено: 19. април 2020. Математички записано, ако су , и дужине трију различитих страница троугла, тада важи
.
Јасно, збир дужина двеју страница никад не може бити једнак дужини треће, јер у том случају опажени троугао и не постоји, тј. у питању је само дуж — ово, између осталог, показује да је најкраће растојање двеју тачака управо дуж која их повезује. Такође, никада не може бити ни мања, што проистиче из особина метрика, јер се растојање у Еуклидском простору може посматрати као својеврсна метрика.„Неки примери метрика”, Небојша Динчић, стр. 26.
Неједнакост троугла се у случају Еуклидских простора може математичком индукцијом проширити и на произвољну полигонску (изломљену) линију. У овом облику, она казује да је дужина најкраћег пута између крајњих темена произвољне полигонске линије мања или једнака од збира дужина путева међу сваких двеју суседних темена, тј.
, где су темена полигонске линије, а стандардно Еуклидско растојање. „Од неједнакости троугла до изопериметричке неједнакости”, С. Кецаван. -{-{Resonance}-}-, -{Indian Academy of Sciences}-, стр. 136, издање Фебруар 2014.
Коначна последица овога је да је у произвољном полигону свака страница краћа од збира дужина свих осталих.
Неједнакост троугла код векторских норми
мини|Неједнакост троугла за векторе. Често се инензитет вектора посматра као његова дужина.
Норма је функција дефинисана над векторским простором , којом се мери интензитет вектора у пољу скалара . Да би нека функција била норма, мора, поред осталих, задовољити и услов неједнакости троугла, који гласи
, где су и вектори векторског простора ,
тј. интензитет збира вектора није већи од збира интензитета тих вектора.„Коначно димензиони векторски простори” , Драган Ђорђевић, стр. 65. Ово се може проширити математичком индукцијом на произвољан број вектора, тако да гласи
, где су вектори.
Неједнакост троугла на скупу комплексних и реалних бројева
Неједнакост троугла најпознатија је по својој примени на скупу реалних бројева, где се користи у облику законитости која се односи на апсолутну вредност збира бројева. Овде она гласи
.„Елементарне неједнакости”, Биљана Павков, стр. 8.
Ова неједнакост веома подсећа на ону са векторским нормама. То није случајно, јер се простор може схватити као векторски простор над самим собом, а апсолутна вредност је у том случају норма.„Линеарна алгебра скрипта”, Зоран Петрић, стр. 1.
Ова неједнакост се, међутим, може увидети и на други начин — преко скупа комплексних бројева. Они се, наиме, дефинишу као посебан векторски простор над пољем , и представљају пандан пољу , са нешто другачијом дефиницијом операције множења, али се сматрају и пољем.„Комплексни бројеви , стр. 1.„Комплексни бројеви и геометрија”, Слађана Бабић, стр. 1. Над овим пољем уводи се операција модуловања, и то као
, за произвољан комплексан број.Комплексни бројеви
Ово умногоме подсећа на дефиницију Еуклидског растојања, код увођења координатног система. И код операције модула важи неједнакост троугла, тј.
, за и комплексне бројеве.„Комплексни бројеви и Мебијусова пресликавања”, Дијана Авалић, стр. 14.
С обзиром да је скуп комплексних надскуп скупа реалних бројева, из дефиниције модула и апсолутне вредности се лако види да неједнакост троугла код реалних бројева проистиче из неједнакости за комплексне. Узрок овоме је чињеница да реални бројеви заправо комплексни код којих је имагинарни део броја једнак нули. „Реални, ирационални, комплексни”, -{Mathigon}-. Приступљено: 19. април 2020.
Неједнакост троугла код општих метричких простора
мини|Неједнакост троугла у случају метричких простора — раздаљина двеју тачака није већа од збира њихових раздаљина до произвољне треће тачке.
У метричком простору , да би пресликавање било метрика, мора да испуњава, између осталих, услов неједнакости троугла који у овом случају гласи
, где су , и произвољни елементи скупа . „О метричкој неједнакости троугла”, Александру Михај Бика.
Обратна неједнакост троугла
Оригинални став неједнакости троугла казује да је дужина сваке странице већа од разлике дужина осталих двеју. У геометријском слислу ово значи да за , и дужине трију страница троугла важи
.
У случају норме код векторских простора то, за и произвољне векторе, гласи
, „Доказ обратне неједнакости троугла” , Универзитет у Јути. Приступљено: 19. април 2020.
односно, за модуо комплексних бројева, па и апсолутну вредност реалних, ово, за и комплексне (или реалне) бројеве, изгледа
. „Неједнакост троугла” , Универзитет у Минесоти, стр. 1. Приступљено: 19. април 2020.
Код метричких простора, ово, пак, изгледа као
. Доказ обратне неједнакости троугла, -{Proof Wiki}-. Приступљено: 19. април 2020.
Види још
Метрички простор Векторски простор Еуклидска геометрија Комплексни бројеви
Референце
Категорија:Математика Категорија:Алгебра Категорија:Геометрија