In triangle the bisector of intersects at . Consider an arbitrary circle passing through and , so that it is not tangent to or . Let and .
a) Prove that there is a circle so that and are tangent to in and , respectively.
b) Circle intersects lines and in and respectively. Prove that the lengths of and do not depend on the choice of circle .
Solution
### Part (a)
1. **Identify the intersection point **:
- Let be the intersection point of the perpendiculars from and to the lines and , respectively.
2. Prove cyclic quadrilaterals:
- Since is a circle passing through and , and intersects at and at , the quadrilateral is cyclic.
- Therefore, and .
3. Angle relationships:
- In the cyclic quadrilateral , we have:
- Thus, .
4. Congruence of triangles:
- The triangles and are congruent by the Angle-Side-Angle (ASA) criterion:
- Therefore, .
5. **Circle **:
- The circle with center and radius is tangent to the lines and at points and , respectively.
This completes the proof for part (a).
### Part (b)
1. Congruence of triangles:
- Consider the triangles and :
- Therefore, , which implies .
2. Congruence of triangles:
- Similarly, consider the triangles and :
- Therefore, , which implies .
3. Equality of segments:
- Since , it suffices to prove that is constant.
4. Application of Ptolemy's theorem:
- Applying Ptolemy's theorem to the cyclic quadrilateral :
- Given from the congruence of triangles and , we have:
- Since , the expression is constant.
This completes the proof for part (b).