The computer searches for Pascal conics

DOI10.1016/0898-1221(94)00216-8MaRDI QIDQ1343393zbMATH OpenOpenAlexFDO

Authors V. Pereyra

Publication date 11 February 1996

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0898-1221(94)00216-8

zbMATH Keywords

Euclidean analytic geometrygeometric constructionsPascal conics

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04) Geometric constructions in real or complex geometry (51M15) Euclidean analytic geometry (51N20)

Review text

Verff. berichten über ihre Bemühungen, Sätze der Elementargeometrie mit Methoden elektronischer Datenverarbeitung zu entdecken und zu beweisen. Die Methode wird summarisch am Beispiel der Konfiguration des Pascalschen Sechsecks vorgeführt mit den bekannten Ergebnissen: 45 Pascal-Punkte, 60 Pascal-Geraden, 20 Steiner-Punkte, 60 Kirkman-Punkte, 15 Plück-Geraden, 20 Cayley-Geraden, 15 Salmon-Punkte. Und dann das eigentliche Thema: Gibt es unter den 45 Pascal-Punkten irgend 6, die auf einem nicht-entarteten Kegelschnitt liegen? Antwort: ja, sogar 255 solche Sextupel aus einer Gesamtheit von \(\left({45\over 6}\right)= 8.145.060\). Selbst der moderne Großrechner, den die Verff. benutzten, brauchte dafür 142 Stunden. Immerhin: er fand die gesuchten Kegelschnitte, jetzt auch nach Pascal benannt, vollständig.

Recommendations

• On the coincidences of Pascal lines
• Illumination of Pascal's hexagrammum and octagrammum mysticum
• The Pascal mysticum demystified
• A very simple proof of Pascal's hexagon theorem and some applications
• Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system

Cites work

• An introduction to Wu's method for mechanical theorem proving in geometry
• Associative differential operations
• Basic principles of mechanical theorem proving in elementary geometries
• scientific article; zbMATH DE number 3926285 (Why is no real title available?)
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 1348459 (Why is no real title available?)
• scientific article; zbMATH DE number 3428118 (Why is no real title available?)
• scientific article; zbMATH DE number 3334801 (Why is no real title available?)

This page was built for publication: The computer searches for Pascal conics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1343393)