모르-마스케로니 정리 문서 원본 보기

{{위키데이터 속성 추적}}
'''모르-마스케로니 정리'''(Mohr-Mascheroni theorem, -定理)는 [[기하학]]의 [[작도]] 문제에 대한 [[정리]]이다. [[덴마크]] 수학자 [[게오르그 모르]](Georg Mohr)와 [[이탈리아]] 수학자 [[로렌초 마스케로니]](Lorenzo Mascheroni)의 이름이 붙어 있다. 그 내용은 다음과 같다.

* 눈금 없는 [[자 (도구)|자]]와 [[컴퍼스]]만으로 작도 가능한 모든 도형은 컴퍼스만으로도 작도할 수 있다.

이 정리는 [[1672년]] 모르가 먼저 증명하여 출판하였으나, 당시 모르의 저작은 당대의 학술 공용어인 [[라틴어]]가 아닌 [[덴마크어]]로 쓰여진 것이라 [[1928년]]까지 잊혀졌다 덴마크의 헌책방에서 발견되었다. 모르의 원 저작이 발견되기 이전 이 정리는 마스케로니가 [[1797년]] 독립적으로 증명하여 [[나폴레옹]]에게 헌정된 자신의 책 『컴퍼스의 기하학』({{llang|it|La Geometria del Compasso|라 제오메트리아 델 콤파소}})에 실었다. 반대로 눈금 없는 자만으로 작도하는 경우는 [[퐁슬레-슈타이너 정리]]로 주어진다.

== 증명 ==
증명을 위해서는 다음의 기본 작도가 컴퍼스만으로 작도 가능함을 보여야 한다.
# 두 점을 지나는 직선
# 한 점을 중심으로 하고 다른 한 점을 지나는 원
# 평행하지 않은 두 직선의 교점
# 원과 직선의 교점(교점이 존재하는 경우)
# 두 원의 교점(교점이 존재하는 경우)
직선은 눈금 없는 자 없이는 그려질 수 없으므로(#1), 직선은 서로 다른 두 점에 의해 결정되는 것으로 보아야 한다. #2와 #5는 컴퍼스에 의해서 직접적으로 작도 가능하다. 따라서 #3과 #4가 증명되어야한다.

=== 평행하지 않은 두 직선의 교점 ===
컴퍼스만으로 평행하지 않은 두 직선의 교점을 구하기 위해서는 선분의 중점과  길이 a, b 가 주어졌을 때 <math>a^2=bc</math>를 만족하는 길이 c를 구할 수 있어야 한다.

==== 선분의 중점 ====
[[파일:모르-마스케포니 중점.png|섬네일|컴퍼스만을 이용하여 선분의 중점을 구하는 과정이다.]]
선분 AB가 있을 때, 점 A가 중심이고 B를 지나는 원 c와 점 B가 중심이고 A를 지나는 원 d를 그린다.

원 c와 원 d의 교점을 점 C, D라 할 때, 점 C가 중심이고 점 D를 지나는 원호를 그려 원 d와의 교점을 점 E라 한다.

점 E가 중심이고 점 A를 지나는 원호를 그려 원 c와의 교점을 점 F, G라 한다.

점 F, G가 중심이고 점 A를 지나는 두 원의 점 A가 아닌 교점을 점 H라 하면 점 H가 선분 AB의 중점이다.

또한, 이 때 선분 AE의 길이는 선분 AB의 길이의 두 배이다.

==== <math>a^2=bc</math>를 만족하는 길이 c ====
[[파일:모르-마스케로니 3.png|섬네일|
<math>a^2=bc</math>를 만족하는 길이 c
]]
길이가 a인 선분 AB가 있다고 하자.

선분의 중점 작도 과정을 통해 직선 AB위에 선분 BC의 길이가 a가 되는 점 C를 잡을 수 있다.

점 A, C를 지나는 임의의 원 d를 그린다.

선분 BE의 길이가 b가 되는 원 d 위의 점 E를 잡는다.

하단의 원과 직선의 교점 작도를 이용하여 직선 BE와 원 d의 교점 F를 작도한다.

선분 BF의 길이 c는 <math>a^2=bc</math>를 만족한다.

==== 평행하지 않은 두 직선의 교점 ====
[[파일:모르-마스케로니 4.png|섬네일|컴퍼스만을 이용하여 평행하지 않은 두 직선의 교점을 구하는 과정이다.]]
평행하지 않은 두 직선 AB와 CD가 있다고 하자.

점의 직선에 대한 대칭점 작도와 선분의 중점 작도를 이용하여 점 C에서 직선 AB에 내린 수선의 발 E를 작도할 수 있다.

마찬가지로 점 E에서 직선 CD에 내린 수선의 발 F를 작도할 수 있다.

직선 AB와 직선 CD의 교점이 점 G이고, 선분 CE의 길이를 a, 선분 CF의 길이를 b라 하면 선분 CG의 길이 c는 <math>a^2=bc</math>를 만족한다.

<math>a^2=bc</math>를 만족하는 길이 c를 구하는 작도를 이용하여 선분 CG의 길이를 구한 후, 중심이 C이고 반지름이 c인 원을 그리면, 하단의 원과 직선의 교점 작도를 이용하여 직선 AB와 직선 CD의 교점 G를 작도할 수 있다.

=== 원과 직선의 교점 ===

==== 원의 중심 ====
컴퍼스만으로 원과 직선의 교점을 구하기 위해서는 임의의 원의 중심을 컴퍼스만으로 구할 수 있어야 한다.
[[파일:Pb napoleon.png|섬네일|컴퍼스만을 이용하여 원의 중심을 구하는 과정이다.]]
원 C를 중심이 구해지지 않은 원, 점 A를 원 C 위의 임의의 점이라고 하자.

점 A가 중심인 원 C<sub>1</sub>가 원 C와 점 B, B'에서 만난다.

B, B'이 중심이고 반지름이 AB인 원 C<sub>2</sub>가 점 A, C에서 만난다.

점 C가 중심이고 반지름이 AC인 원 C<sub>3</sub>가 점 D, D'에서 만난다.

D, D'이 중심이고 반지름이 AD인 원 C<sub>4</sub>가 점 A, O에서 만나면 점 O가 원 C의 중심이다.

==== 원과 직선의 교점 ====
[[파일:원과 직선의 교점.png|섬네일|210x210픽셀|컴퍼스만을 이용하여 원과 직선의 교점을 구하는 과정이다.]]
직선 l이 서로 다른 두 점 B, C에 의해 결정되고, 이 직선과 원 c의 교점을 구한다고 하자.

원 c 의 중심 A를 직선 l에 대해 대칭시킨 점 A′을 잡을 수 있다. 

점 A'이 중심이고 반지름이 원 c와 같은 원 g를 그리면, 원 c와 원 g의 교점 D, E가 직선 l과 원 c의 교점이다.

== 같이 보기 ==
* [[나폴레옹의 문제]]
* [[퐁슬레-슈타이너 정리]]

[[분류:기하학 정리]]
[[분류:기하학]]
[[분류:유클리드 기하학]]
[[분류:컴퍼스와 자 작도]]