- 217 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 17:37:55.75 ID:XV1Lk3hZ.net]
- >>206
f(x, y, z)=ax+by+czとおく
a, b, cはどれも0ではないとする。
f(0, 0, 0)=0より0はfの値である
f(e0)=kとなったとするとf(-e0)=-kなので、kがfの値ならば-kもfの値となる。
fには正の値が存在する。係数の符号と同じ符号の整数を取ればよい。そのうち最小のものをk0とすると任意の正の値kはk0の倍数である。もしkがk0の倍数でないとするとk=qk0+r、0<r<k0を満たす整数q、rの組が唯一つ定まる。
f(x-qx0, y-qy0, z-qz0)=k-qk0=r
k0よりも小さい正の値rをとることになりk0の最小性に矛盾する。よってkおよび-kはk0の倍数である。
a、b、cはfの値であるのでk0の倍数である。
a、b、cの最大公約数をdとするとk0はdの倍数。よってk0=dとなる。
dの任意の倍数はfの値になり、逆にfの値は全てdの倍数である。
