MathDB
6 concyclic points, sides' trisectors, lead to equilateral triangle

Source: Dutch NMO 2011 p2

September 6, 2019
geometryConcyclicEquilateral

Problem Statement

Let ABCABC be a triangle. Points PP and QQ lie on side BCBC and satisfy BP=PQ=QC=13BC|BP| =|PQ| = |QC| = \frac13 |BC|. Points RR and SS lie on side CACA and satisfy CR=RS=SA=13CA|CR| =|RS| = |SA| = 1 3 |CA|. Finally, points TT and UU lie on side ABAB and satisfy AT=TU=UB=13AB|AT| = |TU| = |UB| =\frac13 |AB|. Points P,Q,R,S,TP, Q,R, S, T and UU turn out to lie on a common circle. Prove that ABCABC is an equilateral triangle.