06/07/19 07:14:08 7GnPXnvy0
>>832
よって、x>=3であり、y-1かy+1のどちらかは2^{x-1}では割り切れるが2^xでは割り切れない。
(4を左辺の偶数部分の因数に持つから、2^xの部分は4以上で無いといけない。また、右辺の
もう一方の因数も偶数だから、最低でもさらに2は2^xの部分に含まれる因数で無いといけない。
よってx>=3。もしy-1かy+1のどちらかが2^xで割り切れたとしたら、2^xの部分に含まれる・・・[というか
それ自身だけど]・・・2の因数が全部右辺の片方の因数になってしまい、両方とも偶数であることに
反する。また、両方とも4で割り切れるとすると、片方だけが4で割り切れることに反する。
だから2^{x-2}とかでは割り切れず、2^{x-1}でしか割り切れない。)
なので、
y=2^{x-1}*m+e, m は奇数, e=+1 or -1
解きながら訳してるのでちょっち時間くれい。