Il principio di dualità afferma che in \mathbb{P}^2 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 \mathbb{P}^2
In \mathbb{P}^2(K):
- Un punto [a:b:c] corrisponde dualmente alla retta ax + by + cz = 0.
- Una retta [l:m:n] (in coordinate duali) corrisponde dualmente al punto lx + my + nz = 0.
Lo spazio duale (\mathbb{P}^2)^* è anch’esso un piano proiettivo: i punti di (\mathbb{P}^2)^* sono le rette di \mathbb{P}^2 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 C (in coordinate omogenee), la polare di un punto P = [p] è la retta \pi di equazione:
p^T C x = 0
Il punto P si chiama polo della retta \pi.
Proprietà:
- Se P è esterno alla conica, la polare passa per i due punti di tangenza delle tangenti da P.
- Se P è sulla conica, la polare è la tangente alla conica in P.
- 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 A, B, C, D, E, F appartengono a una conica, le tre intersezioni dei lati opposti del «esagono» ABCDEF 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 \mathbb{P}^3 \to \mathbb{P}^2; 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.