Birapporto

Da Wikipedia, l'enciclopedia libera.

Il birapporto è una grandezza associata a una quaterna di punti di una retta. Si tratta di uno strumento importante in geometria proiettiva: risulta infatti definito anche se uno dei quattro punti è all'infinito (la retta in questione è quindi una retta proiettiva) ed è invariante tramite trasformazioni proiettive.

La retta su cui giacciono i punti può essere definita su un campo diverso dai numeri reali. Ad esempio, se definita sui numeri complessi, la retta è in realtà la sfera di Riemann, ovvero il piano complesso a cui va aggiunto un punto all'infinito.

Il birapporto ha nella geometria proiettiva un ruolo vagamente simile a quello della distanza tra punti in geometria euclidea.

Il birapporto viene chiamato anche rapporto anarmonico, termine coniato da Michel Chasles per una nozione nota prima delle sue ricerche geometriche.

Geometria euclidea[modifica | modifica wikitesto]

Nella geometria euclidea, il birapporto è una quantità associata a quattro punti allineati sul piano.

Definizione[modifica | modifica wikitesto]

Siano quattro punti allineati nel piano euclideo. Si fissi una orientazione della retta che li contiene. Il birapporto della quaterna è la quantità

dove , , , denotano le lunghezze (con segno) dei segmenti orientati.

La scelta iniziale dell'orientazione della retta è solo uno strumento ausiliario: il birapporto è in realtà indipendente da questa scelta. Infatti cambiando orientazione alla retta cambiano di segno tutti e quattro i numeri , , , ) e quindi il risultato della frazione resta invariato.

Esempio[modifica | modifica wikitesto]

Siano quattro punti posti su una retta nel modo seguente.

Birapport1.png

Si suppone che la distanza fra due punti successivi sia sempre 1. Fissiamo una orientazione della retta da sinistra verso destra: in questo modo e . Il birapporto è

Invarianza[modifica | modifica wikitesto]

Il birapporto non cambia se la quaterna di punti viene proiettata su un'altra retta tramite proiezione centrale.

Il birapporto non cambia se la retta su cui giacciono i 4 punti è sottoposta ad una traslazione, rotazione o omotetia. Più in generale il birapporto non cambia se il piano è sottoposto ad una qualsiasi trasformazione affine.

Il birapporto non cambia inoltre se i 4 punti vengono proiettati su un'altra retta tramite una proiezione centrale su un punto come in figura. In questo caso

L'invarianza rispetto alla proiezione centrale è una conseguenza del teorema di Talete.

Il birapporto non cambia neppure per inversione circolare.

Permutazioni dei punti[modifica | modifica wikitesto]

Il birapporto dipende dall'ordine dei 4 punti. Ci sono quindi 4! = 24 possibilità. Sia . Il birapporto diventa se vengono scambiati i primi due o gli ultimi due punti, mentre diventa se vengono scambiati i due punti centrali. Tramite questi scambi è possibile ottenere qualsiasi trasposizione e quindi qualsiasi permutazione dei 4 punti. Si ottengono le uguaglianze seguenti.

Valori assunti[modifica | modifica wikitesto]

Il birapporto di quattro punti distinti è un numero reale diverso da zero. Quando i quattro punti non sono distinti, è possibile che si annulli il numeratore e/o il denominatore. In questo caso:

  • se si annulla solo il numeratore il birapporto è zero;
  • se si annulla solo il denominatore si può assegnare per convenzione al birapporto il valore infinito;
  • se si annullano entrambi il birapporto non è definito.

In particolare, se ci sono tre punti distinti il birapporto è sempre definito ed assume il valore 0, 1 o a seconda della coppia di punti coincidenti. Più in generale, vale il fatto seguente:

Il birapporto di quattro punti è definito e diverso da 0,1, se e solo se i quattro punti sono distinti.

Quaterna armonica[modifica | modifica wikitesto]

Una quaterna armonica.

Una quaterna armonica è una quaterna di punti avente birapporto -1:

Una quaterna è armonica se e solo se vale la relazione

In altre parole, i punti e dividono il segmento all'esterno o all'interno nello stesso rapporto. Si dice che i punti e dividono in modo armonico il segmento .

