In the triangle , the angle is obtuse. Points and are the feet of altitudes from and , respectively. Tangents to the circumcircle of at and intersect the line at points and , respectively. Let . Point lies on the segment such that . Point lies on the line such that is between and and . Prove that the circle with the diameter is tangent to the circumcircle of .
Solution
Since we have . We shall provide and prove several lemmas.
Lemma 1. Let be the intersection of the lines then
Proof. Since the line is tangent to the circumcircle
Therefore . Similarly and . Let be a point on the ray such that such that is between .
hence is cyclic and . Then
Thus the triangles are similar and . □
Let be a point on line such that and be the second intersection of circumcircles . It follows that
Lemma 2. Point lies on the circumcircle
□
Note that , hence is cyclic.
Now by our second lemma: and since , we would have , further therefore bisects .
Since is cyclic . Now it is easy to find that thus the point lies on the circle with the diameter .
Lemma 3. Circumcircle is tangent to circumcircle
Proof. Let be the midpoint of segment .
Since we have
This concludes our proof.
