四次函数のソースを表示

{{Expand English|Quartic function|date=2023-10}}
[[画像:Polynomialdeg4.svg|300px|thumb|3つの[[極値]]を持つ四次多項式関数のグラフ]]
[[数学]]において、'''四次関数'''（よじかんすう、{{lang-en-short|''quartic function'', biquadratic function}}<ref group="注" name="biquad">biquadratic function という語は、四次関数の意味でも複二次式の意味でも使われるため紛らわしい。</ref>）は、[[多項式の次数|次数]] 4 の多項式の定める関数である。一変数の場合には具体的に、''a'' (≠ 0) および ''b'', ''c'', ''d'' を定数として
:<math>f(x)=ax^4+bx^3+cx^2+dx+e</math>
と表される。特別の場合として、{{math|''x''{{sup|2}}}} の二次関数：
:<math>f(x)=ax^4+bx^2+c</math>
を'''複二次関数''' {{lang|en|(''biquadratic function'')}}<ref group="注" name="biquad" />と呼ぶ。

四次関数 ''f''(''x'') の零点（[[x切片|''x''切片]]）は[[四次方程式]]
:<math>f(x)=ax^4+bx^3+cx^2+dx+e=0\quad (a\ne 0)</math>
の解である。また、四次関数の[[導函数|導関数]]は[[三次関数]]になる。

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

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

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

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

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

A program demonstrating various analytic solutions to the quartic was provided in [[Graphics Gems]] Book V.<ref>http://www.acm.org/pubs/tog/GraphicsGems/gems.html#gemsv</ref>
However, none of the three algorithms implemented are unconditionally stable.
In an updated version of the paper,<ref>http://www-staff.it.uts.edu.au/~don/pubs/solving.html</ref> 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個の項をもつかなり複雑な式となる。したがって、数値計算する上では簡潔な行列式としてまとまる判別式の[[終結式]]による表現が有用である。すなわち、
: <math>Q(x) = ax^4+bx^3+cx^2+dx+e</math>
の判別式 ''D{{sub|Q}}'' は
: <math>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}</math>
となる。

四次関数のグラフの概形は、最高次係数の正負、重根・三重根・四重根の有無、導函数の零点の有無、導函数の重根・三重根の有無などにより分類することができる。
<gallery>
Courbe quatri%C3%A8me degr%C3%A9 01.GIF
Courbe quatri%C3%A8me degr%C3%A9 02.GIF
Courbe quatri%C3%A8me degr%C3%A9 03.GIF
Courbe quatri%C3%A8me degr%C3%A9 04.GIF
Courbe quatri%C3%A8me degr%C3%A9 05.GIF
Courbe quatri%C3%A8me degr%C3%A9 06.GIF
Courbe quatri%C3%A8me degr%C3%A9 07.GIF
Courbe quatri%C3%A8me degr%C3%A9 08.GIF
Courbe quatri%C3%A8me degr%C3%A9 09.GIF
Courbe quatri%C3%A8me degr%C3%A9 10.GIF
Courbe quatri%C3%A8me degr%C3%A9 11.gif
Courbe quatri%C3%A8me degr%C3%A9 12.gif
Courbe quatri%C3%A8me degr%C3%A9 13.gif
Courbe quatri%C3%A8me degr%C3%A9 14.gif
Courbe quatri%C3%A8me degr%C3%A9 15.gif
Courbe quatri%C3%A8me degr%C3%A9 16.gif
Courbe quatri%C3%A8me degr%C3%A9 17.gif
Courbe quatri%C3%A8me degr%C3%A9 18.gif
Courbe quatri%C3%A8me degr%C3%A9 19.gif
Courbe quatri%C3%A8me degr%C3%A9 20.gif
Courbe quatri%C3%A8me degr%C3%A9 21.GIF
Courbe quatri%C3%A8me degr%C3%A9 22.GIF
Courbe quatri%C3%A8me degr%C3%A9 23.GIF
Courbe quatri%C3%A8me degr%C3%A9 24.GIF
Courbe quatri%C3%A8me degr%C3%A9 25.GIF
Courbe quatri%C3%A8me degr%C3%A9 26.GIF
Courbe quatri%C3%A8me degr%C3%A9 27.GIF
Courbe quatri%C3%A8me degr%C3%A9 28.GIF
Courbe quatri%C3%A8me degr%C3%A9 31.gif
Courbe quatri%C3%A8me degr%C3%A9 32.gif
Courbe quatri%C3%A8me degr%C3%A9 33.gif
Courbe quatri%C3%A8me degr%C3%A9 34.gif
Courbe quatri%C3%A8me degr%C3%A9 35.gif
Courbe quatri%C3%A8me degr%C3%A9 36.gif
Courbe quatri%C3%A8me degr%C3%A9 37.gif
Courbe quatri%C3%A8me degr%C3%A9 38.gif
</gallery>

== 四次方程式との関係 ==
{{main|四次方程式}}
四次関数の根は代数的な表示を持つ。四次函数の根の表示を求める方法については[[四次方程式]]の項を参照。

四次関数がより低次の多項式に何らかの意味で帰着できるならば、その性質の理解は幾分容易になる。四次関数
: <math>Q(x) = a_4x^4+a_3x^3+a_2x^2+a_1x+a_0</math>
が例えば、因数分解されているとか、適当な変数変換で低次の方程式になる場合などが典型である。[[因数定理]]によれば、方程式 ''Q''(''x'') = 0 を解いて零点を知れば因数分解をすることができるし、[[四次方程式]]における[[フェラリの解法]]などは分解方程式と呼ばれる低次の方程式に帰着する方法を取っている。

例えば、四次の[[準相反方程式]]
: <math>a_0x^4+a_1x^3+a_2x^2+a_1 m x+a_0 m^2=0</math>
は ''x''<sup>2</sup> で両辺を割って、変数変換 ''z'' = ''x'' + ''m''/''x'' を行えば、''z'' の二次方程式となるから、それを解いてもとへ返せば因数分解ができる。

== 脚注・参照 ==
;脚注
{{Reflist|group="注"}}
=== 参照 ===
{{Reflist}}

== 参考文献 ==
* {{Citation |title=A Geometric Interpretation of the Solution of the General Quartic Polynomial |first=William Mark |last=Faucette |journal=[[The American Mathematical Monthly]] |volume=103 |issue=1 |year=1996 |pages=51-57 |doi=10.2307/2975214 |url=http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.111.5574&rep=rep1&type=pdf}}
* {{Cite journal |author=Nickalls, R. W. D. |title=The quartic equation: invariants and Euler's solution revealed |journal=[[Mathematical Gazette]] |volume=93 |year=2009 |pages=66-75 |url=http://www.nickalls.org/dick/papers/maths/quartic2009.pdf}}
* {{Cite journal |author=Carpenter, W. |title=On the solution of the real quartic |journal=[[Mathematics Magazine]] |volume=39 |year=1966 |pages=28-30}}
* {{Cite journal |author=Brookfield, G. |title=Factoring quartic polynomials: A lost art |journal=Mathematics Magazine |volume=80 |issue=1 |year=2007 |pages=67-70}}

== 外部リンク ==
* {{PlanetMath |urlname=QuarticFormula |title=Quartic formula as four single equations}}
* {{高校数学の美しい物語|1059|四次関数のグラフの概形と例題２問}}
* {{高校数学の美しい物語|1071|四次関数の二重接線を素早く求める方法}}

{{多項式}}
{{DEFAULTSORT:よしかんすう}}
[[Category:解析幾何学]]
[[Category:多項式]]
[[Category:数学に関する記事]]