MathLabs

第6题

设 a,b,c,d 为奇整数,满足 0<a<b<c<d0<a<b<c<d 且 ad=bcad=bc。证明若 a+d=2ka+d=2^k、b+c=2mb+c=2^m,则 a=1a=1。
第 3/6 步:第3步
2m−1∣(a+b) or 2m−1∣(b−a)2^{m-1}\mid(a+b)\text{ or }2^{m-1}\mid(b-a)
详细分析

由于 (b−a)(b+a)=b2−a2(b-a)(b+a)=b^2-a^2 且 a,ba,b 为奇数,b−ab-a 与 b+ab+a 不可能同时被 44 整除。因此 2m−12^{m-1} 整除二者之一。