- ベストアンサー
ロピタルの定理の証明について（ｆ→∞、ｇ→∞の場合）
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
あなたは証明は誰かのやった証明を写すことしか考えないのでしょうか？ 0/0型の証明があるなら f(x),g(x) → F(x)=1/f(x),G(x)=1/g(x) で置き換えれば、f/g=G/Fで G/Fが0/0型になります。 0/0型の証明がそのまま適用できるのではないでしょうか？
その他の回答 (1)
- kmasacity
- ベストアンサー率50% (8/16)
なんかありましたが http://www.cec.yamanashi.ac.jp/~sato/lecture/lhospital/lhospital.html 高校数学までくらいなら、「ロピタルの定理 証明」などで検索すれば、説明してるサイトは見つかりますよ。
お礼
リンク先を見ました。 とても分かりやすいです。ありがとうございます。 しかし残念ながらまだ完璧に分かったわけではないです。 （実は細かい所が引っ掛かってます。） すみません、とりあえず一旦こちらを閉じて質問事項を整理しまして、また別スレで質問したいと思います。 この度はどうもありがとうございました。
補足
新しい質問を立てましたので、 また何か分かりましたらよろしくお願いします。 http://oshiete1.goo.ne.jp/qa3642891.html?ans_count_asc=20
関連するQ&A
- ロピタルの定理の証明について（ｆ→∞、ｇ→∞の場合）
ロピタルの定理の証明で分からない所があります。 よろしくお願いします。 http://www.cec.yamanashi.ac.jp/~sato/lecture/lhospital/lhospital.html リンク先のロピタルの定理の証明の (ⅱ)ｆ(x)→±∞、g(x)→±∞、かつｇ'(x)≠0の時 の証明で このページでは α＝lim[x→a]f/gが0の時とそうでない時で場合分けをしていますが、 私はαが±∞の時も場合分けする必要があると思うのですが、 どうでしょうか？ (なぜなら lim[x→a]x/(x-a)＝lim[x→a]2x/(x-a)^2 などでは両辺を1/(x-a)で割ることができないので。) 自分でもαが±∞の時にどうすればいいか考えたのですが、 分かりませんでした。 どなたか教えてください。 よろしくお願いします。
- 締切済み
- 数学・算数
- ロピタルの定理
ロピタルの定理は大学入試ではタブーですが、さすがに証明をすれば使えると思います。学校の先生はかなり複雑だといっていましたが、割と簡単な証明が参考書に載っていました。(正式なものでないかもしれません。)それについて教えてください。 F(x)=f(x)-f(a)-k{g(x)-g(a)},,k={f(b)-f(a)}/{g(b)-g(a)}とおく。 F(a)=F(b)=0でロルの定理よりF'(c)=0(a<c<b)から得られる。 f(x)/g(x)={f(x)-f(a)}/{g(x)-f(a)}=f'(c)/g'(c) a<c<x,またはa<c<a x→aのときc→a lim(x→a)*f(x)/g(x)=lim(c→a)f'(c)/g'(c) QED とあります。～～とおく。の後がいまいちわかりません。教えてください。またこの証明でロピタルを証明したことになりますか。
- ベストアンサー
- 数学・算数
- ロピタルの定理とは…
ロピタルの定理は (i) a∈I,∀x∈I＼{a},g'(x)≠0 (ii)lim(x→a,f(x))=lim(x→a,g(x))=0 または lim(x→a,f(x))=lim(x→a,g(x))=∞ (iii)lim(x→a,f'(x)/g'(x))が収束 となるような開区間Iがとれる時、 lim(x→a,f(x)/g(x))=lim(x→a,f'(x)/g'(x)) と言ってもいいのでしょうか? それと x→∞でのバージョンは (i) ∀x∈(a,∞),g'(x)≠0 (ii)lim(x→∞,f(x))=lim(x→∞,g(x))=0 または lim(x→∞,f(x))=lim(x→∞,g(x))=∞ (iii)lim(x→∞,f'(x)/g'(x))が収束 となるような実数aがとれる時、 lim(x→∞,f(x)/g(x))=lim(x→a,f'(x)/g'(x)) で正しいでしょうか?
- ベストアンサー
- 数学・算数
- ロピタルの定理
大学１年生です。 手持ちの『理工系 微積分学』（荒井正治、学術図書出版）という教科書にロピタルの定理は次のようなものとあります。 lim(a,b)はlim_(a→b) "!="は"≠" "inf"は無限大 "+-"は+と-の複合 を表すとします。 1. (a,b]で定義された微分可能な関数 f(x),g(x) が次の仮定を満たすとする。 (i) g'(x)!=0 (ii) lim(x,a+0)f(x)=lim(x,a+0)g(x)=0 または (ii)' lim(x,a+0)f(x)=lim(x,a+0)g(x)=inf (iii) 次式の右辺の極限が存在するかまたは+-infに発散し、次の等式が成り立つ このとき、次式の左辺の極限が存在するかまたは+-infに発散し、次の等式が成り立つ。 lim(x,a+0)f(x)/g(x)=lim(x,a+0)f'(x)/g'(x) 2. (1.で区間が(a,inf)かつlim(x,inf)の場合) (ii)の場合の証明で f(a)=g(a)=0 と定義することにより fとgが[a,b]でも連続になるためコーシーの平均値の定理を満たすようになり…としていますが、 f(a)=g(a)=0 のような定義をしても一般的なのでしょうか。私にはそのようにならない関数を見つけられないのですが、本当に存在しないのでしょうか。 また、存在するとすれば、そのような関数の場合はどのように証明するのでしょうか。 質問が多いですが、よろしくお願いします。
- 締切済み
- 数学・算数
- ロピタルの定理
[定理] ｆ(ｘ),ｇ(ｘ)が開区間(ａ,ｂ)で微分可能で、 lim_{x→a+0}ｆ(ｘ)＝０、 lim_{x→a+0}ｇ(ｘ)＝０、 ｇ'(ｘ)≠０ のとき、lim_{x→a+0}｛ｆ'(ｘ)/ｇ'(ｘ)｝が存在すれば、 lim_{x→a+0}｛ｆ(ｘ)/ｇ(ｘ)｝＝lim_{x→a+0}｛ｆ'(ｘ)/ｇ'(ｘ)｝ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ (proof) ｆ(ａ),ｇ(ａ)が定義されていて、ｆ(ａ)＝０,ｇ(ａ)＝０ならば、ｆ(ｘ),ｇ(ｘ)は[ａ,ｂ)で連続である。 そういう場合は、新しくｆ(ａ)＝０,ｇ(ａ)＝０と定義すれば、ｆ(ｘ),ｇ(ｘ)は[ａ,ｂ)で連続となる。 こうしておいて、(ａ,ｂ)のｘをとれば、ｆ(ｘ),ｇ(ｘ)は[ａ,ｘ)で連続、(ａ,ｘ)で微分可能、かつ(ａ,ｘ)でｇ'(ｘ)≠０だから、コーシーの平均値の定理より、 ｆ(ｘ)/ｇ(ｘ) ＝ {ｆ(ｘ)－ｆ(ａ)}/{ｇ(ｘ)－ｇ(ａ)} ＝ ｆ'(ｃ)/ｇ'(ｃ) (ａ＜ｃ＜ｂ) のｃが存在し、ｘ→a+0 ならばｃも ｃ→a+0 となるから、 lim_{x→a+0}｛ｆ(ｘ)/ｇ(ｘ)｝＝lim_{c→a+0}｛ｆ'(ｃ)/ｇ'(ｃ)｝ lim_{x→a+0}｛ｆ'(ｘ)/ｇ'(ｘ)｝の存在は仮定から保証されているので、 lim_{c→a+0}｛ｆ'(ｃ)/ｇ'(ｃ)｝＝ lim_{x→a+0}｛ｆ'(ｘ)/ｇ'(ｘ)｝ (q.e.d) このように、ある参考書に定理の証明があったのですが、この証明で、 "lim_{x→a+0}｛ｆ'(ｘ)/ｇ'(ｘ)｝が存在すれば" という仮定はなぜ必要なのでしょうか？ 簡単なことかもしれませんが、よろしくお願いします。
- ベストアンサー
- 数学・算数
- ロピタルの定理の証明
コーシーの平均値の定理[{f(b)-f(a)}/{g(b)-g(a)}]=f'(c)/g'(c)のbにxを代入して、f(a)=g(a)=0より、{f(x)/g(x)}=f'(c)/g'(c) (a<c<x またはx<c<a) x→aの時、はさみうちの原理よりc→aとなり、lim_(x→a)f(x)/g(x)= lim_(x→a)f'(c)/g'(c)=lim_(c→a)f'(c)/g'(c) そしてこの右辺のcをxに置き換えると、lim_(x→a)f(x)/g(x)=lim_(x→a)f'(x)/g'(x)が成り立つ。 質問ですが、最後のlim_(c→a)f'(c)/f(c)のcをxに置き換えてもなぜ式が成り立つのかが分かりません。 もしそうなら、f(x)/g(x)=f'(c)/g'(c) の時点で、f(x)/g(x)=f'(x)/g'(x)とcをxに変えて、あとはlim_(x→a)f(x)/g(x)=lim_(x→a)f'(x)/g'(x)とすればいいのではないのかと思ったのですが。
- ベストアンサー
- 数学・算数
- ロピタルの定理の証明
２つの関数ｆ（ｘ）ｇ（ｘ）がｘ＝aを含む区間で連続、ｘ≠aの区間で微分可能で、ｇ´（ｘ）≠０、ｆ（a)=f(b)=0とすると、この時αを一定の数として、 lim(x→a)f´（ｘ）／ｇ´（ｘ）＝αならばlim(x→a)f(x)／ｇ（ｘ）＝αを証明したい。 （本の内容） ｆ（a)=f(b)=0であるから、ｆ（ｘ）／ｇ（ｘ）＝ｆ´（ｃ）／ｇ´（ｃ）ｘ＜ｃ＜aまたはa<c<X x→aのときｃ→aであるから lim(x→a)f(x)／ｇ（ｘ）＝lim(c→a)f´（ｃ）／ｇ´（ｃ）＝lim(ｘ→a）f´（ｘ）／ｇ´（ｘ）（★） （疑問点） ★の変形部分がなぜそうなるのかがわかりません。 おしえてください。
- ベストアンサー
- 数学・算数
- ロピタルの定理の複素関数への適用について
f(z),g(z)が点aで正則で、f(a)=g(a)=0、g'(a)が０でないとき、 lim{z→a｝f(z)/g(z)＝lim{z→a｝f'(z)/g'(z) であることを証明せよ。 という問題を調べているのですがなかなか見つかりません。 要は複素関数にもロピタルの定理が適用できることを証明せよという問題だと思うのですが、これはどう証明したらいいのでしょうか？
- ベストアンサー
- 数学・算数
お礼
アドバイスどうもありがとうございます。 >あなたは証明は誰かのやった証明を写すことしか考えないのでしょうか？ 自分でも数日考えていたのですが、証明方法の丸投げみたいな形になってしまってすみません。 私の持っている参考書にもヒントのようなものが載っているのですが、 info22さんのやり方とどうやら違うようなのです。 info22さんのやり方(kmasacityさんのリンク先）の方が理解しやすそうなので、まずはこちらを理解することからはじめます。 この度はどうもありがとうございました。
補足
新しい質問を立てましたので、 また何か分かりましたらよろしくお願いします。 http://oshiete1.goo.ne.jp/qa3642891.html?ans_count_asc=20