Teorema de Pascal

En el ámbito de la geometría proyectiva, el teorema de Pascal (también denominado Hexagrammum Mysticum Theorem) establece que: En su configuración más clásica, el teorema se suele visualizar sobre un hexágono cíclico inscrito en una elipse (es decir, con sus vértices unidos correlativamente en el orden en que aparecen al recorrer la cónica). Sin embargo, el teorema también se cumple sea cual sea el orden en el que se conecten los seis puntos (de acuerdo con el concepto de hexágono arbitrario que se incluye en el enunciado del teorema). De igual manera, se cumple para cualquier cónica no degenerada (como es bien sabido, circunferencia, elipse, parábola o hipérbola). Por ejemplo, en la segunda imagen se representa la materialización del teorema en un hexágono autointersecante inscrito en una elipse, en el que los puntos de la recta de Pascal resultan del corte de los propios lados del polígono, sin necesidad de prolongarlos. Así mismo, también se cumple en el caso de "hexágonos degenerados", en los que varios vértices pueden ser coincidentes entre sí (es decir, con lados de longitud cero), en la práctica polígonos de 5, 4 o 3 lados. En estos casos, los lados se sustituyen por tangentes a la cónica en los puntos dados. El teorema de Pascal fue descubierto por Blaise Pascal, a quien debe su nombre, en 1639, cuando solamente tenía dieciséis años. Heurísticamente, se puede ver este teorema como una generalización del teorema del hexágono de Pappus, que afirma lo mismo para un par de rectas (una cónica degenerada) y, por tanto, sería un caso límite del teorema de Pascal. Sin embargo, la demostración de este último, como se puede leer más adelante, usa la no degeneración de la cónica. Por tanto, en realidad el teorema de Pappus no se puede demostrar como consecuencia del teorema...