Acerca de la equivalencia en las definiciones matemáticas: caso elipse.

Junior Raid Yebara Gutiérrez1

Yesica Sepúlveda Cardona2

Miguel Ángel García Sierra3

Resumen: A continuación, presentamos Palabras clave: geometría proyectiva,

el desarrollo de un trabajo elaborado en el elipse, definiciones matemáticas, lugar
espacio de formación Cónicas y Álgebra geométrico, proyección ortogonal.
lineal, perteneciente al proyecto
Abstract: Next, we present the
Licenciatura en Educación Básica con
development of a work developed in the
Énfasis en Matemáticas de la Universidad
formation space Conics sections and
Distrital Francisco José de Caldas. Este
Linear Algebra, belonging to the project
trabajo tiene como objetivo principal,
Bachelor in Basic Education with
dilucidar una definición alternativa para
Emphasis in Mathematics of the District
la elipse haciendo uso de la geometría
University Francisco José de Caldas. The
proyectiva, adoptada y construida por
main objective of this work is to elucidate
nosotros en el espacio de formación
an alternative definition for the ellipse
mencionado anteriormente y mirar la
making use of the projective geometry,
equivalencia con la definición de elipse
adopted and constructed by us in the
como lugar geométrico que se suele
formation space mentioned above and
presentar habitualmente. Además, se
look at the equivalence with the definition
estudiarán las caracterizaciones que se le
of ellipse like geometric place that is
pueden hacer a la elipse, desde la
usually presented. In addition, we will
geometría proyectiva.
study the characterizations that can be
made to the ellipse, from the projective
geometry.

1
Junior Raid Yebara Gutiérrez. Universidad Distrital Francisco José de Caldas. Bogotá-Colombia. Correo:
jryebarag@correo.udistrital.edu.co

2
Yesica Sepúlveda Cardona. Universidad Distrital Francisco José de Caldas. Bogotá-Colombia. Correo:
3
Miguel Ángel García Sierra. Universidad Distrital Francisco José de Caldas. Bogotá-Colombia. Correo:
Key words: projective geometry, elipse,
mathematic definitions, geometric place,
orthogonal projection.
Resumo: A seguir, apresentamos ou
desenvolvemos um trabalho desenvolvido
não em matéria de Cênicas e Álgebra
Linear, pertencentes ao projeto Bacharel
em Educação Básica em Matemática da
Universidade do Distrito Francisco José
de Caldas. Este trabalho tem como
objetivo principal elucidar uma definição
alternativa para uma elipse utilizando
geometria projetiva, adotada e construída
por nós no espaço de treinamento
mencionado acima e equacionar a
definição de uma elipse como um lugar
geométrico normalmente apresentado.
Além disso, estudaremos as
caracterizações que podem ser feitas à
elipse, a partir da geometria projetiva.
Palavras-chave: geometría projetiva,
elipse, definições matemáticas, lugar
geométrico, projeção ortogonal.

Antecedentes.

Las definiciones matemáticas juegan un papel muy importante en el ámbito de estas, dado
que cimientan las teorías que pueden desarrollarse. Dicho esto, la equivalencia de las
definiciones permite hacer un escrutinio de un objeto matemático recurriendo a la
definición más simple de dicho objeto, aquí lo que queremos es centrar la atención en dos
definiciones de la elipse y ver como desde una más compleja, se pueden encontrar una
equivalencia en una definición de elipse más sencilla –que es la que conocemos
habitualmente-, teniendo en cuenta las particularidades que atañan a la elipse como tal.
Definición Elipse desde la geometría proyectiva.

En una primera instancia, vamos a definir la elipse a través de la geometría proyectiva

(Definición construida por nosotros en el espació de formación). Sea 𝑃 un plano inclinado
(Inclinado respecto al eje xy) y 𝐸 una esfera de radio 𝑟, donde 𝑃 y 𝐸 se intersectan en una
circunferencia 𝐶. (Ver figura) La elipse es el conjunto de puntos que resultan de la
proyección4 de los puntos de 𝐶 sobre el plano 𝑥𝑦 (𝑧 = 0).

