Let , , be points on a circle whose centre is and whose radius is , such that . Lines and (possibly extended) intersect at , and lines and (possibly extended) intersect at . Prove that .
Solutions — 2
Solution 1

Figure 1
Put and . Let extended meet the circle again in (so that ). Since and is a diameter of the circle, we have and . Similarly, if extended meets the circle again in , we have , and and are the diagonals of square that intersect perpendicularly at . Therefore, from the right triangles and , we have and .
By the similarity of triangles and , we have , i.e., , so that
Then, by the similarity of triangles and , , i.e.,
Simplifying and solving for gives , so that
Note that we have solved here the case where lies strictly between and on the short arc . The case where or follows trivially, because here reduces to either or . The case where lies between and on the short arc is shown in Figure 2.

Figure 2
In a way similar to the first case, using the similarity between triangles and , we see that , so that . The similarity between triangles and gives
From this equation we solve and it follows that .
Finally, the case where lies between and on the short arc follows symmetrically from the above.
Solution 2
We can also follow a trigonometric approach: We first consider the case where is inside triangle . See Figure 3.

Figure 3
We have (twice ). Put , , , . Then and . Furthermore, (using ), so that
Hence, , and we have .
In Figure 4 we have outside triangle .

Figure 4
In this case we have (using ), so that
Hence, , and we have .
Finally, there are the cases where is either on or on . In the former case we have and , so that , and in the latter case, and , so that .