Math Atlas

중심각과 원주각Central & Inscribed Angles

GeometryGeometry · 8. 원8. Circles

학습 목표
  • 중심각과 원주각을 정의하고, 원주각은 중심각의 절반임을 세 경우로 증명한다.
  • 탈레스 정리와 그 역을 증명하고, 삼각형의 성질 단원의 두 빚(빗변 중선, BOC=2A\angle BOC = 2\angle A)을 청산한다.
  • 내접사각형의 대각 정리를 유도한다.

호를 "보는" 각

원 위에 호 ABAB를 하나 정하자. 이 호를 바라보는 각은 서 있는 자리에 따라 둘로 나뉜다 — 중심 OO에서 본 AOB\angle AOB가 중심각, 호 밖의 원 위 점 PP에서 본 APB\angle APB원주각이다.

O P A B θ
같은 호 AB를 보는 두 각 — 중심에서 본 2θ와 원 위에서 본 θ.

중심각은 호와 일대일이다(호가 클수록 크게 벌어진다). 놀라운 것은 원주각 쪽이다 — PP가 호 반대쪽 원 위 어디에 있든 원주각의 크기가 변하지 않고, 언제나 중심각의 정확히 절반이다.

원주각 정리: 절반의 증명

정리 (원주각 정리) — 한 호에 대한 원주각은 그 호에 대한 중심각의 절반이다: APB=12AOB\angle APB = \dfrac12 \angle AOB.

증명. PP와 중심 OO의 위치 관계로 세 경우를 나눈다.

경우 1 — 한 변이 중심을 지날 때 (PB\overline{PB}가 지름). OPA\triangle OPA에서 OP=OA=rOP = OA = r — 이등변이다. 밑각을 θ\theta라 하면 OPA=OAP=θ\angle OPA = \angle OAP = \theta이고, AOB\angle AOBOPA\triangle OPA외각이므로 두 내대각의 합:

AOB=θ+θ=2APB.\angle AOB = \theta + \theta = 2\angle APB.

경우 2 — 중심이 각의 안쪽에 있을 때. 지름 PQ\overline{PQ}를 그어 각을 둘로 가른다. 각 조각에 경우 1을 적용하면 AOQ=2APQ\angle AOQ = 2\angle APQ, QOB=2QPB\angle QOB = 2\angle QPB — 두 식을 더하면 끝이다.

경우 3 — 중심이 각의 바깥쪽에 있을 때. 같은 지름 PQ\overline{PQ}에 대해 이번에는 두 식을 빼면 된다. \blacksquare

P 1 P 2 P 3
세 경우 — 지름을 낀 경우가 부품이고, 나머지는 더하기와 빼기다.

증명의 부품이 전부 낯익다 — 반지름 두 개가 만드는 이등변과, 삼각형의 외각 정리. 경우 1이 유일한 실전이고 경우 2·3은 지름 보조선으로 경우 1을 재활용하는 조립이다.

따름정리 하나가 즉시 나온다. 같은 호에 대한 원주각은 모두 같다 — 어느 원주각이든 같은 중심각의 절반이기 때문이다. PP가 원 위를 미끄러져도 각이 그대로인 이 성질은, 원 문제에서 각을 자유롭게 "이사"시키는 핵심 수법이 된다.

예제

중심각 BOC=120°\angle BOC = 120°이면, 호 BCBC를 보는 원주각은 BAC=60°\angle BAC = 60°AA가 반대쪽 호의 어디에 있어도 같다.

거꾸로 삼각형의 성질 단원에서 남긴 빚 하나가 여기서 청산된다: 외심 OO를 가진 ABC\triangle ABC에서 BOC=2A\angle BOC = 2\angle A라는 관찰은, 외접원의 중심각과 원주각 관계 그 자체였다.

탈레스 정리: 지름이 만드는 직각

호가 반원이면 중심각은 평각 180°180° — 그 절반은 직각이다.

정리 (탈레스) — 지름을 보는 원주각은 90°90°다. 거꾸로, C=90°\angle C = 90°인 직각삼각형에서 빗변 AB\overline{AB}는 외접원의 지름이다.

