この記事は英語版の対応するページを翻訳することにより充実させることができます。（2023年10月）翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。

英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。

万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。

信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。

履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。

翻訳後、{{翻訳告知|en|Quartic function|…}}をノートに追加することもできます。

Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

3つの極値を持つ四次多項式関数のグラフ

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

と表される。特別の場合として、x2 の二次関数： f ( x ) = a x 4 + b x 2 + c {\displaystyle f(x)=ax^{4}+bx^{2}+c}

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

四次関数 f(x) の零点（x切片）は四次方程式 f ( x ) = a x 4 + b x 3 + c x 2 + d x + e = 0 ( a ≠ 0 ) {\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個の項をもつかなり複雑な式となる。したがって、数値計算する上では簡潔な行列式としてまとまる判別式の終結式による表現が有用である。すなわち、 Q ( x ) = a x 4 + b x 3 + c x 2 + d x + e {\displaystyle Q(x)=ax^{4}+bx^{3}+cx^{2}+dx+e}

の判別式 DQ は D Q = − R e s ( Q , Q ′ ) = − 。 a b c d e 0 0 0 a b c d e 0 0 0 a b c d e 4 a 3 b 2 c d 0 0 0 0 4 a 3 b 2 c d 0 0 0 0 4 a 3 b 2 c d 0 0 0 0 4 a 3 b 2 c d 。