微分積分を勉強しているのですが、全く理解できない問題がありまして・・・。
【問題】
方程式3x=2^x+2^-xは、区間(0,1)の中に少なくとも一つの実数解をもつことを示せ。
【解答】
f(x)=3x-(2^x+2^-x)とおけば、f(x)は全区間Rで連続であり、
f(0)=-2<0
f(1)=3-(2+1/2)=1/2>0
である。中間値の定理(※)により、
f(x)=3x-(2^x+2^-x)=0
であるようなxが、区間(0,1)の中に、少なくとも一つ存在する。
●○●○●○●○●○●○●○●○●○●○●○●○●○●○
※連続関数の中間値の定理
関数f(x)が、閉区間[a,b]で、連続でf(a)≠f(b)のとき、f(a)とf(b)の値kに大して、
f(c)=k
である点cが、開区間(a,b)の中に少なくとも1つ存在する。
●○●○●○●○●○●○●○●○●○●○●○●○●○●○
読みにくいと思いますので、添付ファイルもご覧にいただきたいのですが、どうしてf(x)=3x-(2^x+2^-x)とおけば、f(x)は全区間Rで連続になるのでしょうか?
関数f(x)が「連続であるかどうか」を調べるには、例えば、f(x)をaで微分した「lim(x→a) f(x)」と、元の関数f(x)がx=aの時、すなわち「lim(x→a) f(x)=f(a)」、「f'(a)=f(a)」となる時、連続なんですよね?
ですが、f(x)=3x-(2^x+2^-x)は、変数xが指数としてくっ付いてるので、どう微分していいのやら・・・。
なので、「全区間Rは連続であり」と言われても、全くピンときません(ToT)
どうして「<0」「>0」など、0から目線で証明を進めているのかもわかりません(>_<)
皆様のお力をお借しいただきたい次第です。
よろしくお願いします<m(__)m>
No.1ベストアンサー
- 回答日時:
>関数f(x)が「連続であるかどうか」を調べるには、例えば、f(x)をaで微分した「lim(x→a) f(x)」と、元の関数f(x)がx=aの時、すなわち「lim(x→a) f(x)=f(a)」、「f'(a)=f(a)」となる時、連続なんですよね?
いろいろ違います。
まず、
>f(x)をaで微分した「lim(x→a) f(x)」
とありますが、微分係数の定義からするとf`(a)=lim(x→a)(f(x)-f(a))/(x-a)です。連続と混合されてると思います。
f(x)が点aで連続であることの定義はlim(x→a) f(x)=f(a)となることです。この定義に微分は介入しません。
たとえば、g(x)=2^xとおけば、lim(x→1)g(x)=lim(x→1)2^x=2となりg(1)と一致するのでg(x)はx=1で連続ですし、同様にx=2でも3でも連続になります。一般的なaにおいてもlim(x→a)g(x)=lim(x→a)2^x=2^aとなりg(a)と一致するので全実数区間で連続です。
すいませんごっちゃになっていました(>_<)
「全区間Rで連続である」というのが、なんとなくわかりました!
f(x)=3x-(2^x+2^-x)
も、lim(x→1)の時と、x=1を入れた時が、一致するんですね。
そしてlim(x→a)の時も、x=aを入れた時も一致するから、連続した関数なのですね(^_^;)
具体例も出していただき、ありがとうございます<m(__)m>
No.2
- 回答日時:
>f(x)=3x-(2^x+2^-x)は、変数xが指数としてくっ付いてるので、どう微分していいのやら・・・
連続性をみるのは微分に限るわけでもありませんが、どうしても微分してみたけりゃ、
2^x = e^{x*LN(2)}
と指数関数にするのがふつう。
>どうして「<0」「>0」など、0から目線で証明を進めているのか .....
x 区間の片端で「<0」、他端で「>0」ならば、その間に f(x) の零点があるはず、だからでしょうね。
そんな区間が、いつもうまく見つけられる保証も無いのですけど。
わかりました、微分して示すわけではないみたいですね!
いやはや勉強になります(>_<)
x 区間の片端で「<0」、他端で「>0」ならば、その間に f(x) の零点があるはず・・・
ですか。
確かにそうですね。
f(0)=-2、f(1)=1/2、となれば、f(a)=0を満たすaが、区間(0,1)の間にあるはず・・・
という考えにいたりますよね、いや~その考えになかなか至ることができませんでしたが、なんとなく理解できました、ありがとうございます(^_^;)
No.3
- 回答日時:
打ち間違えかもしれませんが、中間値の定理の定理が変です。
f(a)とf(b)の間の値kに対して、f(c)=kである点cが、開区間(a,b)の中に少なくとも1つ存在する。
が本当。
f(x)=0となる値が存在することを示したいので、0目線になります。
0がf(0)とf(1)の間にあることを示す必要があるので、f(0)<0とf(1)>0が必要です。
訂正ありがとうございます!
添付画像も間違えていました、f(0)=-2<0と、f(1)=3-(2+1/2)=1/2>0になってなかったですね、すいません(>_<)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 次の解析学の問題がわからないので教えて頂きたいです。 k>0 関数f(x)が区間[0,∞)で連続であ 3 2022/11/17 20:52
- 数学 関数f(x)が閉区間[a、b]で連続で開区間(a、b)で微分可能なら f(b)-f(a)/b-a = 1 2023/07/19 17:26
- 数学 大学数学 解析学 区間[a,b]で有界な関数f(x)が[a,b)で連続であるとき、f(x)は[a,b 2 2022/12/23 04:04
- 数学 次の解析学の問題が解けないので教えていただきたいです。 関数f(x),g(x)がそれぞれ区間I,Jで 2 2022/11/17 20:50
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 数学 数学Ⅲの関数の極限、関数の連続・不連続に関しての質問でございます。 問題集には、次の関数の〔 〕内の 5 2022/05/19 10:43
- 数学 代数学 環 1 2022/10/12 17:29
- 数学 1変数関数に陰関数ってあるんですか? 1変数関数は f(x)=xの式 f(x)はxの値で決まるもの( 4 2023/05/08 18:47
- 数学 連続であることを示すときの最後のεについて 6 2023/04/14 23:00
- 数学 関数の極値と微分係数の関係について 6 2023/04/23 14:35
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
イプシロンデルタ論法の定義に...
-
大学の問題です。
-
f(x) g(x) とは?
-
f(x)=(1+x^2)^1/2のn回微分
-
f(x)=sin(x)/x って、とくにf(0...
-
テイラー級展開について。 f(x+...
-
三次関数が三重解を持つ条件とは?
-
関数方程式f(x)=f(2x)の解き方...
-
3次関数f(x)がx=1で極小値-5, x...
-
マクローリンの定理の適用のし...
-
f(x)=xe^-2xの極大値
-
数学の問題です。 f(x)=x^ne^-x...
-
微分について
-
フーリエ級数についての質問で...
-
√2X の微分なんですが普通にル...
-
数学II 積分
-
微分可能なのに導関数が不連続?
-
数学の記法について。 Wikipedi...
-
微分可能ならば連続の証明につ...
-
ニュートン法について 初期値
マンスリーランキングこのカテゴリの人気マンスリー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次...
おすすめ情報