근과 계수의 관계
본문\(x^2 - 5x + 3 = 0\)의 두 근은 \(\dfrac{5 \pm \sqrt{13}}{2}\)이라 계산이 번거롭다. 그런데 두 근의 합은 5, 곱은 3으로 계수에 그대로 보인다. 이것은 우연일까, 아니면 모든 이차방정식에서 성립하는 규칙일까?
2.3.1근에서 식으로
그림 1에서 두 근을 \(\alpha = 1\), \(\beta = 3\)에 두자. 1과 3이 근이 되는 가장 간단한 이차방정식은 \((x - 1)(x - 3) = 0\)이고, 전개하면 \(x^2 - 4x + 3 = 0\)이다. 일차항의 계수 \(-4\)는 두 근의 합 4에 음의 부호를 붙인 것이고, 상수항 3은 두 근의 곱이다.
근을 \(\alpha\), \(\beta\)라는 문자로 바꾸어도 같은 일이 일어난다. \((x - \alpha)(x - \beta)\)를 전개하면 \(x^2 - (\alpha + \beta)x + \alpha\beta\)이다. 즉 최고차항 계수가 1인 이차식에서 일차항의 계수는 두 근의 합의 반대 부호, 상수항은 두 근의 곱이다. 슬라이더로 두 근을 바꾸어 보면 아래 계수가 이 규칙을 따라 변한다.
2.3.2근과 계수의 관계
최고차항 계수가 \(a\)이면 어떻게 될까? 이차방정식 \(ax^2 + bx + c = 0\)의 두 근이 \(\alpha\), \(\beta\)이면 인수정리에 따라 \(ax^2 + bx + c = a(x - \alpha)(x - \beta)\)로 쓸 수 있다.1 우변을 전개하면 \(ax^2 - a(\alpha + \beta)x + a\alpha\beta\)이고, 이것이 항등식이므로 계수를 비교할 수 있다.
일차항을 비교하면 \(b = -a(\alpha + \beta)\)이고, 상수항을 비교하면 \(c = a\alpha\beta\)이다. 따라서 두 근의 합과 곱은 계수의 비로 정해진다.
이차방정식 \(ax^2 + bx + c = 0\)의 두 근을 \(\alpha\), \(\beta\)라 하면 \[\alpha + \beta = -\frac{b}{a}, \qquad \alpha\beta = \frac{c}{a}\]
근의 공식으로도 확인할 수 있다. 두 근 \(\dfrac{-b + \sqrt{D}}{2a}\)와 \(\dfrac{-b - \sqrt{D}}{2a}\)를 더하면 \(\pm\sqrt{D}\)가 지워져 \(-\dfrac{b}{a}\)가 남는다. 곱하면 합차 공식에 따라 분자가 \(b^2 - D = 4ac\)이므로 \(\dfrac{4ac}{4a^2} = \dfrac{c}{a}\)이다. 근호가 서로 지워지기 때문에, 근이 무리수나 허수여도 합과 곱은 계수만으로 깔끔한 수가 된다.
2.3.3합과 곱으로 다른 식 만들기
두 근의 합과 곱만 알면 \(\alpha\), \(\beta\)로 만든 대칭인 식은 대부분 계산할 수 있다. \(\alpha^2 + \beta^2 = (\alpha + \beta)^2 - 2\alpha\beta\), \(\dfrac{1}{\alpha} + \dfrac{1}{\beta} = \dfrac{\alpha + \beta}{\alpha\beta}\), \((\alpha - \beta)^2 = (\alpha + \beta)^2 - 4\alpha\beta\)처럼 곱셈 공식을 거꾸로 쓰는 것이다.
거꾸로 두 수의 합과 곱을 알면 그 두 수를 근으로 갖는 이차방정식을 바로 쓸 수 있다. 1에서 본 대로 \(x^2 - (\text{합})x + (\text{곱}) = 0\)이다. 가령 합이 2, 곱이 5인 두 수는 \(x^2 - 2x + 5 = 0\)의 근 \(1 \pm 2i\)이다.
2.3.4예제 풀이
이차방정식 \(2x^2 - 6x + 3 = 0\)의 두 근을 \(\alpha\), \(\beta\)라 할 때, \(\alpha^2 + \beta^2\)과 \(\dfrac{\beta}{\alpha} + \dfrac{\alpha}{\beta}\)의 값을 구하여라.
근과 계수의 관계에서 \(\alpha + \beta = -\dfrac{-6}{2} = 3\), \(\alpha\beta = \dfrac{3}{2}\)이다. 그러면 \(\alpha^2 + \beta^2 = 3^2 - 2 \cdot \dfrac{3}{2} = 9 - 3 = 6\)이다.
두 번째 식은 통분하면 \(\dfrac{\alpha^2 + \beta^2}{\alpha\beta}\)이다. 따라서 앞에서 구한 값을 넣어 \(\dfrac{6}{3/2} = 4\)이다.
근을 직접 구해 확인해 보자. 근의 공식으로 \(\alpha, \beta = \dfrac{3 \pm \sqrt{3}}{2}\)이다. 제곱하면 \(\dfrac{12 \pm 6\sqrt{3}}{4}\)이고, 두 값을 더하면 \(\sqrt{3}\)이 든 항이 지워져 \(\dfrac{24}{4} = 6\)이 된다. 계산은 길어졌지만 결과는 같다. 여기서 근호가 서로 지워진 것이 바로 합과 곱이 깔끔한 수로 나오는 이유이다. 아래 탐구 카드에서 두 근을 움직이며 계수와 그래프가 함께 변하는 모습을 직접 보자.
- 중근이면 \(\alpha = \beta\)로 보고 같은 식을 쓴다. 계수가 실수이고 허근을 가지면 두 근은 서로 켤레복소수이다.
이차식을 두 근으로 인수분해한 \(a(x - \alpha)(x - \beta)\)를 전개해 계수를 비교하면, 두 근의 합은 \(-\tfrac{b}{a}\), 곱은 \(\tfrac{c}{a}\)이다. 근의 공식에서 근호 부분이 서로 지워지므로 근이 무리수나 허수여도 이 관계는 그대로 성립한다. 그래서 처음 질문에서 합 5와 곱 3이 계수에 보인 것은 우연이 아니다.