§124 極大値と極小値 (その 3)

定理 B が \(\phi(x) = (x - a)^{m} (x - b)^{n}\) と \(\phi(x) = (x - a)^{m} (x - b)^{n} (x - c)^{p}\) で正しいことを確認せよ。\(m,\ n,\ p\) は正の整数で \(a \lt b \lt c\) とする。

[最初の関数は \(x = a\) と \(x = b\) で \(0\) となる。そして \[ \phi'(x) = (x - a)^{m-1} (x - b)^{n-1} \{(m + n)x - mb - na\} \] は \(x = (mb + na)/(m + n)\) で \(0\) となるが、この値は \(a\) と \(b\) の間にある。二つ目の関数では二次方程式 \[ (m + n + p)x^{2} - \{m(b + c) + n(c + a) + p(a + b)\}x + mbc + nca + pab = 0 \] が \(a\) と \(b\) および \(b\) と \(c\) の間に根を持つことを示す]

次の多項式が \(x \gt 1\) で正だと示せ: \[ 2x^{3} + 3x^{2} - 12x + 7,\quad 3x^{4} + 8x^{3} - 6x^{2} - 24x + 19 \]

任意の \(x\) の区間で \(x - \sin x\) が増加関数であること、および \(x\) が \(-\frac{1}{2}\pi\) から \(\frac{1}{2}\pi\) まで増加するとき \(\tan x - x\) が増加することを示せ。\(x\) の関数 \(ax - \sin x\) が単調増加および単調減少となるのは \(a\) がどんな値のときか？

\(\tan x - x\) が \(x = \frac{1}{2}\pi\) から \(x = \frac{3}{2}\pi\) や \(x = \frac{3}{2}\pi\) から \(x = \frac{5}{2}\pi\) といった区間でも増加すること、および \(\tan x = x\) の根が各区間にちょうど一つずつ含まれることを示せ (参考: 例 17.4)。

問題 3 を使って \(x \gt 0\) で \(\sin x - x \lt 0\) だと示し、ここから \(\cos x - 1 + \frac{1}{2}x^{2} \gt 0\) と \(\sin x - x + \frac{1}{6} x^{3} \gt 0\) を導け。一般に \(x \gt 0\) に対して \[ \begin{aligned} C_{2m} & = \cos x - 1 + \frac{x^{2}}{2!} - \cdots - (-1)^{m} \frac{x^{2m}}{(2m)!},\\ S_{2m+1}& = \sin x - x + \frac{x^{3}}{3!} - \cdots - (-1)^{m} \frac{x^{2m+1}}{(2m+1)!} \end{aligned} \] とすると、\(C_{2m}\) と \(S_{2m + 1}\) は \(m\) が奇数なら正で偶数なら負だと示せ。

\(f(x)\) と \(f''(x)\) が連続かつ区間 \([a, b]\) で符号が一定なら、この区間には \(f(x) = 0\) と \(f'(x) = 0\) の根がそれぞれ最大でも一つしか含まれないと示せ。

関数 \(u,\ v\) の導関数 \(u',\ v'\) がとある区間で連続で、かつその区間で \(uv' - u'v\) が \(0\) にならないとする。適当な二つの \(u = 0\) の根の間には \(v = 0\) の根があること、およびその逆を示せ。\(u = \cos x,\ \) \(v = \sin x\) としてこの事実を確かめよ。

[二つの \(u = 0\) の根 \(\alpha\) と \(\beta\) の間で \(v\) が \(0\) にならないとする。このとき関数 \(u/v\) は区間 \([\alpha, \beta]\) で連続であり、区間の端で \(0\) となる。よって \((u/v)' = (u'v - uv')/v^{2}\) は \(\alpha\) と \(\beta\) の間のどこかで \(0\) になるが、これは仮定と矛盾する]

次の関数が極大および極小となる点を求めよ: \[ \begin{gathered} (x - 1)^{2} (x + 2),\quad x^{3} - 3x,\quad 2x^{3} - 3x^{2} - 36x + 10,\\ 4x^{3} - 18x^{2} + 27x - 7, \quad 3x^{4} - 4x^{3} + 1, \quad x^{5} - 15x^{3} + 3 \end{gathered} \] それぞれの関数のグラフを描け。

[例として最後の関数を考える。この関数の導関数 \(\phi'(x) = 5x^{2} (x^{2} - 9)\) は \(x = -3,\ 0,\ 3\) で \(0\) となる。少し調べれば \(x = -3\) が極大で \(x = 3\) が極小だと分かるが、\(x = 0\) はどちらでもない。\(\phi'(x)\) は \(x = 0\) の両方向で負となる]

関数 \((x - a)^{m}(x - b)^{n}\) の極大および極小について議論せよ。\(m\) と \(n\) は正の整数として、\(m\) と \(n\) が奇数および偶数のそれぞれの場合を考えること。さらにこの関数のグラフを描け。

前問と同じことを関数 \((x - a) (x - b)^{2} (x - c)^{3}\) について議論せよ。\(a,\ b,\ c\) の大小関係に応じてグラフの形がどう変わるか示せ。

\(a,\ b,\ c,\ d\) がどんな値であっても、\((ax + b)/(cx + d)\) が極大または極小となる点を持たないことを示せ。この関数のグラフを描け。

次の関数が極大および極小となる点について議論せよ: \[ y = \frac{ax^{2} + 2bx + c}{Ax^{2} + 2Bx + C} \] 分母は複素根を持つとする。

[\(a\) と \(A\) は正だと仮定できる。導関数が \(0\) になるのは \[ (ax + b)(Bx + C) - (Ax + B)(bx + c) = 0 \qquad \text{(1)} \] のときである。この方程式は実根を持つ: 持たないとすると導関数が常に同じ符号を持つことになるが、これは \(y\) が全ての \(x\) で連続で \(x \to +\infty\) および \(x \to -\infty\) のとき \(y \to a/A\) という事実に反する。\(y\) のグラフは直線 \(y = a/A\) とちょうど一回だけ交わるが、\(b/a \gt B/A\) なら十分大きい正の \(x\) ではグラフがこの直線より上にあり、十分大きい負の \(x\) ではグラフがこの直線より下にあること (\(b/a \lt B/A\) ならその逆) が示せる。よって \(b/a \gt B/A\) なら \(\text{(1)}\) の大きい方の根で \(y\) は極大となり、小さい方の根で極小となる。\(b/a \gt B/A\) ならその逆が成り立つ]

前問の設定における \(y\) の極大値と極小値は \(ax^{2} + 2bx + c - \lambda(Ax^{2} + 2Bx + C)\) が \(x\) の完全平方式となる \(\lambda\) となる。 [これは \(y = \lambda\) が曲線に接するための条件である]

一般に \(R(x) = P(x)/Q(x)\) が極大または極小となる \(x\) の値を \(\lambda\) とすると、\(P(x) - \lambda Q(x) = 0\) は等しい根の組を持つ。

\(Ax^{2} + 2Bx + C = 0\) が実根を持つなら、議論は次のようになる。\(\lambda = bA - aB,\ \mu = cA - aC\) とすると \[ y - \frac{a}{A} = \frac{\lambda x + \mu}{A(Ax^{2} + 2Bx + C)} \] が成り立つ。さらに \(\xi = \lambda x + \mu,\ \eta = (A/\lambda^{2})(Ay - a)\) とすれば \[ \eta = \frac{\xi}{(\xi - p)(\xi - q)} \] となる。

この \((x, y)\) から \((\xi, \eta)\) への変形は軸に平行な原点の移動・軸の縮小拡大・座標の反転 (\(\lambda \lt 0\) の場合) からなる。そのため \(x\) の関数 \(y\) の極小値は \(\xi\) の関数 \(\eta\) の極小値に対応する。この逆も成り立ち、極大値についても成り立つ。

\(\xi\) に関する \(\eta\) の導関数は \[ (\xi - p)(\xi - q) - \xi(\xi - p) - \xi(\xi - q) = 0 \] つまり \(\xi^{2} = pq\) のとき \(0\) となる。よって \(\eta\) の導関数は \(p\) と \(q\) の符号が同じなら二つの根を持ち、異なるなら根を持たない。後者の場合の \(\eta\) のグラフを 図 41a に示す。

\(p\) と \(q\) が正ならグラフは 図 41b のようになり、\(\xi = \sqrt{pq}\) で極大となり \(\xi = -\sqrt{pq}\) で極小となる¹。

\(p = q\) なら \[ \eta = \frac{\xi}{(\xi - p)^{2}} \] であり、図 41c のようなグラフが得られる。

以上の議論は \(\lambda \neq 0\) を仮定している。\(\lambda = 0\) なら \(a/A = b/B\) であり、 \[ \begin{aligned} y - \frac{a}{A} & = \frac{\mu}{A(Ax^{2} + 2Bx + C)}\\ & = \frac{\mu}{A^{2}(x - x_{1})(x - x_{2})} \end{aligned} \] となる。\(dy/dx = 0\) とすると単一の値 \(x = \frac{1}{2}(x_{1} + x_{2})\) を得る。グラフを描けば、\(\mu\) が正ならこの値で極大となり、負なら極小となることが分かる。\(\mu\) が正の場合のグラフを 図 42 に示す。

[関数 \(y = (ax^{2} + 2bx + c)/(Ax^{2} + 2Bx + C)\) に関する代数的な方法だけを使った完全な一般理論はクリスタル著 Algebra, vol i, pp. 464–7 にある]

\(\gamma\) が \(\alpha\) と \(\beta\) の間にあるなら、\(x\) が動くとき \((x - \alpha)(x - \beta)/(x - \gamma)\) は全ての実数の値を取る。そうでないなら、長さ \(4\sqrt{|\alpha - \gamma||\beta - \gamma|}\) の区間を除いた全ての値を取る。

\(0 \lt c \lt 1\) なら \[ y = \frac{x^{2} + 2x + c}{x^{2} + 4x + 3c} \] が全ての実数の値を取ることを示し、この場合の関数のグラフを描け

(Math. Trip. 1910.)

\((ax^{2} + 2bx + c)/(Ax^{2} + 2Bx + C)\) の形をした関数であって \(x = 1\) と \(x = -1\) でそれぞれ \(2\) と \(3\) の極大値または極小値を取り、\(x = 0\) では \(2.5\) となるものを求めよ。

(Math. Trip. 1908.)

\(a\) と \(b\) が正なら、\(\dfrac{(x + a) (x + b)}{(x - a) (x - b)}\) の極大値と極小値は次の値である: \[ -\left(\frac{\sqrt{a} + \sqrt{b}}{\sqrt{a} - \sqrt{b}}\right)^{2},\quad -\left(\frac{\sqrt{a} - \sqrt{b}}{\sqrt{a} + \sqrt{b}}\right)^{2} \]

\(\dfrac{(x - 1)^{2}}{(x + 1)^{3}}\) の極大値は \(\dfrac{2}{27}\) である。

次の関数の極大値と極小値について議論せよ: \[ \frac{x(x - 1)}{x^{2} + 3x + 3}, \quad \frac{x^{4}}{(x - 1)(x - 3)^{3}},\quad \frac{(x - 1)^{2}(3x^{2} - 2x - 37)}{(x + 5)^{2}(3x^{2} - 14x - 1)} \]

(Math. Trip. 1898.)

[最後の関数を \(P(x)/Q(x)\) と表記すれば \[ P'Q - PQ' = 72(x - 7)(x - 3)(x - 1)(x + 1)(x + 2)(x + 5) \] が成り立つ]

\(a\cos x + b\sin x\) が極大および極小となる \(x\) の値を求めよ。関数を \(A\cos(x - B)\) の形に変形することでその結果の正しさを確かめよ。

次の関数が極大および極小となる \(x\) の値を求めよ: \[ a^{2}\cos^{2} x + b^{2}\sin^{2} x,\quad A\cos^{2}x + 2H\cos x\sin x + B\sin^{2} x \]

\(\dfrac{\sin(x + a)}{\sin(x + b)}\) が極大値および極小値を持たないと示し、この関数のグラフを描け。

関数 \[ \frac{\sin^{2}x}{\sin(x + a)\sin(x + b)}\quad (0 \lt a \lt b \lt \pi) \] が極小値 \(0\) と極大値 \[ -\frac{4\sin a\sin b}{\sin^{2}(a - b)} \] を無限に持つと示せ。

(Math. Trip. 1909.)

\(a^{2}\sec^{2}x + b^{2}\cosec^{2}x\) の最小値は \((a + b)^{2}\) である。

\(\tan 3x \cot 2x\) が \(\dfrac{1}{9}\) と \(\dfrac{3}{2}\) の間の値を取らないことを示せ。

直角三角形の斜辺ともう一つの辺の長さの和が固定されたとき、三角形の面積はその二つの辺の間の角度が \(60°\) のとき最大になると示せ。

(Math. Trip. 1909)

固定点 \((a, b)\) を通る直線が \(OX\) と \(OY\) に交わる点をそれぞれ \(P\) と \(Q\) とする。\(PQ,\ OP + OQ,\ OP·OQ\) の最小値がそれぞれ \((a^{2/3} + b^{2/3})^{3/2},\ (\sqrt{a} + \sqrt{b})^{2},\ 4ab\) だと示せ。

楕円の接線が \(x,\ y\) 軸と交わる点を \(P,\ Q\) とする。\(PQ\) の最小値が短半径と長半径の積に等しいと示せ。

円錐曲線 \[ ax^{2} + 2hxy + by^{2} = 1 \] の軸の長さと方向を求めよ。

[\(x\) 軸との角度が \(\theta\) で長さが \(r\) の半径を持つ円錐曲線は \[ \frac{1}{r^{2}} = a\cos^{2} \theta + 2h\cos\theta \sin\theta + b\sin^{2} \theta \] で与えられる。\(r\) が極大および極小となる条件は \(\tan 2\theta = 2h/(a - b)\) である。二つの方程式から \(\theta\) を消去すれば \[ \left(a - \frac{1}{r^{2}}\right) \left(b - \frac{1}{r^{2}}\right) = h^{2} \] を得る]

\(x\) と \(y\) が正で \(x + y = k\) なら、\(x^{m}y^{n}\) の最大値は \[ \frac{m^{m} n^{n} k^{m+n}}{(m + n)^{m+n}} \] である。

\(x\) が \(y\) が正で \(x^{2} + xy + y^{2} = 3\kappa^{2}\) を満たすとき、\(ax + by\) の最大値は \[ 2\kappa \sqrt{a^{2} - ab + b^{2}} \] である。

[\(ax + by\) が極大なら \(a + b(dy/dx) = 0\) が成り立つ。\(x\) と \(y\) の関係からは \((2x + y) + (x + 2y)(dy/dx) = 0\) が分かる。二つの \(dy/dx\) を等号で結べばよい]

\(a,\ b,\ c\) を正の実数とする。\(\theta\) と \(\phi\) が鋭角で \(a \sec\theta + b \sec\phi = c\) が成り立つなら、\(a\cos\theta + b\cos\phi\) は \(\theta = \phi\) のとき極小となる。