2020년 6월 21일 일요일

타원의 방정식(Equation of an Ellipse)

[경고] 아래 글을 읽지 않고 "타원의 방정식"을 보면 바보로 느껴질 수 있습니다.
1. 유클리드 기하학
2. 원의 방정식


(圓, circle)과 비슷하게 생겼으면서도 성질이 약간 다른 재미있는 도형이 [그림 1]에서 소개하는 타원(楕圓, ellipse)이다. 타원은 원과 다르게 장축(長軸, major axis)과 단축(短軸, minor axis)의 길이가 서로 다르다. 이로 인해 타원을 만드는 초점(focus)도 2개가 있다.

[그림 1] 타원의 형태(출처: wikipedia.org)

타원의 초점이 2개임을 이해하려면 [그림 2]를 살펴보자. 초점으로 이름 붙인 점 $F_1$과 $F_2$에 실의 양끝을 고정한 후, 실 사이에 연필을 넣고 그리면 타원이 된다. 이때 실은 탄력이 없기 때문에 실의 길이는 항상 같다.

[그림 2] 타원의 작도(출처: wikipedia.org)

[그림 2]에 소개한 타원의 작도법을 기반으로 타원을 위한 관계식을 쓰면 다음과 같다.

                  (1)

여기서 점 $\bar P$는 타원의 자취 $(x, y)$, $\bar F_1 = (c, 0)$, $\bar F_2 = (-c, 0)$, $2a$는 장축의 길이이다. 식 (1)을 정리하면 다음과 같은 타원의 방정식을 얻을 수 있다.

               (2)

여기서 $a^2 = b^2 + c^2$이다.

[그림 3] 타원의 매개변수(출처: wikipedia.org)

[그림 4] 여러 도형의 이심률(출처: wikipedia.org)

길이 $a, b, c$의 정의는 [그림 3]과 같다. 장축과 단축의 길이는 $2a, 2b$이며 초점 사이의 거리는 $2c$가 된다. 또한 2차 곡선(quadratic curve)의 특성을 표현하는 이심률(離心率, eccentricity) $e$는 다음처럼 정의한다.

                  (3)

식 (3)을 이용하면 타원의 이심률은 1보다 작으며, 원의 이심률은 0이다.

[그림 5] 타원의 이심률(출처: wikipedia.org)

이심률은 2차 곡선을 정의하는 유용한 방법이다. 초점 $\bar F$에서 2차 곡선 위의 점 $\bar P$까지 거리와 준선(準線, directrix)에서 $\bar P$까지 거리의 비율을 이용해 이심률을 일반적으로 정의할 수 있다.

                  (4)

여기서 $L$은 준선에서 $\bar P$까지 거리이다. 식 (4)에 쓰인 준선은 2차 곡선을 정의하기 위한 기준선이다. [그림 5]와 식 (4)를 참고해서 준선의 위치를 구하면 다음과 같다.

                  (5)

여기서 $\bar F = (c, 0)$이며 준선은 $x = p$에 있다. 식 (5)의 결과를 정리하고 식 (2)와 비교하면, 타원의 이심률을 식 (3)과 동일하게 얻을 수 있다.

                  (6)

식 (6)은 초점과 이심률로 타원을 표현하며, 식 (2)는 장축과 단축의 길이로 타원을 정의하고 있다.
타원 위의 점 $\bar P = (x, y)$은 삼각 함수 기반 매개변수를 이용해 다음처럼 표현할 수 있다.

                  (7)

식 (7)과 적분법(integration)을 이용하면 타원의 둘레 길이 $C$를 쉽게 표현할 수 있다.

                  (8)

여기서 $e$는 타원의 이심률이다. 타원의 둘레 길이 $C$의 피적분 함수는 간단하지만, $C$를 초등 함수로 표현하기는 불가능하다. 따라서 제2종 완전 타원 적분(complete elliptic integral of the second kind)을 이용해서 $C$를 다음처럼 계산한다.

                  (9)

                  (10)

둘레 길이에 비해 타원의 적분은 매우 쉽게 다음처럼 계산된다.

                  (11)

[그림 2]의 물리적 의미를 보자. 타원의 한 초점 $F_1$에서 나온 선은 타원 표면에서 반사되어 다른 초점인 $F_2$로 간다. 타원의 초점을 연결한 선의 길이가 일정한 특성은 전자파의 송수신 특성으로 바로 유추될 수 있다. 즉 타원의 초점에 송신기와 수신기를 두면 매우 효율적인 통신을 할 수 있다. 이러한 개념은 망원경에도 사용될 수 있다. 예를 들면 인류 최초의 반사 망원경인 그레고리 망원경(Gregorian telescope)의 부반사경에 타원 표면을 사용하고 있다.

[그림 6] 그레고리 망원경의 광 경로(출처: wikipedia.org)

[그림 7] 그레고리 망원경의 실제 모습(출처: wikipedia.org)

다만 타원 표면을 망원경의 부반사경에 쓰려면 다음과 같은 타원의 반사 원리가 성립해야 한다. 즉 두 초점과 타원 위의 점을 연결한 두 직선의 각 이등분선(angle bisector)은 타원 접선의 법선이다.

[그림 8] 타원의 반사 원리(출처: wikipedia.org)

[그림 8]에 있는 점 $P$에서의 접선(tangent line)과 접선에 대한 법선(normal)을 보자. 점 $P$의 법선이 선분 $\overline{PF_1}$과 $\overline{PF_2}$가 이루는 각을 이등분한다면 다음과 같은 특성이 있다.

[그림 9] 접선 및 법선에 대한 각 이등분선

[그림 9]에서 접선에 대한 법선이 각 이등분선[$\bigcirc$]이면 접선도 각 이등분선[$\times$]이 된다. 이 원리를 [그림 8]에 적용하도록 선분 $\overline{PF_2}$를 $\overline{PF_1}$만큼 연장해서 점 $L$을 만들자. 또한 선분 $\overline{PF_1}$과 $\overline{PL}$의 각 이등분선이 되는 직선 $w$를 작도하자. 직선 $w$가 타원 위의 점 $P$가 됨을 보이면 반사 원리에 대한 증명이 완성된다. 먼저 $\overline{PF_1} = \overline{PL}$이며 $w$가 각 이등분선이므로, 삼각형 $\triangle PQF_1$과 $\triangle PQL$이 합동이다. 그러면 직선 $w$ 위의 점 $P$가 아닌 임의 점 $Q$에 대해 다음 관계가 성립한다.

                  (12)

식 (12)는 점 $Q$가 타원 위의 점이 아님을 명확히 보여준다. 왜냐하면 타원 점은 반드시 식 (1)이 성립해야 하나 점 $Q$가 포함된 선분은 항상 $2a$보다 크기 때문이다. 따라서 직선 $w$는 점 $P$에서만 타원과 만나므로 타원의 접선이 된다. 최종적으로 선분 $\overline{PF_1}$과 $\overline{PF_2}$는 [그림 8]과 같은 반사 원리를 만족한다.

[다음 읽을거리]
1. 르장드르 타원 적분
2. 쌍곡선의 방정식

댓글 없음 :

댓글 쓰기

욕설이나 스팸글은 삭제될 수 있습니다. [전파거북이]는 선플운동의 아름다운 인터넷을 지지합니다.