Towards understanding triangle construction problems

DOI10.1007/978-3-642-31374-5_9MaRDI QIDQ2907319zbMATH OpenOpenAlexFDO

Authors Vesna Marinkovic, Predrag Janičić

Publication date 7 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.4432

zbMATH Keywords

automated deduction in geometrytriangle construction problems

Mathematics Subject Classification ID

Elementary problems in Euclidean geometries (51M04) Geometric constructions in real or complex geometry (51M15)

Abstract: Straightedge and compass construction problems are one of the oldest and most challenging problems in elementary mathematics. The central challenge, for a human or for a computer program, in solving construction problems is a huge search space. In this paper we analyze one family of triangle construction problems, aiming at detecting a small core of the underlying geometry knowledge. The analysis leads to a small set of needed definitions, lemmas and primitive construction steps, and consequently, to a simple algorithm for automated solving of problems from this family. The same approach can be applied to other families of construction problems.

Recommendations

• Automatic constructibility checking of a corpus of geometric construction problems
• Constructibility classes for triangle location problems
• scientific article; zbMATH DE number 720044
• On the mechanization of straightedge and compass constructions
• scientific article; zbMATH DE number 4109491

Cites work

• scientific article; zbMATH DE number 1110791 (Why is no real title available?)
• scientific article; zbMATH DE number 2167054 (Why is no real title available?)
• scientific article; zbMATH DE number 5166791 (Why is no real title available?)
• scientific article; zbMATH DE number 3424129 (Why is no real title available?)
• scientific article; zbMATH DE number 3053516 (Why is no real title available?)
• A coherent logic based geometry theorem prover capable of producing formal and readable proofs
• An extension of triangle constructions from located points
• Axiomatizing geometric constructions
• Carlyle Circles and the Lemoine Simplicity of Polygon Constructions
• Constructive geometry
• Elegant geometric constructions
• GCLC -- a tool for constructive Euclidean geometry and more than that
• Geometry constructions language
• On the construction of a triangle from the feet of its angle bisectors
• The Rise, Fall, and Possible Transfiguration of Triangle Geometry: A Mini-History
• The area method. A recapitulation
• Triangle Constructions with Three Located Points
• Update on William Wernick's "Triangle Constructions with Three Located Points"

Cited in

(12)

• New dynamics in dynamic geometry: dragging constructed points
• Portfolio theorem proving and prover runtime prediction for geometry
• Learning to solve geometric construction problems from images
• Automated triangle constructions in hyperbolic geometry
• Automatic constructibility checking of a corpus of geometric construction problems
• Constructibility classes for triangle location problems
• Using jointly geometry and algebra to determine RC-constructibility
• scientific article; zbMATH DE number 2087081 (Why is no real title available?)
• An extension of triangle constructions from located points
• Computer theorem proving for verifiable solving of geometric construction problems
• scientific article; zbMATH DE number 720044 (Why is no real title available?)
• On automating triangle constructions in absolute and hyperbolic geometry

This page was built for publication: Towards understanding triangle construction problems

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