On strict strong constructibility with a compass alone
From MaRDI portal
Let S be a set of points in the Euclidean plane. The authors show that every point of the plane which can be constructed by a compass and a ruler can be constructed as well by a compass alone subject to the following restriction: Choose two points 0 and K of S. Then every point is obtained as the proper intersection (no tangent points!) of two circles which are either symmetrical to the line OK or have their centres on OK. This improves an earlier paper of the authors [J. Geom. 30, 28-35 (1987; Zbl 0627.51017)].
Recommendations
- Theorems on strong constructibility with a compass alone
- A strong constructive version of engel's theorem
- scientific article; zbMATH DE number 4014043
- Compactness in constructive analysis revisited
- scientific article; zbMATH DE number 880636
- A theory of strict P-completeness
- A theory of strict P-completeness
- On strong embeddability and finite decomposition complexity
- scientific article; zbMATH DE number 2007857
- A constructive version of Birkhoff's theorem
Cited in
(9)- Theorems on strong constructibility with a compass alone
- A new look at Euclid's second proposition
- An exercise in an interactive geometrical research
- scientific article; zbMATH DE number 4063933 (Why is no real title available?)
- A Short Elementary Proof of the Mohr-Mascheroni Theorem
- ORIGAMI RINGS
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- What is ancient mathematics?
- What can we do with only a pair of rusty compasses?
This page was built for publication: On strict strong constructibility with a compass alone
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q748877)
