수학
삼차방정식 근의 공식 , 사차방정식 근의 공식 알기 쉽게 유도 ...
먼저 알아둘 점: 공식은 목적지가 아니라 지도입니다
삼차방정식과 사차방정식의 근의 공식은 길고 낯선 기호 때문에 처음에는 외워야 하는 대상으로 보입니다. 하지만 실제 계산에서 더 중요한 것은 각 기호를 기억하는 일이 아니라, 원래 식을 어떤 모양으로 바꾸는지 이해하는 일입니다. 공식은 그 변형 과정을 압축해 둔 지도이며, 지도를 읽을 수 있으면 특수한 문제에서도 길을 잃지 않습니다.
일차방정식은 한 번의 이항으로, 이차방정식은 완전제곱이나 판별식으로 해를 찾습니다. 차수가 높아지면 같은 방식으로 곧바로 답이 나오지 않지만, 핵심 전략은 이어집니다. 불필요한 항을 치환으로 없애고, 남은 구조를 인수분해 가능한 형태로 바꾸며, 마지막에는 이미 풀 수 있는 낮은 차수의 방정식으로 돌아갑니다.
여기서는 일반형의 계수를 모두 문자로 두고 설명합니다. 실제 숫자를 넣기 전에 문자식의 역할을 보면 계산 실수가 줄어듭니다. 특히 분모에 있는 a는 최고차항의 계수이므로 0이 아니어야 하며, 그 조건이 깨지면 처음부터 삼차식이나 사차식이 아니라는 점을 확인해야 합니다.
근의 공식이 존재한다는 말은 언제나 손쉬운 계산을 뜻하지는 않습니다. 카드노와 페라리의 방법은 해를 근호로 표현할 수 있음을 보여 주지만, 수치 계산에서는 그래프나 근사법이 더 편할 때도 많습니다. 따라서 이 글은 긴 식을 무작정 전개하기보다 공식이 만들어지는 뼈대를 이해하는 데 초점을 둡니다.
삼차방정식의 출발점: 일반형을 단순한 꼴로 옮기기
일반적인 삼차방정식은 ax³+bx²+cx+d=0으로 씁니다. 여기서 b가 붙은 x²항은 뒤의 계산을 복잡하게 만드는 요소입니다. 이 항을 없애면 그래프의 중심과 대칭에 관한 해석도 한결 선명해지고, 카드노 공식으로 이어지는 관계식도 짧아집니다.
이를 위해 x=y-b/(3a)라는 치환을 사용합니다. y에 상수를 더하거나 빼는 것은 그래프를 좌우로 평행이동하는 것과 같습니다. 삼차항을 전개했을 때 생기는 y²의 계수와 원래 bx²에서 나오는 y²의 계수가 정확히 상쇄되도록 상수의 크기를 정한 결과가 바로 b/(3a)입니다.
치환 뒤 식을 a로 나누어 최고차항의 계수를 1로 맞추면 y³+py+q=0이라는 표준형을 얻습니다. 여기서 p와 q는 처음의 a, b, c, d를 조합한 새 계수입니다. 표준형에는 y²항이 없으므로 서로 다른 항들이 섞이는 정도가 줄어들고, 세 근의 관계를 다루기 쉬워집니다.
이 단계를 생략하고 바로 공식을 대입하면 분수와 세제곱근이 겹쳐 오류가 나기 쉽습니다. 반대로 먼저 표준형을 확보하면 이후의 계산은 p와 q라는 두 값만 중심으로 진행됩니다. 시험이나 풀이 과정에서는 일반형에서 표준형으로 옮긴 식을 한 줄 따로 적어 두는 습관이 유용합니다.
카드노의 생각: 두 수의 합으로 세제곱항을 만들기
표준형 y³+py+q=0을 만났다고 해서 곧바로 근호를 꺼내지는 않습니다. 카드노의 핵심 발상은 y를 u+v로 놓는 것입니다. 두 수의 합을 세제곱하면 u³과 v³뿐 아니라 3uv(u+v)라는 항이 생기므로, 이 교차항을 py와 맞추면 문제의 모양을 바꿀 수 있습니다.
y=u+v를 대입하면 u³+v³+(3uv+p)(u+v)+q=0이 됩니다. 여기서 3uv+p=0이 되도록 u와 v를 고르면 가운데 항이 사라집니다. 그러면 u³+v³=-q와 uv=-p/3이라는 두 조건만 남고, 원래의 삼차방정식이 u³과 v³에 관한 관계로 축소됩니다.
두 수 U=u³, V=v³를 생각하면 U+V=-q와 UV=-(p/3)³을 얻습니다. 합과 곱을 알고 있을 때 두 수를 찾는 일은 이차방정식을 푸는 일과 같습니다. 따라서 U와 V는 t²+qt-(p/3)³=0의 해로 나타나며, 여기에서 판별식에 해당하는 표현이 등장합니다.
마지막에는 U와 V의 세제곱근을 골라 u와 v를 정하고 y=u+v로 되돌립니다. 세제곱근은 하나만 있는 것처럼 보이지만 복소수 범위에서는 세 가지 값을 가질 수 있습니다. 그래서 세 근을 빠뜨리지 않으려면 세제곱근의 가지와 서로 짝을 이루는 조건 uv=-p/3을 함께 살펴야 합니다.
판별식이 알려 주는 것: 실근의 개수와 계산의 모습
카드노 공식에서 자주 만나는 값은 Δ=(q/2)²+(p/3)³입니다. 이 값은 이차방정식의 판별식과 비슷하게 해의 성질을 가르는 역할을 합니다. Δ가 양수이면 한 개의 실근과 서로 켤레인 두 복소근이 나타나며, 근호 계산도 비교적 곧게 진행됩니다.
Δ가 0이면 중근이 생깁니다. 그래프가 x축에 닿았다가 방향을 바꾸거나, 한 근이 반복되는 상황이 이에 해당합니다. 이 경우에는 u³과 v³가 단순한 값이 되는 일이 많아서 일반 공식보다 인수분해나 공통인수 확인이 더 빠른 해법이 될 수 있습니다.
Δ가 음수인 경우에는 실근이 세 개입니다. 흥미롭게도 최종 답은 모두 실수인데 카드노 공식을 그대로 쓰면 중간에 복소수가 나타날 수 있습니다. 이를 환원불능 경우라고 부르며, 삼각함수 표현이나 수치적 방법이 실제 계산에서는 더 투명할 수 있습니다.
판별식의 부호는 답을 구한 뒤의 검사에도 도움이 됩니다. 그래프를 대략 그려 세 번 교차할 것 같은데 공식 결과가 실근 하나만 준다면 세제곱근의 선택을 놓쳤을 가능성을 의심할 수 있습니다. 대수식과 그래프 해석을 함께 쓰면 공식의 결과를 더 믿을 수 있습니다.
사차방정식도 같은 첫걸음: 세제곱항을 없애기
일반적인 사차방정식은 ax⁴+bx³+cx²+dx+e=0입니다. 이 식에서도 첫 번째 목표는 최고차항 바로 아래의 항을 없애는 것입니다. x=y-b/(4a)로 치환하면 y³항이 사라지고, 최고차항의 계수를 1로 정리했을 때 y⁴+py²+qy+r=0이라는 표준형이 됩니다.
삼차식에서 3a가 나왔던 자리에 사차식에서는 4a가 나오는 이유는 전개 과정에서 최고차항의 미분 계수와 같은 역할을 하는 수가 차수에 따라 달라지기 때문입니다. 외우기보다 xⁿ의 바로 아래 항을 없앨 때 분모에 n이 들어간다는 패턴으로 이해하면 기억하기 쉽습니다.
표준형에는 y³항이 없지만 y항 qy가 남아 있으므로 단순한 짝함수는 아닙니다. q가 0인 특별한 경우에는 y²를 새 변수로 놓아 이차방정식처럼 풀 수 있습니다. 일반적인 경우에는 한 번 더 영리한 변형이 필요하고, 이때 페라리 방법의 보조방정식이 등장합니다.
사차방정식의 공식은 삼차방정식의 공식을 포함합니다. 페라리 방법으로 보조방정식을 만들면 결국 그 보조방정식이 삼차식이 되기 때문입니다. 높은 차수의 문제가 낮은 차수의 문제로 내려가는 구조를 이 순서에서 분명하게 볼 수 있습니다.
페라리의 방법: 완전제곱을 만들어 두 이차식으로 나누기
y⁴+py²+qy+r=0을 풀 때 페라리는 왼쪽에 적당한 항을 더하고 빼서 완전제곱을 만들려 했습니다. 목표는 한쪽을 (y²+m)²처럼 만들고, 다른 쪽을 어떤 일차식의 제곱처럼 만드는 것입니다. 그렇게 되면 제곱근을 취한 뒤 두 개의 이차방정식으로 나눌 수 있습니다.
m을 임시로 도입하면 y⁴+py²+qy+r을 (y²+m)²와 나머지의 차로 다시 쓸 수 있습니다. 나머지가 (Ay+B)²가 되려면 계수들이 서로 맞아야 합니다. 이 조건을 정리하면 m 또는 그와 연결된 변수에 대한 삼차방정식이 만들어집니다.
그 삼차방정식은 보조방정식이라고 부릅니다. 보조방정식의 한 근을 찾으면 A와 B를 정할 수 있고, 원래 사차식은 두 이차식의 곱으로 인수분해됩니다. 이 과정은 새 문제를 하나 만든 것이 아니라, 분해가 가능하도록 필요한 조건을 정확히 적어 둔 것입니다.
인수분해가 끝난 뒤에는 각각의 이차방정식에 근의 공식을 적용합니다. 따라서 사차방정식의 네 근은 두 이차식에서 두 개씩 나옵니다. 실수 계수의 식이라도 일부 근은 복소수일 수 있으므로, 제곱근의 부호와 복소수 연산을 끝까지 일관되게 유지해야 합니다.
공식을 사용할 때 자주 생기는 실수와 점검 순서
가장 흔한 실수는 치환한 뒤의 변수를 원래 변수로 되돌리지 않는 것입니다. 카드노나 페라리 계산에서 얻은 값은 종종 y의 값입니다. 마지막 줄에서 x=y-b/(3a) 또는 x=y-b/(4a)를 적용해야 원래 방정식의 근이 됩니다.
두 번째 실수는 근호의 모든 가능성을 한 개만 취하는 일입니다. 제곱근에는 ±가 있고, 복소수의 세제곱근에는 세 가지 가지가 있습니다. 한 근을 구했다면 비에타 정리로 근의 합과 곱을 확인하거나, 원래 식에 대입해 잔차가 작은지 보는 검산을 권합니다.
세 번째 실수는 분모 조건을 확인하지 않는 것입니다. a가 0이면 차수가 내려가므로 삼차 또는 사차 공식의 대상이 아닙니다. 계산 중 나누는 값이 0이 되는 특별한 경우도 따로 살펴야 하며, 이때는 일반 공식을 밀어붙이기보다 인수분해와 중근 여부를 먼저 점검하는 편이 안전합니다.
실전에서는 먼저 정수근이나 간단한 인수분해를 시도하고, 되지 않을 때 표준형 치환으로 넘어가면 좋습니다. 공식은 강력하지만 긴 계산을 요구합니다. 문제의 계수가 단순하다면 유리근 정리, 그래프 관찰, 치환 대칭성 같은 빠른 단서가 더 좋은 출발점이 될 수 있습니다.
한 번에 정리하는 풀이 로드맵
삼차방정식은 일반형을 확인한 뒤 x=y-b/(3a)로 옮겨 y³+py+q=0을 만듭니다. 그다음 y=u+v를 두고 3uv+p=0이라는 조건을 선택합니다. u³과 v³의 합과 곱을 이차방정식으로 구한 뒤, 가능한 세제곱근을 조건에 맞게 짝지어 원래 변수로 복원합니다.
사차방정식은 x=y-b/(4a)로 세제곱항을 지운 뒤 y⁴+py²+qy+r=0을 얻습니다. 페라리의 아이디어에 따라 완전제곱을 만들 보조항을 두고, 나머지가 제곱식이 되게 하는 보조 삼차방정식을 풉니다. 그 결과로 사차식을 두 이차식으로 나누고 각 이차식의 근을 계산합니다.
두 과정에서 공통으로 보이는 원칙은 구조를 단순화한 다음, 이미 알고 있는 낮은 차수의 도구로 내려가는 것입니다. 삼차식은 이차식으로, 사차식은 삼차식과 이차식으로 이어집니다. 이 연결을 이해하면 공식 전체를 암기하지 않아도 어느 단계에서 무엇을 해야 하는지 판단할 수 있습니다.
처음에는 문자식 대신 계수가 작은 예제로 치환과 전개를 직접 해보는 편이 좋습니다. 한 번이라도 y²항이나 y³항이 실제로 사라지는 모습을 확인하면 공식의 분모가 왜 3a와 4a인지 자연스럽게 납득됩니다. 그 뒤에 일반형 공식을 참고하면 긴 식도 단순한 변형들의 연결로 읽히기 시작합니다.
예제로 보는 삼차식의 표준형 변환
예를 들어 x³-6x²+11x-6=0을 생각해 봅시다. 이 식은 인수분해가 쉬워서 먼저 (x-1)(x-2)(x-3)=0으로 풀 수 있습니다. 그러나 일반적인 계수에서는 이런 행운이 없으므로, 여기서는 치환이 식의 모양을 어떻게 바꾸는지 관찰하는 예로 사용하겠습니다.
이 식에서 a=1, b=-6이므로 x=y-b/(3a)=y+2가 됩니다. x 대신 y+2를 넣고 정리하면 y³-y=0이 나오며, 정말로 y²항이 없어집니다. 원래 근 1, 2, 3은 새 변수에서는 -1, 0, 1이 되어 중심을 기준으로 보기 좋은 배열을 이룹니다.
이처럼 치환은 해를 바꾸는 마술이 아니라 좌표의 기준점을 옮기는 작업입니다. 새 식을 풀어 y를 얻은 뒤에는 반드시 x=y+2처럼 복원해야 합니다. 표준형이 간결해졌다고 해서 원래 문제의 변수가 사라진 것은 아니라는 점을 이 간단한 예가 보여 줍니다.
연습할 때는 전개 결과의 y² 계수만 먼저 확인해도 좋습니다. 그 계수가 정확히 0이면 치환의 방향과 부호가 맞았다는 강한 신호입니다. 나머지 계수까지 모두 암산하려 하기보다, 항을 차수별로 줄 세워 정리하면 분수 계수가 있는 문제에서도 안정적으로 계산할 수 있습니다.
사차식의 특별한 경우는 더 짧게 풀 수 있습니다
사차방정식이라고 언제나 페라리 공식을 끝까지 사용할 필요는 없습니다. y⁴+py²+r=0처럼 홀수 차수의 항이 없는 식은 y²=z로 놓으면 z²+pz+r=0이라는 이차방정식이 됩니다. 먼저 이 대칭적인 형태인지 살피는 이유가 바로 계산량을 크게 줄일 수 있기 때문입니다.
예를 들어 y⁴-5y²+4=0이라면 z²-5z+4=0이므로 z=1 또는 z=4를 얻습니다. 따라서 y²=1 또는 y²=4가 되어 y는 -2, -1, 1, 2입니다. 같은 네 근이라도 사차 일반 공식보다 훨씬 읽기 쉬운 경로로 도달할 수 있습니다.
또 다른 빠른 길은 묶어 인수분해하는 방법입니다. 계수의 조합을 보고 두 이차식의 곱을 예상할 수 있거나, 한 근을 대입해 0이 되는 값을 찾을 수 있다면 그 단서를 우선 활용하는 편이 합리적입니다. 일반 공식은 모든 경우를 포괄하는 안전망이지, 모든 문제의 첫 번째 선택지는 아닙니다.
특별한 구조를 찾지 못했을 때만 표준형과 보조방정식으로 돌아가면 됩니다. 이 순서는 공식을 피하려는 요령이 아니라, 문제의 정보를 가장 많이 쓰는 풀이 전략입니다. 대수는 하나의 도구만 고집하기보다 식이 가진 대칭과 인수 구조를 먼저 읽을 때 훨씬 편해집니다.
복소수까지 넓히면 근의 공식이 완성됩니다
실수 범위에서 그래프가 x축을 만나지 않는 사차식도 복소수 범위에서는 네 개의 근을 가집니다. 대수학의 기본정리에 따라 n차 다항식은 중복도를 포함해 n개의 복소근을 갖습니다. 근의 공식은 이 사실을 실제 계산 절차로 연결해 주는 표현이라고 볼 수 있습니다.
삼차식의 경우 실근이 세 개인데도 중간 계산에 복소수가 나타나는 현상은 처음에는 이상하게 느껴집니다. 그러나 서로 켤레인 복소수 항들이 더해져 최종적으로 실수가 되는 구조를 받아들이면 모순이 아닙니다. 복소수는 실패 신호가 아니라 실근을 표현하는 과정에 필요한 언어가 될 수 있습니다.
계수가 모두 실수라면 비실수 근은 켤레쌍으로 나타납니다. 하나의 근이 a+bi라면 a-bi도 근이라는 성질은 계산 결과를 점검하는 데 유용합니다. 사차식에서 복소근 하나만 발견되었는데 그 켤레가 없다면, 부호나 제곱근 가지를 다시 확인해야 합니다.
복소수 계산이 부담스럽다면 근사값을 이용해 원래 식에 대입하는 검산부터 시작해도 됩니다. 계산기나 수치 도구는 근의 값이 맞는지 확인하는 데 도움을 주지만, 어떤 치환과 분해가 사용되었는지는 손으로 따라가 보는 편이 좋습니다. 구조를 이해한 뒤 도구를 쓰면 결과를 더 정확히 해석할 수 있습니다.
학습을 위한 작은 체크리스트
문제를 받으면 먼저 최고차항 계수가 0이 아닌지, 정수근 또는 간단한 인수분해가 가능한지 확인합니다. 다음으로 일반형의 바로 아래 항을 치환으로 지울지 판단합니다. 이 짧은 준비 단계가 긴 공식 대입보다 앞서야 풀이의 방향을 잃지 않습니다.
삼차식에서는 표준형의 p와 q를 또렷하게 계산하고, 카드노 치환에서 없애려는 항이 3uv+p임을 기억합니다. 사차식에서는 표준형의 p, q, r를 정리한 뒤 보조방정식이 왜 삼차가 되는지 흐름을 말로 설명해 보세요. 식을 말로 풀어내면 기호의 역할이 더 오래 남습니다.
답을 얻은 뒤에는 원래 변수로 복원했는지, 중복도를 포함한 근의 개수가 차수와 맞는지, 원래 식에 대입했을 때 0이 되는지 확인합니다. 실수 계수 문제에서 복소근이 나왔다면 켤레근도 있는지 살피는 검산까지 하면 좋습니다. 이런 확인은 긴 공식보다 더 믿을 만한 안전장치입니다.
삼차와 사차의 근의 공식은 어렵지만, 어려움의 대부분은 한 번에 너무 많은 기호를 보려는 데서 옵니다. 항 하나를 없애고, 구조 하나를 맞추고, 낮은 차수의 식 하나를 푼다는 순서로 나누면 각 단계는 충분히 이해할 수 있습니다. 그 순서를 자기 말로 다시 적어 보는 것이 가장 좋은 마무리 연습입니다.