This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
This is an IMO problem from 1981, the 3 rd problem.
So, I copied it from the website Art of Problem Solving , and here is the solution:
We first observe that since g cd ( m , n ) ∣ 1 , m and n are relatively prime. In addition, we note that n ≥ m , since if we had n < m , then n 2 − n m − m 2 = n ( n − m ) − m 2 would be the sum of two negative integers and therefore less than − 1 . We now observe
( m + k ) 2 − ( m + k ) m − m 2 = − ( m 2 − k m − k 2 ) ,
i.e., ( m , n ) = ( a , b ) is a solution iff. ( b , a + b ) is also a solution. Therefore, for a solution ( m , n ) , we can perform the Euclidean algorithm to reduce it eventually to a solution ( 1 , n ) . It is easy to verify that if n is a positive integer, it must be either 2 or 1. Thus by trivial induction, all the positive integer solutions are of the form ( F n , F n + 1 ) , where the F i are the Fibonacci numbers. Simple calculation reveals 9 8 7 and 1 5 9 7 to be the greatest Fibonacci numbers less than 1 9 8 1 , giving 9 8 7 2 + 1 5 9 7 2 = 3 5 2 4 5 7 8 as the maximal value.