Math Atlas

현과 접선Chords & Tangents

GeometryGeometry · 8. 원8. Circles

학습 목표
  • 현·호·할선·접선 등 원의 기본 용어를 정리한다.
  • 중심과 현 사이의 수직 정리, 현의 길이와 중심거리의 관계를 증명한다.
  • 접선의 수직 정리와 두 접선 정리를 증명하고, 내접원의 "접한다"를 정식으로 청산한다.

완벽한 대칭의 도형

원은 정의 하나로 요약된다 — 한 점(중심)에서 같은 거리(rr, 반지름)에 있는 점 전부. 이 한 줄이 원을 가장 대칭적인 도형으로 만들고, 그 대칭이 이 단원의 모든 정리를 낳는다. 어느 방향으로 돌려도 같은 도형이므로, 원에 관한 정리는 대부분 "중심에서 보면" 단순해진다.

용어부터 정리하자. 원 위의 두 점을 이은 선분이 , 중심을 지나는 현이 지름(가장 긴 현), 두 점 사이의 원 둘레 조각이 다. 원과 두 점에서 만나는 직선은 할선, 꼭 한 점에서만 만나는 직선은 접선이고 그 한 점이 접점이다.

O A B 2 1
현·지름·호·할선·접선 — 원 주변의 다섯 용어.

중심과 현: 이등변의 재직

현 하나를 잡으면 원의 대칭이 즉시 삼각형 하나를 만든다 — 중심 OO와 현 AB\overline{AB}의 두 끝을 이으면 OA=OB=rOA = OB = r이등변삼각형이다. 그러면 합동 단원의 축 정리가 그대로 적용된다.

정리 (수직이등분 정리) — 중심에서 현에 내린 수선은 그 현을 이등분한다. 거꾸로, 현의 수직이등분선은 중심을 지난다.

증명. OAB\triangle OABOA=OBOA = OB인 이등변이므로, 꼭짓점 OO에서 내린 수선은 이등변의 축 — 밑변 AB\overline{AB}를 이등분한다. 역은 자취로: 현의 수직이등분선은 AA, BB에서 같은 거리인 점 전부의 모임인데, OA=OBOA = OB이므로 중심이 그 위에 있다. \blacksquare

O A B M r r
중심에서 현으로 — 반지름 두 개가 이등변을 만들고, 축이 현을 가른다.

역방향은 실전 도구다. 호 한 조각만 있으면 중심을 복원할 수 있다 — 호 위에 현을 두 개 긋고 각각의 수직이등분선을 그으면, 둘 다 중심을 지나므로 교점이 곧 중심이다. 깨진 접시 조각에서 원래 지름을 알아내는 고고학의 실제 절차가 이 정리다.

현의 길이는 중심거리(중심에서 현까지의 거리 dd)가 관리한다. 수선의 발이 현을 이등분하므로, 반현·중심거리·반지름이 직각삼각형을 이룬다:

(2)2+d2=r2.\left(\frac{\ell}{2}\right)^2 + d^2 = r^2.

피타고라스가 원에 들어온 첫 장면이다. 이 식에서 두 결론이 바로 읽힌다 — 같은 원에서 두 현의 길이가 같을 필요충분조건은 중심거리가 같은 것이고, 중심에서 멀수록 현은 짧다(지름이 최장인 이유).

예제

반지름 1313인 원에서 중심거리가 55인 현의 길이는

2=13252=144=12    =24.\frac{\ell}{2} = \sqrt{13^2 - 5^2} = \sqrt{144} = 12 \;\Longrightarrow\; \ell = 24.

검산: 122+52=169=13212^2 + 5^2 = 169 = 13^2 ✓ — 55-1212-1313이 원 안에서 다시 나왔다.

접선: 딱 한 점의 기하

정리 (접선의 수직 정리) — 접선은 접점을 지나는 반지름과 수직이다. 거꾸로, 반지름의 끝에서 반지름에 수직인 직선은 접선이다.

