Inscribed angle#Theorem

{{Short description|Angle formed in the interior of a circle}}

[[File:Inscribed angles2.svg|thumb|upright=1.0|class=skin-invert-image|The inscribed angle {{mvar|θ}} circle.

{{legend-line|solid red|Central angle {{math|2θ}}}}

{{legend-line|Solid black|Inscribed angle {{mvar|θ}} on major arc}}

{{legend-line|solid lime|Supplementary inscribed angle {{mvar|θ}} on minor arc}}

]]

In geometry, an inscribed angle is the angle formed in the interior of a circle when two chords intersect on the circle. It can also be defined as the angle subtended at a point on the circle by two given points on the circle.

Equivalently, an inscribed angle is defined by two chords of the circle sharing an endpoint.

The inscribed angle theorem relates the measure of an inscribed angle to that of the central angle intercepting the same arc.

The inscribed angle theorem appears as Proposition 20 in Book 3 of Euclid's Elements.

Note that this theorem is not to be confused with the Angle bisector theorem, which also involves angle bisection (but of an angle of a triangle not inscribed in a circle).

Theorem

=Statement=

File:ArcCapable.gif

The inscribed angle theorem states that an angle {{mvar|θ}} inscribed in a circle is half of the central angle {{math|2θ}} that intercepts the same arc on the circle. Therefore, the angle does not change as its vertex is moved to different positions on the same arc of the circle.

=Proof=

==Inscribed angles where one chord is a diameter==

File:InscribedAngle 1ChordDiam.svg

Let {{mvar|O}} be the center of a circle, as in the diagram at right. Choose two points on the circle, and call them {{mvar|V}} and {{mvar|A}}. Designate point {{mvar|B}} to be diametrically opposite point {{mvar|V}}. Draw chord {{Mvar|VB}}, a diameter containing point {{Mvar|O}}. Draw chord {{Mvar|VA}}. Angle {{Math|∠BVA}} is an inscribed angle that intercepts arc {{Mvar|{{overarc|AB}}}}; denote it as {{Mvar|ψ}}. Draw line {{mvar|OA}}. Angle {{math|∠BOA}} is a central angle that also intercepts arc {{Mvar|{{overarc|AB}}}}; denote it as {{mvar|θ}}.

Lines {{mvar|OV}} and {{mvar|OA}} are both radii of the circle, so they have equal lengths. Therefore, triangle {{math|△VOA}} is isosceles, so angle {{math|∠BVA}} and angle {{math|∠VAO}} are equal.

Angles {{math|∠BOA}} and {{math|∠AOV}} are supplementary, summing to a straight angle (180°), so angle {{math|∠AOV}} measures {{math|180° − θ}}.

The three angles of triangle {{math|△VOA}} sum of angles of a triangle:

(180^\circ - \theta) + \psi + \psi = 180^\circ.

Adding \theta - 180^\circ to both sides yields

2\psi = \theta.

==Inscribed angles with the center of the circle in their interior==

[[File:Circle-angles-21add-inscribed.svg|thumb|class=skin-invert-image|

Case: Center interior to angle

{{legend-line|solid blue|{{math|1=ψ{{sub|0}} = ∠DVC, θ{{sub|0}} = ∠DOC}}}}

{{legend-line|solid green|{{math|1=ψ{{sub|1}} = ∠EVD, θ{{sub|1}} = ∠EOD}}}}

{{legend-line|solid red|{{math|1=ψ{{sub|2}} = ∠EVC, θ{{sub|2}} = ∠EOC}}}}

]]

Given a circle whose center is point {{mvar|O}}, choose three points {{mvar|V, C, D}} on the circle. Draw lines {{mvar|VC}} and {{mvar|VD}}: angle {{math|∠DVC}} is an inscribed angle. Now draw line {{mvar|OV}} and extend it past point {{mvar|O}} so that it intersects the circle at point {{mvar|E}}. Angle {{math|∠DVC}} intercepts arc {{mvar|{{overarc|DC}}}} on the circle.

Suppose this arc includes point {{mvar|E}} within it. Point {{mvar|E}} is diametrically opposite to point {{mvar|V}}. Angles {{math|∠DVE, ∠EVC}} are also inscribed angles, but both of these angles have one side which passes through the center of the circle, therefore the theorem from the above Part 1 can be applied to them.

Therefore,

\angle DVC = \angle DVE + \angle EVC.

then let

\begin{align}

\psi_0 &= \angle DVC, \\

\psi_1 &= \angle DVE, \\

\psi_2 &= \angle EVC,

\end{align}

so that

\psi_0 = \psi_1 + \psi_2. \qquad \qquad (1)

Draw lines {{mvar|OC}} and {{mvar|OD}}. Angle {{math|∠DOC}} is a central angle, but so are angles {{math|∠DOE}} and {{math|∠EOC}}, and

\angle DOC = \angle DOE + \angle EOC.

Let

\begin{align}

\theta_0 &= \angle DOC, \\

\theta_1 &= \angle DOE, \\

\theta_2 &= \angle EOC,

\end{align}

so that

\theta_0 = \theta_1 + \theta_2. \qquad \qquad (2)

