케플러의 법칙

케플러의 법칙이란 요하네스 케플러(Johannes Kepler, 1571-1630)가 발견한 행성 운동에 관한 세 가지 법칙을 의미하며, 각각의 법칙은 "타원 궤도 법칙"(제1법칙), "면적 속도 일정의 법칙"(제2법칙), "조화의 법칙"(제3법칙)이라는 애칭을 가지고 가지고 있다. 제1법칙과 제2법칙은 1609년에 출판한 『새로운 천문학(New Astronomy; Astronomia nova)』에 함께 등장했으며, 제3법칙은 1619년에 출판한 『우주의 조화(Harmonies of the World; Harmonices Mundi)』에 등장했다. 이 법칙들과 (법칙들에 근거해 제작된) 『루돌프 천문표(Rudolphine Tables; Tabulæ Rudolphinæ)』(1627)는 행성의 위치에 대한 예측의 정확성을 극도로 향상시켰으며, 그 덕분에 케플러의 법칙에 전제된 코페르니쿠스의 태양중심설은 천문학자들 사이에서 널리 인정받게 되었다. 또한 이 법칙들은 뉴턴이 만유인력의 법칙을 발견하고 뒷받침하는 데도 기여함으로써, 코페르니쿠스의 『천구의 회전에 관하여』로부터 시작되어 뉴턴의 『프린키피아』에 의해 완결되는 코페르니쿠스 혁명의 가장 중요한 징검다리가 되었다.

케플러의 법칙은 아래의 세 가지 법칙으로 구성되어 있으며, 그 발견 과정에는 정밀한 관측과 복잡한 수학이 필요했다.

• 제1법칙(타원 궤도 법칙) : 행성은 태양을 한 초점으로 하는 타원궤도를 그리면서 공전한다.
• 제2법칙(면적 속도 일정의 법칙) : 행성과 태양을 연결하는 가상적인 선분이 같은 시간 동안 쓸고 지나가는 면적은 항상 같다.
• 제3법칙(조화의 법칙) : 행성의 공전주기의 제곱은 궤도의 긴반지름의 세제곱에 비례한다.

법칙의 발견

케플러 제1법칙과 제2법칙은 티코 브라헤(1546-1601)의 방대하고 정밀한 화성 관측 자료에 근거하여 발견되었다. 티코 브라헤는 당대 최고의 정밀 관측 천문학자로서, 티코 사후 그의 자료를 물려받은 케플러는 화성의 관측 자료를 단순한 폐곡선으로 이루어진 태양 중심의 궤도에 집어넣기 위해 수 년 동안 씨름했다. 코페르니쿠스의 태양중심설을 굳게 믿고 있던 케플러는 지구를 포함한 각 행성의 궤도들이 고정된 태양을 기준으로 한 단순한 폐곡선으로 만들어진다고 추측했다. 즉 케플러의 목적은 지구에서 관측된 자료를 이용해 태양을 기준으로 한 화성의 궤도를 알아내는 것이었다. 그러나 지구에서는 천체의 각도만 측정될 뿐 천체까지의 거리는 측정되지 않기 때문에, 케플러의 작업은 다음과 같은 복잡한 단계를 거쳐 이루어졌다.

(a) 화성의 궤도를 이용한 지구 궤도 확정, (b) 화성의 위치 확정

우선 케플러는 태양을 기준으로 한 지구의 궤도를 확정해야 했다(그림의 a). 태양을 기준으로 한 화성의 공전 주기는 687일로 측정되어 있었으며, 케플러는 화성이 687일마다 정확히 동일한 위치에 있을 것이라고 추측했다. 어느날 태양(S)과 지구(E)와 화성(M)이 일직선상에 놓였다고 하자. 그로부터 687일 후 화성(M')은 원래의 자리에 돌아올 것이며, 이때 지구(E')의 위치는 지구에서 측정된 태양의 각도와 화성의 각도를 통해 확정된다. 또다시 687일 후의 지구의 위치도 똑같은 방식으로 측정될 수 있으며, 이를 반복하면 지구의 궤도가 확정된다. 이렇게 확정된 지구의 궤도는 거의 완벽한 원으로 그려질 수 있었고, 그 중심은 태양에서 살짝 벗어나 있었다. 대신 공전 속도는 일정하지 않았다.

