수학 에서 이차 함수 (二次函數, 영어 : quadratic function )는 최고 차수가 2인 다항 함수 이다.
이차 함수 그래프의 예시
이차 함수 는 다음과 같은 꼴의 함수
f
:
R
→
R
{\displaystyle f\colon \mathbb {R} \to \mathbb {R} }
(또는
f
:
C
→
C
{\displaystyle f\colon \mathbb {C} \to \mathbb {C} }
)이다.
f
(
x
)
=
a
x
2
+
b
x
+
c
{\displaystyle f(x)=ax^{2}+bx+c}
단,
a
≠
0
{\displaystyle a\neq 0}
이어야 한다.
보다 일반적으로, 이변수 이차 함수 는 다음과 같은 꼴의 함수
f
:
R
2
→
R
{\displaystyle f\colon \mathbb {R} ^{2}\to \mathbb {R} }
(또는
f
:
C
2
→
C
{\displaystyle f\colon \mathbb {C} ^{2}\to \mathbb {C} }
)이다.
f
(
x
,
y
)
=
a
x
2
+
b
x
y
+
c
y
2
+
d
x
+
e
y
+
f
{\displaystyle f(x,y)=ax^{2}+bxy+cy^{2}+dx+ey+f}
단,
0
=
a
=
b
=
c
{\displaystyle 0=a=b=c}
가 성립하지 않아야 한다.
보다 일반적으로,
d
{\displaystyle d}
변수 이차 함수 는 다음과 같은 꼴의 함수
f
:
R
d
→
R
{\displaystyle f\colon \mathbb {R} ^{d}\to \mathbb {R} }
(또는
f
:
C
d
→
C
{\displaystyle f\colon \mathbb {C} ^{d}\to \mathbb {C} }
)이다.
f
(
x
1
,
x
2
…
,
x
d
)
=
∑
i
=
1
d
∑
j
=
1
d
a
i
j
x
i
x
j
+
∑
k
=
1
d
b
k
x
k
+
c
=
a
11
x
1
2
+
a
12
x
1
x
2
+
⋯
+
a
1
d
x
1
x
d
+
a
21
x
2
x
1
+
a
22
x
2
2
+
⋯
+
a
2
d
x
2
x
d
+
⋯
+
a
d
1
x
n
x
1
+
a
n
2
x
n
x
2
+
⋯
+
a
d
d
x
d
2
+
b
1
x
1
+
b
2
x
2
+
⋯
+
b
d
x
d
+
c
{\displaystyle {\begin{aligned}f(x_{1},x_{2}\dots ,x_{d})&=\sum _{i=1}^{d}\sum _{j=1}^{d}a_{ij}x_{i}x_{j}+\sum _{k=1}^{d}b_{k}x_{k}+c\\&=a_{11}x_{1}^{2}+a_{12}x_{1}x_{2}+\cdots +a_{1d}x_{1}x_{d}\\&\qquad +a_{21}x_{2}x_{1}+a_{22}x_{2}^{2}+\cdots +a_{2d}x_{2}x_{d}\\&\qquad \qquad +\cdots \\&\qquad \qquad \qquad +a_{d1}x_{n}x_{1}+a_{n2}x_{n}x_{2}+\cdots +a_{dd}x_{d}^{2}\\&\qquad \qquad \qquad \qquad +b_{1}x_{1}+b_{2}x_{2}+\cdots +b_{d}x_{d}+c\\\end{aligned}}}
단,
0
=
a
11
=
⋯
=
a
d
d
{\displaystyle 0=a_{11}=\cdots =a_{dd}}
가 성립하지 않아야 한다.
f
(
x
)
=
x
2
−
x
−
2
{\displaystyle f(x)=x^{2}-x-2\,\!}
의 그래프
이차 함수의 그래프 는 대칭축이 수직선인 포물선 이다. 즉, 허공에 비껴 던져진 물체의 비행 궤도와 같다.
반대로, 대칭축 이 수직선 인 모든 포물선 은 어떤 이차 함수의 그래프 이다.
대칭 · 단조성 · 최댓값과 최솟값
이차 함수
f
{\displaystyle f}
의 대칭축의 방정식은 다음과 같다.
x
=
−
b
2
a
{\displaystyle x=-{\frac {b}{2a}}}
이 대칭축과 그래프의 교점은 다음과 같으며, 이를 꼭짓점이라고 한다.
(
−
b
2
a
,
−
b
2
−
4
a
c
4
a
)
{\displaystyle \left(-{\frac {b}{2a}},-{\frac {b^{2}-4ac}{4a}}\right)}
꼭짓점은 이차 함수의 단조성 이 변화하는 점이며, 함수가 최댓값 또는 최솟값 을 갖는 점이다.
a
{\displaystyle a}
의 부호에 따라 다음과 같이 나뉜다.
a
>
0
{\displaystyle a>0}
이라면,
f
{\displaystyle f}
는
(
−
∞
,
−
b
2
a
]
{\displaystyle \left(-\infty ,-{\frac {b}{2a}}\right]}
에서 엄격 감소하며,
[
−
b
2
a
,
∞
)
{\displaystyle \left[-{\frac {b}{2a}},\infty \right)}
에서 엄격 증가한다. 따라서,
f
{\displaystyle f}
의 최솟값은
f
(
−
b
2
a
)
=
−
b
2
−
4
a
c
4
a
{\displaystyle f\left(-{\frac {b}{2a}}\right)=-{\frac {b^{2}-4ac}{4a}}}
이며, 최댓값은 존재하지 않는다.
a
<
0
{\displaystyle a<0}
이라면,
f
{\displaystyle f}
는
(
−
∞
,
−
b
2
a
]
{\displaystyle \left(-\infty ,-{\frac {b}{2a}}\right]}
에서 엄격 증가하며,
[
−
b
2
a
,
∞
)
{\displaystyle \left[-{\frac {b}{2a}},\infty \right)}
에서 엄격 감소한다. 따라서,
f
{\displaystyle f}
의 최댓값은
f
(
−
b
2
a
)
=
−
b
2
−
4
a
c
4
a
{\displaystyle f\left(-{\frac {b}{2a}}\right)=-{\frac {b^{2}-4ac}{4a}}}
이며, 최솟값은 존재하지 않는다.
영점 · 판별식 · 비에트 정리
이차 함수
f
{\displaystyle f}
의 영점 , 즉 그래프와
x
{\displaystyle x}
축의 교점의
x
{\displaystyle x}
좌표는 다음과 같으며, 이를 이차 함수의 근의 공식이라고 한다.
α
,
β
=
−
b
±
b
2
−
4
a
c
2
a
{\displaystyle \alpha ,\beta ={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}}
구체적으로, 이차 함수
f
{\displaystyle f}
의 판별식
b
2
−
4
a
c
{\displaystyle b^{2}-4ac}
의 값에 따라 다음과 같은 경우로 나뉜다.
b
2
−
4
a
c
>
0
{\displaystyle b^{2}-4ac>0}
이라면,
f
{\displaystyle f}
는 서로 다른 두 실근
α
≠
β
{\displaystyle \alpha \neq \beta }
를 가진다. 이때 그래프는
x
{\displaystyle x}
축과 두 개의 교점을 가지며,
x
{\displaystyle x}
축은 그래프의 할선 이다.
b
2
−
4
a
c
=
0
{\displaystyle b^{2}-4ac=0}
이라면,
f
{\displaystyle f}
는 서로 겹치는 두 실근
α
=
β
=
−
b
2
a
{\displaystyle \alpha =\beta =-{\frac {b}{2a}}}
를 가진다. 이를
f
{\displaystyle f}
의 이중근 이라고 한다. 이때 그래프는
x
{\displaystyle x}
축과 유일한 교점을 가지며,
x
{\displaystyle x}
축은 그래프의 접선 이다.
b
2
−
4
a
c
<
0
{\displaystyle b^{2}-4ac<0}
이라면,
f
{\displaystyle f}
는 실근을 가지지 않지만, 서로 다른 두 허근
α
≠
β
{\displaystyle \alpha \neq \beta }
를 가진다. 이때 그래프는
x
{\displaystyle x}
축과 만나지 않는다.
이차 함수의 두 근과 일반형의 계수 사이에 다음과 같은 관계가 성립하며, 이를 비에트 정리 라고 한다.
α
+
β
=
−
b
a
{\displaystyle \alpha +\beta =-{\frac {b}{a}}}
α
β
=
c
a
{\displaystyle \alpha \beta ={\frac {c}{a}}}