二次関数

二次関数（にじかんすう、テンプレート:Lang-en-short）とは、次数が2の多項式によって表される関数のことである。

概要

二次関数とは

f (x) = a x^{2} + b x + c (a \neq 0)

の形で表される関数のことである。係数テンプレート:Math が実数値の定数で、テンプレート:Math が実数値をとる変数とすると、そのグラフは[[直交座標系|テンプレート:Math座標系]]において放物線を描く。

本項目では実数値関数としての二次関数に着目して、解析幾何学でよく知られた事項を記す。

次数が2の多項式によって定義される関数

f (x) = a x^{2} + b x + c (a \neq 0)

のことをテンプレート:Math を独立変数とする二次関数という。特にテンプレート:Math のときは、「二乗に比例する関数」とも言う。

f (x) = a {(x + \frac{b}{2 a})}^{2} - \frac{b^{2} - 4 a c}{4 a}

上記の標準形では、二次関数の頂点の座標は一般的に $(x, y) = (- \frac{b}{2 a}, - \frac{b^{2} - 4 a c}{4 a})$ となる。

の形に表された二次関数を一般形（いっぱんけい、standard form）という。式変形によって一般形に変形できる関数も二次関数と呼ばれ、特に

の形の二次関数を標準形（ひょうじゅんけい、vertex form）といい

の形の二次関数を因数分解形（いんすうぶんかいけい、factored form）もしくは単に分解形という。

一般形でテンプレート:Math のときは標準形でもあり、標準形でテンプレート:Math のときは因数分解形でもある。因数分解形でテンプレート:Math のときは標準形でもあり、さらにテンプレート:Math のときは一般形でもある。

標準形や因数分解形を展開すれば一般形が得られ、一般形を因数分解すれば因数分解形が得られる。また、一般形を平方完成すれば、標準形が得られる。

一般形

は多項式の一般論を適用するときに便利であり、標準形

や因数分解形

は座標平面上に描かれる放物線を通して二次関数の性質を調べるときに便利な形である。

の形で表される[[直交座標系|テンプレート:Math平面]]上の放物線の軸はテンプレート:Math であり、頂点の座標はテンプレート:Math となる。