6Answer

6(1),(2)の開設の意味はわかるのですが大まかな流れが理解しにくいですそれと(2)より解説にx>0のときg'(x)>0と書いてあるのですがどうしてですか?

回答 1件

ベストアンサー

atozkoxo

微分を実行すれば

g′(x)=cos⁡x−(1−x22)g^{\prime} (x)=\cos x-\left(1-\frac{x^2}{2} \right)

と分かるわけですが、(1)で証明したように x>0\ x>0では

cos⁡x>1−x22 ⇔ cos⁡x−(1−x22)>0\cos x >1-\frac{x^2}{2}\ \Leftrightarrow \ \cos x-\left(1-\frac{x^2}{2}\right)>0

であるため、g′(x)>0g^{\prime}(x)>0が確約されます。

  • 6Answer

    これらの短い文章を書いておけばいいのですか?(解説みたいになが-く書く必要がないのですか?)

  • atozkoxo

    g′(x)g^{\prime} (x)が x>0\ x>0の領域で必ず正ということを言いたいのであればこの程度の文章で伝わると思います。


    補足

    勿論これだけで(2)の回答が終わるわけでは無いので、他の部分の論証はきちんと書かないとだめですから、g′(x)>0g^{\prime}(x)>0という結論のために4行も使っている私の記述が回答より簡潔かと言われると微妙です。

  • 6Answer

    なるほどわかりました。

    もう一つの質問させてください

    (1)のx=2nπのくだりのところで何をしてるのでしょうか?


  • atozkoxo

    f′(x)f^{\prime}(x)は単調増加関数であると説明するために、f′′(x)f^{\prime\prime}(x)が常に0以上であることを言いたかったのだと思います。f′(x)f^\prime (x)が単調増加ならf′(0)=0f^\prime(0)=0よりf′(x)>0f^\prime(x)>0が結論できます。あとはf(0)≥0f(0)\geq0さえ言えたら題意はほぼ示せたようなものになりますね。


    ちなみに、ここまで厳密に議論しなくても、

    『−1≤cos⁡x≤1-1\leq \cos x \leq 1

    より明らかに

    f′′(x)=1−cos⁡x≥0f^{\prime \prime}(x)=1-\cos x\geq 0

    となる。』

    程度でもこの問題なら十分かなと思います。

  • 6Answer
    お礼

    👏納得です。ありがとうございました。

関連する質問

関連する記事

質問する