二次関数
二次関数（にじかんすう、テンプレート:Lang-en-short）とは、次数が2の多項式によってあらわされる関数のことである。
概要
二次関数とは
- <math>f(x) = ax^2 + bx + c \quad (a \ne 0)</math>
の形で表される関数のことである。係数 a, b, c が実数値の定数で、x が実数値をとる変数とすると、そのグラフは xy-座標系において放物線を描く。
これは集合と写像の概念を用いて、
- 実数全体のなす集合 R から R への写像
- f: R → R; x → ax2 + bx + c
- を考えたとき、そのグラフ {(x, y) ∈ R2 | y = f(x)} は R2 内の放物線を描く。
と言っても同じことである。
本項目では実数値関数としての二次関数に着目して、解析幾何学でよく知られた事項を記す。
定義
次数が2の多項式によって定義される関数
- <math>f(x) = ax^2 + bx + c \quad (a \ne 0)</math>
のことをxを独立変数とする二次関数という。特にb = c =0のときは、「二乗に比例する関数」とも言う。
- f(x) = ax2 + bx + c
の形に表された二次関数を一般形（いっぱんけい、standard form）という。式変形によって一般形に変形できる関数も二次関数と呼ばれ、特に
- f(x) = a(x−p)2 + q
の形の二次関数を標準形（ひょうじゅんけい、vertex form）といい
- f(x) = a(x−s)(x−t)
の形の二次関数を因数分解形（いんすうぶんかいけい、factored form）もしくは単に分解形という。
一般形で b=0 のときは標準形でもあり、標準形で q=0 のときは因数分解形でもある。因数分解形で s=t のときは標準形でもあり、さらに s=t=0 のときは一般形でもある。
標準形や因数分解形を展開すれば一般形が得られ、一般形を因数分解すれば因数分解形が得られる。また、一般形を平方完成すれば、標準形が得られる。
表現形式の特徴
一般形
- f(x) = ax2 + bx + c
は多項式の一般論を適用するときに便利であり、標準形
- f(x) = a(x−p)2 + q
や因数分解形
- f(x) = a(x−s)(x−t)
は座標平面上に描かれる放物線を通して二次関数の性質を調べるときに便利な形である。
- y = a(x−p)2 + q
の形であらわされるxy-平面上の放物線の軸は x = p であり、頂点の座標は (p, q) となる。
- y = a(x−s)(x−t)
の形で表される放物線は s,t が実数ならば x 軸と x=s,t で交わる。特に s=t ならば放物線は x 軸に接する。
