Circle is Bisected by Diameter/Proof 2
Jump to navigation
Jump to search
Theorem
A circle is bisected by a diameter.
Proof
Let $AB$ be a diameter of a circle whose center is at $O$.
By definition of diameter, $AB$ passes through $O$.
$\angle AOB\cong\angle BOA$ because they are both straight angles.
Thus, the arcs are congruent by Equal Angles in Equal Circles:
- $\stackrel{\frown}{AB}\cong\stackrel{\frown}{BA}$
Hence, a circle is split into two equal arcs by a diameter.
$\blacksquare$
Historical Note
The result that a Circle is Bisected by Diameter was supposedly attributed to Thales of Miletus by Proclus Lycaeus.
Euclid defines the diameter as the line which passes through the center, but then assumes that it necessarily bisects it:
- A diameter of the circle is any straight line drawn through the center and terminated in both directions by the circumference of the circle, and such a straight line also bisects the center.
According to Julian Lowell Coolidge in his A History of Geometrical Methods: