The nine-point conic: a rediscovery and proof by computer

Michael DeVilliers *
2006 International Journal of Mathematical Education in Science and Technology  
A heuristic description is given of the rediscovery with Sketchpad of a lesswell-known, but beautiful, generalization of the nine-point circle to a nine-point conic, as well as an associated generalization of the Euler line. The author's initial analytic geometry proofs, which made use of the symbolic algebra facility of the TI-92 calculator, are also presented. *
doi:10.1080/00207390500138025 fatcat:7ep6enzhdbhjdgg42yrouey4pe