Sea una curva algebraica
de grado
y dos rectas que cortan a la curva en el plano real, cada una en
puntos.
Para cada recta, formamos el producto de las distancias desde el punto de intersección de las dos rectas hasta los puntos de intersección de esa recta con la curva.
Para unas direcciones dadas de las rectas, la razón entre esos productos no depende del punto , es decir si por otro punto
pasan dos rectas, paralelas a las que pasan por
, que cortan a la curva en
puntos, la razón entre los productos correspondientes es la misma.
Ese resultado está demostrado por Apolonio de Perga (200 a.C) en el libro III de las Cónicas, para las curvas de segundo grado.
A Newton (1703) se atribuye el resultado general, porque lo enuncia para las curvas de tercer grado en su Enumeratio linearun tertii ordinis, II.4 (original en latín aquí y traducción inglesa aquí), aunque queda claro por el título de la sección II, “Propiedades de las secciones cónicas aplicables a curvas de grado superior”, que la propiedad se extiende a curvas de cualquier grado.
Euler (1748) da una demostración elemental en el artículo 247 de la segunda parte de su Introductio in analysin infinitorum.
La demostración utiliza la figura adjunta, a la que hemos añadido la letra “C”, olvidada por el editor en la figura original.
La siguiente demostración es la que expone Lazare Carnot (1803) en los artículos 374-376 de su Géométrie de position.
Sea una curva algebraica de grado
. Sea
la ecuación de la curva al cambiar los ejes de coordenadas a las dos rectas que pasan por un punto
, con direcciones dadas.
será del mismo grado que
.
Expresamos , con
constantes y
reuniendo los otros términos, que contienen a
o
elevados a una potencia menor que
.
Haciendo , tenemos
, y las raices de esta ecuación son las distancias desde el origen
hasta la intersección de la curva con la recta que hace de eje de abcisas. Como ese eje corta a la curva en
puntos,
.
El producto de esas distancias será , por las fórmulas de Cardano-Vieta.
De la misma forma, haciendo , tenemos que el producto de las distancias desde
a las intersecciones con el eje de ordenadas será
.
Entonces el cociente entre los productos de distancias será .
Como los coeficientes de no varían al trasladar los ejes de coordenadas con origen en
a otro origen, manteniendo las direcciones de los ejes, es decir con la transformación
, tenemos demostrado el resultado.
Como observa Carnot en el artículo 377, lo mismo sucede con los segmentos que dos pares de rectas paralelas que pasan por dos puntos del espacio interceptan entre esos puntos y la superficie algebraica, pues un plano corta a una superficie algebraica en una curva algebraica.
Pingback: Teorema de Carnot sobre curvas transversales | Guirnalda matemática
Hola
Me he creado un blog hace poco sobre matemáticas y ciencias en educación secundaria (el limón de Newton!).
Alguien le echa un ojo y me comenta!
Gracias, por ahora esta en catalán.
http://lallimonadenewton.wordpress.com/
Cristian.