정의
연립일차방정식은 두 개 이상의 일차방정식(각 항이 변수의 1차식만으로 이루어진 방정식)을 동시에 만족시키는 해의 집합을 구하는 수학적 문제를 말한다. 즉, 변수 $x_1, x_2, \dots , x_n$ 에 대해
$$ \begin{cases} a_{11}x_1 + a_{12}x_2 + \dots + a_{1n}x_n = b_1 \ a_{21}x_1 + a_{22}x_2 + \dots + a_{2n}x_n = b_2 \ \vdots \ a_{m1}x_1 + a_{m2}x_2 + \dots + a_{mn}x_n = b_m \end{cases} $$
와 같은 형태의 방정식들을 동시에 만족하는 $(x_1,\dots ,x_n)$ 를 찾는 것이다.
개요
연립일차방정식은 선형대수학의 기본적인 대상이며, 행렬과 벡터 공간 이론을 통해 체계적으로 다룰 수 있다. 방정식들을 행렬 형태 $A\mathbf{x} = \mathbf{b}$ 로 표현하면, 해의 존재와 유일성은 계수 행렬 $A$ 의 계수(rank)와 증강 행렬 $[A\ |\ \mathbf{b}]$ 의 계수에 의해 결정된다.
주요 해법으로는 다음과 같은 방법이 있다.
- 대입법·소거법 – 한 방정식에서 변수를 풀어 다른 방정식에 대입하거나, 두 방정식을 가감해 변수를 소거한다.
- 가우스 소거법(행렬의 행 사다리꼴 변환) – 행렬을 상삼각형 혹은 행 사다리꼴 형태로 변환하여 역방향 대입(back substitution)으로 해를 구한다.
- 역행렬 이용 – 정방행렬 $A$ 가 가역(역행렬이 존재)하면 $\mathbf{x}=A^{-1}\mathbf{b}$ 로 해를 구한다.
- 크래머 법칙(Cramer's Rule) – 행렬식(determinant)을 이용해 각각의 변수 값을 직접 계산한다. (행렬식이 0이 아닌 경우에 한함)
연립일차방정식은 공학, 물리학, 경제학 등 다양한 분야에서 시스템 모델링, 회귀 분석, 최적화 문제 등으로 활용된다.
어원·유래
연립은 ‘같이 묶여 있다’는 뜻을 가진 한국어 고유어이며, 한자어 *연(聯)*에서 유래한다. 일차는 ‘1차(1st degree)’, 즉 변수의 차수가 1인 식을 의미하며, 한자 *일(一次)*에 해당한다. 방정식은 ‘식이 등호(=)로 연결된 형태’를 가리키는 한자어 *방정(方程)*에서 온다. 따라서 ‘연립일차방정식’은 “동시에 묶인 1차식들로 이루어진 방정식”이라는 의미를 갖는다.
특징
| 구분 | 내용 |
|---|---|
| 선형성 | 각 방정식이 변수의 1차식만 포함하고, 변수와 상수의 곱셈·덧셈 연산만을 사용한다. |
| 해의 구조 | 해 집합은 (1) 유일한 해 – 계수 행렬이 정규(full rank)인 경우, (2) 무한히 많은 해 – 자유 변수가 존재하는 경우, (3) 해가 없음 – 모순이 발생하는 경우 로 구분된다. |
| 행렬 표현 | $A\mathbf{x} = \mathbf{b}$ 로 표기 가능하며, 행렬식, 랭크, 고유값·고유벡터 등의 선형대수 개념과 직접 연결된다. |
| 계산 복잡도 | 일반적인 가우스 소거법은 $O(n^3)$ 의 연산량을 요구한다. 대규모 희소 시스템에서는 특수 알고리즘(예: 미니멀 잔차법, CG법 등)이 사용된다. |
| 응용 분야 | 회로 해석, 구조 해석, 경제 균형 모델, 선형 회귀, 최적화 문제 등 거의 모든 과학·공학 분야에서 기본적인 모델링 도구로 활용된다. |
관련 항목
- 선형대수학
- 행렬
- 가우스 소거법
- 크래머 법칙
- 연립이차방정식
- 비선형 방정식
- 선형 회귀 분석
- 시스템 이론
- 선형 프로그래밍
본 문서는 연립일차방정식에 대한 일반적인 학술적 정의와 특성을 기반으로 작성되었으며, 특정 교재나 연구에 따라 표현 방식에 차이가 있을 수 있다.