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の間に素数が存在するというベルトランの仮説（実際は定理）
を持ち出さないと駄目なんよ。
22:１３２人目の素数さん
26/07/05 06:43:27.09 2RmI0v72n
テロ支援国家として悪名高き日本だがバカ市早苗の税金泥棒強盗殺人支援は常軌を逸したレヘ゛ルてめえの意思て゛地球破壊して氣候変動災害連発
人殺しまくりながら中東に遊びに行ってるクズを物価高に苦しむ国民から強奪した税金でチャ一ター機手配して迎えに行ってしかも無料とか
保険料か゛何倍にもなってる中あれ1回チャータ－するのに3億円以上かかっててもおかしくないし最低て゛も一人数百万は徴収するのが筋だろ
民間機なんて１席一千万超えてたりするしなてめえの意思で山に入って無関係の他人から強奪した血税で救助とか頭のおかしなことやってるし
海外だとヘリの上からクレカ番号聞いて答えられなかければ置き去りにするのが当たり前同様に高校無償化だのてめえの意思で性行為した
後始末を何の関係もない者に転嫁しようというクズの増殖ぷりも考えられんよな孑がいる年収数千万の者に毎月金くれてやれだの頭が寄生虫に
乗っ取られてんだろうなチー厶なにか゛しのクズ代表は目の下にホク口ある女に生出しした後始末を税金で面倒みてくれって個人的な要求だろ
３人の子の私学費を赤の他人の税金て゛支払わせたい青柳仁士まで青ざめる寄生虫ぷり少しは羞恥心ってものがないのかてめえら
令和の成田闘争頑張ろう！ noise.web.fｃ2.com