Sardの定理 Zardの定理

**１３２人目の素数さん** · 2024/01/12(金) 17:27:58.24

Sardの定理 Zardの定理

**１３２人目の素数さん** · 2024/01/12(金) 18:40:59.05

>>1
何？

**１３２人目の素数さん** · 2024/01/12(金) 21:38:22.84

>>1
885 名前：１３２人目の素数さん[sage] 投稿日：2023/12/31(日) 15:50:49.09 ID:xhhv+g7J [1/2]
m/n=log(π) m、nは互いに素な正の整数
↔ e^{m/n}=π ↔ e^m=π^n
e<π＜e^2 から e<n<2e
∴∃i=1,…,m-1　m=n+i
∴e^i=(π/e)^n<(1+(π-e)/e)^n
　　　<(1+(3.2-2.7)/(2.7))^n=(1+(32-27)/(27))^n=(1+1/(27/5))^n
　　　<(1+1/5)^n
　　　<(1+1/π)^π
　　　<lim_{x→+∞}(1+1/x)^x＝e
∴矛盾
∴log(π) は無理数

886 名前：１３２人目の素数さん[sage] 投稿日：2023/12/31(日) 15:58:44.87 ID:xhhv+g7J [2/2]
e<π＜e^2 から　不要

**１３２人目の素数さん** · 2024/03/24(日) 16:44:56.00

**１３２人目の素数さん** · 2024/03/24(日) 16:45:42.17

**１３２人目の素数さん** · 2024/03/24(日) 16:45:55.34

**１３２人目の素数さん** · 2024/03/24(日) 16:46:52.96

>>1
笑ってはいけないもそうやけどガキ使の本編も
ダウタウの松ちゃん浜ちゃんも60歳の還暦を過ぎたから
松ちゃんの性加害問題関係なしに視聴率も低いし
元々遠からず終了の予定やったやろ
あと同じ日テレ系列の読売制作のDXデラックスも
シンプルに視聴率が低いから元々遠からず終了の予定だった
ガキ使とDXと笑ってはいけないの枠の後継番組は全部
千鳥がMCの番組にすればいいと思う
あとフジのジャンクSPORTSは
MCを千鳥ノブにすればいいと思う
ノブは前からスポーツ番組のMCをやりたいと
言うてたし

**１３２人目の素数さん** · 2024/03/24(日) 16:47:20.48

>>1
幽霊の正体見たり枯れ尾花

**１３２人目の素数さん** · 2024/03/24(日) 16:47:36.11

枯れススキ

**１３２人目の素数さん** · 2024/03/24(日) 16:47:53.02

ダウタウ

**１３２人目の素数さん** · 2024/03/24(日) 16:48:12.22

ダウタウ松本
ダウタウ浜田