
Izrazimo sve četiri duljine u danoj jednakosti preko b=∣AC∣, c=∣AB∣ i α=∠BAC.
U pravokutnom trokutu ACE vrijedi
cosα=∣AC∣∣AE∣,
pa je
∣AE∣=bcosα.
Odavde je
∣BE∣=∣AB∣−∣AE∣=c−bcosα.
Slično, u pravokutnom trokutu ABD vrijedi
∣AD∣=ccosα,∣CD∣=b−ccosα.
Uvrštavanjem u danu jednakost dobivamo
bcosα⋅ccosα=(c−bcosα)(b−ccosα).
To je ekvivalentno jednakosti
bccos2α=bc−c2cosα−b2cosα+bccos2α,
pa dobivamo
cosα=b2+c2bc.
Primjenom A–G nejednakosti slijedi
cosα=b2+c2bc≤2bcbc=21.
Budući da je 0∘<α<90∘, najmanja moguća vrijednost za α je 60∘.
Vrijednost α=60∘ postiže se kad je trokut ABC jednakostraničan. Ako je duljina njegove stranice a, tada je
∣AE∣=∣AD∣=∣BE∣=∣CD∣=2a,
pa dana jednakost zaista vrijedi. Zato je tražena najmanja veličina kuta
60∘.