Last updated on: 2021-08-04.

Under Development

A collection of classical geometry in computable formats along with code and diagrams.

Computable Euclid

Euclid Book 3

Book 3 discusses circle properties, such as an incribed right triangle being centered on the hypotenuse midpoint, prop. 31, Thales’ theorem. Propositions 2, 35 and 36 give circle convexity, the intersecting chords theorem and the tangent secant theorem. With propositions 1, 17 and 30 we get a circle’s center, a circle tangent and an arc bisection.