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 6

Book 6 brings proportions of Book 5 to the geometry of books 1-4 to construct and recognize similar figures in a variety of ways. Proposition 3 is the angle bisector theorem. Proposition 5, sometimes known as AAA, proves that similar triangles (those with sides in proportion) have the same angles.