Let be an isosceles triangle at , where the angle at is not a right angle. Let be the point on such that . Let be the orthogonal projection of onto . Finally, let be the midpoint of . Show that .
Solution
First, since the angles and are right angles, the points lie on the circle with diameter .
Let . Since is a right triangle at , . Since is a right triangle at , , and thus .
By the cocyclicity of , the angles and are equal or supplementary, so or .
The second case cannot occur because the sum of the angles in triangle is , so we have . This implies that is isosceles at , hence .
Another approach using angles between lines. We know that if is a tangent at a point to a circle and if and are two other points on , then .
In the problem, since is perpendicular to the diameter , it is tangent to the circle. Therefore, from the above, we have . Since is isosceles, we have , so . We conclude that is isosceles at , hence .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.