[ 掲示板に戻る ]
記事No.82304に関するスレッドです
★ 大学数学です。 / ゆうじん
この証明が分かりません。
特に不等式評価から与式が有界であることによって微分がe^z0になる点が分かりません。
ご教示ください。
No.82304 - 2022/06/06(Mon) 23:56:40
☆ Re: 大学数学です。 / ast
> 与式が有界であることによって微分が
当該の式(これを与式って言い方するのは個人的には違和感ある)が s,t が十分に小さい時有界という意味は, "t,s→0 (あるいは同じことだが √(s^2+t^2)→0) のとき (分母)→0 かつ limsup が存在する" ということなので, そのためには (分子)→0 は必要条件, つまり |(e^(t+is)-1)-(t+is)| →0 ⇔ |(e^(t+is)-1)/(t+is)|→1 というようなことが「したがって」の一言で済まされていると考えられます.
# 厳密には ε-δ 論法で書くべきところだとは思いますが
# 「分数の形の極限で limit が存在してかつ (分母)→0 なら (分子)→0 が必要」のようなケースは
# 高校数学の範囲でも典型的な問題として既知だと思いますので, 深入りしません.
No.82312 - 2022/06/07(Tue) 16:41:36