정방향은 원주각 정리의 특수한 경우일 뿐이다. 역은 삼각형의 성질 단원에서 미리 쓴 정리로 증명한다: 빗변의 중점 MM에 대해 빗변의 중선은 빗변의 절반이므로 MC=MA=MBMC = MA = MBMM이 세 꼭짓점에서 같은 거리, 곧 외심이고 빗변이 지름이다. \blacksquare

그 시절 "직각삼각형을 두 장 붙여 직사각형을 만들면 대각선이 서로를 이등분한다"로 증명해 둔 중선 정리가, 오늘 탈레스의 역을 떠받치는 기둥이었다. 직각을 보면 지름을 의심하라 — 원 문제의 표어다.

내접사각형: 마주 보는 각의 약속

네 꼭짓점이 모두 한 원 위에 있는 사각형(내접사각형)에서, 마주 보는 두 각은 특별한 관계로 묶인다.

정리 — 내접사각형의 대각의 합은 180°180°다.

증명. A\angle A는 호 BCDBCD를, C\angle C는 호 DABDAB를 본다 — 두 호를 합치면 원 전체다. 원주각 정리로

A+C=12(호 BCD의 중심각)+12(호 DAB의 중심각)=12×360°=180°.\angle A + \angle C = \frac12(\text{호 } BCD \text{의 중심각}) + \frac12(\text{호 } DAB \text{의 중심각}) = \frac12 \times 360° = 180°. \qquad \blacksquare

α β A B C D α + β = 180°
마주 보는 원주각 둘이 원을 나눠 갖는다 — α + β = 180°.

따름정리: 내접사각형의 외각은 그 내대각과 같다. C\angle C의 외각은 180°C=A180° - \angle C = \angle A이기 때문이다. 평행사변형에서는 이웃 각이 180°180°를 나눠 가졌다면, 내접사각형에서는 마주 보는 각이 나눠 가진다 — 사각형 두 가족의 서명이 서로 다르다.

예제

내접사각형에서 한 각이 110°110°이면 마주 보는 각은 70°70°다. 나머지 두 각도 합이 180°180°인 한 쌍 — 네 각 중 두 개만 자유롭다.

주의

원주각 정리를 쓸 때는 어느 호를 보는 각인지부터 짚어야 한다. 같은 두 점 AA, BB라도 PP가 긴 호에 있으면 짧은 호를, 짧은 호에 있으면 긴 호를 본다 — 두 원주각은 같은 것이 아니라 합이 180°180°다(두 중심각의 합이 360°360°이므로). "같은 호"라는 조건을 빼먹는 순간 각이 뒤집힌다.

Goals
  • Define central and inscribed angles, and prove the inscribed angle is half the central angle in three cases.
  • Prove Thales' theorem and its converse, settling two debts from the triangle properties unit (the hypotenuse median and BOC=2A\angle BOC = 2\angle A).
  • Derive the opposite-angle theorem for cyclic quadrilaterals.

Angles that "see" an arc

Fix an arc ABAB on a circle. An angle looking at this arc comes in two kinds, depending on where it stands — seen from the center OO, it is the central angle AOB\angle AOB; seen from a point PP on the circle outside the arc, it is an inscribed angle APB\angle APB.

O P A B θ
Two angles seeing the same arc AB — 2θ from the center, θ from the circle.

Central angles match arcs one-to-one (bigger arc, wider angle). The surprise is on the inscribed side — wherever PP sits on the far side of the circle, the inscribed angle never changes, and it is always exactly half the central angle.

The inscribed angle theorem: proving the half

Theorem (inscribed angle theorem) — An inscribed angle is half the central angle on the same arc: APB=12AOB\angle APB = \dfrac12 \angle AOB.

Proof. Three cases, by where the center sits relative to the angle.

