2^x + 3^y = 5^z を満たす整数x, y, zの組をすべて求めよ
|
28553.Re: お願いします |
名前:haru 日付:9月10日(日) 7時3分 |
とりあえず、正の整数の部分だけを考えてみたのですが、2^x+3^y=5^zで、3^yがないとして、2^x=5^yを考えて、両辺の対数をとると、x/zの整数部分は2なので、x=1のときz=1,x=2のときz=4,x=3のときz=6…のように実際に計算して表にまとめたところ、例えば、2^1+3=5^1,2^1+23=5^2,2^2+21=5^2,2^3+17=5^2,2^4+9=5^2,2^1+123=5^3,…,2^6+61=5^3というように計算していって、途中で3^yになりそうなものを見つけていったところ、3=3^1,9=3^2で結局{x,y,z}={1,1,1},{4,2,2}の2つだけになりました。
|
|
28567.Re: お願いします |
名前:KINO 日付:9月11日(月) 2時40分 |
x, y, z が負の整数であるような解がないことだけは,2*3=6 と 5 が互いに素であることを用いて示すことができます。
|
|
28570.Re: お願いします |
名前:haru 日付:9月11日(月) 16時1分 |
KINOさん、もしよかったらそれを教えてもらえませんか。
|
|
28571.Re: お願いします |
名前:KINO 日付:9月11日(月) 17時32分 |
前レスの述べ方が不正確だったので詳述します。
1. x, y, z が共に負の整数であるような解はないこと。 そのような解があったとし,a=-x, b=-y, c=-z とおくと,これらは正の整数です。a, b のうち大きい方を d とおきます。 方程式の両辺に 6^d をかけると 6^d*2^x+6^d*3^y=6^d*5^z. ここで, 6^d*2^x=2^d*3^d*2^(-a)=2^(d-a)*3^d で,d-a≧0 よりこれは整数。 6^d*3^y=2^d*3^d*3^(-b)=2^d*3^(d-b) で,d-b≧0 よりこれは整数。 よって左辺は整数。 一方,6 と 5 は互いに素なので右辺の 6^d*5^z は決して整数ではありません。 これは矛盾です。
2. x, y, z のうちどれかひとつだけ負の整数であるような解がないこと。 そのような解があったとします。 例えば x だけが負の整数であるとき,2^x は整数ではありません。 よって 2^x=5^z-3^y と変形すると,右辺は整数なので矛盾です。
3. x, y, z のうちどれかふたつだけ負の整数であるような解がないこと。 x<0, y<0 で z≧0 のとき,2^x+3^y≦1/2+1/3<1 なので,2^x+3^y が整数 5^z に等しくなることはありません。 x<0, y≧0, z<0 のとき,5^z-2^x≦5^z≦1/5<1 で,これが整数 3^y に等しくなることはありません。x≧0, y<0, z<0 のときもこれと同様に示せます。
なお,x, y, z を 0 以上の整数に限ったときについては,ごく一部ですが「x=0 であるような解はない」ことがわかります。 x=0 であるような解を探すと,1+3^y=5^z より 3^y=5^z-1. ここで,z=0 であるような解がないことがすぐにわかります。 z≧1 で探してみても,右辺は偶数で,左辺は奇数なので,解はありません。
しかし,例えば y=0 であるような解が,らすかるさんが述べられた (2,0,1) 以外にないかどうかすら,僕にはわかりません。
|
|
28580.Re: お願いします |
名前:らすかる 日付:9月12日(火) 4時34分 |
私が今までに調べてわかったことは、 x=0 のとき 解なし x=1 のとき y≡z≡1 (mod 4) x=2 のとき 解は (2,0,1) のみ x=3 のとき 解なし x≧4 のとき x≡2 (mod 4) かつ y≡z≡0 (mod 4) または x≡0 (mod 4) かつ y≡z≡2 (mod 4)
y=0 のとき 解は (2,0,1) のみ z=0 のとき 解なし
# メモから拾い上げたので、間違いがあるかも知れません。
例えば y=0 のときの解が (2,0,1) のみであることは、 24で割った余りを考えるとわかります。 2^n, 3^n, 5^n をそれぞれ24で割った余りを書き並べてみると、 2:1,2,4,8,16,8,16,8,16,… 3:1,3,9,3,9,3,9,… 5:1,5,1,5,1,5,… 3^0≡1 (mod 24) ですから、2^nの余りに1を足すと 2,3,5,9,17,9,17,9,17,… このうち5^nの列にあるものは5だけですので、 2^2+3^0=5^1 の他に y=0 となる解は存在しません。
他の結果は、48で割った余りと60で割った余りを考えると得られます。
http://www10.plala.or.jp/rascalhp
|
|
28582.Re: お願いします |
名前:haru 日付:9月12日(火) 4時44分 |
ありがとうございました。
|
|
|