No.1ベストアンサー
- 回答日時:
1)
以下回答では合同式を用いる。
意味がわからなければ下記サイトを参考にしてほしい
http://www2.ocn.ne.jp/~atel.a/emath/mod.html
4n+3の形の素数がp_1,p_2,…,p_mのm個のみと仮定する。…○
N=4(p_1)(p_2)…(p_m)-1とおく。
N=4(p_1)(p_2)…(p_m)-1=(p_1){4(p_2)…(p_m)-1}+p_1 -1となるから、
Nはp_1で割り切れない。
N=4(p_1)(p_2)…(p_m)-1=(p_2){4(p_1)(p_3)…(p_m)-1}+p_2 -1となるから、
Nはp_2で割り切れない。
・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・
N=4(p_1)(p_2)…(p_m)-1=(p_m){4(p_1)…{p_(m-1)} -1 }+p_m -1となるから、
Nはp_mで割り切れない。
よってNはp_1,p_2,…,p_mのいずれでも割り切れない。…※
Nを素因数分解してみる。N=(q_1)…(q_k)
※よりq_1,q_2…,q_kはp_1,p_2,…,p_mのいずれとも異なる。…●
Nは2では割り切れないから、q_1,…,q_kのいずれも2ではない。
q_1,…,q_kのいずれも4で割ると1余る素数と仮定する。
N=(q_1)…(q_k)≡1*1…*1≡1 (mod 4)となるが、
N=4(p_1)(p_2)…(p_m)-1≡-1≡3 (mod 4)だから不合理
よって、q_1,…,q_kのいずれかは4で割ると3余る素数となる。
それをq_wとする。
●よりq_wはp_1,p_2,…,p_mのいずれとも異なっているが
4で割ると3余る素数すなわち4n+3の型の素数となるが
これは○の仮定に反する。
以上より○の仮定が誤りで、4n+3の形の素数の個数が無限にあること
がいえた。
2)
(1)
φ(p^r)=p^r-(1からp^rまでの整数のうちpの倍数の個数)=p^r-p^(r-1)
(2)
kをmより小さくmと互いに素な正の整数、hをnより小さくnと互いに素な正の整数とする。
「mh+nkはmnと互いに素になることがいえる。」・・・※
※の証明
もしmh+nkとmnをともに割り切る素数pが存在すると仮定する。
mh+nk=ps
mnが素数pで割り切れる。
pは素数だからm,nのいずれかがpで割り切れる。
nがpで割り切れるとき
n=pu
mh=ps-puk=p(s-tk)だからmhが素数pで割り切れる。
pは素数だからmまたはhがpで割り切れる。
mがpで割り切れるとき
m,nがともにpで割り切れるのでm,nが互いに素であることに
反し不合理
hがpで割り切れるとき
n,hがともにpで割り切れるのでn,hが互いに素であることに
反し不合理
※の証明ここまで
「mh+nk≡mh'+nk' (mod mn)ならばk≡k'(mod m),h≡h'(mod n)」…○
○の証明
mh+nk=mh'+nk'+mnv
m(h-h')=n(mv-k+k')だからm(h-h')はnで割り切れる
m,nは互いに素だからh-h'はnで割り切れる
すなわち、h≡h'(mod n)がいえる。
n(k-k')=m(nv-h+h')だからn(k-k')はmで割り切れる。
m,nは互いに素だからk-k'はmで割り切れる。
すなわち、k≡k'(mod m)がいえる。
よって、k≡k'(mod m),h≡h'(mod n)がいえる。
○の証明ここまで
※と○より
Z(m)をmod mの既約剰余類、Z(n)をmod nの既約剰余類、Z(mn)をmod mnの既約剰余類とする。
k∈Z(m),h∈Z(n)をとる
f:Z(m)×Z(n)∋(k,h)→mh+nk∈Z(mn)
※よりmh+nkは確かにZ(mn)の元であることがいえる。
また○よりfは単射である。
よってφ(m)φ(n)≦φ(mn)がいえる。
またZ(mn)の元wをとる
wはmnと互いに素だから、wとm,wとnも互いに素である
g:Z(mn)∋w→(w,w)∈Z(m)×Z(n)
gは明らかに単射だからφ(mn)≦φ(m)φ(n)
以上よりφ(mn)=φ(m)φ(n)がいえた。
(3)
nを素因数分解すると、n=π_[p|n]p^kだから(1),(2)より
φ(n)=π_[p|n]φ(p^k)=π_[p|n]{p^k-p^(k-1)}=π_[p|n]p^k{1-(1/p)}
=π_[p|n]p^k*π_[p|n]{1-(1/p)}=nπ_[p|n]{1-(1/p)}となり
φ(n)=nπ_[p|n]{1-(1/p)}がいえた。
No.2
- 回答日時:
このレベルで丸投げは良くないけど・・・。
代数学かな? 講義ででてくることだと思うけどね・・・。
ちゃんと調べたりして理解できればね♪
丸呑みしちゃあダメですよ。
ちゃんと説明してくださっていますので、よく読んで
理解をしてくださいね。
「4で割って3余る素数は無限にある」
これは、シンプルに、自明でも構いません。
素数は必ず「4n+1」か「4n-1」で表されることが分かっていれば。
#nは自然数ね。
後は2だけだけど、2は4で割って3余りはでないからね。
オイラー関数は、重要だけど、この辺は講義でやるはずだよ~。
私の講義ではほとんどあつかわないけれども(代数学の非常勤講師です)。
整数論が絡んでくるのかな? どっちにしても大事なことだからね。
書かれてあることを理解するように、がんばってください。
ポイントは、私につけてはダメよ。No.1さんにあげてくださいね。
ちゃんと締め切るようにしてね m(_ _)m
がんばってください。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 大学・短大 C言語線形リストの問題です 3 2022/12/22 00:45
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 複素関数でこの積分が0になることを示したいです。 R→無限大 、0<a<1 が条件です。不備があれば 1 2023/04/21 17:36
- 数学 どうか教えてください。 4 2022/07/02 20:18
- 数学 環論の素元について 6 2022/05/09 04:04
- 数学 教えてください。 2 2022/06/30 14:26
- 数学 2次以上の多項式g(x)であって, 任意の無理数に対して無理数の値を取るものは存在しないことを示せ. 8 2022/06/27 11:28
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 「素数」とは、「1と、それ自身でしか割り切れない数」。 「素因数分解」も「素数」の仲間ですか? 3 2022/04/14 22:45
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
次元定理以外で
-
帰納法
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
不完全微分であることの証明
-
中心角の定理
-
四葉のクローバー この言葉一度...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
ブール環
-
元カレと再婚した方ってなかな...
-
フェルマーの最終定理。 数学者...
-
a1=√2,a(n+1)=√(2+an)が単調増...
-
中学2年程度数学3ケタの自然数...
-
47歳、母親の再婚を子供の立場...
-
3,4,7,8を使って10を作る
-
2+3=5
-
結婚して1か月して、初めて主...
-
正解が一つとは限らない数学の...
-
非該当証明書と該非判定書とい...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報