Problem: (1993 Canada National Olympiad – #2) Show that is rational if and only if three distinct terms that form a geometric progression can be chosen from the sequence .
Solution: We will prove the “if” statement first, i.e. is rational implies we can find the geometric progression. Let . The terms of the sequence are then
, , , .
We simply choose the terms
, , which are the same as , , ,
clearly a geometric progression.
Now for the other direction, assume are a geometric progression with positive integers. Then
Solving for yields which is clearly rational, as desired. QED.
Comment: An interesting “definition” of a rational number, pretty neat in fact. Though it may not seem so at first, the “if” direction was actually considerably harder than the “only if” direction because the approach was not as straightforward. The “only if” proof required simple algebra, while the “if” proof needed a little creative picking and choosing. Another approach for the “if” direction is to set and try to find corresponding but that makes it a little more difficult than necessary.
Practice Problem: (1993 Canada National Olympiad – #3) In triangle , medians to the sides and are perpendicular. Show that .