Problem 1
We say that a triangle is great if the following holds: for any point on side , if and are the feet of the perpendiculars from to the lines and respectively, then the reflection of in the line lies on the circumcircle of triangle . Prove that triangle is great if and only if and .
Step 1 of 5: Choose on the bisector from
Detailed analysis
Assume is great. Let be the point where the bisector of meets , and let , be the feet of the perpendiculars from to lines , . Since bisects , points and lie on rays , and are reflections of each other across line ; hence line is perpendicular to . Let be the reflection of in line ; by the great condition, lies on the circumcircle of .