三次関数の接線の本数についての美しい定理

更新 2021/03/07

定点から三次関数のグラフに接線が何本引けるかを問う問題は頻出。図で覚えておくとよい。変曲点における接線が重要。

三次関数の接線の本数

三次関数のグラフの形は大きく分けて2パターンあります。
極大点，極小点が存在する場合
単調な場合
いずれの場合も，「変曲点における接線」と「三次関数（自分自身）」によって領域が4つに分かれます。それぞれの領域に図のように記号を定めます。
すると，点
PPP
 から三次関数のグラフに引ける接線の本数に関して以下の美しい定理が成立します。
定理
PPP
 から引ける接線が三本
  ⟺  P\iff P⟺P
 は領域
AAA，BBB
 のいずれかの内部
PPP
 から引ける接線が一本
  ⟺  P\iff P⟺P
 は領域
CCC，DDD
 のいずれかの内部，または変曲点
PPP
 から引ける接線が二本
  ⟺  P\iff P⟺P
 は上記以外
高校数学の問題集　～最短で得点力を上げるために～ のT196では，この定理を知っていると高速に検算できる問題や，計算ミスを減らすコツを紹介しています。

直感的に納得する

上記の定理を式を使ってきちんと証明するのがこの記事の目標です。
しかし，まずは式で証明する前に
直感的に正しそうだということを図を見て確認してください。
パターン1の場合で見てみます。
「3」の領域にある緑の点からは接線が三本引けます（接点は薄い緑の点）
「1」の領域にある紫の点からは接線が一本しか引けません（接点は薄い紫の点）

接線の本数の証明

まずは $f(x)=x^3+ax$ という形の三次関数について証明します。

対称性より（ $f(x)$ が奇関数なので） $P$ の $x$ 座標が $0$ 以上の場合のみ考えればOKです。

証明

$f(x)=x^3+ax$ のとき， $f'(x)=3x^2+a$ であるので，

$(x_0,x_0^3+ax_0)$ における接線の方程式は

$y=(3x_0^2+a)x-2x_0^3$

よって， $P(p,q)\:(p\geqq 0)$ から引いた接線の本数は， $X$ についての三次方程式

$q=3X^2p+ap-2X^3$

の実数解の個数と等しい（ここが一番重要）。

あとは， $g(X)=2X^3-3X^2p+q-ap$ と $x$ 軸との共有点の個数を求めればよい。

・ $p=0$ のとき， $g(X)=2X^3+q=0$ の実数解は一つ。

・ $p > 0$ のとき， $g'(X)=6X(X-p)$ より

$g(X)$ は $X=0$ で極大値 $q-ap$

$X=p$ で極小値 $-p^3+q-ap$

よって，

解が三つ $\iff -p^3+q-ap <0 <q-ap$

$\iff ap <q <p^3+ap$

解が二つ $\iff q-ap=0$ または $-p^3+q-ap=0$

解が一つ $\iff$ 上記以外。

変曲点における接線が $y=ax$ であることに注意すると定理が成立することが分かる。

なお， $a <0$ の場合がパターン1に， $a \geqq 0$ の場合がパターン2に対応していますが，定理の証明において場合分けは不要です。

一般の場合

一般の三次関数 $y=Ax^3+Bx^2+Cx+D$ については適切に平行移動＆拡大を施すことで $y=x^3+ax$ という形にできます。

（平行移動で二次の項と定数項を消し，拡大（縮小）で三次の係数を $1$ にする） →グラフの平行移動（具体例と公式の証明） →関数のグラフの拡大・縮小の証明と例

平行移動や拡大を施した後のグラフで上記の定理が正しければ変換前のグラフにおいても定理は正しいので，全ての三次関数について目標の定理が成立することが分かりました！

感覚的に正しそうな主張を式を使ってきちんと証明できると楽しいです。

この記事の監修者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！