Un teorema fundamental de la geometría proyectiva: dos triángulos son pareados o perspectivos desde un punto (las rectas que unen vértices correspondientes concurren en un punto) si y sólo si son perspectivos desde una recta (los tres puntos de intersección de lados correspondientes son colineales), bajo los axiomas de incidencia habituales de un plano proyectivo.

Principio

Las relaciones de incidencia en geometría proyectiva obedecen a una dualidad: la perspectividad desde un punto y desde una recta son equivalentes bajo proyección proyectiva, reflejando un anclaje tridimensional subyacente o una coordinatización por un anillo divisionario en planos de Desargues.

Demostración

Sitúa dos triángulos en el espacio tridimensional con vértices correspondientes sobre tres rectas concurrentes en un punto; proyéctalos a un plano para obtener dos triángulos planos perspectivos desde un punto. Calcula las intersecciones de lados correspondientes y verifica que son colineales. Inversamente, a partir de la colinealidad reconstruye un punto de perspectividad en un levantamiento 3D si el plano es desarguesiano.

Aplicación incorrecta

Asumir la conclusión de Desargues en una estructura de incidencia arbitraria es erróneo; el teorema puede fallar en planos proyectivos no Desarguesianos, por lo que usarlo sin verificar la coordinatización proyectiva no está justificado. También requieren cuidado los casos degenerados (lados correspondientes paralelos, puntos de intersección coincidentes).

Consecuencia

Cuando es válido, Desargues conecta configuraciones planas con una visión proyectiva tridimensional y justifica muchas construcciones y argumentos por coordenadas; sirve como prueba de si un plano proyectivo es coordinatizable por un anillo divisionario (desarguesiano).

Inversión

Invertir intercambia los roles de 'perspectivo desde un punto' y 'perspectivo desde una recta'; la equivalencia lógica del teorema actúa como puente entre incidencias puntuales y lineales. Negar el teorema conduce a geometrías no desarguesianas donde tal equivalencia falla, revelando otras estructuras de incidencia.

Límite

Se cumple en todos los planos proyectivos desarguesianos (aquellos que provienen de un espacio vectorial 3D sobre un anillo divisionario) y en los modelos euclidianos/proyectivos derivados. No tiene por qué cumplirse en planos proyectivos exóticos; las degeneraciones (vértices coincidentes, lados paralelos tratados como intersección en el infinito) requieren cierre proyectivo y manejo cuidadoso de puntos en el infinito.

Tensión semántica

Existe tensión entre Desargues y las intuiciones euclidianas más simples: muchas demostraciones euclidianas usan implícitamente un levantamiento 3D que no está justificado en cualquier plano proyectivo. Además, Desargues se relaciona con Pappus: Pappus es más fuerte (implica la conmutatividad), de modo que que se cumpla Desargues sin Pappus distingue la estructura algebraica del anillo de coordenadas.

Síntesis

El Teorema de Desargues afirma la equivalencia entre la perspectividad desde un punto y desde una recta para dos triángulos en planos proyectivos desarguesianos, codificando un vínculo profundo entre la incidencia plana y la coordinatización proyectiva/tridimensional y marcando el límite entre geometrías clásicas y exóticas.