MathLabs
TheoremProved

Inscribed Angle Theorem and Thales' Semicircle Corollary

Statement

For any three points on a circle (O,R)(O, R), the inscribed angle equals half the central angle subtending the same arc: ∠ACB=12∠AOB\angle ACB = \dfrac{1}{2}\angle AOB. In particular, when the chord ABAB is a diameter, every inscribed angle subtending it is a right angle (∠ACB=90∘\angle ACB = 90^\circ).

Why is it true?

Because all radii of a circle have the exact same length, joining the center to the three vertices splits the configuration into isosceles triangles; the exterior angle theorem on those isosceles triangles immediately doubles each half of the inscribed angle into the corresponding part of the central angle.

Proof sketch

Step 1 (draw the diameter from the vertex and use isosceles triangles). Draw the diameter CDCD passing through the vertex and the center. Because two radii have equal length OA=OC=ROA = OC = R, the triangle △OAC\triangle OAC is isosceles at the center, so its base angles are equal: ∠OCA=∠OAC\angle OCA = \angle OAC.

Step 2 (apply the exterior angle theorem to both halves). The exterior angle at the center equals the sum of the two opposite interior angles, giving ∠AOD=∠OCA+∠OAC=2∠OCA\angle AOD = \angle OCA + \angle OAC = 2\angle OCA. Applying the exact same isosceles-triangle argument to △OBC\triangle OBC gives ∠BOD=2∠OCB\angle BOD = 2\angle OCB.

Step 3 (combine the two halves and deduce Thales' theorem). Adding the two central angles (or subtracting them when the center lies outside the inscribed angle) yields ∠AOB=∠AOD+∠BOD=2(∠OCA+∠OCB)=2∠ACB\angle AOB = \angle AOD + \angle BOD = 2(\angle OCA + \angle OCB) = 2\angle ACB. In the special case where the chord is a diameter, the central angle is straight (∠AOB=180∘\angle AOB = 180^\circ), which immediately gives Thales' semicircle theorem ∠ACB=12⋅180∘=90∘\angle ACB = \dfrac{1}{2} \cdot 180^\circ = 90^\circ.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Euclid (trans. Thomas L. Heath) (1956). Euclid's Elements (Books I–XIII)
  2. H. S. M. Coxeter, S. L. Greitzer (1967). Geometry Revisited