Math Atlas

원과 선분의 곱Power of a Point

GeometryGeometry · 8. 원8. Circles

학습 목표
  • 두 현 정리와 접선 정리를 닮음으로 증명하고, 두 할선 정리까지 한 가족으로 묶는다.
  • PAPBPA \cdot PB가 직선의 선택과 무관함을 보이고, 그 값(방멱)을 OP2r2OP^2 - r^2으로 계산한다.
  • "제곱 == 곱" 무늬가 닮음 단원에서 온 것임을 확인한다.

각에서 길이로

지난 세 차시는 원의 을 다뤘다 — 이번에는 길이다. 도구는 새것이 아니다: 원주각 정리가 같은 각을 여러 자리에 복사해 주면, 닮음 단원의 AA가 그 각들로 삼각형을 포개고, 비례식이 길이의 곱을 토해낸다. 원 위의 각 정리와 닮음이 악수하는 지점이 이 차시다.

두 현 정리: 교점이 지키는 곱

정리 (두 현 정리) — 두 현 AB\overline{AB}, CD\overline{CD}가 원 안의 점 PP에서 만나면

PAPB=PCPD.PA \cdot PB = PC \cdot PD.

증명. AC\overline{AC}DB\overline{DB}를 그어 PAC\triangle PACPDB\triangle PDB를 만들자. PAC=PDB\angle PAC = \angle PDB(둘 다 호 CBCB를 보는 원주각), APC=DPB\angle APC = \angle DPB(맞꼭지각) — AA 닮음이다. 대응변의 비에서

PAPD=PCPB    PAPB=PCPD.\frac{PA}{PD} = \frac{PC}{PB} \;\Longrightarrow\; PA \cdot PB = PC \cdot PD. \qquad \blacksquare

A B C D P
안에서 만난 두 현 — 원주각 두 쌍이 나비꼴 닮음을 만든다.

닮음 단원의 나비꼴 구도 그대로다 — 다른 점은 "두 각이 같다"의 공급처가 평행선이 아니라 원주각 정리라는 것뿐이다. 비례식을 교차로 곱하면 "조각의 곱"이 보존된다: PP를 지나는 현을 어떻게 돌려도 두 조각의 곱은 같은 값이다.

예제

PA=5PA = 5, PB=6PB = 6, PC=3PC = 3이면 PD=5×63=10PD = \dfrac{5 \times 6}{3} = 10.

밖에서: 할선과 접선

PP를 원 밖으로 꺼내도 같은 곱이 살아남는다. 두 할선이 원과 AA, BB(AA가 가까움)와 CC, DD(CC가 가까움)에서 만나면 — 이번에도 PADPCB\triangle PAD \sim \triangle PCB(공통각 PP, 그리고 호 ACAC를 보는 원주각 PDA=PBC\angle PDA = \angle PBC)에서

PAPB=PCPDPA \cdot PB = PC \cdot PD

가 나온다(증명은 문제에서 완성한다). 흥미로운 것은 할선 하나를 접선으로 극한까지 보낸 경우다 — AABB가 접점 TT로 합쳐지면 곱 PAPBPA \cdot PBPT2PT^2이 된다.

정리 (접선-할선 정리) — 접점 TT와 할선 교점 AA, BB에 대해

PT2=PAPB.PT^2 = PA \cdot PB.

증명. PTA\triangle PTAPBT\triangle PBT를 비교하자. P\angle P는 공통이고, PTA\angle PTA는 접현각이므로 현 TA\overline{TA} 건너편의 원주각 TBA=PBT\angle TBA = \angle PBT와 같다 — AA 닮음. 대응변에서

PTPB=PAPT    PT2=PAPB.\frac{PT}{PB} = \frac{PA}{PT} \;\Longrightarrow\; PT^2 = PA \cdot PB. \qquad \blacksquare

P T A B PT² = PA · PB
접선과 할선 — 접현각이 닮음의 둘째 각을 대 준다.

PTPT가 비례식의 안쪽 두 자리에 겹으로 서는 "제곱 == 곱" 무늬 — 수선 분할의 h2=pqh^2 = pq, 닮음 단원 마지막 문제의 AB2=ADACAB^2 = AD \cdot AC와 같은 혈통이다. 셋 모두 "한 변을 공유하는 닮은 두 삼각형"이 만든 기하평균이다.

