6S
例 是
(し@ 7 ヵは整数とする。がゲー2 は 3 の倍数でないことを証明せよ
すべての整数ヵ は ヵ三3ん、ヵー3ん十1, ヵ三3ん十2 (んは整数) のい3
静される。
央| ヵ二3を 。 のとき がー2ー(3/)*一2=3・3太三2
ヵ一3を+1 のとき ゲー2ニ(3z二1)*一2三3(3だ2が)ー1
[3] ヵー3を2 のとき ァ7デー2三(3ヵ十2)*ー2三3(3太45)二2
いずれの場合る z2一2 は 3 の倍数でない。
よって, ダー2 は 3 の倍数でない。 関
殿太 ヵー3を土1 のときを考えると, [2]と[3]の場合とまとめて扱える。
ゲー2ニ(3ん1)*ー2=3(3だ土26)一1 (複号同順)
かの形で