| こんにちは。整数問題でわからないところがあるので、回答よろしくお願いします。
[問]整数a,b,c,dが等式a²+b²+c²=d²を満たすとする。dが2の倍数でも3の倍数で ないならば、a,b,cのうち少なくとも1つは6の倍数であすことを示せ。
僕は次のように考えました。 dが2の倍数でないことと、3の倍数でないことでわけて考える まず、dは2の倍数ではないので、d≡1(mod2)、よってd²≡1(mod2) ?@よりa²+b²+c²≡1(mod2)…?@ ?@)a,b,cのうち2の倍数がないとき a²+b²+c²≡1²+1²+1²(mod2) a²+b²+c²≡1(mod2) これは?@を満たすので適している
ここまで考えて思ったのですが、もし?@)が成り立ってしまうと、問題文の中にある、少なくとも1つが6の倍数になるというのを満たさなくなってしまいます。 どこか考え方の問題があるのでしょうか。教えてください。
|
No.975 - 2008/08/26(Tue) 23:40:38
| ☆ Re: / せら。 ♂ [関東] [社会人] | | | | そこまでは問題ないと思いますよ。 まだ、「dが3の倍数」という条件を考えてませんからね。そこできっと、不適になるのでしょう。
|
No.996 - 2008/08/27(Wed) 20:05:51 |
| ☆ Re: / AAA [高校1年生] | | | | そこで、続きを考えてみました。
?A)a,b,cのうち2の倍数が1つであるとき a²+b²+c²≡1²+1²+0²(mod2) a²+b²+c²≡0 これは?@をみたさないので不適
?B)a,b,cのうち2の倍数が2つであるとき a²+b²+c²≡1²+0²+0²(mod2) a²+b²+c²≡1 これは?@をみたすので適する
?C)a,b,cのうちすべて2の倍数であるとき a²+b²+c²≡0²+0²+0²(mod2) a²+b²+c²≡0 これは?@をみたさないので不適
次にdは3の倍数でないのでd≡±1(mod3),よってd²≡1(mod3) したがってa²+b²+c²≡1(mod3)…?A ?X)a,b,cのうち3の倍数がないとき a²+b²+c²≡(±1)²+(±1)²+(±1)²(mod3) a²+b²+c²≡0(mod3) これは?Aをみたさないので不適
?Y)a,b,cのうち3の倍数が1つであるとき a²+b²+c²≡(±1)²+(±1)²+0²(mod3) a²+b²+c²≡2(mod3) これは?Aをみたさないので不適
?Z)a,b,cのうち3の倍数が2つであるとき a²+b²+c²≡(±1)²+0²+0²(mod3) a²+b²+c²≡1(mod3) これは?Aをみたすので適する
?[)a,b,cのうちすべて3の倍数であるとき a²+b²+c²≡0²+0²+0²(mod3) a²+b²+c²≡0(mod3) これは?Aをみたさないので不適
以上より、2の倍数に関しては、?@)あるいは?B)のとき、3の倍数に関しては?Z)のときa²+b²+c²=d²を満たす ?@)と?Z)をみたすとき、a,b,cはすべて奇数で、3つのうち2つが3の倍数になる…?B ?B)と?Z)をみたすとき、a,b,cのうち2つが6の倍数で1つが奇数、もしくは、a,b,cのうち1つが6の倍数、1つが偶数、1つが3の倍数…?C
ここで、?Cのときは題意を満たしているのですが、?@のときは題意を満たしません。 考え方のどこが間違っているのでしょうか。
|
No.1028 - 2008/08/30(Sat) 12:38:43 |
| ☆ Re: / 新矢 (運営者) ♂ [近畿] [塾講師] | | | | こんにちは。 mod6 で考えた方が解きやすいような気もしますが, 考え方のどこが間違っているか?というご質問ですので,それについて回答します。
>dは2の倍数ではないので、d≡1(mod2)、よってd²≡1(mod2) >a²+b²+c²≡1(mod2)…?@ >?@)a,b,cのうち2の倍数がないとき > a²+b²+c²≡1²+1²+1²(mod2) > a²+b²+c²≡1(mod2) > これは?@を満たすので適している
これは場合わけをしたに過ぎません。modを使わず日本語で書いてみると,
dは奇数なので,d^2 は奇数 よってa^2+b^2+c^2 は奇数 (i) a,b,c がすべて奇数の場合
AAAさんの解答はここまでをmodで表しただけで, 肝心かなめの,じゃあその場合の a^2+b^2+c^2=d^2 をみたすようなa,b,c の条件を全く考えていないのです。 例えば,a=1,b=3,c=5 なら a^2+b-2+c^2=35 となり,dは整数にすらなりませんね。
|
No.1073 - 2008/09/08(Mon) 16:36:52 |
|