Fig (#) Representación de la definición de elipse desde la geometría proyectiva.

Fuente: Elaboración propia.

Lo que haremos, será tratar esferas con centro en él origen y planos que pasen por el origen,
como se verá más adelante, cualquier elipse podrá ser descrita a través de esferas que pasen
por el origen y planos que pasen por el origen. Ahora, sea 𝑃: 𝑎𝑥 + 𝑏𝑦 + 𝑐𝑧 = 0 con
(𝑎, 𝑏, 𝑐) ≠ (0,0,0) un plano inclinado (es fácil ver bajo estas condiciones que el ángulo
entre el vector normal y el plano 𝑥𝑦 es diferente de 0, o sea dicho plano no es paralelo al
plano xy y tampoco perpendicular) ahora tomemos la esfera 𝐸: 𝑥 2 + 𝑦 2 + 𝑧 2 = 𝑟 2 , si
despejamos la variable z de ambas ecuaciones y las igualamos, obtenemos la proyección de
(𝑎𝑥+𝑏𝑦)2
la curva en el plano 𝑥𝑦. Haciendo este proceso, llegamos a que: = 𝑟 2 − 𝑥2 − 𝑦2,
𝑐

después de hacer los respectivos cálculos y agrupar, llegamos a una ecuación de la forma

4
La proyección que tomamos, es la proyección ortogonal de la curva.
(𝑎2 + 𝑐 2 )𝑥 2 + 2𝑎𝑏𝑥𝑦 + (𝑏2 + 𝑐 2 )𝑦 2 − 𝑐 2 𝑟 2 = 0, analicemos el discriminante5 , si el discriminante es
menor que cero tendríamos una elipse.

𝐷 = (2𝑎𝑏)2 − 4(𝑎2 + 𝑐 2 )(𝑏2 + 𝑐 2 ) = −4(𝑐 2 𝑎2 + 𝑏2 𝑐 2 + 𝑐 4 ) < 0

Ahora lo que hacemos es hallar los focos de esta elipse, pero para tal hecho debemos rotarla
usando las ecuaciones de rotación6 (esto es la relación existente entre las rotaciones de los
ejes un ángulo tetha), que son: 𝑥 = 𝑥´ cos 𝜃 − 𝑦´ sin 𝜃 ; 𝑦 = 𝑥´ 𝑠𝑖𝑛 𝜃 + 𝑦´ 𝑐𝑜𝑠 𝜃 por otra
parte el ángulo de rotación de una cónica (colocando los ejes de la cónica sobre el eje y y el
eje x) satisface la relación tan 2𝜃 = 2𝑎𝑏/(𝑎2 − 𝑏2 ), si usamos algunas identidades trigonométricas
cos 2𝜃+1
conocidas, en particular 1 + 𝑡𝑎𝑛2 (𝜃) = 1/(𝑐𝑜𝑠 2 (𝜃)) y = 𝑐𝑜𝑠 2 (𝜃), podemos a llegar a que :
2
𝑎 𝑏
cos(𝜃) = ; sin(𝜃) = (esto se puede verificar mediante cálculos directos que hemos
√𝑎2 +𝑏 2 √𝑎2 +𝑏 2

evitado por no ser el principal objetivo de este artículo), aquí tenemos que tener cuidado porque en
realidad se está rotando la cónica en sentido anti horario. Tomando, estas relaciones obtenidas,
reemplazando en la ecuación inicial obtenemos y agrupando término a término, obtenemos

𝑎 𝑏 (𝑎2 +𝑐 2 )
1. (𝑎2 + 𝑐 2 )(𝑥 −𝑦 )2 = (𝑎2 +𝑏2 ) (𝑎2 𝑥 2 − 2𝑎𝑏𝑥𝑦 + 𝑏2 𝑦 2 );
√𝑎2 +𝑏2 √𝑎2 +𝑏2
𝑎 𝑏 𝑏 𝑎 2𝑎𝑏
2. 2𝑎𝑏 (𝑥 −𝑦 ) (𝑥 +𝑦 ) = (𝑎2+𝑏2) (𝑎𝑏𝑥 2 + 𝑥𝑦(𝑎2 − 𝑏2 ) −
√𝑎2 +𝑏2 √𝑎2 +𝑏2 √𝑎2 +𝑏2 √𝑎2 +𝑏2

𝑦 2 (𝑎𝑏))
𝑏 𝑎 (𝑏 2 +𝑐 2 )
3. (𝑏2 + 𝑐 2 )(𝑥 √𝑎2 +𝑏2 + 𝑦 √𝑎2 +𝑏2)2 = (𝑎2 +𝑏2 ) (𝑏2 𝑥 2 + 2𝑎𝑏𝑥𝑦 + 𝑎2 𝑦 2 )

Acto seguido analizaremos el coeficiente en xy (porque es el que debe eliminarse para que no haya
rotación), entonces (𝑎2 + 𝑐 2 )(−2𝑎𝑏𝑥𝑦) + (𝑏2 + 𝑐 2 )(2𝑥𝑦𝑎𝑏) + 2𝑎𝑏𝑦(𝑎2 − 𝑏2 ) = −2𝑎3𝑏𝑥𝑦 −
2𝑎𝑏𝑐 2 𝑥𝑦 + 2𝑏3 𝑎𝑥𝑦 + 2𝑎3 𝑏𝑥𝑦 − 2𝑏3 𝑎𝑥𝑦 = 0 ahora, tomando los términos en x y en y, y
agrupándolos sin tener en cuenta el denominador (𝑎2 + 𝑏2 ) llegamos a: 𝑎4 𝑥 2 + 𝑎2 𝑐 2 𝑥 2 + 2𝑎2 𝑏2 +
𝑏4 𝑥 2 + 𝑎2 𝑐 2 𝑥 2 = 𝑥 2 (𝑎4 +2𝑎2 𝑏2 + 𝑏4 +𝑐 2 (𝑎2+𝑏2 ) = 𝑥 2 ((𝑎2 + 𝑏2 )2+𝑐 2 (𝑎2 + 𝑏2 )=𝑥 2 (𝑎2 + 𝑏2 )((𝑎2 +
𝑏2 +𝑐 2 ) y después de hacer las respectivas simplificaciones llegamos a la expresión 𝑥 2 (𝑎2 + 𝑏2 +𝑐 2 ) +
𝑥2 𝑦2
𝑦 2 𝑐 2 = 𝑐 2 𝑟 2 que una forma más sintética y más conocida para su escritura es: 𝑐2 𝑟2
+ 𝑟2 = 1
(𝑎2 +𝑏2 +𝑐2 )

5
Para mejores referencias ver: Lehmann, C. (1989) Geometría Analítica. México, D.F: Editorial Limusa.
6
Podrían haberse hallado los focos de otra manera, como por ejemplo usando los vectores propios asociado
a la matriz de la cónica, pero creemos que la manera escogida es más ilustrativa.
 Fig (#) Elipse antes de la rotación vs elipse después de la rotación.

Fuente: Elaboración propia.

Bajo estas observaciones, es claro que el eje mayor sería 𝑟 que coincide con el radio de la
esfera tomada inicialmente. Luego la distancia focal (usando la ecuación habitual para
𝑐2𝑟2 𝑐2 𝑎2 +𝑏 2
hallarla) sería: 𝑓 = √𝑟 2 − (𝑎2 +𝑏2 +𝑐 2) = 𝑟√1 − (𝑎2 +𝑏2 +𝑐 2) = 𝑟√𝑎2 +𝑏2 +𝑐 2 lo que implica que

los focos tendrían por coordenadas, (0, 𝑓), (0, −𝑓) (por el tipo de elipse que se ha tomado,
con el eje mayor sobre el eje y).

Ahora, lo que haremos será rotar los puntos que aluden a los focos un ángulo – 𝜃 (porque al
principio habíamos hecho la rotación en sentido anti horario), recordemos entonces que:
𝑎 𝑏 𝑎 −𝑏
cos(𝜃) = √𝑎2 ; sin(𝜃) = √𝑎2 entonces cos(−𝜃) = √𝑎2 ; sin(−𝜃) = √𝑎2 , las
+𝑏 2 +𝑏 2 +𝑏2 +𝑏2

coordenadas de los focos después de hacer la rotación surgen de resolver el sistema de

𝑎 𝑏 −𝑏 𝑎
ecuaciones: 0= 𝑥 √𝑎2 + 𝑦 √𝑎2 ; 𝑓 = 𝑥 √𝑎2 + 𝑦 √𝑎2 , cuya solución viene
+𝑏 2 +𝑏2 +𝑏2 +𝑏2
−𝑏𝑓 𝑎𝑓
expresada por: 𝑥 = √𝑎2 ; 𝑦 = √𝑎2 , las coordenadas del otro foco serán las mismas
+𝑏2 +𝑏 2

pero con los signos cambiados.

Ahora, para ver que las definiciones en efecto son equivalentes, las compararemos con la
definición que se ha adoptado de la elipse como lugar geométrico.

Definición elipse como lugar geométrico. Comparación.

Sabemos que la definición de elipse como lugar geométrico es: La elipse es el conjunto de
puntos x, y (por conveniencia) tal que la suma de las distancias a dos puntos fijos llamados
focos es constante e igual al doble del semieje mayor (o a el eje mayor).

Si aplicamos esta definición, con los focos obtenidos, tendríamos entonces que:
𝑏𝑟 𝑎𝑟 𝑏𝑟 𝑎𝑟
√(𝑥 + √𝑎2 )2 + (𝑦 − √𝑎2 )2 + √(𝑥 − √𝑎2 )2 + (𝑦 + √𝑎2 )2 = 2𝑟 (*)
+𝑏2 +𝑐 2 +𝑏 2 +𝑐 2 +𝑏 2 +𝑐 2 +𝑏2 +𝑐 2

Se trata de ver, que esta definición es equivalente a la que habíamos adoptado principal-

mente, de la geometría proyectiva y esta manera de analizar que en efecto eso sucede,
consiste en ver que aplicando la definición de elipse como lugar geométrico, se llega a la
misma ecuación de la elipse que había resultado de la proyección de la intersección entre el
plano P y la esfera, sobre el eje xy.

Unos cálculos directos, demuestran que una ecuación equivalente a (*) es

2𝑦(𝑏 2 + 𝑐 2 ) + 2abx = √4𝑎2 𝑏 2 𝑥 2 − 4(𝑏 2 + 𝑐 2 )(𝑎2 𝑥 2 − 𝑐 2 𝑟 2 + 𝑐 2 𝑥 2

4𝑦 2 (𝑏2 + 𝑐 2 )2 + 8𝑎𝑏𝑥𝑦(𝑏2 + 𝑐 2 ) = −4(𝑏2 + 𝑐 2 )(𝑎2 𝑥 2 − 𝑐 2 𝑟 2 + 𝑐 2 𝑥 2 )

𝑦 2 (𝑏 2 + 𝑐 2 ) + 2𝑎𝑏𝑥𝑦 = −𝑎2 𝑥 2 − 𝑐 2 𝑥 2 + 𝑐 2 𝑟 2

𝑦 2 (𝑏 2 + 𝑐 2 ) + 2𝑎𝑏𝑥𝑦 + 𝑥 2 (𝑎2 + 𝑐 2 ) − 𝑐 2 𝑟 2 = 0

Al llegar a esto, podemos concluir que las definiciones son equivalentes, es decir que la
definición de la elipse desde la geometría proyectiva es equivalente a la definición de la
elipse como lugar geométrico. Que era nuestra intención inicial.

Naturalmente, podría surgir la pregunta ¿Pueden ser descritas todas las elipses de a través de
𝑐 2𝑟2
esta manera? Es fácil ver que prefijado r, la expresión: (𝑎2 +𝑏2+𝑐 2) puede asumir cualquier
𝑐 2𝑟2
valor. Es claro que : (𝑎2 +𝑏2+𝑐 2 ) > 0
Ahora analizaremos algunas caracterizaciones que pueden hacerse de la elipse, haciendo uso
de la geometría proyectiva.

Relaciones entre la elipse vista desde la geometría proyectiva y como lugar geométrico.

Ya viendo las equivalencias existentes entre las definiciones que adoptamos de la elipse, ya
éramos capaces de determinar la elipse que surgía de la proyección de los puntos que
resultaban de la intersección del plano y la esfera –bajo las condiciones preestablecidas-,
ahora lo que haremos será develar esto, pero de una manera más sucinta y menos laboriosa.

Ahora, sabemos desde el inicio, que la circunferencia intersección entre el plano P y la esfera,
tendrá radio r –por la manera de la construcción- ahora, supongamos que dicho plano, forma
un ángulo theta con el plano 𝑥𝑦 (ver figura 3), ahora a la circunferencia intersección es
posible asociarle otra circunferencia con centro en (0,0) y evidentemente en el plano 𝑥𝑦 (de
hecho la circunferencia intersección tiene centro en (0,0,0)), entonces dicha circunferencia
tendría como ecuación 𝑥 2 + 𝑦 2 = 𝑟 2 , como la circunferencia tiene radio r, además también
es posible conocer la longitud de cada cuerda de la circunferencia, entonces suponiendo que
cada cuerda tiene longitud y´, podríamos establecer la siguiente relación (basandonos en la
𝑦 𝑦
figura 3) cos 𝜃 = 𝑦´ 𝑦´ = cos 𝜃, entonces la elipse proyección podría ser descrita mediante la
𝑦
ecuación: 𝑥 2 + (cos 𝜃)2 = 𝑟 2
 Figura 3.

Fuente: elaboración propia.

Ahora, también es posible pensar que pasa al revés, es decir, dada la elipse, hallar un plano
del cual esta haya sido proyectada. Ahora, sin pérdida de la generalidad vamos a suponer que
𝑥2 𝑦2
la elipse tiene la forma: 𝑎2 + 𝑏2 = 1; 𝑏 > 𝑎 si 𝑎 > 𝑏 se puede hacer un estudio parecido, al

que haremos a continuación.

Ahora, supongamos que dicha elipse ha sido proyectada desde un plano P y basémonos en la
figura 4. Requerimos que 𝐸𝐴 = 𝑎, además, sabemos que el plano P, ha de pasar por el origen.

Figura 4.

Fuente: Elaboración propia.

Otra cosa que sabemos es que forma un ángulo theta con el plano 𝑥𝑦, vamos a encontrar un
vector unitario que el plano contenga, para posteriormente encontrar un vector ortogonal al
plano y describirlo. Tomemos el vector 𝑖 =< 1, 0, 0 >, como exigimos que 𝐸𝐴 = 𝑎, tenemos
𝑏
que cos 𝜃 = 𝑎 (tetha es también el ángulo entre el vector i y el que construiremos), ahora
consideremos un vector 𝑢, unitario y con componente en y cero, o sea, u tiene la forma 𝑢 =
< 𝑥1 , 0, 𝑧1 >, además (𝑥1 )2 + (𝑧1 )2 = 1, ahora calculando el producto punto entre e y i,
𝑏
entonces podemos establecer las siguientes relaciones, 𝑢 ∙ 𝑖 = |𝑢||𝑖| cos 𝜃 = cos 𝜃 = 𝑎

𝑏 𝑏
además 𝑢 ∙ 𝑖 = 𝑥1 luego, 𝑥1 = 𝑎 lo que implica que: 𝑧1 = ±√1 − (𝑎)2 , luego el vector sería

𝑏 𝑏
(tomando la raíz positiva) forma 𝑢 =< 𝑎 , 0, √1 − (𝑎)2 >,ahora para construir un vector

𝑏 𝑏
ortogonal a este, podemos tomar el vector 𝑤 =< −√1 − (𝑎)2 , 0, 𝑎 > luego, como el plano

pasa por el origen, tendríamos que un posible plano del cual ha sido proyectada la elipse es:
𝑏 2 𝑏
𝑃: −√1 − (𝑎) 𝑥 + 𝑎 𝑧 = 0, cabe resaltar que se ha tratado de sintetizar de la manera más

comoda posible para evitar cálculos engorrosos.

 Referencias bibliográficas.

Lehmann, C. (1989) Geometría Analítica. México, D.F: Editorial Limusa.

Stewart, J. (2014), Ecuaciones paramétricas y coordenas polares. En J. Stewart. Cálculo de

Varias Variables, Trascendentes Tempranas. (635-688) (Séptima edición). Cengage
Learning.