Last updated on: 2021-08-04.

Under Development

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

Computable Euclid

Angles

Euclid’s fourth postulate is that all right angles are congruent. An acute angle is less than a right angle, while an obtuse angle is more. The angles 30°, 45°, 60° and 120° get lots of usage and are constructible. Curiously, the 20° angle is not constructible.