ー。 の集合とする とき, 次のことを証明せよ。
4ー 1 万テ (2ヵ十1|ヵ己有ク}] であるとき 用てこ玉かつ 4キぢ
2|ヵ用} = 6カー 22)
) と要が無数にみ こあり, すべてを書き出すこと とができない。このようなときは, :
を利用して証男する。
[ac oke4 をse segy
ご4 とすると,テー47十1 (ヵ は整数) と書くことができる。
このとき ァ三2(2z)十1 4ァ万 を示すために,
2ヵ王如 とおくと, 77 は整数で 万 2X(整数)二1 の形にする。
227 十1
ゆえに ァ太 3 | | 4z4 ならばヶァが示さ
よう計 4こぢ れた。
また, 3Eぢであるが 3年4
ボ したがって 4キアど
