MathLabs

Problem 3

Let ABCABC be an equilateral triangle. Let PP be a point on ACAC and QQ a point on ABAB so that triangles ABPABP and ACQACQ are acute. Let RR and SS be the orthocentres of triangles ABPABP and ACQACQ, respectively. Let TT be the common point of the segments BPBP and CQCQ. Find all possible values of ∠CBP\angle CBP and ∠BCQ\angle BCQ such that triangle TRSTRS is equilateral.
Step 3 of 8: Apply the symmetric lemma
α>β  ⟹  RT>ST,β>α  ⟹  ST>RT.\alpha>\beta\implies RT>ST,\qquad\beta>\alpha\implies ST>RT.
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.