Definition: Def. 11.17: Diameter of a Sphere

(Definition 17 from Book 11 of Euclid's “Elements”)

And the diameter of the sphere is any straight line which is drawn through the center (of the sphere) and terminated in both directions by the surface of the sphere.

Modern Formulation

(not yet contributed)

Corollaries: 1
Proofs: 2 3 4 5 6 7 8
Propositions: 9 10 11 12


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Fitzpatrick


References

Adapted from (subject to copyright, with kind permission)

  1. Fitzpatrick, Richard: Euclid's "Elements of Geometry"

Adapted from CC BY-SA 3.0 Sources:

  1. Prime.mover and others: "Pr∞fWiki", https://proofwiki.org/wiki/Main_Page, 2016