面白い問題おしえて～な二十一問目

面白い問題おしえて～な二十一問目at MATH

面白い問題おしえて～な二十一問目 - 暇つぶし2ch329:よい。これが示されれば、五つの相異なる正整数を選べば、必ずその中に、2^m*p^n型で無い二数の和が有ることになり、それは、2、p以外の素因数を持つ。そのような5数a,b,c,d,eが見つかったとすると、2a,2b,2c,2d,2e、も自動的に条件を満たすので、５数の内少なくとも一つは奇数としてよい。（※）同様に、pa,pb,pc,pd,pe、も自動的に条件を満たすので、５数の内少なくとも一つはpで割り切れないとしてよい。（※※） (a+b)+(a+c)+(b+c)=2(a+b+c)なので、(a+b),(a+c),(b+c)の中に奇数は０個か２個ある　→　a,b,cに奇数は１個か３個ある。同様の議論を、(a+c),(a+d),(c+d)の間等でも行い、（※）も考慮すると、結局、a,b,c,d,e全てが奇数であるとしてよい。 (a+b)、(a+c)、(b+c)はいずれもpの倍数だとすると、(a+b) + (b+c) = (a+c) + 2b であるから、bもpの倍数でなければならない。すると、aもc、pの倍数となる。この検討を(a+c),(a+d),(c+d)等へ波及していくと、結局、abcde全てが、pの倍数でなければならなくなり、(※※)に違反するつまり、(a+b)、(a+c)、(b+c)の中に、2^m型の数がある。(mは明らかに2以上) 仮にそれをa+b=2^sとし、b+c=2^x*p^y,a+c=2^u*p^vとすると、(a+b) + (b+c) = 2^s + 2^x*p^y = (a+c) +2b = 2^u*p^v + 2b b= 2^(s-1) + 2^(x-1)*p^y - 2^(u-1)*p^v　となるが、bは奇数なので、xかuの一方は1、他方は2以上でなければならない。つまり、(a+b)、(a+c)、(b+c)のように、a,b,c,d,e中から3数を選び、その中の組み合わせで作った三つの和は、一つは2^m型（以後Ａ型）、一つは2*p^n型（Ｂ型）、一つは、2^s*p^t　ただしs≧2（Ｃ型）と、明確に3種類に分けることができる。しかし、十通りの和を、矛盾無くこの3種類に分類することはできなく（下参照）、文頭の命題が証明される。

次ページ