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.

10 foundational theorems free · one-time unlock for the rest

Unlock the complete proofs forever

Matching GeoSnap, 10 foundational theorems are completely free. Unlock every other proof, animation, and consequence with one $10 purchase.

Sign in to unlock
Help me make this theorem better