Il birapporto (o cross-ratio) di quattro punti collineari è il fondamentale invariante della geometria proiettiva: rimane costante sotto qualsiasi omografia. È la sola quantità numerica che la geometria proiettiva può assegnare a quattro punti su una retta.
Vedi anche: Geometria Proiettiva, Omografia.
Definizione su una Retta
Dati quattro punti distinti su una retta proiettiva, il birapporto è:
dove i prodotti sono rapporti orientati (con segno) di segmenti sulla retta. In coordinate affini :
Invarianza Proiettiva
Il birapporto è invariante per omografie: se è un’omografia, allora .
È l’unico invariante proiettivo di quattro punti su una retta: due configurazioni di quattro punti sono proiettivamente equivalenti se e solo se hanno lo stesso birapporto.
Valori Speciali
| Valore | Interpretazione |
|---|---|
| e sono coniugati armonici rispetto ad | |
| (coincidenza) | |
| (coincidenza) | |
| (coincidenza) |
La divisione armonica () è particolarmente importante: la quadrupla armonica con coniugati armonici rispetto a è il caso in cui divide internamente e esternamente nello stesso rapporto.
Birapporto di Quattro Rette
Per quattro rette concorrenti in un punto , il birapporto si definisce come il birapporto dei quattro punti in cui le rette intersecano una qualsiasi retta trasversale (il risultato è indipendente dalla trasversale scelta).
Permutazioni e Simmetrie
Le permutazioni dei quattro punti danno al più 6 valori distinti del birapporto, legati tra loro da:
Relazione con la Metrica
In geometria iperbolica (modello di Poincaré/Klein), la distanza iperbolica tra due punti è dove sono i punti all’infinito sulla retta geodetica. Il birapporto «crea» la metrica a partire dalla sola struttura proiettiva.
Applicazioni ingegneristiche
- Visione artificiale: il birapporto di quattro punti collineari è invariante per proiezione prospettica; si usa per verificare la collinearità o per recuperare la geometria 3D da singole immagini senza calibrazione metrica.
- Fotogrammetria storica: il birapporto permette di misurare distanze reali su fotografie storiche (senza calibrazione della telecamera) identificando quattro punti collineari di lunghezza nota.
- Ottica geometrica: il birapporto dei fuochi coniugati di un sistema ottico è un invariante della trasmissione dei raggi (matrice ABCD per i sistemi parassiali).