circumferential angle is half the corresponding central angle


Consider a circle with center O and two distinct points on the circle A and B. If C is a third point on the circle not equal to either A or B, then the circumferential angle at C subtending the arc AB is the angle ACB. Here, by arc AB, we mean the arc of the circle that does not contain the points C.

Similarly, the central angle subtending arc AB is the angle AOB. The central angle corresponds to the arc AB measured on the same side of the circle as the angle itself. Note that if AB is a diameterMathworldPlanetmathPlanetmath of the circle, then the central angle is 180.

Theorem 1.

[Euclid, Book III, Prop. 20] In any circle, a circumferential angle is half the size of the central angle subtending the same arc.

Proof.

There are actually several distinct cases. Consider BAC in a circle with center O, and draw AO,BO,CO as well as the chord containing both A and O:

..ABCOF

In this case, the center of the circle lies between the arms of the circumferential angle. Now, since AO=OB, AOB is isosceles, and FOB is an exterior angleMathworldPlanetmath. Thus

FOB=OAB+OBA=2OAB

Similarly, AOC is isosceles, and

FOC=OAC+OCA=2OAC

and it follows that

BOC=FOB+FOC=2OAB+2OAC=2BAC

proving the result.

A second case is the case in which both arms of the angle lie to one side of the circle’s center:

..ABCOF

The proof is similarMathworldPlanetmath to the previous case, except that the angle in question is the difference rather than the sum of two known angles. Here we see that both AOB and AOC are isosceles, so that again

COF =2OAC
BOF =2OAB

Subtracting, we get

COB=COF-BOF=2OAC-2OAB=2BAC

as desired.

The final case is the case in which one arm of the angle goes through the center of the circle. This is a degenerate form of the first case, and the same proof follows through except that one of the angles is zero. ∎

Title circumferential angle is half the corresponding central angle
Canonical name CircumferentialAngleIsHalfTheCorrespondingCentralAngle
Date of creation 2013-03-22 17:13:28
Last modified on 2013-03-22 17:13:28
Owner rm50 (10146)
Last modified by rm50 (10146)
Numerical id 14
Author rm50 (10146)
Entry type Theorem
Classification msc 51M04
Related topic AngleOfViewOfALineSegment
Related topic RiemannSphere
Defines circumferential angle
Defines central angle