A square is inscribed in a circle with centre . Let be the midpoint of . The line meets the circle again at . The lines and meet at . Prove .
, 2014
Solutions — 3
Solution 1
Because are on a circle, we have . Since this means that is the bisector of the angle . Because the angle bisector cuts the opposite side in a triangle at a ratio equal to the ratio of the adjacent sides (which follows easily from the Sine Theorem or by calculating areas in two different ways), we obtain
Because and , the triangles AFE and CDE are similar, so that .
We obtain now that . As , we finally get , as required.
Solution 2
Because are on a circle, we have , and , and all these angles are equal to . With the abbreviations , and , the Sine Theorem on the triangles AFH, HEF, EFD and ADF gives
From these we get
hence and we conclude as in Solution 1.
Using and the addition theorem for tan, we obtain
As , we get and so
This implies and so .
Solution 3
Considering the power of the points and we obtain
Because is parallel to we also obtain . This gives
By the Theorem of Pythagoras we have
Writing as well as with and using , we obtain
which is equivalent to the quadratic equation . Its two roots are and . As we must have and this means . We finally obtain .