\quadA, BC\GammaO\angle A B C>90DA BA CClDA OElA CF\GammalDE$.
Prove that the circumcircles of triangles and are tangent at .
Solutions — 2
Solution 1
Let and be the other end point of the diameter of through . Then are collinear. Moreover, is the orthocenter of triangle . Therefore and are collinear.
!
As is tangent to the circumcircle of triangle at . As is also tangent to the circumcircle of at . Hence the circumcircles of the triangles and are tangent at .
!
Solution 2
1. Given Setup and Definitions:
- Let , , and be points on a circle with center .
- .
- is the intersection of line with the line perpendicular to at .
- Line through is perpendicular to .
- is the intersection of with line .
- is the intersection of with between and .
2. Intersection Points and Concyclic Points:
- Let meet again at .
- Let meet again at .
- Note that lies on line .
- Let meet at .
- Points , , , and are concyclic.
3. Power of a Point:
- By the Power of a Point theorem, we have:
- This implies that , , , and are concyclic.
4. Angle Calculation:
- Since , , , and are concyclic, we have:
5. Symmetry and Tangency:
- Points and are symmetric with respect to line .
- Therefore, we have:
- This can be rewritten using angles:
- This proves that the circumcircles of and are tangent at point .