Details:
Title  A computeraided proof of a conjecture in Euclidean geometry  Author(s)  Mihai Cipu  Type  Article in Journal  Abstract  We prove a conjecture of Daia [L. Daia, On a conjecture, Gaz. Math. 89 (1984) 276–279 (in Romanian)] asserting that if a point P in the interior of the square A B C D has the property that the quadrilateral with vertices in the incenters of triangles A B P , B C P , C D P , D A P is cyclic, then P is on a diagonal. Cooperation manmachine is needed for the proof.  Keywords  Cyclic quadrilateral, Incenter, Gröbner basis, Characteristic set, Primary decomposition  ISSN  08981221 
URL 
http://www.sciencedirect.com/science/article/pii/S0898122108004574 
Language  English  Journal  Computers & Mathematics with Applications  Volume  56  Number  11  Pages  2814  2818  Year  2008  Edition  0  Translation 
No  Refereed 
No 