증명. 접점을 PP, 접선을 \ell이라 하고, \ellOP\overline{OP}와 수직이 아니라고 하자. 그러면 OO에서 \ell에 내린 수선의 발 HHPP와 다른 점이고, 수선은 최단이므로 OH<OP=rOH < OP = r — 즉 HH는 원의 내부에 있다. 내부를 지나는 직선은 원을 두 점에서 꿰뚫으므로 \ell은 할선이 되어, 접선이라는 가정에 모순이다.

역도 최단 논증 한 번이다: OP\ell \perp \overline{OP}이고 OP=rOP = r이면, \ell 위의 다른 모든 점 QQOQ>OP=rOQ > OP = r(빗변이 다리보다 길다)이므로 원 밖에 있다. \ell과 원의 공유점은 PP 하나 — 접선이다. \blacksquare

"수선은 최단"(삼각형의 성질 단원)이 원에 와서 접선의 정의를 통째로 장악했다. 접선 문제에서 반지름을 접점에 긋는 순간 직각이 공짜로 생긴다 — 이 직각이 피타고라스와 삼각비의 입장권이다.

두 접선 정리: HL의 재등장

원 밖의 점에서는 접선을 정확히 두 개 그을 수 있다. 그 둘은 놀랍도록 대칭적이다.

정리 (두 접선 정리) — 외부의 점 PP에서 원에 그은 두 접선의 접점을 AA, BB라 하면 PA=PBPA = PB이고, PO\overline{PO}APB\angle APB를 이등분한다.

증명. OPA\triangle OPAOPB\triangle OPB를 비교하자. 접선의 수직 정리로 둘 다 AA, BB에서 직각이고, 빗변 OP\overline{OP}는 공통, 다리 OA=OB=rOA = OB = r. HL 합동이다. 대응변에서 PA=PBPA = PB, 대응각에서 OPA=OPB\angle OPA = \angle OPB. \blacksquare

P O A B r
외부점에서 그은 두 접선 — 직각 두 개, 공통 빗변, HL.

빗변과 다리 하나로 합동을 부르는 HL의 전형적인 무대다 — 직각은 접선이 무료로 제공하고, 빗변은 공통이고, 다리는 반지름이다.

참고

삼각형의 성질 단원에서 내심을 세울 때 "세 변에 접하는 원"이라 불렀지만, 접한다는 말의 근거는 미뤄 두었다. 이제 청산한다: 내심 II에서 세 변까지의 거리는 같고(그 값이 rr), 각 변은 II에서 내린 수선의 발에서 반지름과 수직인 직선이다 — 방금 증명한 역 정리에 의해 세 변 모두 내접원의 접선이다. 그 시절의 이름이 오늘 정확해졌다.

주의

접선 문제의 직각은 접점의 반지름과 이룬다 — 중심과 외부점을 이은 OP\overline{OP}와 접선이 수직인 것이 아니다. 직각의 위치를 접점에 정확히 찍고 시작하라. 그림에서 직각 표시가 어디 붙어 있는지가 곧 풀이의 출발점이다.

Goals
  • Organize the circle's basic vocabulary: chord, arc, secant, tangent.
  • Prove the perpendicular theorem between center and chord, and the chord-length/center-distance relation.
  • Prove the tangent perpendicularity theorem and the two-tangent theorem, and formally settle the incircle's "tangent to."

The perfectly symmetric figure

A circle is one line of definition — all points at the same distance (rr, the radius) from one point (the center). That single line makes the circle the most symmetric of figures, and the symmetry begets every theorem in this unit. Turn a circle any amount and it lands on itself, so most circle theorems become simple "as seen from the center."

Vocabulary first. A segment joining two points on the circle is a chord; a chord through the center is a diameter (the longest chord); the piece of the circle between two points is an arc. A line meeting the circle at two points is a secant; a line meeting it at exactly one point is a tangent, and that one point is the point of tangency.

O A B 2 1
Chord, diameter, arc, secant, tangent — five words around one circle.

Center and chord: the isosceles axis, re-employed

Draw any chord and the circle's symmetry instantly builds a triangle — joining the center OO to the chord AB\overline{AB}'s endpoints gives an isosceles triangle with OA=OB=rOA = OB = r. The axis theorem from the congruence unit applies verbatim.

