방멱 정리

[include(틀:기하학·위상수학)]

[목차]

== 개요 ==
{{{+1 power theorem}}}

원의 현, 할선, 접선에 관한 정리를 의미한다. 여기서 방멱이란, 어떤 한 점 [math( \rm{P} )]를 지나는 직선이 중심이 [math(\rm O)]인 어떤 원 [math( O )]와 만나는 점을 [math( \rm A )], [math( \rm B )]라 했을 때, 두 선분의 곱 [math(\displaystyle \overline{\rm PA}\cdot\overline{\rm PB})]를 가리킨다.

방멱 정리는 아래와 같이 3종류가 있다.
 * 두 현에 대한 방멱
 * 두 할선에 대한 방멱
 * 할선과 접선에 대한 방멱

다만, 말이 3가지이지 결국 한 점 [math( \rm P )]에 대해 임의의 직선에 대한 방멱이 점 [math( \rm P )]가 반지름 [math(r)]의 원의 중부인지 내부인지, 직선이 원에 접하는지 두 점에서 만나는지에 상관없이
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \overline{\rm PA}\cdot\overline{\rm PB}=| {\overline{\rm PO}}^2 - r^2| )]}}}
로 일정하다는 것이다.

이 문서는 [[원주각]] 문서의 내용을 방멱으로  모두 이해하고 있다는 가정 하에 작성되었다. [[원주각]] 관련 정보를 모를 경우 해당 문서로 선수로 읽고 와야한다.

== 종류 ==
=== 두 현에 대한 방멱  ===
||<table bgcolor=#ffffff><color=#000000><table align=center><table width=400px> [[파일:나무_원주각_원과 비례_1.png|width=160&align=center]][br][math( \overline{\mathrm{PA}} \cdot \overline{\mathrm{PB}}=\overline{\mathrm{PC}} \cdot \overline{\mathrm{PD}} )] ||

증명은 아래와 같이 한다. 

[[파일:나무_원주각_원과 비례_1_증명.png|width=160&align=center]]

보조선으로 [math(\overline{\mathrm{AC}})], [math(\overline{\mathrm{BD}})]를 사용한다. 이때,
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \angle{\mathrm{CAB}}=\angle{\mathrm{CDB}}  \quad)](호 [math(\mathrm{BC})]에 대한 원주각)}}}
이고,
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \angle{\mathrm{APC}}=\angle{\mathrm{DPB}}  \quad)]([[맞꼭지각]])}}}
이므로
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \triangle{\mathrm{APC}} \sim \triangle{\mathrm{DPB}} \quad)]([math(\mathrm{AA})] 닮음)}}}
임을 알 수 있다. 이상에서
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \overline{\mathrm{PA}}:\overline{\mathrm{PD}}=\overline{\mathrm{PC}}:\overline{\mathrm{PB}} )] }}}
이것을 정리하면,
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \overline{\mathrm{PA}} \cdot \overline{\mathrm{PB}}=\overline{\mathrm{PC}} \cdot \overline{\mathrm{PD}} )] }}}
을 얻는다.

=== 두 할선에 대한 방멱 ===
||<table bgcolor=#ffffff><color=#000000><table align=center><table width=400px> [[파일:나무_원주각_원과 비례_2.png|width=240&align=center]][br][math( \overline{\mathrm{PA}} \cdot \overline{\mathrm{PB}}=\overline{\mathrm{PC}} \cdot \overline{\mathrm{PD}} )] ||

증명은 아래와 같이 한다. 

[[파일:나무_원주각_원과 비례_2_증명.png|width=240&align=center]]

보조선으로 [math(\overline{\mathrm{AC}})], [math(\overline{\mathrm{BD}})]를 사용한다. 이때, [math(\triangle{\mathrm{APC}})], [math(\triangle{\mathrm{BPD}})]에서 [math(\angle{\mathrm{BPD}})]는 공통인 각이고, [math(\square \mathrm{ACDB})]는 원에 내접하므로 [math(\angle \mathrm{PAC})]의 내대각 [math(\angle \mathrm{CDB})]는 같다. 따라서
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \triangle{\mathrm{APC}} \sim \triangle{\mathrm{DPB}} \quad)]([math(\mathrm{AA})] 닮음)}}}
이고,
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \overline{\mathrm{PA}}:\overline{\mathrm{PC}}=\overline{\mathrm{PD}}:\overline{\mathrm{PB}} )] }}}
이 성립하므로 이것을 정리하면,
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \overline{\mathrm{PA}} \cdot \overline{\mathrm{PB}}=\overline{\mathrm{PC}} \cdot \overline{\mathrm{PD}} )] }}}
을 얻는다.

