- ベストアンサー
証明
(1)aが3の倍数でないならば、aの二乗(a×a)ー1は3の倍数であることを示せ。 (2)aの二乗(a×a)+bの二乗(b×b)=cの二乗(c×c)が成り立つとき、a、bの少なくとも一方は3の倍数であることを示せ。 (3)a、bが互いに素で、aの二乗(a×a)+bの二乗(b×b)=cの二乗(c×c)が成り立つとき、cは奇数であることを示せ。 これらの問題の回答と解説をお願いします。
- みんなの回答 (2)
- 専門家の回答
関連するQ&A
- 証明
何度も失礼します。 問題は、a,b,cはどの2つも1以外の共通な約数を持たない正の整数とする。a,b,cが、a^2+b^2=c^2を満たしているとき、次の問いに答えよ。 (cは奇数である) (1)a,bの1つは4の倍数であることを示せ。 証明は、cは奇数であるから、,bのうちいずれか一方は偶数で、他方は奇数である。いま、偶数の方をaとしてもよい。aが4の倍数でないと仮定すると、a=4k+2,b=4m±1,c=4n±1(k,m,nは整数)とおける。 a^2+b^2=(4k+2)^2+(4m±1)^2 =8(2k^2+2k+2m^2±m)+5 c^2=(4n±1)^2=8(2n^2±n)+1 よってあまりが違い、矛盾するので正しい。 となっているのですが、{a=4k+2,b=4m±1,c=4n±1(k,m,nは整数)}ですが一つ目の疑問は(k,m,nは整数)ですが、整数では、例えばmが-3とかのとき明らかに-になるのでだめですよね?bが正の整数を大前提にということでしょうか?もうひとつは、これはb,cは奇数であることをいいたいのだからa=4k+2、b=2m-1,c=2n-1(・・・m,nは自然数)としてはいけないのでしょうか?それでもできるとおもうのですが。b=4m±1,c=4n±1である理由があるのでしょうか?
- ベストアンサー
- 数学・算数
- 整数の問題
整数(?)の問題です。よろしく御指導下さい。 1)3つの自然数a,b,cがa~2+b~2=c~2を満たしている。このとき、a,bの少なくとも一方は偶数であることを証明せよ。 2)自然数はa,b,c,dはc=4a+7b,d=3a+4bを満たしている。 2-1) c+3dが5の倍数ならば、2a+bも5の倍数であることを示せ。 2-2) aとbが互いに素で、cとdがどちらも素数pの倍数ならば,p=5であることを示せ。. (2-1は解決済みです。2-2の方がよく分かりません) 尚、このような整数、約数、倍数、素数、互いに素 というような問題(例題)を扱った 参考書、WEB サイト等ありましたら、ご紹介いただければありがたいです。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 自然数の証明・・・?
自然数a,b,c,について等式a^2+b^2=c^2をみたし、かつa,bは互いに素とする。以下を証明せよ。 1)aが奇数の時、bは偶数且つCは奇数である。 2)aが奇数の時、a+c=2d^2となる自然数dが存在する 1)はaが奇数だからa=2m+1とおいて、・・・ていうさいしょのだんかいで進まなくなりました。 解法のほどをよろしくおねがいします。
- ベストアンサー
- 数学・算数
- 3の倍数であることの証明
《問題》 a,b,cは整数とし,a^2+b^2=c^2とする。a,bのうち,少なくとも1つは3の倍数であることを証明せよ。 《解答》 a,bはともに3の倍数でないと仮定すると,【aとbは3k+1または3l+2(k,lは整数)と表される。】 ここで (3k+1)^2=3(3k^2+2k)+1 (3l+2)^2=3(3l^2+4l+1)+1 3k^2+2k,3l^2+4l+1は整数であるから,3の倍数でない数a,bの2乗を3で割った余りはともに1である。 したがって,a^2+b^2を3で割った余りは2である…(1) 一方,cが3の倍数のとき,c^2は3で割り切れ,cが3の倍数でないとき,c^2を3で割った余りは1である。 すなわち,c^2を3で割った余りは0か1である…(2) (1),(2)はa^2+b^2=c^2であることに矛盾する。 ゆえに,a^2+b^2=c^2ならば,a,bのうち,少なくとも1つは3の倍数である。 質問は,【 】の囲ったところです。 aとbは3k+1または3l+2(k,lは整数)と表されるとのことですが,3l+2のところを「3l+1」とし,aとbは3k+1または「3l+1」(k,lは整数)と表される,というようにすることはできないのでしょうか? 回答宜しくお願いします。
- 締切済み
- 数学・算数
- 約数と倍数 背理法
問題1 a,b,cはどの2つも1以外の共通な約数を持たない正の整数とする。a,b,cがa^2+b^2=c^2を満たしているとき、cは奇数であることを証明せよ。 解答 cが偶数であると仮定する。このとき、kを正の整数としてc=2kと表される。また、条件よりa,bは奇数となるから、 a=2m+1,b=2n+1(m,nは0以上の整数) と表され、a^2+b^2=...(略) よって、a^2+b^2は4の倍数でない...(略) 解答では、a,bが互いに素になっていません(例えばn=m)。これで良いのでしょうか?(確か、命題が偽であることを示すには、反例を上げれば良かったと思います。a,bは互いに素のときもあるので、したがって、これは反例ということでしょうか?) 問題2 (問題1とは関係なし) 整数a,b,cがa^2+b^2+c^2を満たすとき、a,bの少なくとも1つは3の倍数であることを証明せよ。 解答では、a,bがともに3の倍数でないことを仮定し、a=3k+1,3k+2のいずれかに、b=3l+1,3l+2のいずれかに表せることを使って、すべての場合で偽であることを述べています。しかし、偽であることを示すには、反例を1つでも上げれば良かったはずですから、すべての場合について検証する必要はないのでは?
- ベストアンサー
- 数学・算数
- a,b,cはa^2-3b^2=c^2を満たす整数とするとき、次のことを
a,b,cはa^2-3b^2=c^2を満たす整数とするとき、次のことを証明せよ。 1、a,bの少なくとも一方は偶数である。 2、a,bが共に偶数なら、少なくとも一方は4の倍数である。 3、aが奇数ならbは4の倍数である。 という問題です。 1はa,bを奇数として、2m+1,2n+1とおいて計算したのですが、いまいちどう証明したらよいのか分かりません。 2はどちらも2m,2nとして計算したら、4(m^2-3n^2)=c^2となったのですが、これで何の証明になるのか…。 3もよく分かりません。 勉強不足で申し訳ありません。考え方だけでも教えてください。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 高校数学、証明の問題
a,b,cはどの2つも1以外の共通な約数を持たない正の約数とする。 a,b,cが a^2+b^2=c^2を満たしているとき、次の問いに答えよ。 (1)cは奇数であることを示せ (2)a,bのうち少なくとも1つは3の倍数であることを示せ という問題です。特に(2)がわかりません。 途中の証明で「c^2を3で割った余りは0か1である」ということを 使うようなのですが、それがなぜなのかがわかりません。教えてください。 宜しくお願いします。
- ベストアンサー
- 数学・算数
- √nが有理数である又はないことの証明。
√3が有理数でないことを、背理法で論証する場合。 √3=a/b(aとbは互いに素であるとする。)と置く。 3b^2=a^2である。 a^2は3の倍数であるので、aは3の倍数であり、a=3cとおくことができる(この事は対偶の真偽で論証できる。) 3b^2=9c^2 b^2=3c^2 であり、b^2が3の倍数なので、bも3の倍数であることが分かる。 よって、a/bは既約分数であることから矛盾が生じ、有理数でないことが言える。 これが√3が有理数でないことの証明だそうです。 次に、nを整数として、√nが有理数でないことを、背理法で論証する場合。 √n=a/b(aとbは互いに素であるとする。)と置く。 nb^2=a^2である。 a^2はnの倍数であるので、aはnの倍数であり、a=ncとおくことができる nb^2=n^2c^2 b^2=nc^2 であり、b^2がnの倍数なので、bもnの倍数であることが分かる。 よって、a/bは既約分数であることから矛盾が生じ、有理数でないことが言える。 ただしn=1.4.9.16・・・といった場合、√n=1.2.3.4・・・といったように、√nは有理数になってしまいます。 このやり方では√nが有理数でも、有理数でないと言えてしまいます。 √nが有理数の場合、有理数であると論証でき、√nが無理数の場合、有理数でないと論証できる方法を教えてください。
- ベストアンサー
- 数学・算数
お礼
ご回答ありがとうございます。 (1)で、a=3n-1と3n-2の両方を代入しなくてはならないのですか? a=3n-1だけ代入しただけではだめなのでしょか? (2)で、a=3n-1,b=3m-1を代入して、3(3n^2+3m^2-2n-2m)+2として、こ れは3の倍数にならないから、少なくとも一方・・・とやっては 間違いでしょか? (3)で、(a,b)は(偶数、奇数)、(奇数、偶数)の組み合わせしかありえないことを示す方法がまったく検討がつかないのですが、教えていただけないでしょか?