四次函数

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2023年10月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Quartic function|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

数学において、四次関数（よじかんすう、英: quartic function, biquadratic function^{[注 1]}）は、次数 4 の多項式の定める関数である。一変数の場合には具体的に、a (≠ 0) および b, c, d を定数として

${\displaystyle f(x)=ax^{4}+bx^{3}+cx^{2}+dx+e}$

と表される。特別の場合として、x² の二次関数：

${\displaystyle f(x)=ax^{4}+bx^{2}+c}$

を複二次関数 (biquadratic function)^{[注 1]}と呼ぶ。

四次関数 f(x) の零点（x切片）は四次方程式

${\displaystyle f(x)=ax^{4}+bx^{3}+cx^{2}+dx+e=0\quad (a\neq 0)}$

の解である。また、四次関数の導関数は三次関数になる。

四次関数は偶数次の多項式関数だから、変数を正の無限大 +∞ に近づける極限でも、負の無限大 −∞ に近づける極限でも、ともに等しい極限を持つ。この極限は、最高次の係数 a が正ならば、正の無限大となり、従ってその四次関数は（大域的な）最小値を持つ。同じように、a が負ならば負の無限大へ発散し、（大域的な）最大値を持つ。

応用[編集]

高次多項式関数は最適化問題にしばしば現れ、それは時に四次多項式だったりもするが、それはたまたまそうなるだけである。

コンピュータグラフィックでは、二次曲面やトーラス面（これは球面や可展面などの次のレベルの曲面）に対するレイトレーシングなどに四次函数が現れる。

二つの楕円の交点などを考えても四次式が現れる。

計算機支援製造 (computer-aided manufacturing; CAM) では、エンドミルカッターの形状としてトーラスがよく見られる。三角形分割された曲面に関する位置関係を計算するには、z軸上に置かれた水平トーラスの位置を、接面を固定した状態で求めなければならず、これには四次方程式を解く必要が生じる。CAMにおける計算時間の10％以上は単に数百万の四次方程式の解を計算することに費やされている。

A program demonstrating various analytic solutions to the quartic was provided in Graphics Gems Book V.^[1] However, none of the three algorithms implemented are unconditionally stable. In an updated version of the paper,^[2] which compares the 3 algorithms from the original paper and 2 others, it is demonstrated that computationally stable solutions exist only for 4 of the possible 16 sign combinations of the quartic coefficients.

性質[編集]

重根の存在を調べる四次式の判別式は、定義通り根の差積の平方（にヴィエタの公式を代入したもの）として計算すると、16個の項をもつかなり複雑な式となる。したがって、数値計算する上では簡潔な行列式としてまとまる判別式の終結式による表現が有用である。すなわち、

${\displaystyle Q(x)=ax^{4}+bx^{3}+cx^{2}+dx+e}$

の判別式 D_Q は

${\displaystyle D_{Q}=-\mathrm {Res} (Q,Q')=-{\begin{vmatrix}a&b&c&d&e&0&0\\0&a&b&c&d&e&0\\0&0&a&b&c&d&e\\4a&3b&2c&d&0&0&0\\0&4a&3b&2c&d&0&0\\0&0&4a&3b&2c&d&0\\0&0&0&4a&3b&2c&d\end{vmatrix}}}$

となる。

四次関数のグラフの概形は、最高次係数の正負、重根・三重根・四重根の有無、導函数の零点の有無、導函数の重根・三重根の有無などにより分類することができる。

四次方程式との関係[編集]

四次関数の根は代数的な表示を持つ。四次函数の根の表示を求める方法については四次方程式の項を参照。

四次関数がより低次の多項式に何らかの意味で帰着できるならば、その性質の理解は幾分容易になる。四次函数

${\displaystyle Q(x)=a_{4}x^{4}+a_{3}x^{3}+a_{2}x^{2}+a_{1}x+a_{0}}$

が例えば、因数分解されているとか、適当な変数変換で低次の方程式になる場合などが典型である。因数定理によれば、方程式 Q(x) = 0 を解いて零点を知れば因数分解をすることができるし、四次方程式におけるフェラリの解法などは分解方程式と呼ばれる低次の方程式に帰着する方法を取っている。

例えば、四次の準相反方程式

${\displaystyle a_{0}x^{4}+a_{1}x^{3}+a_{2}x^{2}+a_{1}mx+a_{0}m^{2}=0}$

は x² で両辺を割って、変数変換 z = x + m/x を行えば、z の二次方程式となるから、それを解いてもとへ返せば因数分解ができる。

脚注・参照[編集]

脚注

参照[編集]

参考文献[編集]

• Faucette, William Mark (1996), “A Geometric Interpretation of the Solution of the General Quartic Polynomial”, The American Mathematical Monthly 103 (1): 51-57, doi:10.2307/2975214, http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.111.5574&rep=rep1&type=pdf 
• Nickalls, R. W. D. (2009). “The quartic equation: invariants and Euler's solution revealed”. Mathematical Gazette 93: 66-75. http://www.nickalls.org/dick/papers/maths/quartic2009.pdf. 
• Carpenter, W. (1966). “On the solution of the real quartic”. Mathematics Magazine 39: 28-30. 
• Brookfield, G. (2007). “Factoring quartic polynomials: A lost art”. Mathematics Magazine 80 (1): 67-70. 

外部リンク[編集]

• Quartic formula as four single equations - PlanetMath.（英語）
• 『四次関数のグラフの概形と例題２問』 - 高校数学の美しい物語
• 『四次関数の二重接線を素早く求める方法』 - 高校数学の美しい物語

表 話 編 歴 多項式
元数	多変数
次数	多項式 零多項式 定数多項式 斉次多項式 函数 次数不確定 (or −∞)（零函数） 零次（非零定数函数） 一次 二次 三次 四次 五次 方程式 一次 二次 三次 四次 五次 六次 七次 八次
項数	零項 定数項 単項 二項 三項 無限変数（フランス語版） 座標に依らない記述（英語版）
係数条件	容量 1（原始的） 主係数 1（モニック）
アルゴリズム	因数分解 最大公約式（英語版） 除法（英語版） ホーナー法 終結式 判別式 グレブナー基底
関連項目	代数方程式 多項式の根 重根 (多項式) 根と係数の関係 剰余の定理 因数定理 多項式の展開 多項定理 二項定理 整式 解の公式 二次方程式の解の公式 陰計算
カテゴリ