Let be the centroid of the the triangle . Reflect point across at . Prove that are on the same circle if and only if is perpendicular to .
Solution
Observe first that if and only if . Indeed,
Moreover,
hence (1). Let be the intersection point of the lines and . Then is the middle line of the triangle , hence . Consequently, is a trapezoid. From (1) we find that is isosceles, thus cyclic, as needed.
Conversely, since is a cyclic trapezoid, then it is also isosceles. Thus , which leads to (1).
Comment: An alternate proof is as follows:
Let be the midpoint of . Then the triangles and are similar. So is parallel to .
if and only if . By the above similarity, this happens if and only if ; if and only if the trapezoid is cyclic.
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.