Theorem (perpendicular bisection) — The perpendicular from the center to a chord bisects the chord. Conversely, a chord's perpendicular bisector passes through the center.

Proof. OAB\triangle OAB is isosceles with OA=OBOA = OB, so the perpendicular dropped from the apex OO is the isosceles axis — it bisects the base AB\overline{AB}. The converse is a locus argument: the chord's perpendicular bisector is the set of all points equidistant from AA and BB, and OA=OBOA = OB puts the center on it. \blacksquare

O A B M r r
From center to chord — two radii make an isosceles triangle, and its axis splits the chord.

The converse is a field tool. A single arc is enough to recover the center — draw two chords on the arc and each perpendicular bisector passes through the center, so their intersection is the center. Archaeologists reconstruct a broken plate's original diameter by exactly this theorem.

Chord length is governed by the center distance (the distance dd from center to chord). Since the perpendicular's foot bisects the chord, half-chord, center distance, and radius form a right triangle:

(2)2+d2=r2.\left(\frac{\ell}{2}\right)^2 + d^2 = r^2.

Pythagoras' first entrance into the circle. Two conclusions read straight off this equation — in one circle, two chords are equal if and only if their center distances are equal, and the farther from the center, the shorter the chord (why the diameter is longest).

Example

In a circle of radius 1313, a chord at center distance 55 has length

2=13252=144=12    =24.\frac{\ell}{2} = \sqrt{13^2 - 5^2} = \sqrt{144} = 12 \;\Longrightarrow\; \ell = 24.

Check: 122+52=169=13212^2 + 5^2 = 169 = 13^2 ✓ — the 55-1212-1313 triple, resurfacing inside a circle.

Tangents: the geometry of exactly one point

Theorem (tangent perpendicularity) — A tangent is perpendicular to the radius drawn to its point of tangency. Conversely, the line through a radius's endpoint perpendicular to that radius is a tangent.

Proof. Let PP be the point of tangency and \ell the tangent, and suppose \ell is not perpendicular to OP\overline{OP}. Then the foot HH of the perpendicular from OO to \ell differs from PP, and since the perpendicular is shortest, OH<OP=rOH < OP = r — so HH lies inside the circle. A line passing through the interior pierces the circle at two points, making \ell a secant — contradicting tangency.

The converse is one more shortest-path argument: if OP\ell \perp \overline{OP} with OP=rOP = r, every other point QQ on \ell has OQ>OP=rOQ > OP = r (hypotenuse beats leg), hence lies outside. The line shares only PP with the circle — a tangent. \blacksquare

"The perpendicular is shortest" (triangle properties unit) arrives at the circle and takes full command of tangency. In any tangent problem, drawing the radius to the point of tangency buys a free right angle — the admission ticket for Pythagoras and trigonometry.

The two-tangent theorem: HL returns

From a point outside a circle, exactly two tangents can be drawn — and they are strikingly symmetric.

Theorem (two tangents) — From an external point PP, if the two tangents touch at AA and BB, then PA=PBPA = PB, and PO\overline{PO} bisects APB\angle APB.

Proof. Compare OPA\triangle OPA and OPB\triangle OPB. By tangent perpendicularity both have right angles at AA and BB; the hypotenuse OP\overline{OP} is shared; the legs OA=OB=rOA = OB = r. HL congruence. Corresponding parts give PA=PBPA = PB and OPA=OPB\angle OPA = \angle OPB. \blacksquare

P O A B r
Two tangents from an external point — two right angles, one shared hypotenuse, HL.

This is HL's signature stage — hypotenuse plus one leg: the right angles come free from tangency, the hypotenuse is shared, the legs are radii.

Note

When the incenter was built in the triangle properties unit, we said the incircle is "tangent to the three sides" — and postponed what tangent meant. Settlement: the incenter II is equidistant from the three sides (that distance being rr), and each side is a line through a radius's endpoint perpendicular to it — so by the converse just proved, all three sides are genuine tangents of the incircle. The old name has finally earned its precision.

Watch out

The right angle in a tangent problem is with the radius at the point of tangency — not between the tangent and the line OP\overline{OP} to the external point. Pin the right angle at the correct spot before anything else; where that little square sits in the figure is where the solution starts.