由题意设c = (a²+b²)/(1+ab),a, b, c都是正整数,假设a≥b>0,r=cb-a
那 (b²+r²)/(1+br) = [b²+(cb-a)²]/(1+b²c-ba) = [(a²+b²)-2abc+b²c²]/[(1+ab)-2ab+b²c] = c
则1+br也是正整数,而b又是正整数,所以r≥0
另外a-r = 2a-bc = [2(a+a²b)-b(a²+b²)]/(1+ab) = (2a+a²b-b³)/(1+ab)>0
所以可以由(a, b)→(b, r)递减,这样一定存在某对(b', r'),其中r'=0,否则b+r的值会一直递减下去
则c = (b'²+r'²)/(1+b'r') = b'²,是完全平方数