Definizioni correlate[modifica | modifica wikitesto]

Il birapporto è una quantità determinata da quattro punti su una retta. A partire da questa definizione base, se ne ricavano generalmente altre in contesti lievemente differenti.

Birapporto di quattro rette incidenti[modifica | modifica wikitesto]

È possibile definire il birapporto di quattro rette nel piano passanti per un punto. Tale numero è definito come il birapporto dei quattro punti che si ottengono intersecando le quattro rette con una retta qualsiasi (che non sia parallela a nessuna di queste). Come illustrato precedentemente, il birapporto è effettivamente indipendente dalla scelta di ed è quindi una grandezza che dipende solo dalle quattro rette.

Quattro punti su una conica[modifica | modifica wikitesto]

Il birapporto di quattro punti appartenenti ad una conica è definito fissando un punto ausiliario sulla conica e prendendo le quattro rette passanti per e ciascuno dei quattro punti. Il birapporto dei quattro punti è quindi il birapporto delle quattro rette ottenute, tutte passanti per . Tale valore risulta essere indipendente da . In particolare, è definito il birapporto di quattro punti che giacciono su una circonferenza.

Il birapporto dei quattro punti dipende però dalla conica che li contiene (per quattro punti passa una infinità di coniche differenti).

Punto all'infinito[modifica | modifica wikitesto]

Il birapporto è una quantità che può essere definita in un ambito leggermente più ampio della geometria euclidea: quello della geometria proiettiva. La geometria proiettiva aggiunge ai punti usuali del piano i "punti all'infinito". Ad ogni retta del piano è quindi aggiunto un punto . Il birapporto di quattro punti su si estende per continuità al caso in cui uno di questi punti è . In altre parole, gli strumenti del calcolo infinitesimale mostrano che esiste il limite

ed è quindi ragionevole definire tale limite come birapporto di .

Geometria proiettiva[modifica | modifica wikitesto]

Il birapporto può essere definito e usato nella geometria euclidea e nella geometria affine: la geometria in cui questo concetto viene inquadrato meglio è però la geometria proiettiva. Questo è dovuto essenzialmente a due fatti:

  1. Il birapporto è definito anche quando alcuni dei quattro punti sono "punti all'infinito"
  2. Il birapporto non cambia per trasformazioni proiettive.

Definizione[modifica | modifica wikitesto]

Sia una retta proiettiva su un campo e siano quattro punti in .

Si fissi un riferimento proiettivo che identifichi con . Ciascuno dei punti è descritto come un elemento di oppure . Il birapporto dei quattro punti è definito come

Il birapporto non dipende dalla scelta del riferimento proiettivo.

Riferimento privilegiato[modifica | modifica wikitesto]

L'invarianza per la scelta del riferimento permette di dare la definizione seguente nel caso in cui gli ultimi tre punti siano distinti. Un riferimento proiettivo è fissato assegnando i valori 1, 0 e a tre punti qualsiasi della retta. Se si assegnano questi valori rispettivamente ai punti si ottiene

quindi il birapporto di quattro punti è il valore che assume il primo di questi in un riferimento proiettivo che pone gli altri tre nei punti 1,0,.

Invarianza[modifica | modifica wikitesto]

Il birapporto di quattro punti è invariante per ogni trasformazione proiettiva. Da questo fatto generale seguono le invarianze in geometria euclidea: possono infatti essere interpretate come trasformazioni proiettive le trasformazioni seguenti del piano euclideo:

  1. tutte le trasformazioni affini, come traslazioni, rotazioni, omotetie, riflessioni nel piano euclideo;
  2. proiezione fra due rette centrata in un punto (una prospettività in geometria proiettiva);
  3. inversione circolare.

Caso complesso[modifica | modifica wikitesto]

Quando è il campo dei numeri complessi, la retta proiettiva è la sfera di Riemann, ottenuta aggiungendo un punto all'infinito al piano complesso. In questo contesto, le trasformazioni proiettive sono le trasformazioni di Möbius

Il birapporto è quindi invariante rispetto a queste trasformazioni.

Collegamenti esterni[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica