a,b,cが正の整数で, a/b+b/c+c/aとa/c+c/b+b/aがどちらも整数であるとき,a,b,cは全て等しいと言えるでしょうか?ずっと反例を探しているのですが,見つかりません.
|
No.29307 - 2014/10/15(Wed) 16:42:52
| ☆ Re: / IT | | | 以前他のサイトで回答した下記問題と同値だと思います。
a,b,cを正の整数とする。aab+bbc+cca,abb+bcc+caaが共にabcの倍数のときa=b=cとなることを示せ ------------------------------------------------------- まず見通しよくするため概要を説明すると
a,b,cを素数pについての指数の大きさ順に 大,中,小と書く a,b,cが入れ替わっても aab+bbc+cca、abb+bcc+caaは、 大大中+中中小+小小大…(1),大中中+中小小+小大大…(2)のパターン(順不同)となる
(2)において 大中中、小大大≧大中小で 大中中+中小小+小大大がabcの倍数なので、中小小≧大中小 よって大=中=小 注)大大中、小大大≧大中小 としたのは、pについての指数の大小関係です ------------------------------------------------------- (証明) a,b,cを素因数分解したときの ある素数pについての指数をそれぞれp[a],p[b],p[c]として
aab+bbc+ccaがabcの倍数…(1) abb+bcc+caaがabcの倍数…(2)
e=p[a]+p[b]+p[c]とおくと abcはp^eの倍数
・p[a],p[b],p[c]の大きさの順番6通りについて考える
p[a]≧p[b]≧p[c]の場合 abb,caaはp^eの倍数なので(2)よりbccはp^eの倍数 よってp[b]+2p[c]≧p[a]+p[b]+p[c],よってp[a]=p[b]=p[c]
p[a]≧p[c]≧p[b]の場合 aab,ccaはp^eの倍数なので(1)よりbbcはp^eの倍数 よって2p[b]+p[c]≧p[a]+p[b]+p[c],よってp[a]=p[b]=p[c]
p[b]≧p[a]≧p[c]の場合 aab,bbcはp^eの倍数なので(1)よりccaはp^eの倍数 よって2p[c]+p[a]≧p[a]+p[b]+p[c],よってp[a]=p[b]=p[c] p[b]≧p[c]≧p[a]の場合 abb,bccはp^eの倍数なので(2)よりcaaはp^eの倍数 よってp[c]+2p[a]≧p[a]+p[b]+p[c],よってp[a]=p[b]=p[c]
p[c]≧p[a]≧p[b]の場合 bcc,caaはp^eの倍数なので(2)よりabbはp^eの倍数 よってp[a]+2p[b]≧p[a]+p[b]+p[c],よってp[a]=p[b]=p[c]
p[c]≧p[b]≧p[a]の場合 bbc,ccaはp^eの倍数なので(1)よりaabはp^eの倍数 よって2p[a]+p[b]≧p[a]+p[b]+p[c],よってp[a]=p[b]=p[c]
以上からa=b=c
# 場合分けをもっとスッキリ出来るかも知れません。
|
No.29311 - 2014/10/15(Wed) 18:55:33 |
| ☆ Re: / sakana | | | なるほど.各素数についての指数を見れば,a=b=cが示せるんですね.すっきりしました.ありがとうございます.
ちなみに,ITさんが以前回答されたというのは何という名前のサイトでしょうか?差し支えなければ教えて頂けると有り難いです.
|
No.29312 - 2014/10/15(Wed) 19:15:26 |
| ☆ Re: / IT | | | 数学問題集「考える葦」 数学質問掲示板 http://www2.ezbbs.net/cgi/bbs?id=eijitkn&dd=34&p=52
ですが9月20日に回答したので消えてます。
|
No.29313 - 2014/10/15(Wed) 20:05:57 |
|