Teorema di Pappo
# Teorema di Pappo

Il teorema di Pappo (o teorema di Pappo-Pascal) afferma che, dati A, B e C punti su di una retta, aventi il corrispettivo A', B' e C' su di un'altra retta che interseca la prima in un punto O, allora:

    se C'B è parallelo a B'C, e C'A è parallelo a A'C, allora anche BA' sarà parallelo ad AB'.

La dimostrazione di questo teorema può essere operata indipendentemente dall'assioma archimedeo, mediante gli assiomi dei gruppi I (1 - 3) e II - IV di David Hilbert.

Il teorema di Pappo permette di fondare un calcolo dei segmenti sostanzialmente equivalente al calcolo algebrico, poiché grazie ad esso possiamo giustificare le proprietà associativa e commutativa dell'addizione e della moltiplicazione tra segmenti. Mediante il calcolo dei segmenti basato sul teorema di Pappo - Pascal, è possibile fondare una teoria delle similitudini indipendente dall'assioma di Archimede.

Il teorema di Pappo è un teorema duale.

