source: CGBLisp/examples/prover-apollonius.lisp@ 1

Last change on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago

First import of a version circa 1997.
File size: 221 bytes
Line 
1;;
2;; Prove Apollonius circle theorem
3;;
4(prove-theorem
5 ((perpendicular A B A C)
6 (midpoint B C M)
7 (midpoint A M O)
8 (collinear B H C)
9 (perpendicular A H B C))
10 ((equidistant M O H O)
11 (identical-points B C)
12 ))
Note: See TracBrowser for help on using the repository browser.