Неједнакост троугла

Неједнакост троугла једна је од најважнијих математичких неједнакости. Оригинално, везивана је за геометрију, конкретно чињеницу да је у троуглу збир дужина двеју произвољних страница увек већа од дужине преостале. Касније, ова идеја се проширила и на друге математичке просторе, првенствено на скуп реалних и скуп комплексних бројева и остале векторске просторе као особина норме, а потом је добила и своје уопштење на свим метричким просторима.[1]

Неједнакост троугла у Еуклидској геометрији

уреди
 
Збир дужина двеју страница је увек већи од дужине треће.

Још је Еуклид показао да су, у произвољном троуглу, две странице, надограђене једна на другу, веће дужине од треће. То је и објавио у првој књизи својих „Елемената”, и то као пропозицију 20.[2] Математички записано, ако су  ,   и   дужине трију различитих страница троугла, тада важи

 .

Јасно, збир дужина двеју страница никад не може бити једнак дужини треће, јер у том случају опажени троугао и не постоји, тј. у питању је само дуж — ово, између осталог, показује да је најкраће растојање двеју тачака управо дуж која их повезује. Такође, никада не може бити ни мања, што проистиче из особина метрика, јер се растојање у Еуклидском простору може посматрати као својеврсна метрика.[3]

Неједнакост троугла се у случају Еуклидских простора може математичком индукцијом проширити и на произвољну полигонску (изломљену) линију. У овом облику, она казује да је дужина најкраћег пута између крајњих темена произвољне полигонске линије мања или једнака од збира дужина путева међу сваких двеју суседних темена, тј.

 , где су   темена полигонске линије, а   стандардно Еуклидско растојање.[4]

Коначна последица овога је да је у произвољном полигону свака страница краћа од збира дужина свих осталих.

Неједнакост троугла код векторских норми

уреди
 
Неједнакост троугла за векторе. Често се инензитет вектора посматра као његова дужина.

Норма је функција   дефинисана над векторским простором  , којом се мери интензитет вектора у пољу скалара  . Да би нека функција била норма, мора, поред осталих, задовољити и услов неједнакости троугла, који гласи

 , где су   и   вектори векторског простора  ,

тј. интензитет збира вектора није већи од збира интензитета тих вектора.[5] Ово се може проширити математичком индукцијом на произвољан број вектора, тако да гласи

 , где су   вектори.

Неједнакост троугла на скупу комплексних и реалних бројева

уреди

Неједнакост троугла најпознатија је по својој примени на скупу реалних бројева, где се користи у облику законитости која се односи на апсолутну вредност збира бројева. Овде она гласи

 .[6]

Ова неједнакост веома подсећа на ону са векторским нормама. То није случајно, јер се простор   може схватити као векторски простор над самим собом, а апсолутна вредност је у том случају норма.[7]

Ова неједнакост се, међутим, може увидети и на други начин — преко скупа комплексних бројева. Они се, наиме, дефинишу као посебан векторски простор над пољем  , и представљају пандан пољу  , са нешто другачијом дефиницијом операције множења, али се сматрају и пољем.[8][9] Над овим пољем уводи се операција модуловања, и то као

 , за   произвољан комплексан број.[10]

Ово умногоме подсећа на дефиницију Еуклидског растојања, код увођења координатног система. И код операције модула важи неједнакост троугла, тј.

 , за   и   комплексне бројеве.[11]

С обзиром да је скуп комплексних надскуп скупа реалних бројева, из дефиниције модула и апсолутне вредности се лако види да неједнакост троугла код реалних бројева проистиче из неједнакости за комплексне. Узрок овоме је чињеница да реални бројеви заправо комплексни код којих је имагинарни део броја једнак нули.[12]

Неједнакост троугла код општих метричких простора

уреди
 
Неједнакост троугла у случају метричких простора — раздаљина двеју тачака није већа од збира њихових раздаљина до произвољне треће тачке.

У метричком простору  , да би пресликавање   било метрика, мора да испуњава, између осталих, услов неједнакости троугла који у овом случају гласи

 , где су  ,   и   произвољни елементи скупа  .[13]

Обратна неједнакост троугла

уреди

Оригинални став неједнакости троугла казује да је дужина сваке странице већа од разлике дужина осталих двеју. У геометријском слислу ово значи да за  ,   и   дужине трију страница троугла важи

 .

У случају норме код векторских простора то, за   и   произвољне векторе, гласи

 ,[14]

односно, за модуо комплексних бројева, па и апсолутну вредност реалних, ово, за и комплексне (или реалне) бројеве, изгледа

 .[15]

Код метричких простора, ово, пак, изгледа као

 .[16]

Види још

уреди

Референце

уреди
  1. ^ (језик: енглески) „Неједнакост троугла”, Енциклопедија Британика. Приступљено: 19. април 2020.
  2. ^ (језик: енглески) Еуклидов доказ, „Елементи”. Приступљено: 19. април 2020.
  3. ^ „Неки примери метрика”, Небојша Динчић, стр. 26.
  4. ^ (језик: енглески) „Од неједнакости троугла до изопериметричке неједнакости”, С. Кецаван. Resonance, Indian Academy of Sciences, стр. 136, издање Фебруар 2014.
  5. ^ „Коначно димензиони векторски простори”, Драган Ђорђевић, стр. 65.
  6. ^ „Елементарне неједнакости”, Биљана Павков, стр. 8.
  7. ^ „Линеарна алгебра скрипта”, Зоран Петрић, стр. 1.
  8. ^ „Комплексни бројеви Архивирано на сајту Wayback Machine (31. март 2020), стр. 1.
  9. ^ „Комплексни бројеви и геометрија”, Слађана Бабић, стр. 1.
  10. ^ Комплексни бројеви
  11. ^ „Комплексни бројеви и Мебијусова пресликавања”, Дијана Авалић, стр. 14.
  12. ^ (језик: енглески) „Реални, ирационални, комплексни”, Mathigon. Приступљено: 19. април 2020.
  13. ^ (језик: енглески) „О метричкој неједнакости троугла”, Александру Михај Бика.
  14. ^ (језик: енглески) „Доказ обратне неједнакости троугла” Архивирано на сајту Wayback Machine (8. фебруар 2020), Универзитет у Јути. Приступљено: 19. април 2020.
  15. ^ (језик: енглески) „Неједнакост троугла” Архивирано на сајту Wayback Machine (21. август 2020), Универзитет у Минесоти, стр. 1. Приступљено: 19. април 2020.
  16. ^ (језик: енглески) Доказ обратне неједнакости троугла, Proof Wiki. Приступљено: 19. април 2020.