三次関数
数学における三次函数（さんじかんすう、英: cubic function）とは、単に次数 3 の多項式函数との意味であって、しかし多くの場合にはより限定的な意味に解して、実一変数の実数値函数を考える。すなわち、実数体 R 上の多項式に対して、不定元への代入によって定められる函数という意味において、
- [math]f(x)=a x^3 + b x^2 + c x + d[/math]
（a, b, c, d は実数の定数で a ≠ 0）なる形の三次多項式の定める函数 f: R → R である。[1]
性質
無限遠での振舞い
任意の奇数次多項式函数がそうである通り、最高次係数が正 (a > 0) のとき
- [math]\lim\limits_{x \to +\infty} f(x) = +\infty[/math], [math]\lim\limits_{x \to -\infty} f(x) = -\infty[/math]
および最高次係数が負 (a < 0) のとき
- [math]\lim\limits_{x \to +\infty} f(x) = -\infty[/math], [math]\lim\limits_{x \to -\infty} f(x) = +\infty[/math]
が成り立つ。
零点
（任意の多項式函数がそうである通り）三次函数は連続函数であるから中間値の定理が適用できて、上で見た無限遠での振舞いと合わせると、任意の三次函数が少なくとも一点の実零点を持つことが分かる。他方、代数方程式論の基本定理により、任意の n-次多項式函数の零点の個数は高々 n 個であるから、まとめると三次函数の実零点の数は、一つ以上三つ以下といことになる。
三次函数の零点の配置については、三次方程式やカルダノの公式などの項に譲る。一般の三次函数に対する判別式は
- [math]D = b^2c^2 - 4ac^3 - 4b^3d -27a^2d^2 + 18abcd[/math]
で与えられ、これを用いて零点の類別を行うことができる。すなわち、D > 0 ならば相異なる三零点、D < 0 ならば一零点であり、D = 0 のときには、一つの単純零点ともう一つの二位の零点を持つかあるいは一つの三位零点を持つ。
ニュートン法などの数値的な零点探索も行うことができる。
単調性と極値
任意の多項式函数と同じく、三次函数 f は微分可能である。その一階導函数 fテンプレート:' は二次函数
- [math]f'(x) = 3ax^2 + 2bx+c[/math]
であり、この判別式 4bテンプレート:Exp − 12ac が正（すなわち bテンプレート:Exp > 3ac）のとき、f は極大値と極小値をちょうど一つずつとる[1]。さもなくば f は狭義単調函数（より精確に、a > 0 ならば狭義単調増大、a < 0 ならば狭義単調減少）である。
変曲点と対称性
各三次関数 f はただ一つの変曲点 (xテンプレート:Msub, f(xテンプレート:Msub)) を持つ。この変曲点は
- [math]x_W = -\frac{b}{3a}[/math]
で与えられ、これは二階導函数 f"(x) = 6ax + 2b の唯一の零点である。[1]
三次函数 f のグラフは、変曲点に関して点対称である[2]。
正規形
適当な平行移動および原点に関する拡大縮小をおこなうことにより、任意の三次函数 f を
- [math]g(u)=u^3 + k u[/math]
なる形の三次函数 g に帰着することができる。ここに一次の係数は k ∈ {−1, 0, 1} に取れる。これらの正規形 (normal form) は以下のように特徴を述べることができる:
- k = −1: g は二つの極値点を持つ。
- k = 0: 極値点は一致して一つの鞍点となる。
- k = 1: g は極値点も鞍点も持たない（実際、このとき導函数は常に正である）。
この正規形を得るために行った変換は極値の存在性を変えないので、これらの特徴付けはもとの函数 f にも適用できる。実は係数 k は f の一階導函数の判別式の符号を変えたものになっている。
三次抛物線
三次抛物線または立方抛物線[3] (cubic parabola) は三次函数のグラフの描く平面三次曲線として定義される。曲線の性質は平行移動不変であるから、この曲線の特徴を調べるには b = d = 0 の三次多項式のみを見れば十分である。
参考文献
- ↑ 1.0 1.1 1.2 Szecsei 2006, p. 239.
- ↑ Michael de Villiers. “All cubic polynomials are point symmetric”. . 14 December 2015閲覧.
- ↑ 新宮恒次郎 『グラフ教授』 大阪修文館、1924年。
- Szecsei, Denise (2006), Calculus, Career Press, ISBN 9781564149145
関連項目
- 転送 Template:多項式
外部リンク
- Weisstein, Eric W. “Cubic Polynomial”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。