PA and PB be the tangents to circle from an external point . Let and be the midpoints of and , respectively. Extend to meet at , where is between and . meets at and extend to intersect at . Show that is a rhombus.
Solution
Observe that . Thus, is the circumcenter of and hence .
It can also be seen that .
From the power of the point , .
So, and hence .
Thus, .
Since , , , are cyclic, the power of the point tells us that
Thus, , , , are also cyclic and hence .
Since , . Thus,
So, , , , are cyclic and hence .
We can now see that
Thus, . Therefore, is a rhombus.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.