From Part One we know that \theta_1 = 2 \psi_1 and that \theta_2 = 2 \psi_2 . Combining these results with equation (2) yields

\theta_0 = 2 \psi_1 + 2 \psi_2 = 2(\psi_1 + \psi_2)

therefore, by equation (1),

\theta_0 = 2 \psi_0.

==Inscribed angles with the center of the circle in their exterior==

[[Image:InscribedAngle CenterCircleExtV2.svg|thumb|Case: Center exterior to angle

{{legend-line|solid orange|{{math|1=ψ{{sub|0}} = ∠DVC, θ{{sub|0}} = ∠DOC}}}}

{{legend-line|solid green|{{math|1=ψ{{sub|1}} = ∠EVD, θ{{sub|1}} = ∠EOD}}}}

{{legend-line|solid blue|{{math|1=ψ{{sub|2}} = ∠EVC, θ{{sub|2}} = ∠EOC}}}}

]]

The previous case can be extended to cover the case where the measure of the inscribed angle is the difference between two inscribed angles as discussed in the first part of this proof.

Given a circle whose center is point {{mvar|O}}, choose three points {{mvar|V, C, D}} on the circle. Draw lines {{mvar|VC}} and {{mvar|VD}}: angle {{math|∠DVC}} is an inscribed angle. Now draw line {{mvar|OV}} and extend it past point {{mvar|O}} so that it intersects the circle at point {{mvar|E}}. Angle {{math|∠DVC}} intercepts arc {{mvar|{{overarc|DC}}}} on the circle.

Suppose this arc does not include point {{mvar|E}} within it. Point {{mvar|E}} is diametrically opposite to point {{mvar|V}}. Angles {{math|∠EVD, ∠EVC}} are also inscribed angles, but both of these angles have one side which passes through the center of the circle, therefore the theorem from the above Part 1 can be applied to them.

Therefore,

\angle DVC = \angle EVC - \angle EVD.

then let

\begin{align}

\psi_0 &= \angle DVC, \\

\psi_1 &= \angle EVD, \\

\psi_2 &= \angle EVC,

\end{align}

so that

\psi_0 = \psi_2 - \psi_1. \qquad \qquad (3)

Draw lines {{mvar|OC}} and {{mvar|OD}}. Angle {{math|∠DOC}} is a central angle, but so are angles {{math|∠EOD}} and {{math|∠EOC}}, and

\angle DOC = \angle EOC - \angle EOD.

Let

\begin{align}

\theta_0 &= \angle DOC, \\

\theta_1 &= \angle EOD, \\

\theta_2 &= \angle EOC,

\end{align}

so that

\theta_0 = \theta_2 - \theta_1. \qquad \qquad (4)

From Part One we know that \theta_1 = 2 \psi_1 and that \theta_2 = 2 \psi_2 . Combining these results with equation (4) yields

\theta_0 = 2 \psi_2 - 2 \psi_1

therefore, by equation (3),

\theta_0 = 2 \psi_0.

File:Animated gif of proof of the inscribed angle theorem.gif

=Corollary=

Image:Inscribed angle theorem4.svg

By a similar argument, the angle between a chord and the tangent line at one of its intersection points equals half of the central angle subtended by the chord. See also Tangent lines to circles.

Applications

File:cyclic_quadrilateral_supplementary_angles_visual_proof.svg using the inscribed angle theorem that opposite angles of a cyclic quadrilateral are supplementary:
2𝜃 + 2𝜙 = 360° ∴ 𝜃 + 𝜙 = 180°]]

The inscribed angle theorem is used in many proofs of elementary Euclidean geometry of the plane. A special case of the theorem is Thales's theorem, which states that the angle subtended by a diameter is always 90°, i.e., a right angle. As a consequence of the theorem, opposite angles of cyclic quadrilaterals sum to 180°; conversely, any quadrilateral for which this is true can be inscribed in a circle. As another example, the inscribed angle theorem is the basis for several theorems related to the power of a point with respect to a circle. Further, it allows one to prove that when two chords intersect in a circle, the products of the lengths of their pieces are equal.

Inscribed angle theorems for ellipses, hyperbolas and parabolas

Inscribed angle theorems exist for ellipses, hyperbolas and parabolas too. The essential differences are the measurements of an angle. (An angle is considered a pair of intersecting lines.)

References

  • {{Cite book | author-link = C. Stanley Ogilvy | last = Ogilvy | first = C. S. | year = 1990 | title = Excursions in Geometry | publisher = Dover | isbn = 0-486-26530-7 | pages = 17–23 }}
  • {{cite book |vauthors=Gellert W, Küstner H, Hellwich M, Kästner H | title = The VNR Concise Encyclopedia of Mathematics | publisher = Van Nostrand Reinhold | location = New York | isbn = 0-442-22646-2 | pages = 172 | year = 1977}}
  • {{cite book |first=Edwin E. |last=Moise |author-link=Edwin E. Moise |title=Elementary Geometry from an Advanced Standpoint |location=Reading |publisher=Addison-Wesley |edition=2nd |year=1974 |isbn=0-201-04793-4 |pages=192–197 }}