AQ + QB = AP + PB ise AC = BC olmak zorundadır.bunu ispat edersek problem bitecektir. m(BAC) = 60 şartı altında tüm açıların 60o olacağı da aşikardır.
AQ + QB = AP + PB ve AC < BC olsun. kenar uzunlukları a,b,c olmak üzere iç açıortay teoreminden AQ = bc/(a + c), BP = ac/(b + c) dir. Steiner-Lehmus teoremi gereğince kısa kenarın karşısında uzun iç açıortay olduğundan b < a iken BQ < AP olur. üstelik AQ < BP olduğunu kolay bir inceleme ile görebiliriz. Gerçekten, a > b > a + c > b +c > 1/(a + c) < 1/(b + c) > b/(a + c) < a/(b + c) > bc/(a + c) < ac/(b + c) > AQ < BP dir. böylece AQ + QB < AP +PB olup problemin hipotezi ile çelişiriz.
AC > BC varsayımı ile başlasak bu defa da AQ + QB > AP +PB çelişkisi ile karşılaşılır. Sonuç olarak AC = BC dir.
Bir açısı 60 olan ikizkenar üçgen, eşkenar olacağından; ABC nin tüm açıları 60o dir. (L.GÖKÇE)