25/12/23 03:27:34.74 N6EBsICN.net
いくつ？
2:１３２人目の素数さん
25/12/23 03:42:44.75 gImgrPSf.net
(a^2 + b^2)(c^2 + d^2)
= (ac - bd)^2 + (ad + bc)^2
= (ac + bd)^2 + (ad - bc)^2
m^2 pq = m^2 x^2 + m^2 y^2
3:１３２人目の素数さん
25/12/23 04:00:33.20 Nu8Da3mN.net
n＝1らしいね。
4:１３２人目の素数さん
25/12/23 10:16:44.43 CqDz8RcB.net
n=0 もあるなｗ
n>2の場合、nを越えない最大の素数をp とすると、n!=m^2となる整数mが存在するとすれば、mはpを素因数として持つので、n!はp^2を因数としてもつ。
ゆえにn>=2pでなくてはならない。一方、ベルトラン・チェビシェフの定理より、2p ≧ q > p を満たす素数qが必ず存在するので、pがnを越えない最大の素数であるという前提と矛盾する。したがって、n>2において、n!=m^2となる整数mは存在しえない。
5:１３２人目の素数さん
25/12/23 14:24:23.06 L/9Zk+jH.net
おおー
6:１３２人目の素数さん
25/12/23 17:17:39.02 6XroQykD.net
>>4
これ検索したら出たやつだ。
ベルトラン＝チェビシェフて何やねんって諦めた。
その初等的な証明をエルデシュや、最近の人がやっていたと思う。
7:１３２人目の素数さん
25/12/23 17:19:04.00 6XroQykD.net
ベルトラン＝チェビシェフの定理は、ガンマ関数を使うらしいよ。
8:１３２人目の素数さん
25/12/23 17:19:56.07 6XroQykD.net
>>7
定理の証明にね
9:１３２人目の素数さん
25/12/24 00:32:47.11 LUfZ/r5E.net
>>6
途中まで自力で考えて、pと2pの間にたぶん素数があるんだろうって
予想したんだが（ベルトランならぬ俺の仮説ｗ）、証明できそうにないので
ズルして検索したらばっちりベルトランの仮説が引っかかったという次第ｗ
エルデシュが初頭的な証明を考えたらしいが、pが素数だともっと簡単に
証明できんかな？
10:１３２人目の素数さん
25/12/24 15:26:20.49 bR4eMIwn.net
nが2以上であるとき、
ｎを越えない最大の素数ｐが存在する。
ｐは n! の素因子としてちょうど1回
しか現れないので n!が平方数になる
ことはない。
11:１３２人目の素数さん
25/12/24 15:37:02.26 BO2hPI7K.net
もしp<2p<=nならp^2で割れる
p<2p<=nとならない事を言うのに
ベルトラン・チェビシェフの定理を使う
12:１３２人目の素数さん
25/12/24 17:28:00.97 yDgIhetR.net
正直、ベルトラン＝チェビシェフの定理を証明しないと、きちんと証明したことにはならないと思うよ。
エルデシュの証明は短かったかもしれないけど、それ以外の証明はかなり難しそうだった。
13:１３２人目の素数さん
25/12/24 17:28:30.40 yDgIhetR.net
かなり見慣れない定理だからね
14:１３２人目の素数さん
25/12/24 17:54:08.70 RkCBbanc.net
>>12
じゃお前はすべての定理を集合論の公理から導いてろ
15:１３２人目の素数さん
25/12/24 18:00:12.64 yDgIhetR.net
>>14
まあ少し言いすぎたかな、反省はしてる。
ただ、論理の飛躍には注意すべきだとは思う。
よく使う定理は既知のものとして、証明なしで使って良いんだと思う。
ベルトラン＝チェビシェフって何？って、普通の人は思うよ。
16:１３２人目の素数さん
25/12/24 18:04:55.23 BO2hPI7K.net
>>10が暗黙裡に前提とするくらいには
定理の内容が分かりやすくて
それでいて証明が難しいのなら
道具として打って付けの定理
17:１３２人目の素数さん
25/12/24 18:05:20.71 yDgIhetR.net
私は新参で、あまりにも板が荒れてるから、少し過激なことを言ってしまった。
このスレは普通だから、荒らしはしないよ。
私は質問を解いたのに、さっき自演乙って言われたからw
18:１３２人目の素数さん
25/12/24 18:08:48.20 yDgIhetR.net
>>16
まあ、意図は分かってるから。
この板には逆張りの人がいたり、延々と一人語りしている人がいるから、疑心暗鬼になっていただけ。
簡単に証明できそうだけど、実は大変だっていう、フェルマーの大定理のようなものだと受けとっておくよ。
19:１３２人目の素数さん
25/12/24 18:15:29.97 yDgIhetR.net
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
これに似ていたから、少し言いたくなったのよ。
まあ、攻撃の意図はないから、承知しておいてくれ。
20:１３２人目の素数さん
25/12/24 18:27:36.17 kSIHtfJw.net
>>9
ここで正直に書いてたのね。
疑ってすまなかったね。
自演スレが多すぎて、憂鬱になっていたから…。
21:１３２人目の素数さん
25/12/24 19:12:39.70 LUfZ/r5E.net
>>10
>ｐは n! の素因子としてちょうど1回
>しか現れない
n≧2pであれば、2回現れるよ。
だからそれでは証明になってない。
2pとpの間に素数が存在するというベルトランの仮説（実際は定理）
を持ち出さないと駄目なんよ。