50. Teorema. U trouglu svaka strana je manja od zbira dveju drugih strana.
Ako se u trouglu uzme ne najveća strana, onda je očevidno da će ona biti manja od zbira dveju drugih strana. Znači, treba pokazati da je najveća strana ipak manja od zbira dveju drugih strana.
Neka je u △ABC (sl. 55) AC najveća strana. Na produženje strane AB prenosimo BD=BC i povlačimo DC. Kako je △BDC ravnokraki, to je ∢D=∢DCB; stoga je ugao D manji od ugla DCA i, prema tome, u △ADC strana AC manja od AD (§ 47), tj. AC<AB+BD. Zamenom BD na BC, dobićemo: AC<AB+BC
Posledica: Oduzmimo od obeju strana dobijene nejednakosti po AB ili po BC:
AC-AB<BC
AC-BC<AB
Vidimo da je svaka od strana BC i AB veća od razlike drugih dveju strana. Pošto ovo svakako važi i za treću, najveću stranu AC, onda: u trouglu svaka strana veća je od razlike drugih dveju strana.
51. Teorema. Duž koja spaja ma koje dve tačke kraća je od svake izlomljene linije između tih tačaka.
Ako se izlomljena linija, o kojoj je ovde reč, sastoji samo od dve strane, onda je teorema tačna na osnovu dokaza u prethodnom stavu. Razmotrimo slučaj kada se izlomljena linija sastoji od 3 ili više strana.
Neka duž AE (sl. 56) spaja tačke A i E, a ABCDE - izlomljena linija koja spaja iste tačke. Treba dokazati da je AE manja od zbira AB + BC+ CD + DE.

Spajanjem A sa C i D nalazimo na osnovu prethodne teoreme:
AE<AD+DE
AD<AC+CD
AC<AB+BC
Sabiranjem ovih nejednakosti i oduzimanjem od obeju strana dobijene nejednakosti po AD i BC dobićemo:
AE<AB+BC+CD+DE.
52. Trouglovi sa dve odgovarajuće jednake strane
Teoreme. Ako su dve strane jednoga trougla jednake sa dve odgovarajuće strane drugoga trougla, onda:
1) naspram većeg zahvaćenog ugla leži i veća strana;
2) obrnuto: naspram veće od nejednakih strana leži i veći ugao.
1) Neka je u trouglovima ABC i A1B1C1 dato (sl. 57): AC=A1C1, AB=A1B1 i ∢A>∢A1; dokazati da je BC>B1C1. Stavimo △A1B1C1 na ABC tako da im se poklapaju strane A1C1 i AC.

Pošto je ∢A1<∢BAC, to će strana A1B1 pasti u unutrašnjosti ugla BAC; neka trougao A1B1C1 zauzme položaj AB2C (teme B2 može da padne ili van ABC, ili u njegovoj unutrašnjosti, ili pak na stranu BC; dokaz se može primeniti u sva ova tri slučaja). Povučemo simetralu AD ugla BAB2 i spojimo tačke D i B2; tada ćemo dobiti dva trougla ABD i ADB2, koji su podudarni (AD im je zajednička strana, AB=AB2 po pogodbi i ∢BAD=∢DAB2). Iz podudarnosti trouglova sleduje da je BD=DB2. Iz △DCB2 imamo: B2C<B2D+DC (§ 50) ili zamenom B2D sa BD:
B2C<BD+DC, znači B1C1<BC
2) Neka je u trouglovima ABC i A1B1C1 dato: AB=A1B1, AC=A1C1 i BC>B1C1; dokažimo da je ∢A>∢A1.
Pretpostavimo da ugao A nije veći od ugla A1. Tada se mogu pojaviti dva slučaja: ili ∢BAC=∢A1 ili ∢BAC<∢A1. U prvom slučaju trouglovi bi bili podudarni i onda bi strana BC bila jednaka strani B1C1, što se kosi sa pretpostavkom; u drugom slučaju strana BC (na osnovu prve teoreme) bila bi manja od strane B1C1, što se takođe kosi sa pretpostavkom. Znači, oba slučaja otpadaju i ostaje da je ∢A>∢A1.