3次関数に引ける接線の本数問題の基本方針については前項で説明した. \\[.2zh] 接線が点$(a,\ b)$を通るように立式すると,\ \textbf{\textcolor{blue}{実数解の個数問題}}に帰着するのであった. \\[.2zh] ただし,\ 前項とは異なり,\ \textbf{\textcolor{red}{定数が分離できない型}}の実数解の個数問題に帰着する. \\[.2zh] 定数が分離できない場合,\ \textbf{\textcolor{red}{極値の積を利用する}}のであった. \\\\\\ 接点を\ P$(\bm{\textcolor{cyan}{t}},\ t^3-t)$\ とおく. \\[1zh] $y’=3x^2-1$より,\ 点Pにおける接線の方程式は \\[.2zh] $y=(3t^2-1)(x-t)+(t^3-t) よって y=(3t^2-1)x-2t^3$ \\[1zh] この直線が$点(a,\ b)を通るから b=(3t^2-1)a-2t^3$ \\[.2zh] }{3次関数では接点の個数と接線の本数が一致する.}}} \\[.4zh] ゆえに,\ \textcolor{red}{3本の接線が引けるための条件は,\ \maru1が異なる3個の実数解をもつこと}である{求める領域は上図の斜線部分.\ 境界線は含まない.}$ 接点を文字でおいて接線の方程式を作成し,\ 通る1点(a,\ b)を代入する. \\[.2zh] tは接点のx座標なので,\ tの3次方程式\maru1は接点のx座標を求める方程式である. \\[.2zh] \maru1の実数解が3個あれば,\ 接点が3個ある,\ つまりは引ける接線が3本存在することになる. \\[1zh] \maru1の実数解が3個あるための条件は,\ \bm{3次関数\ y=f(t)\ がt軸と異なる3点で交わること}である. \\[.2zh] y=f(t)がt軸と異なる3点で交わる条件は,\ \bm{「極大値と極小値の一方が正で他方が負」}である. \\[.2zh] 3次関数f(t)が極値をもつための条件は,\ \bm{f'(t)=0\ が異なる2個の実数解をもつこと}であった. \\[.2zh] よって,\ f'(t)=0\ の2解\ t=0,\ a\ が一致するとき,\ f(t)は極値をもたない. \\[.2zh] ゆえに,\ \bm{f(t)が極値をもつ条件はa\neqq0}\ となる. \\[.2zh] このとき,\ \bm{極大値と極小値の一方が正で他方が負}であれば,\ t軸と3点で交わる. \\[.2zh] 一般に,\ 「一方が正かつ他方が負」という条件は\bm{「積が負」}と考えると簡潔になる. \\[.2zh] 結局,\ \bm{(極値の積)=f(0)f(a)<0}\ が,\ f(t)=0が3個の実数解をもつ条件となる. \\[.2zh]
積を考える手法には,\ f(0)とf(a)のどちらが極大値かを気にしなくてもよくなるメリットもある. \\
後は領域図示の問題である.\ (a+b)(-\,a^3+a+b)を展開する必要はない. \\[.2zh]
領域AB<0は,\ \bm{(A>0かつB<0)または(A<0かつB>0)}\ と考えて図示する. \\[1zh] \bm{1つの座標平面に複数のグラフを描くとき,\ 最初に互いの位置関係を調べておく.} \\[.2zh] 連立して解くことで,\ 共有点の有無やその位置がわかる. \\[.2zh] 本問では,\ 3次関数\ b=a^3-a\ と\ 直線\ b=-\,a\ の位置関係を調べておく必要がある. \\[.2zh] b=a^3-a\ と\ b=-\,a\ を連立すると a^3-a=-\,a\ より\ \ a^3=0 よって\ \ a=0 \\[.2zh] 3重解\ a=0\ をもつということは,\ \bm{a=0で接し,\ それ以外に共有点はもたない}ということである. \\[1zh] b=a^3-a\ のグラフを描くとき,\ 容易に因数分解できることに着目する. \\[.2zh] この場合,\ 極値を求めるのではなく,\ a軸との交点を求めて図示する. \\[.2zh] b=a^3-a=a(a^2-1)=a(a+1)(a-1)=0より,\ \bm{a=-\,1,\ 0,\ 1でa軸と交わる}とわかる. \\[1zh] a\neqq0かつ(a+b)(-\,a^3+a+b)<0としたが,\ 実際には(a+b)(-\,a^3+a+b)<0のみでよい. \\[.2zh]
a=0のときf(0)f(a)=\{f(0)\}^2\geqq0より,\ f(0)f(a)<0に矛盾する. \\[.2zh]
つまり,\ f(0)f(a)=(a+b)(-\,a^3+a+b)<0さえあれば,\ 自動的にa\neqq0といえるわけである. \\[1zh]
前項で示した以下の\bm{引ける接線の本数の構図}を知っている人にとっては,\ 本問の結果は当然である.
