PRINCIPIA · THEOREM

Diameter perpendicular to a chord bisects it (and the subtended arcs)

Dependencies: Perpendicular bisector ⇔ equidistant from endpoints, Perpendicular bisector test, Base angles of an isoceles triangle are equal, Central ∠, arc, chord are pairwise equivalent.

Statement

Let O\odot O be a circle in the plane and let ABAB be a chord (not through OO). Let NSNS be a diameter of O\odot O with NSABNS \perp AB, meeting ABAB at MM. Then

MA=MB,AN=NB,AS=SB.|MA| = |MB|,\qquad \overparen{AN} = \overparen{NB},\qquad \overparen{AS} = \overparen{SB}.

That is, the diameter through the center perpendicular to the chord bisects the chord, and also bisects each of the two arcs it cuts off (the "upper" and "lower" arcs of O\odot O on either side of ABAB).

Chord-perpendicular theorem: in ⊙O, a diameter NS\perp chord AB meets AB at M, with MA=MB and the two pairs of arcs on either side equal.

First 20 free · sign in for #21 onward

Sign in to unlock the full proof

The first 20 theorems are free to read; this one and the rest require an account to see the full proof, animation, and consequences. Free, email-code sign-in only.

Sign in to unlock
Help me make this theorem better