
以下問題
素数 m,n を用いてmⁿ+nᵐ と表せられる素数を全て求めよ.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
X=mⁿ+nᵐとする。
m=nの時はX=2mⁿとなり偶数になるので、x≠mである。
mod(n)を取ると、フェルマーの小定理より、
X≡m(m)ⁿ⁻¹+0ᵐ
≡m
同様に、X≡n mod(m)である。
よって、Xはn, mと互いに素な整数a, bを用いて
X=an+m
X=n+bm
と書ける。連立して、
an+m=n+bm
(a-1)n=(b-1)m
n, mは異なる素数であるため、素因数分解の一位性より(a-1)=m, (b-1)=nであることがわかる。
よって、
X=(m+1)n+m
=mn+m+n
mⁿ+nᵐ=mn+m+n
ここで、m, nがどちらも2より大きいと仮定すると、右辺は偶数、左辺は奇数となり矛盾する。よって、対称性よりnが2だとして良い。
代入して、
m²+2ᵐ=2m+m+2
2ᵐ=-m²+3m+2=-(m-3/2)²+17/4
この式の左辺はmにおいて狭義単調増加であり、右辺はm≥2>3/2において狭義単調減少である。m=2の時この式は成立するので、考えうる解はm=2の場合のみ。
よって、(n,m)=(2,2)
A 回答 (6件)
- 最新から表示
- 回答順に表示
No.6
- 回答日時:
補足2024/03/26 22:36について
n=1(mod 2) だから (3-1)^n = -1 (mod 3) になるのであって
n=1(mod 3) だから (3-1)^n = -1 (mod 3) になるのではありません
n=2(mod 3) だから (3-1)^n = -1 (mod 3) になるのではありません
(3-1)^n = -1 (mod 3) となる理由が正しくありません
No.4
- 回答日時:
> 此れは私の考え方ではないのでよくわかりません
そうですか。
質問者様に言ってもしょうがないのですが、
この回答って、代入すればすぐに間違いが分かる(2,2)を
答えにしている時点でおかしいと思わないのが不思議です。
さらに言えば、
> X=(m+1)n+m=mn+m+n
という式についても
X=(m+1)n+m=mn+m+n=(m+1)(n+1)-1
なので、mとnにそれぞれ1を足したものの積とXとの差が
1だということ。
このXは素数m,nで成り立つのだから、
m=2、n=101でも成り立つはず。
でも、2^101はとんでもない桁数になるはずなのに、
3×102-1では3桁にしからなないことからも、
この式のどこかがおかしいって気づくべきことだと思うのだけど。
なんか技に走って本質を理解していないような気が…
ついでに言えば、最後の答えからしておかしいのが
すぐわかるはずなのに、誰かの考えとはいえ
なんでこの解き方を示したの?って思ってしまう。
No.3
- 回答日時:
m≧2
n≧2
m^n≧4
n^m≧4
m^n+n^m≧8
m^n+n^mは素数だから
m^n+n^m≧11
だから
m^n+n^mは奇数素数
m=n(mod 2)と仮定すると
m^n+n^m=2n^n=0(mod 2)
となってm^n+n^mが奇数であることに矛盾するから
m≠n(mod 2)
m,nのどちらか一方が奇数、他方が偶数だから
m,nのどちらかが2
よって対称性より
n=2
mは奇数
としてよい
mは奇数だから
m=2k+1となる整数kがある
n^m=2^m=2^(2k+1)=2(4^k)=2(3+1)^k=2(mod 3)
m≠0(mod3)と仮定すると
m^n+n^m=m^2+2^m=1+2=0(mod3)
となってm^n+n^mが3の倍数でない11以上の素数であることに矛盾するから
m=0(mod3)
mは3の倍数素数だから
m=3
(n,m)=(2,3)
∴
m^n+n^m=3^2+2^3=9+8=17
No.2
- 回答日時:
m≧2
n≧2
m^n≧4
n^m≧4
m^n+n^m≧8
m^n+n^mは素数だから
m^n+n^m≧11
だから
m^n+n^mは奇数素数
m,nがどちらも2より大きいと仮定すると
m,nはともに奇数素数
m^n,n^mはともに奇数だから
m^n+n^mは偶数となって
m^n+n^mが奇数であることに矛盾するから
m,nのどちらかが2
よって対称性よりn=2としてよい
mは奇数だから
m=2k+1となる整数kがある
2^m=2^(2k+1)=2(4^k)=2(3+1)^k=2(mod 3)
m≠0(mod3)と仮定すると
m^2+2^m=1+2=0(mod3)
となってm^n+n^mが3の倍数でない11以上の素数であることに矛盾するから
m=0(mod3)
mは3の倍数素数だから
m=3
∴
(n,m)=(2,3),または
(m,n)=(3,2)
No.1
- 回答日時:
2行目で否定していることが答えになっているのもどうかと
思いますが、
> (a-1)n=(b-1)m
> n, mは異なる素数であるため、素因数分解の一位性より
> (a-1)=m, (b-1)=nであることがわかる。
(a-1)=km, (b-1)=knでは?
ご回答ありがとうございます
此れは私の考え方ではないのでよくわかりません
以下答案
~~~~~~~~~~~~~~~~~~
https://imgur.com/a/Wu9foTj
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学で、項を指すとき、例えば2...
-
1/∞=0は、なぜ?
-
1/7=1/m+1/nを満たすmとnの求め方
-
SQL文のwhere条件文で使う <> ...
-
数学の方程式について
-
逆三角関数の微分
-
高2数学です α二乗+β二乗=α...
-
数学における 等価と同値って同...
-
記号(イコールの上に三角形)...
-
対称式の因数分解
-
Xの二乗-X+1=0 という2次方程式...
-
aは1以上の実数、bは正の実数
-
数学的帰納法
-
二次式の因数分解で二次式=0...
-
急ぎです゜(゜´Д`゜)゜
-
どうやったらこうなりますか?
-
高2恒等式
-
プール代数の問題なんですけど ...
-
一次方程式の文章題教えてくだ...
-
私の解答と問題集の解答とは考...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
1/∞=0は、なぜ?
-
SQL文のwhere条件文で使う <> ...
-
数学で、項を指すとき、例えば2...
-
Xの二乗-X+1=0 という2次方程式...
-
質問です。 a+b+c=0のとき、...
-
どうしてa>0, b>0のとき、a=b⇔a...
-
記号(イコールの上に三角形)...
-
“∠ABC”か、それとも“∠CBA”か
-
xについての恒等式となるように...
-
1/7=1/m+1/nを満たすmとnの求め方
-
等式記号に似た三本線
-
組み合わせの公式
-
a>b,c>dのとき、不等式ac+bd>ad...
-
VBAでセルの右下をいちばん下ま...
-
数学における 等価と同値って同...
-
x/(x+1) = 1 - 1/(x+1)
-
数学的帰納法
-
高2恒等式
-
高2数学です α二乗+β二乗=α...
-
説明変数と被説明変数とは何で...
おすすめ情報
私の答案では法を 3 に取っているが、此れは偶然でも、閃きでもない
小さい数からサンプルを拾い活かしたものである.
以下答案です
画像拡大リンク
https://imgur.com/a/Wu9foTj
~~~~~~~~~~~~~~~~~~~~
画像拡大リンク
https://imgur.com/a/Wu9foTj