10강 / 20강

연립일차방정식 — 같은 문제를 보는 세 가지 시선

직선의 교점, 열의 배합, 그리고 Ax = b

연립일차방정식 — 같은 문제를 보는 세 가지 시선
같은 연립방정식도 행으로 보느냐 열로 보느냐에 따라 다른 그림이 됩니다.

중학교에서 이런 걸 풀었습니다.

x + y = 4
x − y = 0

답은 x = 2, y = 2. 그런데 이 문제를 보는 방법이 세 가지나 됩니다. 셋 다 같은 답을 주지만, 보이는 것이 완전히 다릅니다.

✖️
행의 시선
두 직선의 교점
🧪
열의 시선
재료를 섞어 목표 만들기
🔄
변환의 시선
어디서 왔길래 여기 왔나

학교에서는 대개 첫 번째만 배웁니다. 하지만 미지수가 100개가 되면 "100차원 직선의 교점"은 상상이 안 돼요. 그때 살아남는 것이 두 번째와 세 번째입니다.

같은 식을 세 방향에서 읽어 봅니다.
Python 브라우저에서 실행

🎮 세 가지 결말

계수를 바꾸면서 해가 하나 · 없음 · 무수히 많음 세 경우를 다 만들어 보세요. 직선 두 개가 만나거나, 나란히 달리거나, 완전히 포개지는 세 가지 밖에 없습니다. 정확히 두 개의 교점 같은 건 있을 수 없어요.

두 직선의 관계로 보는 해의 개수
불러오는 중…

왜 해가 둘일 수 없는가

짧은 증명을 볼까요. Ax = b 의 해가 두 개 있다고 합시다 — u 와 v. 그러면 Au = b 이고 Av = b 입니다.

둘을 빼면 A(u − v) = b − b = 0

w = u − v ≠ 0 라 하면, 임의의 수 t 에 대해

A(u + tw) = Au + tAw = b + 0 = b

즉 u + tw 는 t 가 무엇이든 전부 해입니다 — 무한히 많아요. ∎

해가 둘이면 자동으로 무한이 됩니다. 그래서 1개, 0개, ∞개 세 가지뿐이에요. 여기서 Aw = 0 인 w 가 열쇠 노릇을 했는데, 이 w 들의 모임에 15강에서 영공간이라는 이름을 붙여 줍니다.

해 하나 + 영공간 = 해 전부. 15강에서 다시 만납니다.
Python 브라우저에서 실행

행렬 방정식으로 적기

미지수가 100개면 식을 100줄 쓸 수 없습니다. 그래서 이렇게 압축합니다.

Ax = b

A 는 계수행렬, x 는 미지수 벡터, b 는 상수 벡터입니다. 그리고 계산할 때는 A 와 b 를 나란히 붙여 첨가행렬 [A | b] 로 씁니다. 세로줄 하나로 왼쪽과 오른쪽을 구분하는 거예요.

[ 1 1 | 4 ] [ 1 −1 | 0 ]

이제 방정식을 푸는 일은 이 표를 정해진 규칙에 따라 주무르는 일이 됩니다. 그 규칙이 11강 가우스 소거법이에요.

이 손놀림을 기계적으로 정리한 것이 11강 가우스 소거법입니다.
Python 브라우저에서 실행
🤔 확인 문제
연립일차방정식의 해의 개수로 불가능한 것은?
🤔 확인 문제
Ax = b 를 '열의 시선'으로 읽으면?
🤔 확인 문제
두 직선이 완전히 포개질 때 연립방정식은?