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

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