「『約数はある整数を割り切ることができる整数のことなので、整数AAの約数ggは
これは正しいか?」
Ag=N(N:整数)Ag=N(N:整数)
を満たす整数ggのことであるといえる。であれば2つの整数A,BA,Bの公約数は
ABg2=NABg2=N
を満たす整数ggのことである。』
公約数は2つの整数の約数の中で共通するもののことをいうので、整数A,BA,Bの公約数をggとすると
Ag=mBg=n(m,n:整数)Ag=mBg=n(m,n:整数)(1)(2)
が成り立ちます。
(1),(2)(1),(2)の辺々を掛け合わせると
Ag⋅Bg=mnABg2=mnAg⋅Bg=mnABg2=mn
mn=Nmn=Nとおけば
ABg2=NABg2=N
となるので、正しいように思えます。
しかし、正しいかを問われているのはこのことではありません。
上で書いたのは、整数A,BA,Bの公約数がggならば
上で書いたのは、整数A,BA,Bの公約数がggならば
ABg2=N(N:整数)ABg2=N(N:整数)
が成り立つ、ということです。
一方、正しいか問われているのは、
ABg2=N(N:整数)ABg2=N(N:整数)
が成り立てば整数ggが整数A,BA,Bの公約数である、ということでそれぞれの主張は互いに逆の命題となります。
後者が正しいかは以下のような場合を考えることで明らかになります。
整数AAの約数をg2g2、整数BBの約数はどの整数にも存在する11とします。
すると、それぞれ
Ag2=mB1=BAg2=mB1=B(3)(4)
が成り立ちます。
(3),(4)(3),(4)の辺々を掛け合わせると
Ag2⋅B1=mBABg2=mBAg2⋅B1=mBABg2=mB
nmB=Nとおけば
ABg2=N
となります。
これはBがgが約数でない整数であっても成り立つので、必ずしもgが整数A,Bの公約数であるわけではありません。
したがって、答えは正しくないとなります。
したがって、答えは正しくないとなります。
Share: