Una demostración de Monge del Teorema de Reciprocidad Polar

Este artículo es una colaboración de fede enviada por mail a gaussianos (arroba) gmail (punto) com.

En su Geometría Descriptiva (art.39), Gaspard Monge enuncia la proposición que traduzco a continuación, de la que da una demostración muy asequible que creo que no es demasiado conocida.

Sean en un plano una círcunferencia y una recta . Trazamos desde un punto cualquiera de esa recta las dos tangentes a la circunferencia y la recta que pasa por los dos puntos de contacto.

Recíprocamente, si es un punto en el plano de la circunferencia, los puntos de intersección de las dos tangentes a la circunferencia por los extremos de las cuerdas que pasan por , están en una linea recta .



Este resultado, formulado de otra forma, es el teorema de reciprocidad polar:

Si está en la polar de , está en la polar de .

El argumento que Monge da para el caso en que la recta por la que se mueve no corta a la circunferencia, es el siguiente:

Generamos una esfera mediante la revolución de la circunferencia alrededor de cualquiera de sus diámetros.

Llamamos plano base a nuestro plano de partida, que contiene el centro de la esfera y la recta .

Hay dos planos que pasan por la recta y son tangentes a la esfera. Esos planos tocan a la esfera en dos puntos, y , simétricos respecto al plano base.

Uno de esos dos planos pasa por y y por tanto contiene las lineas que pasan por y por un punto cualquiera situado en , que serán tangentes a la esfera en ,

El conjunto de las lineas que pasan por un punto situado en y que son tangentes a la esfera forma un cono que toca a la esfera en una circunferencia de contacto determinada.

La linea es una tangente a la esfera que pasa por , y por tanto es una de las lineas que forman el cono de tangentes.

También está en el plano que pasa por y , y es entonces la línea de contacto entre el cono y ese plano.

Por tanto todas las circunferencias de contacto de los conos cuyo vértice esté en pasan por .

También pasarán por su simétrico respecto al plano base, y entonces es una cuerda común a todas las circunferencias de contacto de los conos tangentes a la esfera, cuyos vértices estén en .

La proyección ortogonal sobre el plano base proyecta las circunferencias de contacto sobre cuerdas de la circunferencia de partida, y se proyecta en un punto , el mismo para todas las puntos de , que es la proposición que queríamos demostrar, en el caso de que sea exterior a la esfera.

La proposición enunciada al principio es proyectiva y sigue siendo cierta si sustituimos la palabra ‘circunferencia’ por ‘sección cónica’ (quitando la frase ‘que se encuentra sobre la perpendicular….’). Porque podemos proyectar desde un punto el plano de la sección cónica sobre otro plano en que la cónica se transforme en un círculo, y las proyecciones preservan tangencias e incidencias.

Como podéis ver fede se ha aficionado a GeoGebra. No es el único, yo también le estoy cogiendo el gustillo poco a poco. Seguro que éste no será el último artículo en el que se use este interesante programa.