Prvo rješenje.
Označimo duljine stranica trokuta s a, b i c, te bez smanjenja općenitosti pretpostavimo da je a≤b≤c.
To znači da postoji nenegativan realni broj x takav da je
a=b−xic=b+x.
Neka je β mjera kuta nasuprot stranice duljine b. Moramo dokazati da je β≤60∘.
Koristeći poučak o kosinusu računamo
cosβ=2cac2+a2−b2=2b2−2x2b2+2x2=21⋅b2−x2b2+2x2≥21.
Zadnja nejednakost vrijedi zato što je b2+2x2≥b2≥b2−x2>0.
Dakle, uistinu je β≤60∘.
Drugo rješenje.
Označimo duljine stranica trokuta s a, b i c, te bez smanjenja općenitosti pretpostavimo da je a≤b≤c. To znači da je
b=2a+c.
Neka je β mjera kuta nasuprot stranice duljine b. Moramo dokazati da je β≤60∘.
Koristeći poučak o kosinusu računamo
cosβ=2cac2+a2−b2=2aca2+c2−41(a2+2ac+c2)=41⋅2ac3a2+3c2−2ac=83(ca+ac)−41.
Budući da prema nejednakosti između aritmetičke i geometrijske sredine vrijedi
ca+ac≥2,
slijedi
cosβ≥83⋅2−41=21,
odakle je β≤60∘.
Napomena: Svođenjem na oblik
cosβ=8ac3a2+3c2−2ac
dovoljno je pokazati
8ac3a2+3c2−2ac≥21.
Budući da su a i c pozitivni brojevi, ovaj uvjet je ekvivalentan nejednakosti
3a2+3c2−2ac≥4ac,
odnosno a2−2ac+c2≥0. Budući da je a2−2ac+c2=(a−c)2, zaključujemo da posljednja nejednakost vrijedi, pa vrijedi i nejednakost koju je trebalo pokazati.