塾の問題で載ってたやつなんですけど、30分考えてみても全然方針が立たないくて分かりません。方針と証明をお願いします
座標空間において,x座標,y座標,z座標のすべてが整数であるような点を格子点という (1)原点Oと、Oと異なる格子点P(a,b,c)に対して、線分OP上にOとP以外の格子点が存在しないことと、3つの整数a,b,cの最大公約数が1であることとは同値であることを示せ (2)aを整数として、2点A(3,4,5),B(a+1,a,12)をとる。線分AB上にはAとB以外の格子点は存在しないことを示せ
|
No.15875 - 2011/11/16(Wed) 00:25:09
| ☆ Re: / ヨッシー | | | (1) 必要条件、十分条件それぞれの対偶 OP以外の格子点がある→最大公約数が1でない。 最大公約数が1でない→格子点がある を示します。
線分OP上にOとP以外の格子点Q(d,e,f)が存在するならば、 0<m<1 なる実数mに対して d=ma,e=mb,f=mc が成り立つ。ここで、mは d/a または e/b または f/c と書けるので、有理数です。 m=s/t (0<|s|<|t|、sとtは互いに素な整数)とおくと、 a=td/s,b=te/s,c=tf/s と書けます。a,b,c は整数であり、sはtの2以上の約数でないので、 a,b,c ともに、2以上の整数 |t| の倍数となります。 よって、a,b,c の最大公約数は1ではない。 a,b,cが2以上の最大公約数kを持つならば、 a=ks,b=kt,c=ku (s,t,uは整数) と書け、点(s,t,u)はOP上の格子点となります。
(2) AB間に格子点C(s,t,u) が存在するなら、3点A,B,Cを (-3,-4,-5) だけ平行移動した A’(0,0,0)、B’(a-2,a-3,7)、C’(s-3,t-4,u-5) も 格子点となります。 ところが、そういうC’は存在しない(証明はご自分で)ので、 線分AB上にはAとB以外の格子点は存在しない。
|
No.15876 - 2011/11/16(Wed) 06:26:00 |
|