Points , , , lie, in this order, on a circle , where is a diameter of . Furthermore, and for some relatively prime positive integers and . Show that if the diameter of is also an integer, then is a perfect square or is a perfect square.
Solution
By Pythagoras, the lengths of the diagonals of quadrangle are and . Applying Ptolemaios' Theorem to the quadrilateral gives
which after squaring and simplifying becomes
Then is a root of this equation, hence, is a positive factor of the left-hand side. Hence, the remaining factor (which is quadratic in ) must vanish, and we obtain . Let . The number is a square, and it follows that . If and both were even, then by we also have which implies , a contradiction to the fact that and are relatively prime. Hence, and both must be odd. Moreover, and are obviously relatively prime. Consequently, the factors on the right-hand side of are relatively prime. It follows that is a perfect square or twice a perfect square.
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.