1. 개요
解析 幾何學 / Analytic Geometry[math(n)]개의 성분으로 이루어진 좌표를 이용하여 도형의 성질을 탐구하는[1] 기하학.
중학교 때는 합동과 닮음 등을 이용하여 설명하는 논증 기하학을 배우지만[2], 고등학교 1학년 때부턴 고등수학 상의 평면 좌표 단원에서 시작하여 해석 기하학을 주로 배우게 된다. 그 후 기하(2015) 등에서 본격적인 해석 기하학에 입문하게 된다. 또 대학교에 들어가면 미적분을 다시 배울 때 심화적으로 배우게 된다.
여기서 더 발전하면 비유클리드 기하학으로 넘어간다. 우선 교양 수준의 미분기하학부터 시작하는데, 대체로 벡터장과 벡터 다발을 다룬 뒤 곡선, 곡면을 직교좌표계에서 순수 미적분 등으로 다루는 법을 배우고, 곡선, 곡면으로 정의되는 좌표계[3]를 다루는 법을 배운다. 여기까지 오면 시간에 따른 벡터의 변화를 좌표계로 나타내는 법,[4] 출발점이 다른 두 벡터의 합성[5] 같은 기초적인 개념부터 미적분 등의 복잡한 계산을 필요로 한다.
비유클리드 기하학이기는 하지만 기저가 고정된 특수 상대성 이론은 현대물리에서도 배우지만, 시공간의 변화를 최소 미분기하학 수준의 비유클리드 기하학으로 다뤄야 하는 일반 상대성 이론은 물리학을 전공해도 자기 연구 분야로 삼지 않으면 배울 일이 없는 것만 봐도 그 복잡함을 알 수 있다.
2. 응용
공간을 다루는데 있어서 빼놓을 수 없다.도시, 섬 등의 위치를 위도와 경도로 나타내는 것도 해석기하학에서 도입되는 개념이며, 초중학교 교과서에 등장하는 대권항로같은 것은 비유클리드기하학을 다룰 때 등장하는 측지선이라는 개념을 사용한다.
상대성 이론에도 해석기하학이 필수로 들어가는데, 여기서는 공간만이 아닌, 시공간을 다룬다. 중력에 따른 GPS의 오차도 해석기하학적으로 시공간이 휘어진 정도를 계산해서 얼마만큼 보정할지 결정한다.
고체물리학, 통계물리학 등에서는 물체의 위치뿐만이 아니라, 물체의 속도, 파동의 파수 벡터 등으로도 '공간'을 만들어서 '운동량 공간', '파수 공간' 등의 개념을 다루기도 한다.
3. 수학 올림피아드에서
한국수학올림피아드 등에서는 해석기하적 방법으로 문제를 풀기도 한다. 기하 문제를 해석적으로 푸는 경우와, 해석학(대수 분야) 문제를 기하적으로 푸는 경우가 있다. 보통 올림피아드에는 논증기하학으로 푸는 문제가 주로 나오지만, 간혹 해석기하학으로 접근했을 때 훨씬 간편해지는 문제도 출제된다.3.1. 기하 문제를 해석적으로 푸는 경우
평면기하 문제의 경우, 좌표평면 위에 문제에서 주어진 상황을 놓고 해석학적인 방법으로 접근하기도 한다.3.2. 해석학(대수 분야) 문제를 기하적으로 푸는 경우
대수 분야에서 변수들이 일련의 방정식을 만족하는 경우, 주어진 상황을 기하학적으로 재해석하여 문제를 풀기도 한다. 이를 '구조법'이라고 하기도 하는데, 정식 수학 용어는 아니다. 광의적으로는, 문제의 주어진 조건으로 새로운 수학모형을 만들어내는 방법, 즉 기존과 다른 문제풀이의 경로와 방법을 찾는 것을 구조법이라고 한다. 구조법을 합리적으로 상황에 맞게 이용한다면 복잡한 것을 간단한 것으로 변화시켜 문제를 교묘하게 풀 수 있다. 그래서 구조법은 문제풀이에 종종 이용된다.
구조법을 사용하여 문제를 풀 때에는 여러 방면의 지식을 종합적으로 응용해서 문제를 쉽게 해결할 수 있는 새로운 방법을 강구해야 한다. 따라서 구조법을 공부하면 지식을 풍부하게 하고, 종합적인 사고능력과 창의적인 문제를 푸는 실력을 키울 수 있다. 그렇다고 모든 문제를 구조법으로 풀 수 있는 것은 아니다. 다만 구조법은 특수한 풀이 방법의 하나로서, 상황에 맞게 활용해야 효과적이다. 따라서 모든 문제에 적용하려 들지는 말고 적용 가능하다고 추측될 때 (예를 들어 제2 코사인 법칙을 쓸 수 있을 것 같을 때) 사용하면 아주 효과적이다.
3.2.1. 의의
해석기하학은 좌표를 변수로 하는 방정식으로써 도형의 성질을 연구하는 학문이다. 즉, 도형을 그림이 아닌 수식으로 이해할 수 있을 뿐만 아니라 역으로 이해하기 힘든 수식을 도형으로 바꾸어 쉽게 이해할 수 있다.이런 시각이 특히 두드러지는 곳 중 하나가 전자기학에서 쓰이는 맥스웰 방정식으로, 전하, 자하의 존재를 구멍이 없는 입체도형의 겉면 적분으로, 발전기와 전자석의 원리를 닫혀 있는 평면도형의 적분으로 나타내는 식이다.
또한 대수 기하학, 미분 기하학이라는 학문 자체가 이런 시각을 기본으로 깔고 들어간다. 대수 기하학에서 다루는 대상의 하나인 에탈 코호몰로지 문서만 봐도 어떤 느낌인지 알 수 있다.
3.2.2. 구체적인 방법
3.2.2.1. 두 점 사이의 거리 공식의 활용
| 좌표평면 위의 두 점 [math({\rm A}(x_{1},\,y_{1}))], [math({\rm B}(x_{2},\,y_{2}))] 사이의 거리 [math(\displaystyle \overline{\rm AB}=\sqrt{(x_{2}-x_{1})^2+(y_{2}-y_{1})^{2}} )] 이다. |
위 식을 응용하면,
| 모든 실수 [math(x_{n})], [math(y_{n})]에 대하여 [math(\displaystyle \sqrt{{x_1}^2 + {y_1}^2 } + \sqrt{{x_2}^2 + {y_2}^2 } + {\cdots} + \sqrt{{x_n}^2 + {y_n}^2 } \ge \sqrt{(x_1 + x_2 + {\cdots} + x_n)^2} +\sqrt{(y_1 + y_2 + {\cdots} + y_n)^2} )] 이 성립한다. |
- [증명]
- -----
[math(z_i = \sqrt{{x_i}^2 + {y_i}^2})]
이라고 하면
[math(\displaystyle (z_1 + z_2 + z_3 + {\cdots} + z_n)^2 = {z_1}^2 + {z_2}^2 + {z_3}^2 + {\cdots} + {z_n}^2 + 2\sum z_iz_j)]
이므로 정리하면
[math(\displaystyle \sum_{i=1}^n({x_i}^2 +{y_i}^2) + 2 \sum_{i<j} \sqrt{({x_i}^2 +{y_i}^2)({x_j}^2 +{y_j}^2)} \ge \sum_{i=1}^n({x_i}^2 +{y_i}^2) + 2\sum_{i<j}(x_ix_j + y_iy_j))]
이고
[math(\displaystyle \sum_{i<j} \sqrt{({x_i}^2 +{y_i}^2)({x_j}^2 +{y_j}^2)} \ge \sum_{i<j}(x_ix_j + y_i y_j))]
인데, 위 부등식은 코시-슈바르츠 부등식에 의해 성립한다.
3.2.2.2. 코사인 법칙
삼각형 [math(\mathrm{ABC})]를 고려하자. 이때 각 [math(A)], [math(B)], [math(C)]의 대변을 각각 [math(a)], [math(b)], [math(c)]라 할 때 다음이 성립한다.- 제1 코사인 법칙
- 유클리드 공간
- [math(a^2=b^2+c^2-2bc\cos A)]
- [math( b^2=c^2+a^2-2ca\cos B)]
- [math(c^2=a^2+b^2-2ab\cos C)]
- 구면 공간
- [math(\cos a= \cos b \cos c + \sin b \sin c \cos A)]
- [math( \cos b= \cos a \cos c + \sin a \sin c \cos B)]
- [math(\cos c= \cos a \cos b + \sin a \sin b \cos C)]
- 쌍곡 공간
- [math(\cosh a= \cosh b \cosh c + \sinh b \sinh c \cos A)]
- [math(\cosh b= \cosh a \cosh c + \sinh a \sinh c \cos B)]
- [math(\cosh c= \cosh a \cosh b + \sinh a \sinh b \cos C)]
- 제2 코사인 법칙
- 유클리드 공간: 없음
- 구면 공간
- [math(\cos a= \dfrac{\cos A + \cos B \cos C}{\sin B \sin C})]
- [math( \cos b= \dfrac{\cos B + \cos A \cos C}{\sin A \sin C})]
- [math(\cos c= \dfrac{\cos C + \cos A \cos B}{\sin A \sin B})]
- 쌍곡 공간
- [math(\cosh a= \dfrac{\cos A + \cos B \cos C}{\sin B \sin C})]
- [math(\cosh b= \dfrac{\cos B + \cos A \cos C}{\sin A \sin C})]
- [math(\cosh c= \dfrac{\cos C + \cos A \cos B}{\sin A \sin B})]
3.2.2.3. 사인 법칙
- 유클리드 공간 꼴
- [math(\dfrac a{\sin A}=\dfrac b{\sin B}=\dfrac c{\sin C}=2R)]
- 구면 공간 꼴
- [math(\dfrac{\sin a}{\sin A}=\dfrac{\sin b}{\sin B}=\dfrac{\sin c}{\sin C}=2R)]
- 쌍곡 공간 꼴
- [math(\dfrac{\sinh a}{\sin A}=\dfrac{\sinh b}{\sin B}=\dfrac{\sinh c}{\sin C}=2R)]
3.2.2.4. 오일러 공식
| [math(a^z = e^{\Re(z\ln a)}\{\cos(\Im(z \ln a)) + i\sin(\Im(z\ln a))\})] |
복소수 범위의 지수함수를 삼각함수로 바꾸는 그 식이다. 이 공식의 의의는 지수식에 삼각함수를 이용한 기하학적 공리[6]를 적용할 수 있다는 것에 있다.
자세한 내용은 오일러 공식 문서 참고.
3.2.2.5. 이차형식
| [math(\begin{aligned} y &= \sum_{ij} a_{ij} x_i x_j + \sum_i b_i x_i + c \\&= {{\bf x}^T \pmb{\mathsf{A}} {\bf x}} + {{\bf b}^T {\bf x} }+{\bf c} \quad ({\pmb{\mathsf{A}} ^T} {\pmb{\mathsf{A}} } \neq 0) \end{aligned})] |
원의 방정식 같이, 특정 도형을 그리는 이차식을 이용해서 문제를 풀 수 있다.
3.2.3. 예제
| [문제] [math(\sqrt{x^2-8x+17}+\sqrt{x^2-2x+5})]의 최솟값을 구하시오. |
- [풀이 보기]
- -----
준식을 변형하면,
[math(\displaystyle \sqrt{(x-4)^2+1^2}+\sqrt{(x-1)^2+(-2)^2} )]
이므로 좌표평면 위의 세 점 [math({\rm X}(x,\,0))], [math({\rm A}(4,\,1))], [math({\rm B}(1,\,-2))]에 대하여 위 식은 [math(\overline{\rm AX}+\overline{\rm XB})]의 최솟값과 같다. 즉, 해당 식이 최소가 되는 경우는 점 [math(\rm X)]가 [math(\overline{\rm AB})] 위에 놓일 경우이다. 따라서 해당 식은 [math(x=3)]일 때 최솟값을 가지며, 최솟값은
[math(\displaystyle \overline{\rm AB}=\sqrt{(4-1)^2+\{1-(-2)\}^2}=3\sqrt2 )]
이다.
| [문제] 연립방정식 [math(\displaystyle \begin{cases} x^2 + y^2 = 3^2 \\ y^2 + yz + z^2 = 4^2 \\ z^2 + \sqrt3zx +x^2 = 5^2 \end{cases})] 을 만족시키는 양수 [math(x)], [math(y)], [math(z)]에 대하여 [math(\displaystyle 2xy + \sqrt3yz + zx)] 의 값을 구하시오. ※ 이 문제는 인도의 Chennai Mathematical Institute 학부과정 2019년 입학 시험 문제였다. |
- [풀이 보기]
- -----
식을 차례대로 변형하면,
[math(\displaystyle \begin{cases} x^2 + y^2 - 2xy\cos\dfrac\pi2 = 3^2 \\\\ y^2 + z^2 - 2yz\cos\dfrac23\pi = 4^2 \\\\ z^2 + x^2 - 2 zx\cos \dfrac56\pi = 5^2\end{cases} )]
인데, 이것을 도형과 연관지어 생각해보자.
위 그림에서 [math(\overline{\rm AE}=x)], [math(\overline{\rm BE}=y)], [math(\overline{\rm CE}=z)]이다. 이제 [math(2xy + \sqrt3yz + zx)]의 값을 구해야 하는데 준 식은 각 삼각형의 넓이의 합 [math(\Delta)]로 구할 수 있다.
[math(\begin{aligned}\Delta &= 6 \\ &= \dfrac12\cdot 3\cdot 4 \\ &= \dfrac12xy\sin\dfrac\pi2 + \dfrac12yz\sin\dfrac23\pi + \dfrac12zx\sin\dfrac56\pi \\ &= \dfrac12xy+\dfrac{\sqrt3}4yz+\dfrac14zx \\ &=\dfrac14(2xy + \sqrt3yz + zx)\end{aligned})]
이상에서 구하는 값은 24이다.
[1] 이런 좌표는 또 [math(n)]차원 좌표계에 표현할 수 있다. 그리고 좌표를 이용하여 표현한다는 것은 곧 대수적인 방법으로도 기하학적 구성을 표현할 수 있다는 말이 된다.[2] 사실은 중3 2학기 피타고라스 정리와 삼각비 단원에서 해석 기하의 기초를 약간 배운다.[3] 가장 유명한 좌표계의 예를 들자면, 2차원에는 극좌표계, 3차원에는 원통 좌표계, 구면 좌표계가 있다.[4] 단순히 좌표 성분의 변화뿐만이 아닌, 기저 벡터의 변화까지 고려해야 한다. 예를 들어, 사람의 키를 [math(\rm pres)]라는 단위로 재고, [math(1\,\rm pres)]를 해당 시점의 대통령의 키로 정의한다고 해보자. 어떤 사람의 키가 [math(150\,\rm cm)]에서 [math(300\,\rm cm)]로 커졌을 때, 대통령의 키가 [math(100\,\rm cm)]에서 [math(150\,\rm cm)]가 되었다면, 그 사람의 키는 [math(1.5\,\rm pres)]에서 [math(2.0\,\rm pres)]로 증가한다. 그 사람의 실제 키는 2배가 되었지만, 키를 재는 단위인 [math(\rm pres)]가 [math(100\,\rm cm)]에서 [math(150\,\rm cm)]로 바뀌면서, 키의 수치만 보면 1.5에서 2.0으로 약 1.33배가 되었다.[5] 각 시점에서 기저 벡터의 방향을 확인해야 한다. 비유클리드 좌표계에서는 같은 벡터라도, 벡터의 출발점이 달라지면 표현 방식이 달라진다. 예를 들어, 같은 고기 1인분이더라도, 고기집마다 1인분에 해당되는 무게가 다르다. 그러므로 서로 다른 가게에서 고기를 1인분씩 산다면, 각각의 가게에서 1인분이 몇 그램인지 고려해서 계산해야 고기의 총 무게를 알 수 있다.[6] 위의 코사인 법칙, 사인 법칙도 포함한다.