方程式の解について

f(x)=x^4+x^3+(1/2)x^2+(1/6)x+1/24
g(x)=x^5+x^4+(1/2)x^3+(1/6)x^2+(1/24)x+1/120
(1)　すべての実数xについて、f(x)>0を示せ。
　これは式を変形することで分かりました。
(2)　g(x)=0 はただ1つの実数解αをもち、-1<α<0を示せ。
　(1)を利用すると思うが、利用の仕方が分かりません。
　しかたないので、微分してグラフで考えようとしましたが、
　３回微分してg'''(x)>0、だからg''(x)は単調増加で-1と0の間でx軸と交わる
　この解をβとして、・・・・・とやりましたが挫折、たぶんこれは本質の解法
　ではないと感じました。それでやっぱり、(1)を利用するのだろうが、見当が
　つきません。よろしくお願いします。

　

No.6 ベストアンサー 回答者： tmpname 回答日時： 2010/11/29 17:55

では：

x=0は明らかにg(x)=0を満たさないので、y=1/xとする。
この時x=1/y
よって、
g(x)=(1/y)^5+(1/y)^4+(1/2)*(1/y)^3+(1/6)(1/y)^2+(1/24)(1/y)+1/120
(y^5)g(1/y)=(1/120)(y^5)+(1/24)y^4+(1/6)y^3+(1/2)y^2+y+1
であって、これをh(y)とおけば,
h'(y)=(1/24)y^4+(1/6)y^3+(1/2)y^2+y+1
=(1/24)(1/x)^4 + (1/6)(1/x)^3 + (1/2)(1/x)^2 +(1/x)+1
(x^4)h'(y)=f(x) > 0 ( (1)より )であるから、h(y)>0
よって、h(y)は単調増加、h(-1)=(1/2-1/6)+(1/24-1/120)>0,
h(-120)=-(120^4-5*120^3)-(20*120^2-60*120)-(120-1)<0より、
h(y)は[-120,-1]の間にただ一つ解を持つ。
よって、f(x)は[-1, -1/120]の間にただ一つ解を持つ。

この回答へのお礼

回答ありがとうございます
f(x)の使い方わかりました。
一筋縄にいかない見方だなぁと
思いました。

お礼日時：2010/11/30 08:39

No.8 回答者： stuff_ppo 回答日時： 2010/11/30 01:59

(1)を使って解いてみました。

　---

　g(x) = xf(x) + 1/120 … (*)
ですので、h(x)を
　h(x) = g(x) - 1/120 = xf(x)
と置きます。

さて、f(x)は常に正ですので、h(x)の正負はxに依ります。
すなわち、
　x > 0のとき、h(x) > 0
　x = 0のとき、h(x) = 0
　x < 0のとき、h(x) < 0
となり、y = h(x) のグラフは、x軸とただ一点原点でのみ交わる事が分かります。

y = g(x) のグラフは、(*)より、
y = h(x) のグラフをy軸方向に + 1/120 平行移動したものですが、
y = h(x) のグラフが
　x ≧ 0 のとき h(x) ≧ 0、
　h(-1) = -3/24 < -1/120
ですので、
x < 0 の範囲で h'(x) > 0 (単調増加) であれば、
これをy方向に+1/120平行移動した y = g(x) は、
(-1, 0) の範囲でただ一度x軸と交わる事が分かります。

実際 h'(x)を計算すると、
　f'(x) = 4x^3 + 3x^2 + x + 1/6
　h'(x) = f(x) + xf'(x)
　　　　(中略)
　　　　= 5(x^2 + (2/5)x)^2 + (7/10)(x + 5/21)^2 + 1/504 > 0

(証明終)

　---

と、喜びにひたっていたのですが、
なんと平方完成のみでも解けるようです。
http://www.j3e.info/ojyuken/math/php.php?name=to …

この回答へのお礼

回答ありがとうございます
(1)は平方の和の形にした解答をしたのですが
(2)も微分に対して平方の和を考える方法もあるのですね。
ただ、解法としてはstuff_ppoさんの考え方が良いと思いました。

お礼日時：2010/11/30 08:50

No.7 回答者： tmpname 回答日時： 2010/11/29 17:59

最後はg(x)=0は[-1, -1/120]の間にただ一つ解を持つ。

ですね。いかんなあ...

No.5 回答者： AsanoNagi 回答日時： 2010/11/29 17:21

No.2 訂正です。

というか、

> f(x) は常に正なので、α、βはいずれも負の数。

よりあとは間違っています。
失礼しました。

それより前は、書いてあることは間違ってないでしょうけど、回答の流れには多分乗ってないです。

No.4 回答者： tmpname 回答日時： 2010/11/29 17:17

(y^5)*g(1/y)ですね...申し訳ありません

No.3 回答者： tmpname 回答日時： 2010/11/29 17:12

(1)が解けたのでしたら、(2)はx=0は明らかにg(x)=0を満たさないので、

x=1/yとおいて(y^5)*g(y)を計算し、これをh(y)としてh(y)を微分すると
(1)の形が見えてくるはずです。この問題の背景には、e^xのいわゆる
「Taylor展開」をすると、この形が見えてくることがあります
（「Taylor展開」は大学で習います）

昔解いたなあ、と思って調べてみたら、東京大学の1994年の数学（理系）の
第一問でしたね。

この回答へのお礼

回答ありがとうございます
x=1/yとおいて(y^5)*g(y)を計算し、これをh(y)としてh(y)を微分すると
(1)の形が見えてくるはずです。
やってみましたが、まだ見えていません。
(y^5)*g(y)の意味がよくわからないので、もしも(1)と関連づけられても
解答にはたどり着けないような気がしています。

お礼日時：2010/11/29 17:26

No.2 回答者： AsanoNagi 回答日時： 2010/11/29 17:10

なんか、美しくないけど。

g(0) = 1/120 > 0
g(-1) < 0

故に、-1 から 0 の間に少なくともひとつの解がある。

また、
g(x) = xf(x) + 1/120
だから、g(x) = 0 が異なる解 α、β を持つとすると、
g(α) = αf(α） + 1/120 = g(β） = βf(β） + 1/120 = 0

f(x) は常に正なので、α、βはいずれも負の数。

g'(x) = 5x^4 + 4x^3 + (3/2)x^2 + (1/3)x + 1/24
g'(0) = 1/24 > 0 …… (1)

g''(x) = 20x^3 + 12x^2 + 3x + 1/3
g''(0) = 1/3 > 0 …… (2)

g'''(x) = 60x^2 + 24x + 3
g'''(x) = 0 とおいたときの判別式 ＜ 0なので、
g'''(0) は、正 …… (3)

