2016年03月27日

早朝の月

昨日は 5 時に起床しました。

空はまだ真っ暗でしたが、月がキレイだったので撮影してみました。撮影すると何となくショボくなりますね。

昨日の月

そして今日は日曜日ですが、5 時半に目が覚めてしまいました。空はだいぶ明るくなっていましたが、まだ月は見えていたのでまたカメラで撮影。

今日の月

こうやって見ると、月の満ち欠けって結構早いんですね。それにしても、明け方はまだ寒いです。

数学問題bot(個人用)」から今回は東大の入試問題にチャレンジ。なぜか最初の問題で大苦戦して何日間か悩んでいました。なお、合っている保証なしです。

-----

p, q は実数の定数で、0 < p < 1, q > 0 を満たすとする。関数

f(x) = ( 1 - p )x + ( 1 - x )( 1 - e-qx )

を考える。

以下の問いに答えよ。必要であれば、不等式 1 + x ≤ ex が全ての実数 x に対して成り立つことを証明なしに用いてよい。

(1) 0 < x < 1 のとき、0 < f(x) < 1 であることを示せ。

(2) x0 は 0 < x0 < 1 を満たす実数とする。数列 {xn} の各項 xn ( n = 1, 2, ... ) を、

xn = f(xn-1)

によって順次定める。p > q であるとき、

lim{n→∞} xn = 0

となることを示せ。

(3) p < q であるとき、

c = f(c), 0 < c < 1

を満たす実数 c が存在することを示せ。

(東京大・2014・前・理)

-----

(1) f(x) の変数を q として f(q) の軌跡を考えます。

f(0) = ( 1 - p )x で 0 < 1 - p < 1 かつ 0 < x < 1 なので 0 < f(0) < 1 となります。
また、q → ∞ のとき f(q) → ( 1 - p )x + ( 1 - x ) = 1 - px なのでやはり 0 < lim{q→∞} f(q) < 1 となります。

f'(q) = q( 1 - x )e-qx で q > 0 より任意の q に対して f'(q) > 0 となり、f(q) は単調増加となります。従って、命題が成り立ちます。

(2) (1) より、0 < x0 < 1 ならば任意の n に対して 0 < xn < 1 が成り立ちます。
1 - qx ≤ e-qx より 1 - e-qx ≤ qx なので、xn = f(xn-1) ≤ ( 1 - p )xn-1 + qxn-1( 1 - xn-1 ) が成り立ち、

xn-1 - xn ≥ xn-1 - [ ( 1 - p )xn-1 + qxn-1( 1 - xn-1 ) ]
= xn-1( p - q + qxn-1 )

より p > q ならば xn-1 - xn > 0 となるので { xn } は単調減少となります。f(0) = 0 であることから { xn } は必ず 0 に収束し、lim{n→∞} xn = 0 が成り立ちます。

(3) g(x) = f(x) - x とします。このとき、

g(x) = -px + ( 1 - x )( 1 - e-qx )

なので、g(0) = 0、g(1) = -p < 0 となります。従って、g'(0) > 0 になるなら、0 < c < 1 かつ g(0) = 0 を満たす実数 c が存在します。

g'(x) = -p - ( 1 - e-qx ) + qe-qx( 1 - x ) より g'(0) = -p + q なので、p ≤ q ならば g'(0) > 0 です。従って、g(0) = c を満たす実数 c が存在し、f(c) = g(c) + c = c より命題が成り立ちます。  

Posted by fussy at 18:48Comments(0)TrackBack(0)数学