Changeset 101 in CGBLisp
- Timestamp:
- Feb 3, 2009, 1:05:13 AM (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/examples/prover-apollonius.lisp
r99 r101 18 18 ;; If 19 19 ( 20 ;; AB _|_ AC 21 (perpendicular A B A C) 22 23 ;; M is the midpoint of BC 24 (midpoint B C M) 25 26 ;; O is the midpoint of AM 27 (midpoint A M O) 28 29 ;; H lies on BC 30 (collinear B H C) 31 32 ;; AH _|_ BC 33 (perpendicular A H B C) 34 20 (perpendicular A B A C) ; AB _|_ AC 21 (midpoint B C M) ; M is the midpoint of BC 22 (midpoint A M O) ; O is the midpoint of AM 23 (collinear B H C) ; H lies on BC 24 (perpendicular A H B C) ; AH _|_ BC 35 25 ) 36 37 26 ;; Then 38 39 27 ( 40 ;; MO = HO 41 (equidistant M O H O) 42 43 ;; or 44 45 ;; B = C 46 (identical-points B C) 47 28 (equidistant M O H O) ; MO = HO 29 ;; Or 30 (identical-points B C) ; B = C 48 31 ) 49 32 )
Note:
See TracChangeset
for help on using the changeset viewer.