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 be a circle in the plane and let be a chord (not through ). Let be a diameter of with , meeting at . Then
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 on either side of ).

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 unlockHelp me make this theorem better