10楼: Originally posted by hank612 at 2015-03-11 12:49:42
引理：若自然数 A,B,C,D满足 A>max(B,C,D)且A+B>C+D, 那么
对(A,B)作操作2， a=9A+7,b=4B, 那么a>max(b,c,d) 并且 a+b>c+d, 其中
c=9C+7, d=4D (操作2) 或者 c=7D+2, d=6C+6 (操作1).
注意 a>c与 ...