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 1 of 5: Choose DD on the bisector from AA
PQ⊥ADPQ \perp AD
Detailed analysis

Assume ABCABC is great. Let DD be the point where the bisector of ∠BAC\angle BAC meets BCBC, and let PP, QQ be the feet of the perpendiculars from DD to lines ABAB, ACAC. Since ADAD bisects ∠A\angle A, points PP and QQ lie on rays ABAB, ACAC and are reflections of each other across line ADAD; hence line PQPQ is perpendicular to ADAD. Let D′D' be the reflection of DD in line PQPQ; by the great condition, D′D' lies on the circumcircle of ABCABC.