Case 1 — one side passes through the center (PB\overline{PB} a diameter). In OPA\triangle OPA, OP=OA=rOP = OA = r — isosceles. Call the base angles θ\theta, so OPA=OAP=θ\angle OPA = \angle OAP = \theta; and AOB\angle AOB is an exterior angle of OPA\triangle OPA, hence the sum of the two remote interior angles:

AOB=θ+θ=2APB.\angle AOB = \theta + \theta = 2\angle APB.

Case 2 — the center lies inside the angle. Draw the diameter PQ\overline{PQ}, splitting the angle in two. Case 1 applies to each piece: AOQ=2APQ\angle AOQ = 2\angle APQ and QOB=2QPB\angle QOB = 2\angle QPBadd the two equations.

Case 3 — the center lies outside the angle. Same diameter PQ\overline{PQ}; this time subtract. \blacksquare

P 1 P 2 P 3
Three cases — the diameter case is the working part; the rest is addition and subtraction.

Every part is familiar — the isosceles triangle made by two radii, and the triangle's exterior angle theorem. Case 1 is the only real work; cases 2 and 3 are assemblies that recycle it through a diameter.

One corollary follows immediately. Inscribed angles on the same arc are all equal — each is half of the same central angle. That the angle survives as PP slides along the circle becomes the key move in circle problems: angles can be freely "relocated."

Example

If the central angle BOC=120°\angle BOC = 120°, every inscribed angle on arc BCBC measures BAC=60°\angle BAC = 60° — wherever AA sits on the far arc.

And a debt from the triangle properties unit clears here: the observation BOC=2A\angle BOC = 2\angle A for the circumcenter OO of ABC\triangle ABC was nothing but the central-versus-inscribed relation of the circumscribed circle.

Thales' theorem: the diameter's right angle

If the arc is a semicircle, the central angle is a straight 180°180° — and half of that is a right angle.

Theorem (Thales) — An inscribed angle on a diameter is 90°90°. Conversely, in a right triangle with C=90°\angle C = 90°, the hypotenuse AB\overline{AB} is a diameter of the circumscribed circle.

The forward direction is just a special case of the inscribed angle theorem. The converse leans on a theorem pre-paid in the triangle properties unit: for the hypotenuse's midpoint MM, the median to the hypotenuse is half the hypotenuse, so MC=MA=MBMC = MA = MBMM is equidistant from all three vertices, hence the circumcenter, and the hypotenuse is a diameter. \blacksquare

The median theorem — proved back then by doubling the right triangle into a rectangle whose diagonals bisect each other — turns out to have been the pillar under Thales' converse. See a right angle, suspect a diameter — the circle solver's motto.

Cyclic quadrilaterals: a pact between opposite angles

In a quadrilateral whose four vertices all lie on one circle (a cyclic quadrilateral), opposite angles are bound together.

Theorem — Opposite angles of a cyclic quadrilateral sum to 180°180°.

Proof. A\angle A sees arc BCDBCD; C\angle C sees arc DABDAB — together the two arcs make the whole circle. By the inscribed angle theorem,

A+C=12(central angle of BCD)+12(central angle of DAB)=12×360°=180°.\angle A + \angle C = \frac12(\text{central angle of } BCD) + \frac12(\text{central angle of } DAB) = \frac12 \times 360° = 180°. \qquad \blacksquare

α β A B C D α + β = 180°
Two opposite inscribed angles share out the circle — α + β = 180°.

Corollary: an exterior angle of a cyclic quadrilateral equals the opposite interior angle, since C\angle C's exterior angle is 180°C=A180° - \angle C = \angle A. In a parallelogram, adjacent angles split 180°180°; in a cyclic quadrilateral, opposite ones do — the two quadrilateral families sign their names differently.

Example

In a cyclic quadrilateral, an angle of 110°110° faces an angle of 70°70°. The other two angles form another 180°180° pair — of the four angles, only two are free.

Watch out

Before using the inscribed angle theorem, pin down which arc the angle sees. For the same two points AA and BB: a vertex on the major arc sees the minor arc, and vice versa — the two inscribed angles are not equal but supplementary (their central angles sum to 360°360°). Drop the "same arc" condition and the angle flips on you.