Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleA computer-aided proof of a conjecture in Euclidean geometry
Author(s) Mihai Cipu
TypeArticle in Journal
AbstractWe prove a conjecture of Daia [L. Daia, On a conjecture, Gaz. Math. 89 (1984) 276279 (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. Co-operation man-machine is needed for the proof.
KeywordsCyclic quadrilateral, Incenter, Gröbner basis, Characteristic set, Primary decomposition
ISSN0898-1221
URL http://www.sciencedirect.com/science/article/pii/S0898122108004574
LanguageEnglish
JournalComputers & Mathematics with Applications
Volume56
Number11
Pages2814 - 2818
Year2008
Edition0
Translation No
Refereed No
Webmaster