- 高校数学の質問スレPart408
632 ：１３２人目の素数さん[sage]：2020/11/20(金) 13:10:09.05 ID:7hTqJfyP - 実数の非可算証明は小数表示が一意でない事への対処が必要
|
- 分からない問題はここに書いてね464
264 ：１３２人目の素数さん[sage]：2020/11/20(金) 13:28:20.49 ID:7hTqJfyP - >>260
導関数が連続と証明できるのか？
単調を直接証明した方が良い
|
- 分からない問題はここに書いてね464
266 ：１３２人目の素数さん[sage]：2020/11/20(金) 16:13:34.76 ID:7hTqJfyP - それを証明する手間を見せてみ？
|
- 分からない問題はここに書いてね464
272 ：１３２人目の素数さん[sage]：2020/11/20(金) 18:45:54.25 ID:7hTqJfyP - log6≦3^3^27((log3)%1)＜log7
を示す
log(log6)≦3^27((log3)%1)log(3)＜log(log7)
を示す
log(log(log6))≦27((log3)%1)log(3)log(3)＜log(log(log7))
を示す
|
- 分からない問題はここに書いてね464
277 ：１３２人目の素数さん[sage]：2020/11/20(金) 21:29:49.28 ID:7hTqJfyP - はて？自分がどう言うつもりで >>264 を書いたのか思い出せない！
何か勘違いしたのかな？
見直すと >>276 の中間値の定理で f ' を定符号にしといて
f '(x) > 0 なら x の近傍 V(x) で ∀y∈V(x) [(x < y → f(x) < f(y))∧(y < x → f(y) < f(x))] だから
閉区間 [a, b] のコンパクト性を使って有限個の V(x_i), i = 1~n で覆い
ξ ∈ V(x_1)∩V(x_2) … etc. として
f(a) < f(x_1) < f(ξ) < f(x_2) < … < f(x_n) < f(b) で単調が証明できるが
いいのかな〜
|