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.