Il principio di dualità afferma che in ogni enunciato geometrico valido rimane valido scambiando sistematicamente i termini «punto» e «retta» (e adattando i predicati: «su» diventa «per», «incide» diventa «appartiene»). La dualità è una simmetria strutturale profonda della geometria proiettiva.
Vedi anche: Geometria Proiettiva, Omografia.
Dualità in
In :
- Un punto corrisponde dualmente alla retta .
- Una retta (in coordinate duali) corrisponde dualmente al punto .
Lo spazio duale è anch’esso un piano proiettivo: i punti di sono le rette di e viceversa. Vedi: Spazio Duale.
Esempi di Dualità
| Enunciato primale | Enunciato duale |
|---|---|
| Due punti distinti determinano una retta | Due rette distinte si incontrano in un punto |
| Tre punti collineari | Tre rette concorrenti |
| Teorema di Pappo (punti) | Teorema di Pappo (rette) |
| Teorema di Pascal | Teorema di Brianchon |
Polo e Polare rispetto a una Conica
Data una conica non degenere con matrice (in coordinate omogenee), la polare di un punto è la retta di equazione:
Il punto si chiama polo della retta .
Proprietà:
- Se è esterno alla conica, la polare passa per i due punti di tangenza delle tangenti da .
- Se è sulla conica, la polare è la tangente alla conica in .
- La corrispondenza polo-polare è una dualità proiettiva (biiezione tra punti e rette che inverte l’incidenza).
Teorema di Pascal e Teorema di Brianchon
Teorema di Pascal: se sei punti appartengono a una conica, le tre intersezioni dei lati opposti del «esagono» sono collineari (stanno sulla «retta di Pascal»).
Teorema di Brianchon (duale di Pascal): se sei rette sono tangenti a una conica, le tre diagonali dell’esagono formato da queste rette sono concorrenti (passano per il «punto di Brianchon»).
I due teoremi sono esattamente duali l’uno dell’altro, e la dualità polo-polare rispetto alla conica li trasforma l’uno nell’altro.
Applicazioni ingegneristiche
- Ottica: la costruzione della polare rispetto a una lente sferica (approccio proiettivo) permette di trovare il coniugato di un punto sorgente senza usare le equazioni di Gauss, utile per sistemi ottici complessi.
- Grafica e rendering: la proiezione prospettica di una telecamera è un’omografia ; la dualità proiettiva scambia punti 3D e piani, utile per il calcolo delle ombre e delle riflessioni.
- Geometria computazionale: la trasformazione duale di un insieme di punti in un insieme di rette è usata negli algoritmi per l’inviluppo convesso, la triangolazione di Delaunay e il diagramma di Voronoi.