circumferential angle is half the corresponding central angle (original) (raw)

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 A⁢B is the angle A⁢C⁢B. Here, by arc A⁢B, we mean the arc of the circle that does not contain the points C.

Similarly, the central angle subtending arc A⁢B is the angle A⁢O⁢B. The central angle corresponds to the arc A⁢B measured on the same side of the circle as the angle itself. Note that if A⁢B 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 ∠⁢B⁢A⁢C in a circle with center O, and draw A⁢O,B⁢O,C⁢O 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 A⁢O=O⁢B, △⁢A⁢O⁢B is isosceles, and ∠⁢F⁢O⁢B is an exterior angleMathworldPlanetmath. Thus

∠⁢F⁢O⁢B=∠⁢O⁢A⁢B+∠⁢O⁢B⁢A=2⁢∠⁢O⁢A⁢B

Similarly, △⁢A⁢O⁢C is isosceles, and

∠⁢F⁢O⁢C=∠⁢O⁢A⁢C+∠⁢O⁢C⁢A=2⁢∠⁢O⁢A⁢C

and it follows that

∠⁢B⁢O⁢C=∠⁢F⁢O⁢B+∠⁢F⁢O⁢C=2⁢∠⁢O⁢A⁢B+2⁢∠⁢O⁢A⁢C=2⁢∠⁢B⁢A⁢C

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 △⁢A⁢O⁢B and △⁢A⁢O⁢C are isosceles, so that again

∠⁢C⁢O⁢F =2⁢∠⁢O⁢A⁢C
∠⁢B⁢O⁢F =2⁢∠⁢O⁢A⁢B

Subtracting, we get

∠⁢C⁢O⁢B=∠⁢C⁢O⁢F-∠⁢B⁢O⁢F=2⁢∠⁢O⁢A⁢C-2⁢∠⁢O⁢A⁢B=2⁢∠⁢B⁢A⁢C

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. ∎