Central and Inscribed Angles in Complex Numbers

This is probably one of the more popular "math facts" that the central angle in a circle is twice the inscribed angle subtended by the same arc. The original formulation comes from Euclid III.20:

In a circle the angle at the center is double the angle at the circumference when the angles have the same circumference as base.

Euclid's proof has been illustrated elsewhere based on the following diagram:

Central and Inscribed Angles in Complex Numbers, Euclid's illustration

An important corollary of this fact is that, in a circle, all inscribed angles subtended by the same arc are equal. The importance of the statement and the corollary is underscored by the inclusion of a less elementary proof that employs complex numbers in a classic book on advanced geometry of plane curves. Of course, additionally, the proof serves to illustrate basic complex number techniques.

The proof is based on the following diagram.

Central and Inscribed Angles in Complex Numbers in complex numbers

Without loss of generality, the circle is assumed to have radius $1$ and be centered at the origin. The points are identified with complex numbers, so that, say, the equation of the circle is $z=e^{i\psi},$ where $\psi$ is a real number, the angle measured from the horizontal $x\mbox{-axis}.$ Let $B$ correspond to $\psi =0,$ $A$ to $\psi =\phi,$ and $P$ to $\psi =\nu:$ $B=1,$ $A=e^{i\phi},$ $P=e^{i\nu}.$

We find, for vectors, $AP= e^{i\nu}-e^{i\phi},$ $BP= e^{i\nu}-1.$

The argument of the ratio of this two complex numbers is $\angle APB=\alpha.$ Dividing the ratio by its conjugate eliminates the unimportant length of the ratio, but doubles the argument. Thus we have

$\displaystyle \begin{align} e^{2i\alpha} &=\frac{e^{i\nu}-e^{i\phi}}{e^{i\nu}-1} : \frac{e^{-i\nu}-e^{-i\phi}}{e^{-i\nu}-1}\\ &=\frac{e^{i\nu}-e^{i\phi}}{e^{i\nu}-1} \cdot \frac{e^{-i\nu}-1}{e^{-i\nu}-e^{-i\phi}}\\ &=\frac{e^{i\nu}-e^{i\phi}}{e^{i\nu}-1} \cdot \frac{e^{i\phi}(1-e^{i\nu})}{e^{i\phi}-e^{i\nu}}\\ &=e^{i\phi}. \end{align}$

Assuming all angles are between $0$ and $\pi,$ $2\alpha=\phi.$

References

  1. C. Zwikker, The Advanced Geometry of Plane Curves and Their Applications, Dover, 2005, p. 59

Complex Numbers

  1. Algebraic Structure of Complex Numbers
  2. Division of Complex Numbers
  3. Useful Identities Among Complex Numbers
  4. Useful Inequalities Among Complex Numbers
  5. Trigonometric Form of Complex Numbers
  6. Real and Complex Products of Complex Numbers
  7. Complex Numbers and Geometry
    • Central and Inscribed Angles in Complex Numbers
  8. Plane Isometries As Complex Functions
  9. Remarks on the History of Complex Numbers
  10. Complex Numbers: an Interactive Gizmo
  11. Cartesian Coordinate System
  12. Fundamental Theorem of Algebra
  13. Complex Number To a Complex Power May Be Real
  14. One can't compare two complex numbers
  15. Riemann Sphere and Möbius Transformation
  16. Problems

|Contact| |Front page| |Contents| |Algebra|

Copyright © 1996-2018 Alexander Bogomolny

71493536