
問題
x>0のとき、e^x>1+x+x^2/2を証明せよ。
解答例
f(x)=e^x-1-x-x^2/2とおくと、f '(x)=e^x-1-xであり、f ''(x)=e^x-1である。
x>0のとき、
f ''(x)>0より、x≧0でf '(x)は単調増加である。・・・A
f '(0)=0より、x>0で、f '(x)>0・・・(1)
さらに(1)より、x≧0でf (x)は単調増加であり、f(0)=0より、x>0で、f(x)>0
よって、x>0のとき、e^x>1+x+x^2/2が成り立つ。
質問
Aの部分についてです。問題は『x>0のとき、』の証明を求めているので、
『f ''(x)>0より、x>0でf '(x)は単調増加である。』では、ダメなのでしょうか。つまり、等号は不要なのではないですか。
仮に、等号が必要だとしても、Aの部分は『f ''(x)>0、かつ、f ''(0)=0より、x≧0でf '(x)は単調増加である。』とするべきではないですか。
高校生向けのご教授をお願い致します。
A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
ちょっとした言い回しの問題ですね。
「f'(x) は単調増加だから、x > 0 で f'(x) > f'(0) = 0」と
話を持っていくためには、f'(x) と f'(0) を比較する根拠として
「x ≧ 0 で f'(x) は単調増加」と言っておく必要があるのです。
そうでないと、x > y > 0 に対して f'(x) > f'(y) としか言えない。
y = 0 を代入する代わりに f'(x) ≧ lim[y→0]f'(y) = 0 と
してみたところで、極限をとるときに > が ≧ に変わってしまうので、
f(x) が狭義単調増加でなく広義単調増加になってしまい、
e^x ≧ 1+x+x^2/2 でなく e^x > 1+x+x^2/2 であることが
すっきり出ない。(f'(x) > 0 となる x が実際に存在することを経由して
ゴタゴタと説明できないではありませんが…)
「単調増加」を使うのではなく、平均値定理を直接使って、
x > 0 で f''(x) > 0 より f'(x) - f'(0) = f''(c) x > 0
(0 < c < x) とするのなら、x > 0 から x > 0 へと話をつなげて
よいのです。
回答有り難うございます。
「x > y > 0 に対して f'(x) > f'(y) としか言えない」という点を理解していませんでした。お陰様で理解出来ました。
ありがとうございました。

No.1
- 回答日時:
>f ''(x)>0より、x≧0でf '(x)は単調増加である。
・・・A次への準備として、f(x)の導関数f'(x)を考えたい関数としたいわけです。
>f '(0)=0より、x>0で、f '(x)>0・・・(1)
ここで、f'(0)=0を使いたいわけですね。そして、f'(0)の正の近傍を含めた単調増加を使って、正のxについて必ずf'(x)が正であることを使いたいので、比較対象となるf'(0)=0、つまりx=0の場合を含めておきたい。
もしそうしないとなると、「ε>0なる、x>0であるどんなxに対してもx>εであるようなεを考えて、……」と長々とやる必要性が出てきます。比較対象としてのf'(0)の値が使えないとすると、そうするしかありません。
x=0について、f(0), f'(0), f"(0)のいずれでも存在して計算可能ですし、実際、f'(0)=0は簡単に計算できて、マイナスでないことから、この証明のためにはそうするメリットはありません。
ですから「x≧0」としておけば、証明が簡潔で明瞭になるので、そうしてあるわけです。
回答有り難うございます。
「比較対象となるf'(0)=0、つまりx=0」が必要ということを、お陰様で理解出来ました。
ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 y=2^x と y=X で 2 2022/05/19 17:08
- 数学 関数が単調増加かどうか調べる際に、微分をしてf'(x)>0だからf(x)は単調増加であるとした後に、 4 2023/04/15 00:52
- 数学 1-exp(-2x)<=1を証明したいのですがf(x)=exp(-2x), f'(x)=-2exp( 3 2022/06/16 21:20
- 数学 条件付き極値問題といわれる問題です。ラグランジュの乗数法 について、質問したいことがあります。 条件 3 2023/05/15 21:38
- 数学 積分と不等式 2 2023/01/26 21:52
- 数学 代数学 環 1 2022/10/12 17:29
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 数学 f(x)=x^2 , x∈I=[ー1, 1]において、 f(x)は区間Iで一様連続か?という(証明) 2 2022/09/02 14:15
- 数学 写真の問題についてですが、赤線部のところを見ると、「f'(x)=1/xは…」と書かれているのですが、 5 2023/02/08 15:49
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
関数f(x)の増減の範囲で、 f'(x...
-
高校数学において、 「y=f(x)...
-
極限を求める
-
微分 不等式の証明 なぜ等号?
-
関数f(x)が区間0≦x≦1で単...
-
三次関数、四次関数の概形について
-
二回微分して 上に凸下に凸 が...
-
関数の増減: ある区間で常にf‘(...
-
y=x^3は全ての実数xにおいて単...
-
厳密な増加関数とは
-
二次導関数が単調に増加すると...
-
関数f(x)=x^ 3−3ax^2+3bx−2 ...
-
2次関数の導関数についての質問
-
方程式、不等式
-
増加関数について
-
急成長しているベンチャー企業...
-
数学の最大点最小点について
-
関数f(x)を単調増加または単調...
-
f(x)=x^2の3乗根(x^2/3)の最大...
-
iqテストの規則性の問題につい...
おすすめ情報