千葉大学/2023年度

9千葉大学 2023年 数学 第9問解答・解説

微分法

1問題

千葉大学2023年度第9問
関数f(x)f(x)と実数ttに対し、xxの関数tx−f(x)tx-f(x)の最大値があればそれをg(t)g(t)と書く。

(1) f(x)=x4f(x)=x^{4}のとき、任意の実数ttについてg(t)g(t)が存在する。このg(t)g(t)を求めよ。

以下、関数f(x)f(x)は連続な導関数f′(x)f'(x)を持ち、次の2つの条件(i)、(ii)が成り立つものとする。

(i) f′(x)f'(x)は増加関数、すなわちa<ba<bならばf′(a)<f′(b)f'(a)<f'(b)。

(ii) lim⁡x→−∞f′(x)=−∞\displaystyle\lim_{x\to-\infty}f'(x)=-\inftyかつlim⁡x→∞f′(x)=∞\displaystyle\lim_{x\to\infty}f'(x)=\infty。

(2) 任意の実数ttに対して、xxの関数tx−f(x)tx-f(x)は最大値g(t)g(t)を持つことを示せ。

(3) ssを実数とする。ttが実数全体を動くとき、ttの関数st−g(t)st-g(t)の最大値はf(s)f(s)となることを示せ。

まずは自分で解いてみましょう。解けたら「答え」、詰まったら「解答」で確かめられます。

タイマー

15:00

2答え

答えを見る自分の答えと照らし合わせる
  • (1)
    g(t)=3∣t∣4/344/3g(t)=\frac{3|t|^{4/3}}{4^{4/3}}。
  • (2)
    各tで最大値を取る。
  • (3)
    max⁡t(st−g(t))=f(s)\max_{t}(st-g(t))=f(s)、t=f′(s)t=f^{\prime}(s)で達成。

3解答

解答を見る途中式つきの解答

解答

(1) Φt(x)=tx−x4\Phi_t(x)=tx-x^4とおく。導関数t−4x3t-4x^3は唯一の零点x0=t/43x_0=\sqrt[3]{t/4}を境に正から負へ変わるので、そこで最大となる。t=4x03t=4x_0^3より
g(t)=tx0−x04=3x04=3∣t∣4/344/3. g(t)=tx_0-x_0^4=3x_0^4=\frac{3|t|^{4/3}}{4^{4/3}}.
(2) 一般のfについてΦt(x)=tx−f(x)\Phi_t(x)=tx-f(x)と置く。f′f'は連続で両端極限が−∞,+∞だからf′(xt)=tf'(x_t)=tとなる点がある。条件(i)より、xx が大きいほど f′(x)f'(x) は必ず大きくなるため、この点は一意に定まり、Φt′=t−f′\Phi_t'=t-f'はxtx_tの左で正、右で負。よってこの点で最大値g(t)=txt−f(xt)g(t)=tx_t-f(x_t)を取る。
(3) 最大値の定義からg(t)≧ts−f(s)g(t)\geqq ts-f(s)、従ってst−g(t)≦f(s)st-g(t)\leqq f(s)。t=f′(s)t=f'(s)と選ぶと一意性によりxt=sx_t=sなので等号成立する。

読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。

この問題で使う考え方

  • 導関数の符号による最大値
  • 中間値の定理
  • 単調性による解の一意性
  • 上界と等号条件

答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。

千葉大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

次にやること

千葉大学のほかの年度

似た問題を、ほかの大学で