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 を証明せよ。
ステップ 5/6: 第5段階
b=2m−1−a,c=2m−1+a,d=2k−ab=2^{m-1}-a,\quad c=2^{m-1}+a,\quad d=2^k-a
詳しい解説

二つの和の式から b=2m−1−ab=2^{m-1}-a、c=2m−1+ac=2^{m-1}+a、d=2k−ad=2^k-a を得る。