A geometric identity for Pappus' theorem.

DOI10.1073/PNAS.91.8.2909MaRDI QIDQ4292176zbMATH OpenOpenAlexWikidataFDO

Authors Michael Hawrylycz

Publication date 27 November 1994

Published in Proceedings of the National Academy of Sciences (Search for Journal in Brave)

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

zbMATH Keywords

Pappus theoremGrassmann-Cayley algebrageometric identity

Mathematics Subject Classification ID

Exterior algebra, Grassmann algebras (15A75)

Abstract: An expression in the exterior algebra of a Peano space yielding Pappus' Theorem was originally given by Doubilet, Rota, and Stein. Motivated by an identity of Rota, we give an identity in a Grassmann-Cayley algebra of step 3, involving joins and meets alone, which expresses the Theorem of Pappus.

Cited in

(14)

• Arguesian identities in the congruence variety of Abelian groups
• Geometric identities in lattice theory
• scientific article; zbMATH DE number 3890280 (Why is no real title available?)
• A synthetic proof of Pappus' theorem in Tarski's geometry
• Arguesian identities in linear lattices
• scientific article; zbMATH DE number 5955635 (Why is no real title available?)
• Whitney algebras and Grassmann's regressive products
• Arguesian identities in invariant theory
• A geometric proof of the Bianchi identity
• A geometric perspective on the Piola identity in Riemannian settings
• Geometric and algebraic aspects of four minor forms of the Pappus proposition
• Graphical operations on projective spaces
• The generalized Pohozaev-Schoen identity and some geometric applications
• A formalization of Grassmann-Cayley algebra in Coq and its application to theorem proving in projective geometry

This page was built for publication: A geometric identity for Pappus' theorem.

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