연립방정식의 해 이해하기
연립일차방정식은 방정식이 나타내는 직선(또는 평면)이 기하학적으로 어떤 관계에 있는지에 따라 정확히 세 가지 경우 중 하나에 해당합니다.
| 경우 | 기하학적 의미 (2×2) | 해의 개수 |
|---|---|---|
| 독립, 가해 | 두 직선이 정확히 한 점에서 만납니다 | 유일한 해 하나 |
| 종속 | 두 방정식이 같은 직선을 나타냅니다 | 무수히 많은 해 |
| 불능 | 두 직선이 평행하여 만나지 않습니다 | 해 없음 |
- 이 계산기는 종속인 경우와 불능인 경우를 모두 '유일한 해 없음'으로 표시합니다. 가우스 소거법만으로는 첨가행렬을 추가로 행 축약하지 않고서는 두 경우를 구별할 수 없기 때문이며, 계수행렬이 특이할 때 두 결과는 똑같이 타당합니다.
- 수치 결과는 소수점 이하 6자리로 반올림됩니다. 계수가 정확한 정수이거나 간단한 분수인 연립방정식에서 출력에 작은 소수가 나타나는 경우(예: 2 대신 1.999999)는 일반적인 부동소수점 반올림의 결과이므로 가까운 정확한 값으로 보아도 됩니다.
- 수치 오차를 줄이기 위해 부분 피벗팅을 사용하지만, '거의 특이한' 연립방정식(행렬식이 0에 매우 가까운 경우)은 여전히 입력의 작은 변화에도 결과가 민감하게 달라질 수 있습니다. 이는 수치 선형대수학에서 불량 조건(ill-conditioning)이라고 부르는 성질입니다.
연립일차방정식이란 무엇입니까?
연립일차방정식은 동일한 변수 집합을 공유하는 두 개 이상의 일차방정식을 모아 놓은 것입니다. 이 연립방정식의 해는 각 변수에 하나씩 대응하는 값들의 집합으로, 연립방정식에 속한 모든 방정식을 동시에 참으로 만드는 값입니다. 기하학적으로 2변수 일차방정식은 직선이며, 2×2 연립방정식을 푸는 것은 두 직선이 만나는 점을 찾는 것과 같습니다. 3변수 일차방정식은 3차원 공간의 평면이며, 3×3 연립방정식은 세 평면이 만나는 점을 찾습니다.
이 계산기는 각 방정식을 첨가행렬의 한 행으로 표현합니다. 즉, 각 변수의 계수를 나열한 뒤 등호 오른쪽의 상수항을 이어 씁니다. 2×2 연립방정식의 경우 여섯 개의 숫자를 행 우선 순서로 입력하며 — a₁, b₁, c₁, a₂, b₂, c₂ — 이는 a₁x + b₁y = c₁ 및 a₂x + b₂y = c₂를 나타냅니다. 3×3 연립방정식은 동일한 방식으로 네 개의 계수로 이루어진 세 개의 행, 즉 열두 개의 숫자를 입력합니다.
이 솔버는 부분 피벗팅을 적용한 가우스 소거법을 사용합니다. 이는 수치 선형대수학의 표준적인 방법으로, 행을 하나씩 처리하며 변수를 체계적으로 소거하여 첨가행렬을 각 미지수를 직접 읽어낼 수 있는 형태로 바꿉니다. 부분 피벗팅 — 소거하기 전에 각 열에서 절댓값이 가장 큰 계수를 가진 행을 선택하는 것 — 은 단순한 소거법에 비해 수치적 안정성을 높여 줍니다.
이 연립방정식 계산기 사용 방법
- 미지수의 개수를 선택합니다. 방정식 두 개, 변수 두 개(x, y)인 연립방정식이면 2를, 방정식 세 개, 변수 세 개(x, y, z)인 연립방정식이면 3을 선택합니다.
- 계수를 행 우선 순서로 세미콜론으로 구분하여 입력합니다. 2×2 연립방정식의 경우 a₁x + b₁y = c₁ 및 a₂x + b₂y = c₂에 대해 a₁; b₁; c₁; a₂; b₂; c₂를 입력하며, 총 여섯 개의 숫자입니다.
- 3×3 연립방정식의 경우 열두 개의 숫자를 입력합니다. a₁x + b₁y + c₁z = d₁ 및 이어지는 두 방정식에 대해 a₁, b₁, c₁, d₁, a₂, b₂, c₂, d₂, a₃, b₃, c₃, d₃를 입력합니다.
- 구해진 x, y (3×3 연립방정식의 경우 z까지) 값을 확인합니다. 연립방정식이 특이한 경우 — 방정식들이 종속이거나 서로 모순되는 경우 — 계산기는 수치 대신 '유일한 해 없음'을 표시합니다.
가우스 소거법의 원리
가우스 소거법은 해집합을 바꾸지 않는 행 연산 — 두 행을 맞바꾸기, 한 행에 0이 아닌 상수를 곱하기, 한 행의 상수배를 다른 행에 더하기 — 을 적용하여 첨가행렬 [A | b]를 풀기 쉬운 동치 형태로 변환합니다. 이 계산기는 부분 피벗팅(각 열에서 사용 가능한 가장 큰 피벗을 선택하는 것)을 사용해 부동소수점 반올림 오차를 줄이면서 기약 형태까지 소거를 수행하고, 그 결과로 얻은 대각행렬에서 해를 직접 읽어냅니다.
계산 예시 (2×2): 2x + y = 5와 x − y = 1을 풉니다. 두 방정식을 더하면 y가 소거되어 3x = 6이 되므로 x = 2입니다. 이를 두 번째 방정식에 대입하면 2 − y = 1이므로 y = 1입니다. 검산: 2(2) + 1 = 5 ✓ 그리고 2 − 1 = 1 ✓.
연립방정식이 특이하다는 것 — 유일한 해가 없다는 것 — 은 계수행렬의 행렬식이 0이라는 뜻이며, 이는 가우스 소거법에서 (수치적으로) 0인 성분만 남는 피벗 열이 생기는 것과 같습니다. 특이 연립방정식은 불능(방정식들이 서로 모순되는 경우, 예를 들어 x + y = 2와 x + y = 5는 해가 없습니다)이거나 종속(한 방정식이 다른 방정식의 상수배인 경우, 예를 들어 x + y = 2와 2x + 2y = 4는 해가 무수히 많습니다)입니다. 둘 중 어느 쪽인지 판단하려면 방정식을 직접 살펴보아야 하며, 이 계산기는 두 경우 모두 '유일한 해 없음'으로 표시합니다.
흔한 실수
- 계수를 행 우선 순서가 아닌 순서로 입력하는 것 — 계산기는 각 방정식의 계수 뒤에 상수항이 오는 형태로 열이 아니라 행 단위로 입력받습니다.
- 3×3 연립방정식에는 아홉 개가 아니라 열두 개의 숫자(행마다 네 개)가 필요하다는 점을 잊는 것 — 각 방정식 오른쪽의 상수항을 반드시 포함해야 합니다.
- '유일한 해 없음'이 항상 해가 존재하지 않는다는 뜻이라고 단정하는 것 — 해가 무수히 많다는 뜻(종속 연립방정식)일 수도 있으며, 두 경우를 구별하려면 원래 방정식을 직접 확인해야 합니다.
- 상수항이 등호의 어느 쪽에 속하는지 혼동하는 것 — 계수를 입력하기 전에 모든 변수항을 좌변으로 옮겨 a₁x + b₁y (+ c₁z) = 상수 형태로 방정식을 정리해야 합니다.
- 출력에서 정확한 분수를 기대하는 것 — 결과는 소수점 이하 여섯 자리로 반올림된 소수 근삿값이므로 실제 해가 1/3이면 0.333333으로 표시됩니다.
자주 묻는 질문
두 일차방정식으로 이루어진 연립방정식은 어떻게 풉니까?
흔히 쓰는 방법 중 하나는 가감법입니다. 방정식의 상수배를 더하거나 빼서 한 변수를 소거하고, 남은 변수를 구한 뒤 다시 대입합니다. 2x + y = 5와 x − y = 1의 경우 두 방정식을 더하면 y가 소거되어 3x = 6이 되므로 x = 2이고, 대입하면 y = 1입니다. 이 계산기는 이와 동등한 과정인 가우스 소거법을 2×2와 3×3 연립방정식 모두에 대해 자동으로 수행합니다.
연립방정식에 유일한 해가 없다는 것은 무슨 뜻입니까?
방정식들이 정확히 한 점에서 만나지 않는다는 뜻입니다. 이는 서로 다른 두 가지 방식으로 나타납니다. 방정식들이 불능(x + y = 2와 x + y = 5처럼 서로 모순되는 경우)이어서 해가 전혀 없거나, 종속(x + y = 2와 2x + 2y = 4처럼 한 방정식이 다른 방정식의 상수배인 경우)이어서 해가 무수히 많은 경우입니다. 두 경우 모두 계수행렬의 행렬식이 0입니다.
미지수 3개를 구하려면 방정식이 몇 개 필요합니까?
일반적으로 유일한 해를 가지려면 미지수의 개수만큼 독립인 방정식이 필요합니다. 즉 미지수 세 개(x, y, z)에는 독립인 방정식 세 개가 필요합니다. 독립인 방정식이 그보다 적으면 자유도가 하나 이상 남아 유일한 해 대신 무수히 많은 해가 생깁니다.
가우스 소거법이란 무엇입니까?
가우스 소거법은 행 연산 — 두 행 맞바꾸기, 한 행에 상수 곱하기, 한 행의 상수배를 다른 행에 더하기 — 을 사용해 첨가행렬을 해를 직접 읽어낼 수 있는 더 단순한 삼각 형태나 대각 형태로 변환함으로써 연립일차방정식을 푸는 체계적인 방법입니다. 선형대수학에서 표준으로 가르치는 방법이며, 이 계산기를 포함한 대부분의 수치 방정식 솔버가 내부적으로 사용합니다.
이 계산기로 x²이 들어간 비선형 연립방정식도 풀 수 있습니까?
아니요. 이 계산기는 모든 변수가 1차항으로만 나타나고 변수끼리의 곱이 없는(x²항이나 xy항이 없는) 선형 연립방정식만 풉니다. 비선형 연립방정식은 대입법과 근의 공식을 결합하거나 수치적 근 찾기 기법과 같은 다른 방법이 필요합니다.
계산기가 정확한 분수 대신 소수를 표시하는 이유는 무엇입니까?
이 솔버는 기호적 분수 연산이 아니라 수치 선형대수학의 표준 방식인 부동소수점(소수) 가우스 소거법을 수행하기 때문입니다. 실제 해가 1/3이면 소수점 이하 여섯 자리로 반올림되어 0.333333으로 표시됩니다. 계수가 깔끔한 정수인 연립방정식에서는 보통 소수 출력이 정확하거나 거의 정확한 정수로 정리됩니다.
참고 자료
- Strang G. Linear Algebra and Its Applications. 4th ed. Cengage Learning, 2006. (Gaussian elimination and matrix rank.)
- Lay DC, Lay SR, McDonald JJ. Linear Algebra and Its Applications. 5th ed. Pearson, 2015.
- Burden RL, Faires JD. Numerical Analysis. 9th ed. Cengage Learning, 2011. (Partial pivoting and numerical stability.)