A simple proof of the strong converse of Morley's trisector theorem (Q760911)

Let be given the positive constants \(a_ i\), \(b_ i\), \(c_ i\) \((i=1,2)\), satisfying \(a_ 1+a_ 2<1\), \(b_ 1+b_ 2<1\), \(c_ 1+c_ 2<1\); in any nondegenerate triangle \(\Delta\) ABC, draw from each vertex two straight lines inside ABC and call P the point of intersection of the two lines adjacent to BC, so P is opposite to A, and analogously Q is opposite to B, and R is opposite to C, in such a way that \(<RAB=a_ 1A\) (here A denotes also the angle in A), \(<QAC=a_ 2A\), \(<PBC=b_ 1B\), \(<RBA=b_ 2B\), etc. Then the triangles PQR are mutually similar - in the same sequence P, Q, R - for all triangles ABC iff \(a_ i=b_ i=c_ i=1/3\) \((i=1,2)\). Consequently, if they are similar, they are also equilateral (Morley's Theorem).