International Mathematical Olympiad 1994 Problem 2
is an isosceles triangle with . Suppose that
- is the midpoint of and is the point on the line such that is perpendicular to ;
- is an arbitrary point on the segment different from and ;
- lies on the line and lies on the line such that are distinct and collinear.
Prove that is perpendicular to if and only if .