Constructive harmonic conjugates

DOI10.1007/S13366-018-0411-9MaRDI QIDQ1740712zbMATH OpenOpenAlexWikidataFDO

Authors Mark Mandelkern

Publication date 2 May 2019

Published in Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

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

zbMATH Keywords

projective geometryconstructive mathematicsharmonic conjugates

Mathematics Subject Classification ID

General theory of linear incidence geometry and projective geometries (51A05) Other constructive mathematics (03F65)

Abstract: In the study of the real projective plane, harmonic conjugates have an essential role, with applications to projectivities, involutions, and polarity. The construction of a harmonic conjugate requires the selection of auxiliary elements; it must be verified, with an invariance theorem, that the result is independent of the choice of these auxiliary elements. A constructive proof of the invariance theorem is given here; the methods used follow principles put forward by Errett Bishop.

Recommendations

• A constructive real projective plane
• The common point problem in constructive projective geometry
• `Outside' as a primitive notion in constructive projective geometry
• Constructive projective extension of an incidence plane
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION

Cites work

• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• A constructive real projective plane
• Techniques of constructive analysis
• `Outside' as a primitive notion in constructive projective geometry

Cited in

(5)

• A constructive real projective plane
• Harmonic quadrilaterals revisited
• The common point problem in constructive projective geometry
• Harmonic conjugation in harmonic matroids
• Harmonic curves and the beauty of projective geometry

This page was built for publication: Constructive harmonic conjugates

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