지구의 궤도를 확정한 후, 케플러는 화성의 위치들을 찍기 시작했다(그림의 b). 어느 날 지구(E)에서 화성이 특정한 방향에서 측정되었다고 해보자. 그러면 화성은 직선 EM 상에 존재해야 한다. 그로부터 687일 후 지구(E')에서 화성은 또 다른 방향에서 측정된다. 이때 화성은 직선 E'M' 상에 존재해야 한다. 그런데 태양을 기준으로 한 화성의 공전 주기는 687일이므로, 두 화성 M과 M'은 동일한 위치에 있어야 한다. 즉 화성의 위치는 EM과 E'M'의 교점으로 확정된다. 이와 같은 방식으로 구한 화성의 위치들을 모아 완성한 화성의 궤도는 원이 아니었다. 임의의 세 점을 지나는 원을 작도할 때마다 또 다른 한 점은 항상 원에서 이탈했기 때문이다. 케플러는 화성의 궤도를 티코 브라헤의 관측 오차 이내로 만족하는 기하학적 도형을 새롭게 찾았으며, 그 결과는 타원이었다.

... (추후 보완 예정)

뉴턴의 증명

뉴턴은 원래 케플러의 제3법칙(조화의 법칙)과 행성의 원운동을 가정할 경우 태양의 인력이 거리의 제곱에 반비례할 것이라는 간단한 증명을 한 바 있다. 나중에 핼리가 방문하여 "거리의 제곱에 반비례하는 인력이 작용할 경우 물체의 궤도가 어떻게 되느냐?"는 질문을 받은 뉴턴은 완전한 증명에 착수한다. 간단히 요약하자면, 뉴턴은 구심력을 가정하여 케플러의 제2법칙(면적 속도 일정의 법칙)을 유도하고, 구심력에 의한 물체의 궤도가 타원일 경우(케플러의 제2법칙) 그 구심력의 크기가 거리의 제곱에 반비례함을 증명한다. 단 이러한 증명들은 기본적으로는 뉴턴의 운동 법칙 $\mathbf {F} =m\mathbf {a}$를 전제하고 있다.

이 섹션의 증명은 『프린키피아』에서 사용된 뉴턴의 기하학적 증명 방식을 거의 그대로 따르고 있지만, 독자들의 이해를 위해 표현과 순서를 조정하였으며, 그 과정에서 뉴턴은 사용하지 않은 $\lim ,\Delta t$와 같은 기호도 추가적으로 사용되었다는 점을 밝힌다.

케플러 제2법칙 : 면적 속도 일정의 법칙

면적 속도 일정의 법칙 도출

뉴턴의 가정에 따르면, 물체는 일정한 시간($\Delta t$) 간격으로 ($B,C,D,E$ 등의 지점에서) $S$ 방향의 순간적인 충격(크기는 상관이 없음)을 받으며, 충격을 받지 않는 동안에는 관성에 의해 등속 직선 운동을 한다. 또한 충격은 충격과 무관한 성분의 운동에는 영향을 주지 않으며, 충격과 동일한 방향의 성분의 운동만을 더해준다. $AB,BC,CD,DE,EF$로 각각 이동하는 데 걸린 시간을 모두 동일한 $\Delta t$로 두었을 때, 그 시간 동안 $S$와 물체 사이의 선분이 휩쓸고 지나간 면적은 각각 $\triangle SAB,\triangle SBC,\triangle SCD$ 등이 된다.

$A$에서 $B$로 이동 중이던 물체가 $B$에서 충격을 받지 않았다면 물체는 직선 관성 운동에 의해 점선을 따라 $\Delta t$ 후에 $c$에 도착했을 것이다. 그러나 $BS$ 방향으로 받은 충격 때문에 $\Delta t$ 후 물체는 $C$에 도착하게 된다(${\overline {BS}}\parallel {\overline {cC}}$ [평행]). 왜냐하면 $AB$ 방향으로 운동 중이던 물체에게 가해진 $BS$ 방향의 충격은 $AB$ 방향의 운동에는 영향을 주지 않은 채 $BS$ 방향(즉 $cC$ 방향)의 운동만을 더해주기 때문이다. 이때 다음과 같은 관계가 성립한다.

$\triangle SAB=\triangle SBc$ ($\because {\overline {AB}}={\overline {Bc}}$ [밑변의 길이 동일] & 삼각형의 높이 공유)

$\triangle SBc=\triangle SBC$ ($\because {\overline {SB}}$라는 밑변 공유 & ${\overline {SB}}\parallel {\overline {Cc}}$ [삼각형의 높이 동일] )

$\therefore \triangle SAB=\triangle SBC$

이어서 $C,D,E$ 등에서 $S$ 방향으로 받은 충격을 고려하면 아래와 같은 관계가 성립한다.

$\triangle SAB=\triangle SBC=\triangle SCD=\triangle SDE=\triangle SEF=\cdots$

위의 관계는 $\Delta t$를 극히 작은 크기로 줄이더라도 성립하게 되며, 이는 하나의 점 S로부터 '지속적으로' 힘을 받는 물체의 부드러운 곡선 궤도 운동에도 그대로 적용될 수 있다. 즉 임의의 물체 $P$가 일정한 점 $S$로부터의 인력, 즉 구심력만을 받고 있을 경우 선분 $SP$가 같은 시간 동안 휩쓸고 지나가는 면적은 항상 동일하며, 이를 다르게 표현할 경우 그 면적은 시간에 비례한다. (주의할 점 : 이 법칙은 구심력의 크기와는 무관하게 성립한다.)

케플러 제1법칙 : 타원 궤도의 법칙

뉴턴은 『프린키피아』 1권 제3장. 명제 11(문제 6)에서 "한 물체가 타원상을 공전한다고 했을 때, 타원의 초점으로 향하는 구심력의 법칙을 발견하다"는 문제를 제시하고, 그 답이 "거리의 제곱에 반비례하는 힘"이라는 것을 증명한다. 이후 반대의 증명, 즉 거리의 제곱에 반비례하는 구심력이 작용할 때 물체의 궤도가 2차곡선의 형태가 된다는 증명도 완성한다.

뉴턴의 구심력 법칙 : 점 $P$에서 점 $S$ 방향으로 작용한 구심 가속도 $\mathbf {a} \propto \lim _{Q\rightarrow P}{QR \over {SP^{2}\cdot QT^{2}}}$

1단계. 점 $P$에서 점 $S$ 방향으로 작용한 구심 가속도 $\mathbf {a} \propto \lim _{Q\rightarrow P}{QR \over {SP^{2}\cdot QT^{2}}}$의 증명.

$S$를 향한 구심력에 의해 궤도 운동을 하고 있는 물체를 가정하자. 물체가 점 $P$를 지나는 순간의 접선 $ZPR$를 그린 후, 접선 위의 한 점 $R$에서 $SP$에 평행한 직선을 그려 타원과 만나는 점을 $Q$라고 하자. $P$에서 $Q$까지의 아주 짧은 시간 $\Delta t$동안은 물체가 $PS$ 방향의 일정한 힘을 받아 등가속도로 운동한다고 가정하면, 아래의 식이 성립한다(단, $\mathbf {v}$와 $\mathbf {a}$는 물체가 점 $P$를 지날 때의 속도와 구심 가속도).

$\lim _{Q\to P}{\overrightarrow {PR}}=\mathbf {v} \Delta t$ ($\because PR$ 방향으로는 등속 운동)

$\lim _{Q\to P}{\overrightarrow {RQ}}={1 \over 2}\mathbf {a} \left(\Delta t\right)^{2}$ ($\because RQ$ 방향으로는 초기 속도가 0인 등가속도 운동)

그런데 구심력에 의해 움직이는 물체가 훓고 지나가는 면적은 시간에 비례하므로,

구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://en.wikipedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \lim_{Q \to P} {\triangle SPQ \over \Delta t} = {1 \over 2} \lim_{Q \to P} {SP \cdot QT \over \Delta t} = {L \over 2} \quad (일정)} (단, $QT\perp SP$).

따라서 구심 가속도

$\mathbf {a} =\lim _{Q\to P}{2QR \over \left(\Delta t\right)^{2}}=2L^{2}\lim _{Q\to P}{QR \over {SP^{2}\cdot QT^{2}}}\propto \lim _{Q\to P}{QR \over {SP^{2}\cdot QT^{2}}}\quad \cdots ({\rm {N1)}}$.

2단계. $PE=AC$의 증명.

케플러 제1법칙으로부터 역제곱 법칙의 도출

$S$는 타원의 초점이며, $RPZ$는 $P$에서의 접선이다. 타원의 중심 $C$에서 $RPZ$에 평행한 $DCK$를 그려 $SP$와 만나는 교점을 $E$라고 한다. 그리고 타원의 또 하나의 초점 $H$에서부터 $EC$에 평행하게 $HI$를 그리면, $S$와 $H$는 타원의 두 초점이므로 $CS=CH$이고, 또한 $\triangle SCE\sim \triangle SHI$이므로,

$ES=EI$

따라서

$PE={{(PS-ES)+(PI+EI)} \over 2}={{PS+PI} \over 2}$

그런데 타원의 성질에 의해 $\angle IPR=\angle HPZ$이고, $IH\parallel IR$이므로,

$\angle PIH=\angle PHI$

구문 분석 실패 (구문 오류): {\displaystyle PI=PH \text{ } (\because 이등변삼각형)}

또한 타원의 장축 $2AC=PS+PH$이므로,

$PE={PS+PH \over 2}=AC\quad \cdots ({\rm {N2)}}$.

3단계. ${QT^{2} \over QR}={\rm {constant}}$의 증명.

$RP$에 평행하게 $Qxv$를 그리고($x$는 $SP$와의 교점, $v$는 $CP$와의 교점), $P$에서 $DK$에 수선 $PF$를 내리자. 타원의 긴 반지름과 짧은 반지름의 길이를 각각 $a(=AC)$와 $b(=BC)$라고 할 때, (N2)를 고려하면 아래의 관계들이 성립힌다.

${QR \over Pv}={PE \over PC}={a \over PC}\cdots (1){\text{ }}(\because \triangle Pxv\sim \triangle PEC)$

${Qx \over QT}={PE \over PF}={a \over PF}\cdots (2){\text{ }}(\because \triangle QxT\sim \triangle PEF)$

그리고 타원에 외접한 평행사변형의 넓이는 모두 동일하므로,

$PF\cdot CD=AC\cdot BC=ab\cdots (3)$

(1)에 의해

$QR={aPv \over PC}\cdots (4)$

(2)와 (3)에 의해

$QT={{PF\cdot Qx} \over {a}}={{bQx} \over {CD}}\cdots (5)$

(5)의 제곱을 (4)로 나누어 극한을 취하면,

$\lim _{Q\rightarrow P}{QT^{2} \over QR}=\lim _{Q\rightarrow P}{{b^{2}\cdot PC\cdot Qx^{2}} \over {a\cdot Pv\cdot CD^{2}}}=\lim _{Q\rightarrow P}{{b^{2}\cdot PC\cdot Qv^{2}} \over {a\cdot Pv\cdot CD^{2}}}\cdots (6){\text{ }}(\because \lim _{Q\rightarrow P}Qx=Qv)$

그런데 $CD$와 $CP$를 각각 타원의 긴 반지름과 짧은 반지름으로 삼은 좌표계에서 타원상의 임의의 한 점 $Q$는 아래의 성질을 만족한다.

${Qv^{2} \over CD^{2}}+{Cv^{2} \over CP^{2}}=1$

$\therefore {Qv^{2} \over CD^{2}}=1-{Cv^{2} \over CP^{2}}={{(CP+Cv)Pv} \over CP^{2}}\cdots (7)$

(6)의 식에 (7)을 적용하면,

구문 분석 실패 (알 수 없는 함수 "\begin{split}"): {\displaystyle \begin{split} \lim_{Q \rightarrow P} {QT^2 \over QR } &= \lim_{Q \rightarrow P} {{b^2 \cdot PC \cdot (CP+Cv) \cdot Pv} \over {a \cdot Pv \cdot PC^2}} \\ &= {{2b^2 \cdot PC^2 \cdot Pv} \over {a \cdot PC^2 \cdot Pv}} \quad ( \because \lim_{Q \rightarrow P} (CP+Cv) =2PC )\\ &= {2b^2 \over a} \text{ } \quad \cdots \text{ } (\rm N3) \end{split}}

4단계. $\mathbf {F} \propto {1 \over SP^{2}}$의 증명.

(N1)과 (N3)를 결합하면 구심 가속도

$\mathbf {a} =2L^{2}\lim _{Q\rightarrow P}{QR \over {SP^{2}\cdot QT^{2}}}={aL^{2} \over b^{2}}\cdot {1 \over SP^{2}}\propto {1 \over SP^{2}}$

구심력 $\mathbf {F} =m\mathbf {a}$이므로 $\mathbf {F} \propto {1 \over SP^{2}}$이 성립한다.

현대적인 증명

물체에 만유인력의 법칙(거리의 제곱에 반비례하는 구심력)이 작용할 때 물체가 가지게 되는 궤도의 특성을 도출할 것이다.

극좌표계의 두 단위벡터 ${\hat {r}}$과 ${\hat {\theta }}$.

구심력의 중심을 기준으로 한 물체의 위치 벡터 $\mathbf {r}$을 다음과 같은 극좌표로 표현해보자.

$\displaystyle \mathbf {r} =(r,\theta )=r{\hat {r}}$ (단, ${\hat {r}}$은 $\mathbf {r}$ 방향의 단위 벡터).

그러면 직교 단위 벡터 ${\hat {r}}$과 ${\hat {\theta }}$ 사이에는 다음의 두 가지 관계가 성립한다.

${\begin{cases}\displaystyle {d{\hat {r}} \over dt}={d\theta \over dt}{\hat {\theta }}\quad &\cdots \quad (A)\\{}\\\displaystyle {d{\hat {\theta }} \over dt}=-{d\theta \over dt}{\hat {r}}\quad &\cdots \quad (B)\end{cases}}$

이러한 관계를 이용하여 $\mathbf {r}$을 시간 $t$에 대해 미분하면,

$\displaystyle {d\mathbf {r} \over dt}={dr \over dt}{\hat {r}}+r{d{\hat {r}} \over dt}={dr \over dt}{\hat {r}}+r{d\theta \over dt}{\hat {\theta }}$

이를 시간 $t$에 대해 한 번 더 미분하면,

구문 분석 실패 (알 수 없는 함수 "\begin{split}"): {\displaystyle \displaystyle \begin{split} {d^2 \mathbf r \over dt^2} &= {d^2 r \over dt^2} \hat r + {dr \over dt} {d \hat r \over dt} + {dr \over dt } {d \theta \over dt} \hat \theta + r {d^2 \theta \over dt^2} \hat \theta + r {d \theta \over dt}{d \hat \theta \over dt} \\ &= \left( {d^2 r \over dt^2} - r \left( {d \theta \over dt} \right)^2 \right) \hat r + \left( r {d^2 \theta \over dt^2} + 2 {dr \over dt} {d \theta \over dt} \right) \hat \theta \end{split}} .

이제 만유인력의 법칙을 가정하면

$\displaystyle {d^{2}\mathbf {r} \over dt^{2}}=-{GM \over r^{2}}{\hat {r}}=\left({d^{2}r \over dt^{2}}-r\left({d\theta \over dt}\right)^{2}\right){\hat {r}}+\left(r{d^{2}\theta \over dt^{2}}+2{dr \over dt}{d\theta \over dt}\right){\hat {\theta }}$

이는 아래와 같은 두 개의 식으로 분해된다.

${\begin{cases}\displaystyle {d^{2}r \over dt^{2}}-r\left({d\theta \over dt}\right)^{2}=-{GM \over r^{2}}\quad &\cdots \quad ({\rm {M1)}}\\{}\\\displaystyle r{d^{2}\theta \over dt^{2}}+2{dr \over dt}{d\theta \over dt}=0\quad &\cdots \quad ({\rm {M2)}}\end{cases}}$

(M2)의 미분방정식은 아래와 같이 풀린다.

$\displaystyle r{d^{2}\theta \over dt^{2}}+2{dr \over dt}{d\theta \over dt}={1 \over r}{d \over dt}\left(r^{2}{d\theta \over dt}\right)=0$

구문 분석 실패 (MathML을 사용하되 미지원 시 SVG나 PNG 사용 (최신 브라우저나 접근성 도구에 권장): "https://en.wikipedia.org/api/rest_v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \displaystyle \therefore r^2 {d \theta \over dt } = L (상수) \cdots (\rm M3) }

궤도 운동을 하는 점과 중심 사이를 잇는 선분이 훑고 지나가는 면적 $dA$

(M3)를 이용하여 궤도 운동을 하는 물체와 중심을 잇는 선분이 단위 시간마다 훑고 지나가는 면적 ${dA \over dt}$를 구하면

구문 분석 실패 (구문 오류): {\displaystyle \displaystyle {dA \over dt} = {1 \over 2} r^2 {d \theta \over dt}= {L \over 2} \quad (일정) \quad \cdots (K2)}

이로써 구심력에 의해 움직이는 물체가 동일한 시간 동안 훑고 지나가는 면적이 항상 일정하다는 케플러 제2법칙이 증명되었다.

이제 (M1)을 풀 차례이다. 우선 $\displaystyle r={1 \over u}$로 치환해보자. (M3)를 활용하면 $\displaystyle {dr \over dt}$과 $\displaystyle {d^{2}r \over dt^{2}}$은 아래와 같이 변환된다.

$\displaystyle {dr \over dt}={d \over dt}{1 \over u}=-{1 \over u^{2}}{du \over dt}=-{1 \over u^{2}}{du \over d\theta }{d\theta \over dt}=-{1 \over u^{2}}{du \over d\theta }{L \over r^{2}}=-L{du \over d\theta }$

$\displaystyle {d^{2}r \over dt^{2}}={d \over dt}\left(-L{du \over d\theta }\right)=-L{d^{2}u \over d\theta ^{2}}{d\theta \over dt}=-{L^{2} \over r^{2}}{d^{2}u \over d\theta ^{2}}=-L^{2}u^{2}{d^{2}u \over d\theta ^{2}}\quad \cdots ({\rm {M4)}}$

(M3)와 (M4)를 활용하여 (M1)을 변환하면,

$\displaystyle -L^{2}u^{2}{d^{2}u \over d\theta ^{2}}-{1 \over u}\left(u^{2}L\right)^{2}=-GMu^{2}$

$\displaystyle {d^{2}u \over d\theta ^{2}}+u={GM \over L^{2}}$

이 미분방정식을 풀면 아래의 해가 나온다.

$\displaystyle u={\frac {GM}{L^{2}}}+A\cos(\theta +\theta _{0})$ (단, $A$와 $\theta _{0}$는 상수)

이 해를 $r$로 치환하면 아래와 같은 해로 변환된다.

$r={\frac {L^{2}/GM}{1+e\cos(\theta +\theta _{0})}},\quad e={\frac {AL^{2}}{GM}}\quad \cdots \quad ({\rm {K1)}}$ (단, $A$와 $\theta _{0}$는 상수)

이 관계식은 물체의 궤도가 원뿔곡선임을 함축하며, 구체적인 형태는 이심률 $e$의 값에 따라 달라진다.

${\begin{cases}e=0:{\text{원 궤도}}\\0<e<1:{\text{타원 궤도}}\\e=1:{\text{포물선 궤도}}\\e>1:{\text{쌍곡선 궤도}}\end{cases}}$

$0<e<1$일 때, (K1)이 타원이라는 점은 다음을 통해 알 수 있다.

단순화를 위해 $\theta _{0}=0,L^{2}/GM=a(1-e^{2})$이 되는 $a$를 이용하면 (K1)은 아래의 식으로 변환된다.

$r={\frac {a(1-e^{2})}{1+e\cos \theta }}\quad \cdots \quad ({\rm {K1')}}$

이 관계식은 원점과 $(-2ae,0)$을 두 개의 초점으로 가지고 장축이 $2a$, 이심률이 $e$, 단축이 $2a{\sqrt {1-e^{2}}}$인 아래와 같은 타원을 만들어낸다.

(K1')의 방정식에 의해 만들어지는 타원

이로써 거리의 제곱에 반비례하는 구심력을 받는 물체가 ($0<e<1$의 조건에서) 케플러 제1법칙에 따라 타원 궤도를 돈다는 것이 증명되었다.

주석

관련 항목

• 17세기 과학혁명의 지적, 사회적 의미