Teorema di Pascal
Il Teorema di Pascal, di Blaise Pascal, è uno dei teoremi-base della teoria delle coniche. Premesso che sei punti ordinati A1, A2, A3, A4, A5, A6 di una conica individuano un esagono inscritto in essa, il teorema di Pascal fornisce una condizione grafica caratteristica affinché un dato esagono sia inscrittibile in una conica.
Il teorema
Per cinque punti generici passa una sola conica
Un risultato classico della teoria delle coniche afferma che per 5 punti generici passa una sola conica. Per "generici" si intende in questo caso che i 5 punti devono essere distinti, e che fra di loro non ve ne sono 4 allineati, cioè giacenti sulla stessa retta: l'aggettivo "generico" suggerisce che 5 punti "presi a caso" soddisfano certamente questa proprietà.
Condizione sul sesto punto
Cinque punti generici determinano quindi una conica. Il teorema di Pascal fornisce una condizione affinché un sesto punto appartenga alla conica:
Siano A1, A2, A3, A4, A5, A6 sei punti nel piano e siano B1, B2, B3 i punti comuni, rispettivamente, alle rette A1-A2 e A4-A5, alle rette A2-A3 e A5-A6, alle rette A3-A4 e A6-A1.
I sei punti iniziali appartengono ad una conica se, e soltanto se, i tre punti B1, B2, B3 appartengono ad una retta, chiamata retta di Pascal.
Il caso particolare in cui i sei punti sono contenuti in una conica degenere, cioè l'unione di due rette, si traduce nel teorema di Pappo-Pascal.
Generalizzazioni
Nel 1847 il teorema fu generalizzato da August Ferdinand Möbius: posto che un poligono con lati sia iscritto in una conica, si prolunghino i lati opposti fino a che si secano in . Se di questi punti si trovano sulla stessa retta, allora anche l'ultimo punto si trova su di essa.
