Let be a square and let denote the circle with diameter . A tangent line is drawn to the circle from , meeting the circle at and intersecting the segment at .
Prove that .
Solutions — 5
Solution 1
Let be the midpoint of , the centre of circle . Let be the point where line meets , and let meet at .
Angle is standing on the diameter of , hence is a right angle. Therefore, triangle has a right angle at . The two tangents and of have the same length: . This implies that is on the perpendicular bisector of and so must be the circumcentre of triangle . Therefore, is the midpoint of .
Because and are tangents to , we have . Hence , with . Since and we get . Thus and .
Solution 2
Let meet at and let meet at .
The right angled triangles and are congruent since they share the hypotenuse and (radii). As a consequence, by SAS. This shows that is the perpendicular bisector of . Similarly, is the perpendicular bisector of . Hence is a rectangle and
Thus and finally .
Solution 3
We let . Then . The right angled triangles and are congruent, because they share the hypotenuse and (radii of ). Consequently . The double angle formula for tan then gives
As , we obtain
It follows that and so .
Solution 4
We have (tangents from ) and (tangents from ). We let and .
Triangle has a right angle at and Pythagoras' Theorem gives
This simplifies to , hence .
Solution 5
Let the vertices of the square be , , , , so that is the circle in question. If , the line with equation is a tangent to the circle at . It passes through iff . Solving the equations
we get or , and is the first of these. Hence has equation . This line meets the line at , whose distance from is .