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 2 of 8: Prove the comparison lemma
α>β  ⟹  RT>ST.\alpha>\beta\implies RT>ST.
Detailed analysis

Let the three altitudes of the equilateral triangle meet at its centre G. The points P and Q lie on the corresponding altitude segments, so T lies in the relevant central triangle. Project R and S onto the altitude through A and onto BC as in the official solution. Equal altitude lengths give GS<GR when alpha>beta; the two projection inequalities then imply RT>ST.