f(x)=1+logx+2√x>0の証明に関して
- f(x)=1+logx+2√x>0の証明に関して、微分をして極値を求めると、最小値であることが自明であり、説明の必要はありません。
- また、3-4log2>0であることも自明ですが、説明を加えることで正になる理由を分かりやすく示すことができます。
- ベストアンサー
f(x)=1+logx+2√x>0の証明に関して
f(x)=1+logx+2√x>0の証明に関して 不明な箇所が2点あります。宜しくお願いします。 取りあえず微分します。 f'(x)=(1/x)-(1/4x√x) f(x)の極値を求めます。 (1/x)-(1/4x√x)=0 (1/x)=(1/4x√x) 1=1/4√x 4√x=1 √x=1/4 x=1/16 f(1/16)=3+log(1/16) =3-log16 =3-4log2 3-4log2>0なのでf(x)=1+logx+2√x>0となる。 以下質問です。 3-4log2が最小値であるのはf(x)=1+logx+2√x>0からして自明だと 思うのですが、最小値であることを示す必要はありますか？ 又、3-4log2>0は正になるのですが、ここにも何かしらの説明は必要でしょうか？ お手数をお掛け致します。
- izayoi168
- お礼率91% (249/272)
- 数学・算数
- 回答数7
- ありがとう数6
- みんなの回答 （7）
- 専門家の回答
質問者が選んだベストアンサー
#2です。 >出題が f(x)=1+logx+1/(2√x)>0の証明です。 >xの範囲が(x>0)です。 こうなら話があいます。 また、ところどころミスが目立ちます。 >以下質問です。 > 3-4log2が最小値であるのはf(x)=1+logx+2√x>0からして自明だと 正：f(x)=1+log(x)+{1/(2√x)}>0 > 思うのですが、最小値であることを示す必要はありますか？ 証明すべき結果をつかって自明ということがダメに決まっています。 f'(x)=0から求めたxは単なる停留点候補に過ぎません。そこで極値（極大値または極小値）をとる場合だけでなく。極値をとらない場合もあります。また極大値が最大値候補ではあっても必ず最大値になる場合とならない場合があり、また、極小値は最小値の候補であっても最小値の場合と最小値でない場合があります。 （参考URL） http://ja.wikipedia.org/wiki/%E6%A5%B5%E5%80%A4 なので、x=1/16で求めたf(1/16)が最小値という保証はどこにもありません。極小の条件を満たし、さらに最小値であることを示さないと証明としては不完全です。今の場合、さらにx>0で最小値が正であることを示さないといけませんね。 >又、3-4log2>0は正になるのですが、ここにも何かしらの説明は必要でしょうか？ 必要ですね。 f(1/16)=3-4log(2)=log((e^3)/16) ここで、e^3>2.6^3>17 なので (e^3)/16>17/16>1 従って f(1/16)>log(1)=0 などと触れておかないといけませんね。
その他の回答 (6)
- alice_38
- ベストアンサー率43% (75/172)
高校で習ったと思いますが、増減表を書いてしまえば、 f(1/16) が唯一の極小値 = 最小値であることが 一目瞭然になります。言葉で長々説明するより、 そのほうが簡明です。
お礼
有難うございます。最近微積ばかりで、その考え方が抜けていました。
- imasokari
- ベストアンサー率30% (25/81)
こんばんは。 質問の内容と#1さんと#2さんの解答を総すると… 微分結果からすると f(x)=1+logx+2x^(1/2) ではなく f(x)=1+logx+x^(-1/2)/2 が正しい数式なのでしょうか。 上者ですとx=0.001なんて代入するとあからさまにf(x)<0ですものね。 もう一度正しい式をお願いできませんでしょうか。 なお 3-4log2>0 を証明。 loge^3-log2^4>log1 ですから、 log(e^3/16)>log1 すなわち e^3/16>1 つまり e^3>16 を示せばよいようです。 e=2.78として e^3=21.48 よって 3-4log2>0
補足
すみません、いろいろと誤入力がありました。 まず、出題が f(x)=1+logx+1/(2√x)>0の証明です。 xの範囲が(x>0)です。 意味不明な書き込みをしてしまい申し訳ありません。
- imasokari
- ベストアンサー率30% (25/81)
こんばんは。 質問の内容と#1さんと#2さんの解答を総すると… 微分結果からすると f(x)=1+logx+2x^(1/2) ではなく f(x)=1+logx+x^(-1/2)/2 が正しい数式なのでしょうか。 上者ですとx=0.001なんて代入するとあからさまにf(x)<0ですものね。 もう一度正しい式をお願いできませんでしょうか。 なお 3-4log2>0 を証明。 loge^3-log2^4>log1 ですから、 log(e^3/16)>log1 すなわち e^3/16>1 つまり e^3>16 を示せばよいようです。 e=2.78として e^3=21.48 よって 3-4log2>0
- info22_
- ベストアンサー率67% (2650/3922)
最初に > f(x)=1+logx+2√x>0の証明 が成立するxの範囲が書いてありませんが、その状態でどう証明するのでしょうか？ > 取りあえず微分します。 > f'(x)=(1/x)-(1/4x√x) この微分、間違っています。 従って、以降の計算の展開の意味がありません。 f(x)=1+log(x)+2√x (x>0) f'(x)=(1/x)+(1/√x)=(1+√x)/x >0 (∵x>0) なのでx>0で単調増加関数。従って極値は存在しません。
補足
すみません、いろいろと誤入力がありました。 まず、出題が f(x)=1+logx+1/(2√x)>0の証明です。 xの範囲が(x>0)です。 意味不明な書き込みをしてしまい申し訳ありません。
- Tacosan
- ベストアンサー率23% (3656/15482)
まず, このままいくなら「最小値であることを示す」必要はあると思います. なぜなら, 今のままでは f(x) が x = 1/16 で「極値をとる」ことしか言っていないからです. このときに極小値をとることを言っておけば問題ないのですが, そうでないと「f(x) が x = 1/16 のときに極大値になる」という可能性を否定していないことになるからです. 「1 + log x + 2√x > 0 からして自明だと思う」と書かれていますが, これは変です. 「1 + log x + 2√x > 0」はどこから出てきたのですか? あと, 3 - 4 log 2 > 0 もその理由を言っておいた方がよいでしょう.
お礼
有難うございます。
関連するQ&A
- f(x)=x・(logx)^2について
f(x)=x・(logx)^2について f(x)の極値、変曲点を求めよ。 という問題があります。 一回微分して＝０にする。二回微分して=0にするという理屈はわかるんですが、 どうしても、増減表が作れずグラフが描けません。 logｘ＝-2となってしまい、わからなくなってしまいます。 よろしければ、教えていただけませんか
- ベストアンサー
- 数学・算数
- f(x)=log(logx)について
f(x)=log(logx)について (1)f(x)の定義域を求めよ (2)f(x)=0となるxを求めよ (3)極限、凹凸を調べ増減表をつくれ 以上です。 logの中にlogが入っている問題は見たことがないのでアドバイスをお願いします。 増減とかは微分して=0にすればよいというのは分かるのですが、この問題自体、答えが載っていないので非常に困っています。
- ベストアンサー
- 数学・算数
- 関数f(x)=2logx、xの定義域は？
y=2logxのグラフを描けという数学の問題。 特にxの定義域について質問があるんですが、 log(x^a)=alog(x)だから、 f(x)=2log(x)=log(x^2)といえるじゃないですか。 だから定義域はx^2=0すなわちx=0を除いた実数全体と考えまして、 y=x^2がy軸対称だから、y=2logxもy軸対称になるよう、いわば２本のグラフを描いたんです。 しかし、採点はピンになっていました。 曰く、「y=2logxが定義されるのはx>0だろう。」と。 つまりx<0に描いたグラフは、先生によると蛇足である、と。 しかし、2log(x)=log(x^2)である以上、例えばx=-10など、xの値が負の時にも二乗によって正になりますよね？ これって、どちらが正しいのでしょうか？ y=2logxのグラフは、x>0の範囲にのみ描くのでしょうか？ よろしくお願いします。
- 締切済み
- 数学・算数
- f(x)=|x| の極値
関数f(x)=|x| はx=0で微分可能ではないが、x=0のとき極小値を持つのは、x=0の前後で、f'(x)の符号が－から+になるためでよいでしょうか。f'(0)=0となる必要はないのですよね。これと比較して関数f(x)=x^3は、f'(x)の符号が常に+になるために、f'(0)=0であっても、極値を持たない。 ここで質問ですが、f'(x)の符号が、f'(a)の前後で変化したらx=aで極値になるのか、 f'(x)の符号が、f'(a)=0を満たすa,の前後で変化したらx=aで極値になるのか、どちらですか教えてください。
- ベストアンサー
- 数学・算数
- logxの微分がわからない
(logx)' =lim[Δx→0]{(log(x+Δx)-logx)/h}のあと、どう考えて log(1+Δx/x)というようにΔxとxを一ヶ所にまとめようと思ったのでしょうか？ あと、このときxとかΔxは定数?みたいに考えればいいんですか？？ 教えてください。。
- 締切済み
- 数学・算数
- x-(x^2/2) < log(1+x) < xの証明(xの変域指定な
x-(x^2/2) < log(1+x) < xの証明(xの変域指定なし。出題ミス？) log(1+x) < xは問題ないのですが、x-(x^2/2) < log(1+x)がわかりません。 f(x)=log(1+x)-x+(x^2/2)が0<と言えれば良いと思うのですが。 f’(x)=1/(1+x)-1+x f"(x)=-(1/(1+x)^2)+1 f"'(x)=2(1/(1+x)^3) f""(x)=-6(1/(1+x)^4) 4回目の微分で-6(1/(1+x)^4)<0と逆を示してしまいます。 お手数をおかけいたします。
- ベストアンサー
- 数学・算数
- logx/(x-1) を x=1 においてテイラー展開せよ。
f(x) = logx/(x-1) を x=1 においてテイラー展開せよ。 という問題があるのですが解答では、g = logxとおいて、gのn階微分=...よりgのテイラー展開を求めて、その後、f(x)のテイラー展開を求めるのですが、この手順の意味が分かりません。 そもそもf(x)のテイラー展開の第一項目の、f(0)は、分母が0になるので、求められないよなぁと思ってしまいます。（多分その解決策としての上記の方法なのかもしれませんが）
- ベストアンサー
- 数学・算数
- f(2x)=2f(x) の両辺を微分すると 2f'(2x)=2f'(x) となることの証明
f(2x)=2f(x) の両辺を微分するとどうなるか？ 答えは 2f'(2x)=2f'(x) でした。なんとなくそうなることは わかります。でも証明ができません。具体例を作って実験して 成功しても、成功例がひとつあることは証明にはなりませんよね？ どうやったら証明、あるいは納得できるでしょうか？
- ベストアンサー
- 数学・算数
- log(x) が連続 であることの証明
log(x) が x=a で連続 であることの証明がわかりません。 任意の正の数εに対して、適当な正の数δをとると |x - a|<δ ⇒ |logx - loga|<ε 任意の正の数εに対して δ=a(1-e^(-ε)) δのとり方はわかりましたが、ここから先がわかりません。どなたか教えてください。
- 締切済み
- 数学・算数
お礼
いつもお世話になります。色々と理解できました。結構、極値に関する基礎知識が欠落していたようです。