We give some examples of construction and verification of geometric theorems under this title. Geometry-example.zip contains the following 12 files.
- Five centers of a triangle
-
-
- Orthocenter
- Incenter
- Excenter
- Circumcenter
- Centroid
-
- Ceva’s Theorem.nb
- EulerLine.nb
- Menelaus’s Theorem.nb
- Simson Theorem.nb
- nine-point-circle.nb
- nine-point-circle(2).nb
- Steiner-Lehmus Theorem.nb