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 1

Book 1 definitions include that of lines, points, circles, planes, triangles, angles and other geometric figures. The propositions in Book 1 use the definitions, postulates and common notions to develop important topics related to plane geometry such as triangle congruence theorems (Propositions 4, 8, 26 a and 26 b), the triangle inequality (Proposition 20) and the Pythagorean theorem (Proposition 47).