=== 할선과 접선에 대한 방멱 ===
||<table bgcolor=#ffffff><color=#000000><table align=center><table width=400px> [[파일:파일-나무_원주각_할선과접선_New.png|width=245&align=center]][br][math( {\overline{\mathrm{PT} }}^{2}=\overline{\mathrm{PA} } \cdot \overline{\mathrm{PB}} )] ||

증명은 아래와 같이 한다. 

[[파일:나무_원주각_할선과접선_증명.png|width=190&align=center]]

보조선으로 [math(\overline{\mathrm{AT}})], [math(\overline{\mathrm{BT}})]를 사용하자. [math(\triangle{\mathrm{APT}})], [math(\triangle{\mathrm{TPB}})]에서 [math(\angle{\mathrm{APT}})]는 공통이고, [math(\angle{\mathrm{ATP}}=\angle{\mathrm{ABT}})][* [[원주각]] 문서의 "접선과 현이 이루는 각" 문단 참조.]가 성립하므로
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \triangle{\mathrm{APT}} \sim \triangle{\mathrm{TPB}} \quad)]([math(\mathrm{AA})] 닮음)}}}
이고,
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \overline{\mathrm{PT}}:\overline{\mathrm{PB}}=\overline{\mathrm{PA}}:\overline{\mathrm{PT}} )] }}}
이 성립하므로 이것을 정리하면,
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle {\overline{\mathrm{PT} }}^{2}=\overline{\mathrm{PA} } \cdot \overline{\mathrm{PB}} )] }}}
을 얻는다.

== 방멱 정리의 역 ==
[[피타고라스 정리]]의 역과 비슷하게 방멱의 정리에도 역이 있다.
||<table width=100%>두 선분 [math( \overline{\rm AB} )], [math( \overline{\rm CD} )] 혹은 그 연장선의 교점 [math( \rm P )]에 대해서 [math( \overline{\rm PA}\cdot\overline{\rm PB}=\overline{\rm PC}\cdot\overline{\rm PD} )]가 성립하면 네 점 [math( \rm A )], [math( \rm B )], [math( \rm C )], [math( \rm D )]는 원 위에 있다. ||

이것의 증명은 세 점 [math(\rm A)], [math(\rm B)], [math(\rm C)]가 원 위에 있다고 가정하고, 선분 [math(\rm CP)]의 연장선과 원이 만나는 점을 [math(\rm D')]라 하자. 방멱 정리에 의하여 [math( \overline{\rm PA}\cdot\overline{\rm PB}=\overline{\rm PC}\cdot\overline{\rm PD'} )]이 성립한다. 한편, [math( \overline{\rm PA}\cdot\overline{\rm PB}=\overline{\rm PC}\cdot\overline{\rm PD} )] 또한 성립하는데, 두 식을 연립하면 [math(\overline{\rm PD}=\overline{\rm PD'})]이다. 그런데 두 점 [math(\rm D)], [math(\rm D')] 모두 선분 [math(\rm CP)]의 연장선(혹은 해당 선분) 상에 존재하므로 두 점은 같아야 한다는 결론을 얻는다. 따라서 [math( \overline{\rm PA}\cdot\overline{\rm PB}=\overline{\rm PC}\cdot\overline{\rm PD} )]을 만족하면, 네 점 [math(\rm A)], [math(\rm B)], [math(\rm C)], [math(\rm D)]는 한 원 위에 있다.

== 기타 ==
 * 2009 개정 교육과정에서는 "원과 직선에 관한 성질" 혹은 "원과 비례"라는 이름으로 중3 때 다루었으나, 2015 개정 교육과정에 들어 다루지 않게 되었다. 다만 관련 문제는 계속 나온다는 게 함정.

== 관련 문서 ==
 * [[원(도형)]]
 * [[원주각]]
 * [[오일러 삼각형 정리]]

[각주][include(틀:문서 가져옴, title=원주각, version=94)]

[[분류:기하학]][[분류:논증 기하학]]