No.3ベストアンサー
- 回答日時:
寝起きの頭の体操。
寝ぼけた頭をたたき起こすにはこれが一番良いんですよね。(1)
平均値の定理と言うのは、
『f(x)が有界閉区間I=[a,b]上で連続、開区間(a,b)において微分可能とすると
f(b)-f(a) = f'(ξ)(b-a)
を満たすξが(a,b)の中に存在する。』
と言うものでしたよね?
そうすると任意のI⊃I'=[x1,x2]においてもf(x)はこの区間で連続、(x1,x2)で微分可能なのでやはり
f(x2)-f(x1) = f'(η)(x2-x1)
を満たすηが(x1,x2)に存在します。
仮定よりI=(a,b)の中にある全てのξでf'(ξ)=0なので、
この区間に含まれるI'=(x1,x2)の中にある全てのηでf'(η)=0、即ちf(x2)-f(x1)=0
これが任意のI⊃I'=[x1,x2]について成り立つので、a≦x1≦x2≦bを満たす任意のx1,x2について
f(x1) = f(x2)
これはf(x)が区間I=[a,b]において定数関数である事を示す。
(2)
『f(x)がx0で微分可能とし、f'(x0)≠0 とする。f(x) が x0 の近傍でも連続で強い意味の単調関数とする時
y0 = f(x0) とすると逆関数 {f^(-1)}' も y0 で微分可能で、
{f^(-1)}'(y0) = 1/f'(x0)』
という事が言えます。
(証明)
f(x) = f(x0) + α(x)(x - x0) (α(x)は x0 で連続)
とおくと x0 の近傍で α(x) = f'(x)である。
上の式に x = {f^(-1)}'(y), x0 = {f^(-1)}'(y0) を代入すると
f・{f^(-1)}(y) = f・{f^(-1)}'(y0) + α{f^(-1)}(y) [{f^(-1)}(y) - {f^(-1)}(y0)]
f・{f^(-1)}(y) = y だから
y = y0 + α{f^(-1)}(y) [{f^(-1)}(y) - {f^(-1)}(y0)]
{f^(-1)}(y) = {f^(-1)}(y0) + [1/{αf^(-1)}] (y - y0)
{f^(-1)}(y)は y0 で連続で α(x0) = f'(x0) ≠ 0 だから 1/α{f^(-1)}(y) は y0 で連続、
したがって{f^(-1)}(y)は y0 で微分可能で
{f^(-1)}(y0) = 1/{αf^(-1)}(y0) = 1/f'(x0) (証明終)
x0,y0 を x,y に広げると
{f^(-1)}'(y) = 1/f'(x)
これを使います。
y = f(x) = e^x とすると {f^(-1)}(y) = log y, f'(x) = e^x = y
よって
(log y)' = 1/y
y を x に書きなおして
(log x)' = 1/x
です。
理解できなかったらまず微分可能の定義
f(x) = f(x0) + α(x - x0) + g(x)
lim{x→x0} g(x)/(x - x0) = 0
および次の性質
『f(x) が x0 で微分可能であるための必要十分条件は、x0の近傍で定義され、x0 で連続な関数 α(x)があって、
x0 の近傍で
f(x) = f(x0) + α(x)(x - x0)
と表される事である。この時 f'(x0) = α(x0) である。』
(証明)
α(x) = {f(x) - f(x0)}/(x - x0) (x≠0), α(x0) = f'(x0)
と定義するとlim{x→x0} α(x) = α(x0), かつ f(x) = f(x0) + α(x)(x - x0)
逆に、f(x) = f(x0) + α(x)(x - x0) = f(x0) + α(x0)(x - x0) + {(α(x) - α(x0)}(x - x0)
そこで g(x) = {(α(x) - α(x0)}(x - x0) とおくと
lim{x→x0} g(x)/(x - x0) = lim{x→x0} {α(x) - α(x0)} = 0 (証明終)
を参考にしてください。
No.2
- 回答日時:
2のヒントだけ。
e^x の微分は分かりますよね。f''(x)です。
ここで、逆関数微分の公式をあてはめれば
いいのです。
No.1
- 回答日時:
#学部4年でしかも専門が代数だと、「経験者」じゃなくて
#「一般人」になってしまうのかもしれない・・・。
(1) 平均値の定理を使えと書いてあるのがポイント。
微分可能な関数f(x)は[a,b]で定義されていて、その
区間で連続であるものとします。
a≦s<t≦b となるような任意のs,t (実数)に対して、
平均値の定理から、
(f(t)-f(s))/(t-s) = f’(c)
・・・となるようなcがs<c<tの間になるものが存在する
はずですが、f’(c)は「すべての点における微係数が0」
・・・ですから、それは0のはずです。
すると、f(t)=f(s)となりますが、t,sは
a≦s<t≦b の条件下で取ることができますから、
f(x)は定数関数です。
# ・・・でいいのかなぁ。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 関数f(x)が閉区間[a、b]で連続で開区間(a、b)で微分可能なら f(b)-f(a)/b-a = 1 2023/07/19 17:26
- 数学 関数の極値と微分係数の関係について 6 2023/04/23 14:35
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 数学 『Cの微分.2』 3 2023/02/15 19:47
- 数学 大学数学 解析学 区間[a,b]で有界な関数f(x)が[a,b)で連続であるとき、f(x)は[a,b 2 2022/12/23 04:04
- 数学 次の解析学の問題がわからないので教えて頂きたいです。 k>0 関数f(x)が区間[0,∞)で連続であ 3 2022/11/17 20:52
- 数学 【高1 数学Ⅰ 二次関数】 二次関数 f(x)=x^2-4ax+8a がある。ただし、aは正の定数と 3 2022/07/23 15:46
- 数学 数学の問題です。回答よろしくお願いします。 sinが無限に続く関数f(X)=sin(sin(sin( 3 2022/09/21 10:40
- 高校 数学Ⅰの一次関数について。 6 2023/08/15 02:15
- 数学 数学IIについて質問です 関数f(x)=x^3+2x^2-2について、x=2における微分係数は【?? 3 2022/09/11 20:29
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
大学数学 広義積分について
-
極限、不連続
-
イプシロンデルタ論法の定義に...
-
f(x) g(x) とは?
-
f(x)=sin(x)/x って、とくにf(0...
-
大学の問題です。
-
極限を調べるときプラス極限マ...
-
「次の関数が全ての点で微分可...
-
マクローリンの定理の適用のし...
-
数学の f(f(x))とはどういう意...
-
2013 慶応(らしいです)
-
y=f(x)が(p,q)に関して対称な場...
-
(x^2)sin(1/x)
-
確率について ①Xが実数値をとる...
-
微小量とはいったいなんでしょ...
-
∫[x=0~∞]logx/(1+x^2)の広義積...
-
数学 定積分の問題です。 関数f...
-
数列の英語の読み方
-
大学数学 解析学 区間[a,b]で...
-
f(0)とf(0+)の違い。(+は上付き...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
f(x) g(x) とは?
-
数学の f(f(x))とはどういう意...
-
微小量とはいったいなんでしょ...
-
大学の問題です。
-
差分表現とは何でしょうか? 問...
-
微分について
-
"交わる"と"接する"の定義
-
f(x)=sin(x)/x って、とくにf(0...
-
どんな式でも偶関数か奇関数の...
-
数学II 積分
-
f(x)=|x-3|+|x-2|+|x-1|の最...
-
関数f(x)がC∞-級関数であること...
-
左上図、左下図、右上図、右下...
-
極限、不連続
-
三次関数が三重解を持つ条件とは?
-
数学 fとf(x) の違いについて
-
導関数の値が0=定数関数 ど...
-
微分の公式の導き方
-
数学の洋書を読んでいて分から...
-
数学についてです。 任意の3次...
おすすめ情報