실제로 언제 필요한가
공대 신입생이 정역학 과제에서 두 힘의 평형 조건을 풀 때, 미지수 두 개짜리 연립방정식이 등장합니다. 화학 실험 보고서에서 두 시약의 몰수를 반응식에 맞춰 역산할 때도, 전기회로 과제에서 키르히호프 전류·전압 법칙으로 두세 개의 저항에 흐르는 전류를 구할 때도 같은 형태의 문제가 나옵니다. 변수가 두세 개뿐인데도 손으로 대입법·소거법을 반복하다 부호 하나를 놓쳐 처음부터 다시 푸는 경우가 흔합니다.
사업 현장에서도 비슷한 상황이 생깁니다. 두 원재료를 섞어 원하는 배합비를 맞추거나, 두 상품의 판매 수량과 매출 총액만 알고 개별 단가를 역산해야 할 때도 연립방정식을 세우게 됩니다. 이 계산기는 2×2와 3×3 연립방정식을 크라메르 법칙으로 즉시 풀어, 손계산 결과를 검증하거나 정답을 빠르게 확인하는 용도로 쓸 수 있습니다.
크라메르 법칙은 스위스 수학자 가브리엘 크라메르가 1750년에 발표한 방법으로, 대입법·소거법처럼 식을 여러 줄에 걸쳐 변형하지 않고 판별식 계산만으로 곧바로 해를 구할 수 있어 검산용으로 특히 유용합니다. 변수가 두세 개인 소규모 연립방정식에서는 지금도 가장 빠르게 답을 확인할 수 있는 방법으로 꼽힙니다.
계산법 — 크라메르 법칙과 판별식
크라메르 법칙은 연립방정식을 행렬 형태(Ax=b)로 놓고, 계수행렬 A의 판별식(determinant, D)과 그 열을 상수항 b로 바꿔치기한 행렬의 판별식(Dᵢ)의 비율로 해를 구하는 방법입니다. 즉 각 미지수의 값은 xᵢ = Dᵢ / D로 계산됩니다. 대입법이나 소거법처럼 식을 여러 번 변형할 필요 없이, 판별식만 계산하면 바로 해가 나온다는 것이 장점입니다.
가장 중요한 것은 판별식 D의 값입니다. D가 0이 아니면 해가 정확히 하나 존재합니다. 반대로 D가 0이면 두 직선(또는 평면)이 평행하거나 완전히 겹친다는 뜻으로, 해가 아예 없거나 무수히 많은 경우입니다. 이 계산기는 D가 0에 가까우면(1e-9 미만) 자동으로 "해가 유일하지 않다"는 안내를 표시하고 계산을 멈춥니다.
현장 기준표 — 2×2·3×3 판별식 공식
계수행렬의 크기에 따라 판별식을 구하는 공식이 다릅니다. 2×2는 대각선 곱의 차이, 3×3은 사루스 공식(Sarrus' rule) 형태로 확장됩니다.
| 크기 | 판별식 공식 | 필요한 숫자 개수 |
|---|---|---|
| 2×2 | D = a₁b₂ − a₂b₁ | 계수 4개 + 상수 2개 = 6개 |
| 3×3 | D = a₁(b₂c₃−b₃c₂) − b₁(a₂c₃−a₃c₂) + c₁(a₂b₃−a₃b₂) | 계수 9개 + 상수 3개 = 12개 |
3×3부터는 계산해야 할 곱셈 항이 크게 늘어나 손으로 풀 때 실수할 확률이 급격히 높아집니다. 판별식 하나를 구하는 데만 곱셈 6번과 덧셈·뺄셈 5번이 필요하고, 미지수 x, y, z를 모두 구하려면 이런 판별식을 네 번(D, Dx, Dy, Dz) 계산해야 합니다.
여유분·오차를 얼마나 봐야 하나
계수가 정수라면 이론적으로 오차가 생길 이유가 없지만, 소수점이 섞인 계수를 다룰 때는 판별식 D의 절댓값이 작을수록 결과가 민감하게 흔들리는 병적 조건(ill-conditioned) 상태가 될 수 있습니다. D가 0.01처럼 작은 값이면 입력값의 아주 작은 오차(반올림 등)가 해의 값에서는 몇 배로 증폭되어 나타날 수 있습니다. 이런 경우 결과 표시 자릿수를 늘려 확인하거나, 원래 식의 계수를 재확인하는 것이 안전합니다.
사례 계산
"2x+3y=8"과 "x-y=1"이라는 2×2 연립방정식을 예로 들어보겠습니다. 계수행렬은 [[2,3],[1,-1]]이고 판별식은 2×(-1)-3×1=-5입니다. x의 판별식은 상수항 열(8,1)로 첫 번째 열을 바꿔 [[8,3],[1,-1]]의 판별식인 8×(-1)-3×1=-11이 되고, x=-11/-5=2.2입니다. y의 판별식은 [[2,8],[1,1]]의 판별식인 2×1-8×1=-6이 되고, y=-6/-5=1.2입니다. 원래 식에 대입하면 2×2.2+3×1.2=4.4+3.6=8로 정확히 맞아떨어집니다.
3×3의 경우도 원리는 같습니다. 예를 들어 "x+y+z=6", "2x-y+z=3", "x+2y-z=2"를 풀면 판별식과 세 개의 부분판별식을 각각 구해 x=1, y=2, z=3이라는 해를 얻을 수 있습니다. 변수가 하나 늘어날 때마다 손계산의 항 수는 크게 늘어나므로, 검산 목적으로 이런 계산기를 함께 쓰는 것이 효율적입니다.
이 계산기에 위 3×3 예제를 넣으려면 크기를 3×3으로 바꾸고 "1,1,1,6;2,-1,1,3;1,2,-1,2"처럼 세 행을 세미콜론으로 구분해 입력하면 됩니다. 각 행의 마지막 숫자가 등호 오른쪽의 상수항이라는 점만 기억하면 됩니다.
체크리스트
입력 전에 네 가지만 확인하면 오류 없이 바로 결과를 볼 수 있습니다. 첫째, 행 구분은 세미콜론(;), 같은 행 안의 숫자 구분은 쉼표(,)로 정확히 입력했는지 확인합니다. 둘째, 한 행에 들어가는 숫자 개수가 2×2는 3개(계수 2개+상수 1개), 3×3은 4개(계수 3개+상수 1개)로 맞는지 셉니다. 셋째, 계산 결과에서 판별식이 0에 가깝게 나온다면 두 식이 사실상 같은 직선이거나 평행한 것은 아닌지 원래 문제를 다시 확인합니다. 넷째, 방정식의 순서를 바꿔도 해는 같아야 하므로, 결과가 의심스러울 때는 행 순서를 바꿔 다시 계산해보고 같은 값이 나오는지 대조하면 입력 실수를 걸러낼 수 있습니다. 이 네 가지만 지키면 대입법·소거법으로 손 풀이한 결과를 몇 초 만에 검산할 수 있습니다.