MathLabs

Problem 1

We say that a triangle ABCABC is great if the following holds: for any point DD on side BCBC, if PP and QQ are the feet of the perpendiculars from DD to the lines ABAB and ACAC respectively, then the reflection of DD in the line PQPQ lies on the circumcircle of triangle ABCABC. Prove that triangle ABCABC is great if and only if ∠A=90∘\angle A=90^\circ and AB=ACAB=AC.
Step 5 of 5: Sufficiency: right isosceles triangles are great
∠BAC=90∘, AB=AC  ⟹  ∠BD′C=∠PDQ=90∘\angle BAC=90^\circ,\ AB=AC \implies \angle BD'C=\angle PDQ=90^\circ
Detailed analysis

Conversely, suppose ∠BAC=90∘\angle BAC=90^\circ and AB=ACAB=AC, and let DD be any point of BCBC with PP, QQ its projections onto ABAB, ACAC and D′D' the reflection of DD in PQPQ. Since D′P=DP=BPD'P=DP=BP and D′Q=DQ=CQD'Q=DQ=CQ, and APDQD′APDQD' lies on a circle with diameter PQPQ, one gets ∠BPD′=∠CQD′\angle BPD'=\angle CQD', so triangles D′PBD'PB and D′QCD'QC are similar; this yields ∠PD′Q=∠BD′C\angle PD'Q=\angle BD'C and, since triangles DPQDPQ and D′PQD'PQ are congruent, ∠BD′C=∠PDQ=90∘\angle BD'C=\angle PDQ=90^\circ. Hence D′D' lies on the circle with diameter BCBC, which is exactly the circumcircle of the right isosceles triangle ABCABC, proving ABCABC is great.