예제

PA=2PA = 2, PB=8PB = 8이면 접선의 길이는 PT=2×8=4PT = \sqrt{2 \times 8} = 4PTPTPAPAPBPB의 기하평균이다.

방멱: 점 하나에 값 하나

두 현 정리의 놀라운 부분은 곱이 직선의 선택과 무관하다는 것이다. 그렇다면 그 값은 직선이 아니라 점 PP 자체의 소유물이다 — 값을 직접 계산해 두자.

PP를 지나는 직선 중 가장 계산하기 쉬운 것, 중심을 지나는 직선을 고른다. PP가 원 안에 있으면 두 조각은 rOPr - OPr+OPr + OP이므로

PAPB=(rOP)(r+OP)=r2OP2,PA \cdot PB = (r - OP)(r + OP) = r^2 - OP^2,

PP가 원 밖에 있으면 OPrOP - rOP+rOP + r이므로 OP2r2OP^2 - r^2이다. 이 값 OP2r2|OP^2 - r^2|을 점 PP방멱(power of a point)이라 부른다.

원 안: PAPB=r2OP2,원 밖: PAPB=PT2=OP2r2.\text{원 안: } PA \cdot PB = r^2 - OP^2, \qquad \text{원 밖: } PA \cdot PB = PT^2 = OP^2 - r^2.

곱셈 공식 (ab)(a+b)=a2b2(a-b)(a+b) = a^2 - b^2이 기하에서 실물로 등장했다. PP가 원에 가까울수록 방멱은 00에 가까워지고, 원 위에서는 정확히 00 — 방멱은 "점이 원에서 얼마나 떨어져 있는가"를 곱셈의 언어로 잰 것이다.

예제

반지름 55인 원의 중심에서 77만큼 떨어진 외부 점의 방멱은 7252=247^2 - 5^2 = 24. 이 점에서 그은 접선의 길이는 24=26\sqrt{24} = 2\sqrt6이고, 어느 할선을 그어도 두 교점까지 거리의 곱은 2424다.

주의

할선 곱은 언제나 PP에서 잰 거리끼리의 곱이다 — PAPBPA \cdot PB이지 PAABPA \cdot AB가 아니다. 특히 ABAB(현의 길이)가 주어진 문제에서는 PB=PA+ABPB = PA + AB로 바꿔 넣는 한 단계를 빼먹기 쉽다. 곱을 쓰기 전에 네 거리의 기준점이 전부 PP인지 확인하라.

이로써 원 단원이 닫힌다 — 대칭이 현을(1차시), 이등변과 외각이 원주각을(2차시), 외각이 위치별 각을(3차시), 그리고 닮음이 길이의 곱을(이번 차시) 맡았다. 다음 단원은 이 도형들의 넓이를 잰다.

Goals
  • Prove the two-chord theorem and the tangent-secant theorem by similarity, uniting the two-secant theorem into one family.
  • Show the product PAPBPA \cdot PB is independent of the chosen line, and compute its value (the power) as OP2r2OP^2 - r^2.
  • Recognize the "square == product" pattern as an old friend from the similarity unit.

From angles to lengths

Three lessons on the circle's angles — now its lengths. The tools are not new: the inscribed angle theorem copies equal angles into several seats, the similarity unit's AA overlays triangles on those angles, and proportions spit out products of lengths. This lesson is where the circle's angle theorems and similarity shake hands.

The two-chord theorem: a product the intersection keeps

Theorem (two chords) — If chords AB\overline{AB} and CD\overline{CD} meet at a point PP inside the circle, then

PAPB=PCPD.PA \cdot PB = PC \cdot PD.

Proof. Draw AC\overline{AC} and DB\overline{DB}, forming PAC\triangle PAC and PDB\triangle PDB. Then PAC=PDB\angle PAC = \angle PDB (both inscribed on arc CBCB) and APC=DPB\angle APC = \angle DPB (vertical angles) — AA similarity. Corresponding sides give

PAPD=PCPB    PAPB=PCPD.\frac{PA}{PD} = \frac{PC}{PB} \;\Longrightarrow\; PA \cdot PB = PC \cdot PD. \qquad \blacksquare

