next up previous
Next: Introducción

Sobre demostración automática de un teorema geométrico

Francisco Javier Blanco Silva.
Facultad de Ciencias Matemáticas.
Universidad Complutense de Madrid.


A Classic Geometry problem involving properties of secant circles is solved by using pseudodivision and Mechanical Proving. The steps followed in this solution differ fron the steps taken in the solution stated in Chou's book, and the method used here offers a better understanding of `degenerate cases' and a less complex manipulation of polynomials.


Francisco Blanco-Silva