PART I · 첫 번째 방 · 고전역학의 한계

삼체문제 — 둘까지는 완벽했다.
셋이 되는 순간, 예측은 무너진다

뉴턴이 선물한 "예측 가능한 우주"라는 꿈은, 천체를 단 하나 더하는 순간 금이 갑니다. 삼체문제는 카오스 이론의 출발점이자, 과학에서 "일반적으로 풀 수 없음"이 증명된 최초의 문제 중 하나입니다.

§1시계태엽 우주라는 꿈

1687년 뉴턴은 『프린키피아』에서 만유인력의 법칙 하나로 떨어지는 사과와 도는 달을 같은 원리로 묶었습니다. 두 천체만 있다면 이 법칙의 답은 완전히 구해집니다. 궤도는 반드시 원·타원·포물선·쌍곡선(원뿔곡선) 중 하나가 되고, 케플러가 관측으로 겨우 알아낸 세 법칙이 종이 위에서 유도됩니다. 초기 위치와 속도만 주면 100만 년 뒤의 위치까지 공식 하나로 나오죠.

이 성공은 철학까지 바꿨습니다. 라플라스는 "우주의 모든 입자의 현재 상태를 아는 지성이 있다면 과거와 미래가 그 눈앞에 펼쳐질 것"이라 선언했습니다 — 라플라스의 악마, 즉 완벽한 결정론적 세계관의 탄생입니다.

§2천체 하나가 무너뜨린 결정론

그런데 태양–지구–달처럼 세 천체가 동시에 서로를 당기면 문제가 돌변합니다. 각 천체가 받는 힘이 나머지 둘의 위치에 의존하고, 그 둘의 위치는 다시 첫 천체에 의존하는 3중 되먹임이 생기기 때문입니다. 오일러·라그랑주 같은 대가들이 150년을 매달렸지만 일반 공식은 나오지 않았고, 1890년 앙리 푸앵카레는 스웨덴 국왕의 현상금 문제에 답하며 이 문제에 닫힌 형태의 일반해가 존재하지 않음을 사실상 증명했습니다. 그가 계산 중 발견한 "궤도가 무한히 복잡하게 얽히는 그림"이 바로 카오스의 첫 목격이었습니다.

쉽게 말하면 두 사람의 줄다리기는 결과가 뻔합니다. 그런데 세 사람이 서로 다른 방향으로 줄 세 개를 당기기 시작하면, 매 순간 힘의 균형이 바뀌어 그 누구도 결말을 장담할 수 없게 됩니다.

§3그래도 답은 있다 — 특수해와 수치해

"일반 공식이 없다"는 것이 "아무것도 모른다"는 뜻은 아닙니다. 오일러는 세 천체가 일직선을 이루는 해 — 오늘날의 L1·L2·L3 — 를, 라그랑주는 정삼각형을 유지하며 도는 해 — L4·L5 — 를 찾았습니다. 이 다섯을 통틀어 오늘날 라그랑주 점이라 부릅니다. 제임스 웹 우주망원경은 지금 이 순간 지구–태양의 L2 지점에 얌전히 머물고 있죠. 2000년에는 세 별이 하나의 8자를 사이좋게 도는 8자 궤도의 존재가 수학적으로 증명되었고(수치적 발견은 1993년), 이후 슈퍼컴퓨터로 수천 개의 새로운 주기해가 계속 나오고 있습니다. 실무 천문학은 아주 짧은 시간 간격씩 힘을 다시 계산하는 수치 적분으로 궤도를 추적합니다 — 오른쪽 실험이 바로 그 일을 하고 있습니다.

SF와 과학 · 『삼체』

류츠신의 소설 『삼체』(넷플릭스 드라마화)의 외계 문명은 세 개의 태양을 가진 항성계에 삽니다. 예측 불가능한 삼체 운동 탓에 문명이 반복해 멸망하죠. 소설의 공포는 바로 이 장의 수학 — 안정된 궤도를 보장할 수 없다는 사실 — 에 뿌리를 두고 있습니다.

핵심 정리

  • 2체 문제: 완전한 해석해 존재 — 궤도는 원뿔곡선, 케플러 법칙 성립
  • 3체부터: 닫힌 일반해가 존재하지 않음 (푸앵카레, 1890)
  • 초기조건에 극도로 민감 → 결정론적이지만 장기 예측 불가 (카오스의 씨앗)
  • 라그랑주 점·8자 궤도 등 특수해는 존재하고 실제 우주 임무에 활용
  • 실용 해법은 수치 적분 — 오차가 지수적으로 커져 예측 지평이 유한
EXP.01 — 중력 시뮬레이터실시간 계산 중
관찰 포인트 — 8자·라그랑주 궤도는 희귀한 특수해(특정 초기조건에서만 성립)입니다. 이 중 L1~L3와 정삼각형 배치는 사실 불안정 평형이라, 실제 우주 임무도 궤도를 유지하려면 미세 분사가 필요합니다. 무작위 우주는 대부분 별 하나가 튕겨 나가고, 쌍둥이 우주에서는 0.1% 다른 두 우주(흰/주황)가 갈라지는 순간을 볼 수 있습니다.
DEEP DIVE — 수식과 역사
만유인력의 법칙Newton, 1687
$$F = G\frac{m_1 m_2}{r^2}$$
F 두 천체 사이 중력 · G 중력상수 6.674×10⁻¹¹ · m 질량 · r 거리. 거리가 2배면 힘은 ¼로 — 역제곱 법칙입니다.
삼체계의 운동방정식i = 1, 2, 3
$$m_i\,\ddot{\vec{r}}_i \;=\; \sum_{j\neq i} \frac{G\,m_i m_j\,(\vec{r}_j-\vec{r}_i)}{|\vec{r}_j-\vec{r}_i|^3}$$
r̈ᵢ 가속도 · Σ 나머지 두 천체가 주는 힘의 합. 세 천체 × 3차원 = 18개 변수가 얽힌 연립 미분방정식이며, 보존량(에너지·운동량·각운동량)만으로는 변수를 다 소거할 수 없습니다.
오차의 지수적 성장카오스의 신호
$$\delta(t) \;\approx\; \delta_0\, e^{\lambda t}$$
δ(t) 두 궤도의 차이 · λ 랴푸노프 지수. λ > 0이면 미세한 차이 δ₀가 지수적으로 폭발합니다 — 「쌍둥이 우주」가 갈라지는 속도가 바로 이것입니다.
HISTORY — 삼체문제 연표
1687
뉴턴 『프린키피아』 — 2체 문제 완전 해결, 달 운동의 난해함을 토로
1767~72
오일러(일직선 해 L1~L3)·라그랑주(정삼각형 해 L4·L5) → 통칭 라그랑주 점
1890
푸앵카레, 일반해 불가능성 증명 — 카오스 이론의 탄생
2000
셴시네·몽고메리, 8자 궤도의 존재를 수학적으로 증명
2022
제임스 웹 우주망원경, 지구-태양 L2 지점에서 관측 시작