Problem 3
Let be an equilateral triangle. Let be a point on and a point on so that triangles and are acute. Let and be the orthocentres of triangles and , respectively. Let be the common point of the segments and . Find all possible values of and such that triangle is equilateral.
Step 3 of 8: Apply the symmetric lemma
Detailed analysis
Interchanging the roles of the two sides gives the second implication. If TRS is equilateral, RT=ST, so neither strict inequality is possible and alpha=beta.