(3) と、(2) から、g''(x) は、x < 0 の範囲で正である。…… (4)
(4) と、(1) から、g'(x) は、x < 0 の範囲で正である。 …… (5)
∴ g(x) は、x < 0 の範囲で単調に増加する。
すなわち、ともに負である異なるα、βで、g(x) がゼロになることはない。
つまり、g(x) = 0 の解はひとつしか存在しない。

No.1 回答者： noname#136000 回答日時： 2010/11/29 16:57

あんまり自身ないのですが・・・

g(x) = f(x) * x + (1/120)

ですよね。
ここで「f(x)=A」と置くと、

g(x)=A * x + (1/120)

つまり、

y = A * x + (1/120)・・・(1)

これは傾きがＡの直線ですよね。
ちなみに、ｙ軸と交わる点が1/120です。
しかも、Aは正であることが分かっている。
つまり、右方上がりです。

> g(x)=0 はただ1つの実数解αをもち、-1<α<0を示せ。

これはつまり、上の直線において、「x = -1」の時に、ｙ < 0であることを示せばいい。

式(1)のｘに-1を代入すると、

y = -A + 1/120

つまり、

y = -f(x) + 1/120

このyの値が負であることが証明できますか？
できれば、めでたしめでたし・・・

この回答へのお礼

回答ありがとうございます
y = -f(x) + 1/120
このyの値が負であることが証明できますか？

この部分で、-1<x<0 で考えればよいと思うのですが、
それが示せたとすると、xは1つだけでなく、無数に
存在することになってしまうのでないかと思いました。

お礼日時：2010/11/29 17:15