A geometric identity for Pappus' theorem.

DOI10.1073/PNAS.91.8.2909zbMATH Open0802.15017arXivmath/9409216OpenAlexW2032707978WikidataQ35143215 ScholiaQ35143215MaRDI QIDQ4292176FDOQ4292176

Authors: Michael Hawrylycz 

Publication date: 27 November 1994

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

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.

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)

Cited In (14)

• Title not available (Why is that?)
• A synthetic proof of Pappus' theorem in Tarski's geometry
• A geometric proof of the Bianchi identity
• Whitney algebras and Grassmann's regressive products
• Arguesian identities in linear lattices
• Graphical operations on projective spaces
• The generalized Pohozaev-Schoen identity and some geometric applications
• Arguesian identities in invariant theory
• A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
• Arguesian identities in the congruence variety of Abelian groups
• Geometric and algebraic aspects of four minor forms of the Pappus proposition
• A geometric perspective on the Piola identity in Riemannian settings
• Title not available (Why is that?)
• Geometric identities in lattice theory

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)