Problem 3
Let be an acute triangle with . Let be its circumcircle, its orthocenter, and the foot of the altitude from . Let be the midpoint of . Let be the point on such that , and let be the point on such that . Assume that the points , , , , are all different and lie on in this order. Prove that the circumcircles of triangles and are tangent to each other.
Step 2 of 4: Claim:
In plain words
Both segments are perpendicular to the same line , so they must be parallel to each other.
Detailed analysis
By construction , so . Also means . Since , , are configured so that line and line are in fact the same line through and extended to (both and lie on the perpendicular from the relevant chord through in this configuration), both and are perpendicular to this one line , hence .