A B C D P
Two chords meeting inside — two pairs of inscribed angles make a butterfly similarity.

The butterfly configuration from the similarity unit, verbatim — the only change is the supplier of "two equal angles": the inscribed angle theorem instead of parallel lines. Cross-multiplying preserves the product of the pieces: spin the chord through PP any way you like, the two pieces always multiply to the same value.

Example

If PA=5PA = 5, PB=6PB = 6, PC=3PC = 3, then PD=5×63=10PD = \dfrac{5 \times 6}{3} = 10.

Outside: secants and the tangent

Move PP outside and the product survives. Two secants meeting the circle at AA, BB (AA nearer) and CC, DD (CC nearer) satisfy

PAPB=PCPDPA \cdot PB = PC \cdot PD

— this time from PADPCB\triangle PAD \sim \triangle PCB (shared angle PP, plus inscribed angles PDA=PBC\angle PDA = \angle PBC on arc ACAC; the proof is completed in the problems). The interesting case is pushing one secant to its tangent limit — as AA and BB merge into the point of tangency TT, the product PAPBPA \cdot PB becomes PT2PT^2.

Theorem (tangent-secant) — For a tangent touching at TT and a secant through AA, BB:

PT2=PAPB.PT^2 = PA \cdot PB.

Proof. Compare PTA\triangle PTA and PBT\triangle PBT. The angle PP is shared, and PTA\angle PTA is a tangent-chord angle, equal to the inscribed angle across chord TA\overline{TA} — that is, TBA=PBT\angle TBA = \angle PBT. AA similarity, and corresponding sides give

PTPB=PAPT    PT2=PAPB.\frac{PT}{PB} = \frac{PA}{PT} \;\Longrightarrow\; PT^2 = PA \cdot PB. \qquad \blacksquare

P T A B PT² = PA · PB
Tangent and secant — the tangent-chord angle supplies the second angle of the similarity.

PTPT occupies both middle seats of the proportion — the "square == product" pattern, blood kin to the altitude split's h2=pqh^2 = pq and the similarity unit's final problem AB2=ADACAB^2 = AD \cdot AC. All three are geometric means born of two similar triangles sharing a side.

Example

If PA=2PA = 2 and PB=8PB = 8, the tangent length is PT=2×8=4PT = \sqrt{2 \times 8} = 4 — the geometric mean of PAPA and PBPB.

The power of a point: one value per point

The striking part of these theorems is that the product does not depend on the line. Then the value belongs not to any line but to the point PP itself — so let us compute it once and for all.

Among all lines through PP, pick the easiest: the one through the center. If PP is inside, the two pieces are rOPr - OP and r+OPr + OP, so

PAPB=(rOP)(r+OP)=r2OP2;PA \cdot PB = (r - OP)(r + OP) = r^2 - OP^2;

if PP is outside, they are OPrOP - r and OP+rOP + r, giving OP2r2OP^2 - r^2. The value OP2r2|OP^2 - r^2| is called the power of the point PP.

inside: PAPB=r2OP2,outside: PAPB=PT2=OP2r2.\text{inside: } PA \cdot PB = r^2 - OP^2, \qquad \text{outside: } PA \cdot PB = PT^2 = OP^2 - r^2.

The product formula (ab)(a+b)=a2b2(a-b)(a+b) = a^2 - b^2, appearing in the flesh. The closer PP is to the circle, the closer the power to 00 — exactly 00 on the circle itself. The power measures "how far a point is from a circle" in the language of multiplication.

Example

An external point 77 from the center of a radius-55 circle has power 7252=247^2 - 5^2 = 24. Its tangent length is 24=26\sqrt{24} = 2\sqrt6, and every secant from it multiplies its two crossing distances to 2424.

Watch out

Secant products always multiply distances measured from PPPAPBPA \cdot PB, never PAABPA \cdot AB. When a problem hands you the chord length ABAB, converting via PB=PA+ABPB = PA + AB is the step most often skipped. Before multiplying, confirm all four distances are anchored at PP.

And that closes the circle unit — symmetry handled chords (lesson 1), isosceles triangles and exterior angles handled inscribed angles (lesson 2), exterior angles handled every vertex position (lesson 3), and similarity handled products of lengths (this lesson). The next unit measures these figures' areas.