H

Revista Integracin
Escuela de Matemticas
Universidad Industrial de Santander
Vol. 23, No. 2, 2005, pg. 4560

Geometra y topologa del tronco de cono elptico

Luis Enrique Ruiz Hernndez

Resumen. Se concibe una funcin convexa f : R3 R para la cual el conjunto

de nivel f 1 ([0, r]) es un tronco de cono elptico F, macizo y cerrado, para un
cierto nmero real r > 0. Se calcula su volumen, y en particular, cuando F es
circular, los radios de sus bases. Tambin, dado un tronco de esta naturaleza,
se construye una representacin cartesiana suya. Al trascender la geometra del
slido F, se establece un criterio de concurrencia cnica: cundo dos elipses
paralelas en R3 son secciones de corte de una hoja cnica, adems de otros
resultados afines.

Introduccin
El tronco de cono elptico F es el slido comprendido entre dos planos que intersecan
una hoja cnica elptica. Su geometra ha resultado sutilmente evasiva a toda intencin
de abordarla profundamente, y hasta el presente su visin y enfoque han sido solo
clsicos. De por s, un slido que dado su carcter trunco, es de naturaleza compleja
y an desconocida.
Sin embargo, es gratificante poder compartir y comunicar a lo largo del presente
documento, cmo la geometra de F se concibe y subyace en nociones muy importantes
del lgebra lineal, articuladas profusamente con topologa, anlisis convexo y geometra
afn. Un contexto terico ajeno a toda la geometra tradicional sobre F.
La geometra rigurosa de F se expresa, bsicamente, en trminos de una matriz
simtrica positivamente definida de orden tres, un vector unitario en R3 y una funcin
convexa f sobre R3 (Teorema 1.1). El resultado es un modelo matemtico que nos
permite trascender la geometra de F, vislumbrando propiedades, an no establecidas,
sobre la hoja cnica elptica (Seccin 4).
Adems, utilizando los elementos componentes de f y aplicando un importante resultado de la geometra afn, se calcula el volumen de F, y en particular los radios de
sus bases, cuando es un tronco circular (Teorema 2.1). Igualmente, dado un tronco de
cono elptico se construye explcitamente su representacin cartesiana (Teorema 3.1),
un resultado hasta hoy ignorado.
0 Palabras

y frases claves: funcin convexa, geometra de slidos, hoja cnica, geometra afn.
MSC2000 : Primaria: 51M15. Secundaria: 51M20, 51M99.
0 Departamento de Matemticas, Universidad Pedaggica y Tecnolgica de Colombia, Duitama,
Boyac, Colombia, e-mail: leruizh@yahoo.es.
0

45

46

Luis Enrique Ruiz Hernndez

Las descripciones tericas anteriores tienen implicaciones relevantes para la hoja

cnica elptica. As, se establece que todo corte plano de una hoja cnica elptica,
paralelo a su directriz, es tambin una elipse, hecho que atae propiedades de colinealidad entre sus centros, focos y pice de la hoja, a la vez correlacionadas con ciertos
elipsoides, en una trama que involucra la nocin obligada de homotecia (Teoremas 4.1
y 4.2).
Rematamos el trabajo consignando una condicin necesaria y suficiente para que
dos elipses paralelas en R3 sean secciones de corte de una hoja cnica (Teorema 4.3,
un criterio de concurrencia cnica).
Denotaremos con letra imprenta mayscula los puntos o vectores fila de R3 , mediante
una cruz el producto vectorial, y por QT la transpuesta de una matriz arbitraria
Q. En particular, el producto matricial AB T, indicar entonces, el producto interior
usual de dos vectores (fila) A y B en R3 .
Los Teoremas 1.1, 2.1, 3.1, 4.1, 4.2 y 4.3, consignados en la presente investigacin
son originales. Constituyen aportes concebidos y demostrados por el autor.

1.

El tronco de cono elptico como un conjunto de nivel

Teorema 1.1. Sean Q una matriz simtrica positivamente definida de orden tres, A
un vector unitario en R3 , a > 1 y r > 0.
Sea f : R3 R la funcin representada por

f (X) = max k(XQ) Ak + XQAT ,

aXQAT ,

r XQAT ,

(1)

para todo X R3 .
Consideremos, adems la regin elptica E1 cerrada en R3 de centro a1 rAQ1 representada por
XQ2 X T c2
y
XQAT = a1 r,
(2)
donde
1

c=a

(3)

(a 1) + 1;

y la regin elptica E2 cerrada en R3 de centro el origen 0, representada por

XQ2 X T r2

XQAT = 0.

(4)

Entonces, el conjunto de nivel

F = {X R3 | f (X) r}

(5)

es un tronco de cono macizo cerrado elptico de base menor E1 y base mayor E2 . El

slido proviene de truncar el cono elptico macizo de pice rAQ1 y base E2 (ver
Figura 1).

[Revista Integracin

Geometra y topologa del tronco de cono elptico

Figura 1. Tronco de cono macizo cerrado elptico F de bases elpticas paralelas E1 y E2 .

Vol. 23, No. 2, 2005]

47

48

Luis Enrique Ruiz Hernndez

Demostracin. Por ser Q una matriz simtrica, positivamente definida, tambin lo es

Q2 , y las desigualdades en (2) y (4) representan elipsoides macizos cerrados concntricos en 0 [3, pp. 283285]. Razn por la cual sus intersecciones E1 y E2 con los planos
dados en (2) y (4), respectivamente, son, en efecto, regiones elpticas cerradas.
Si X es un punto de E1 , hagamos
Y =

a
r
X
AQ1 ;
a1
a1

entonces
YQ=

a
r
XQ
A,
a1
a1

r
a
XQAT
a1
a1
r
r
=

=0
a1 a1

Y QAT =

Y Q2 Y T =

a2
(a 1)
a2 c2
(a 1)

2 T
2 XQ X

r2
(a 1)

(A es unitario)
(por (2)),
r2

(a 1)

= r2 ,

(por (2) y (3)),

es decir, Y E2 . As, la funcin g : E1 E2 representada por

g(X) =

r
a
X
AQ1
a1
a1

(6)

para todo X E1 , est bien definida. Adems, es fcil probar que es biyectiva, por lo
cual g(E1 ) = E2 .
El punto V = rAQ1 no est en el plano XQAT = 0 de E2 , y por ende el cono
macizo cerrado C de base E2 y pice V no es degenerado (ver Figura 1).
Por ser X V 6= 0, para todo X E1 (lo contrario es imposible por ser a > 1),

entonces el rayo V X de ecuacin

(t) = V + t(X V ),

t 0,

es, tambin, no degenerado. Y se satisfacen, teniendo presente (6), las relaciones

a
= g(X);
(0) = V,
(1) = X,

a1
consecuentemente el punto X est entre V y g(X), un punto de la generatriz V g (X)
del cono C. Esto significa que la regin elptica cerrada E1 es la seccin de corte al
truncar el cono C con el plano XQAT = a1 r, por lo cual las regiones paralelas E1
y E2 son, en efecto, las bases menor y mayor, respectivamente, de un tronco de cono
macizo cerrado, el cual denotaremos por H. Pero entonces, dada la biyectividad de g,
[
H=
Xg(X).
(7)
XE1

[Revista Integracin

Geometra y topologa del tronco de cono elptico

49

Si X es un punto de E1 e Y = g(X), entonces a la luz de (2) y (6), obtenemos

X + (1 )Y
{X + (1 )Y }QAT

= a1 r,

{X + (1 )Y }Q A =
||{X + (1 )Y }Q A||

a
(1 ) r
X
AQ1 ,
a1
a1

a
(XQ) A,
a1

a p
XQ2 X T a2 r2
(8)
a1
(Identidad de Lagrange)
r a1 r
por ((2) y (3)),
=

para todo [0, 1], expresiones que implican, en (1),

f (X + (1 )Y ) r,

para todo X E1 ,

dado que el mximo es la menor de las cotas superiores. Pero entonces

f (XY ) = f (Xg(X)) r
para todo X E1 , o bien, segn (5) y (7),
(9)

H F.
Si X es un punto de E1 , se sigue de (6) la equivalencia
XQ2 X T = c2

si y slo si

g(X)Q2 g(X)T = r2 ;

en otras palabras, X es un punto de la frontera relativa de E1 si y slo si g(X) es un

punto de la frontera relativa de E1 . Bajo estas condiciones Xg (X) es una generatriz
de H; as, teniendo presente (8), obtenemos

(10)
f Xg (X) = r para todo punto X en la frontera relativa de E1 .
Igualmente, si X es un punto de E1 , es decir, si X satisface las condiciones en (2),
entonces

2
2
2
k(XQ) Ak = kXQk XQAT

2
= XQ2 X T XQAT
= XQ2 X T a2 r2

2
c2 a2 r2 = r a1 r ,

k(XQ) Ak
k(XQ) Ak + XQAT
Vol. 23, No. 2, 2005]

r a1 r,
r,

50

Luis Enrique Ruiz Hernndez

aXQAT = r,

r XQAT = r a1 r < r,

expresiones ltimas que implican f (X) = r, es decir, f (E1 ) = r. Anlogamente se

demuestra que f (E2 ) = r. De aqu y (10) se desprende que
f (F r(H)) = r,
donde F r(H) denota la frontera de H. Pero entonces
F r(H) F r(F),

(11)

F r(F) = {X R3 | f (X) = r},

(12)

dado que
por ser f una funcin real convexa (el mximo de tres funciones convexas), propia y
cerrada ([2, pp. 3536, Theorem 5.5; p. 59, Corollary 7.6.1]).
El punto
a1 r
P =
AQ1
2
satisface
r
f (P ) = (2 a1 ) < r,
2
por lo cual P es un punto interior de F (ver referencia anterior). Pero tambin P es
un punto interior del tronco de cono H por ser el punto medio del segmento de recta
que une los centros de sus bases.
Si X es un punto de F H, entonces X es un punto interior de R3 H, por
ser H cerrado, y el segmento P X F (un conjunto convexo) corta a F r(H) en un
punto U entre P y X, esto es, U int(F) ([2, p. 45, Teorema 6.1]), y adems por
(1), U F r(F), lo cual es imposible. Por tanto F H, que al unsono con (9) implica
X
F = H.

2.

Un automorfismo de R3 y el volumen del slido

En un contexto del lgebra lineal calcularemos el volumen del tronco de cono F

aplicando un importante resultado de la geometra afn, desafortunadamente ignorado
en nuestro medio.
Teorema 2.1. Sea F el tronco de cono elptico descrito bajo todas las hiptesis y partes
del Teorema 1.1. Entonces
(i) El volumen de F es
3 3 2
a r (3a 3a + 1)(det Q)1 .
3
(ii) Si F es un tronco de cono circular, el radio de su base menor es (1 a1 ),
donde
= r||AQ||1/2 (det Q)1/2
es el radio de la base mayor.
[Revista Integracin

Geometra y topologa del tronco de cono elptico

51

Demostracin. Sean C y C los conos macizos cerrados de pice comn rAQ1 y bases
E2 y E1 , respectivamente (ver Figura 1). Teniendo en mente (2), (3) y (4), si es
el automorfismo de R3 definido por (X) = XQ, para todo X R3 , entonces las
expresiones
2
k(X)k = XQ2 X T ,
{(X) (0)}(rAQ1 )T = rXQAT
y
{(X) (a1 rAQ1 )}(rAQ1 )T = rXQAT a1 r2
nos ponen de manifiesto que (C) y (C ) son conos de revolucin de pice comn
(rAQ1 ) = rA, bases circulares de centros 0 y a1 rA, respectivamente. Entonces
(X)(0)(rAQ1 ), es decir, (X)0(rA), es un tringulo rectngulo issceles con
catetos de longitud r para todo punto X de la frontera relativa de la base E2 de C. Por
esto el radio (de la base) y la altura de (C) son iguales a r. Anlogamente, el radio
y la altura de (C ) son iguales a
{a2 r2 [(a 1)2 + 1] ||(a1 rAQ1 )||2 }1/2 = (1 a1 )r.
De este modo, los volmenes de (C) y (C ) son, respectivamente,
3
r
3

(1 a1 )3 r3 ,
3

y por ende
v det Q =

3
r
3

v det Q =

(1 a1 )3 r3 ,
3

donde v y v son los volmenes de los conos C y C , respectivamente ([1, pp. 243,
Corollary]). Se infiere que
volumen de F = v v .
Ahora, las distancias del pice de C a los planos dados en (4) y (2), son

(rAQ1 ) AQT
1
= r kAQk
kAQk
y

T
rAQ1 (AQ) a1 r
kAQk

1
= 1 a1 r kAQk ,

respectivamente. Adems, si g : E1 E2 es la biyeccin representada por (6), entonces

g(X) tambin toma la forma
Y = g(X) =
lo que implica
||Y 0|| =
Vol. 23, No. 2, 2005]

a
{X a1 rAQ1 },
a1
a
||X a1 rAQ1 ||,
a1

52

Luis Enrique Ruiz Hernndez

donde, recordemos, 0 y a1 rAQ1 son los centros de las bases E2 y E1 de F. Se deduce

de la expresin anterior la siguiente equivalencia:
Una base de F es un crculo si y slo si la otra base es un crculo.
Por tanto, si F es un tronco de cono circular (esto es, E1 y E2 son crculos), entonces
2
1
r kAQk
3

2
1
1 a1 r kAQk
3

son los volmenes de C y C , con bases de radio y , respectivamente. Igualando

X
estas expresiones a v y v , obtenemos y respectivamente.

3.

Representacin cartesiana de un tronco de cono elptico dado

Teorema 3.1. Sea dado un tronco de cono elptico macizo cerrado F, tal que
(i) C es el centro de su base menor.
(ii) El origen 0 es el centro de su base mayor.
(iii) El pice de su cono de procedencia est a una distancia h de 0.
(iv) P1 y P2 son dos puntos dados de la frontera relativa de su base mayor, satisfaciendo
= det(P1 , P2 , C) 6= 0.
Sea W la matriz cuadrada no singular de orden tres, con primera, segunda y tercera
columnas
a(P2 C)T ,
a(P1 C)T ,
(P1 P2 )T ,
respectivamente, donde a = h||C||1 > 1.
Tomemos adems r = 1,
A = ||1 COOT

Q = a1 ||1 OOT

donde O es la matriz ortogonal de orden tres, cuyas primera, segunda y tercera columnas forman un conjunto completo de vectores propios ortonormales de W W T, correspondientes a sus valores propios 1 , 2, 3 , y donde
p p p
= diag
1 , 2 , 3 .
Si para a, r, A y Q as construidos, consideramos la funcin f : R3 R definida en
(1), entonces
F = {X R3 | f (X) 1},
(13)
donde
F r(F) = f 1 (1).

(14)
[Revista Integracin

Geometra y topologa del tronco de cono elptico

53

Demostracin. Por ser 6= 0 entonces C 6= 0, por lo cual a est bien definido. Si V

es el pice del cono de procedencia del tronco F, por ser 0, C y V colineales (C entre
0 y V ), entonces V = aC con a > 0, y por ende a = ||V ||||C||1 = h||C||1 > 1.
Dado que1
det W = det W t = a2 det(P2 C, P1 C, P1 P2 ) = (a)2 6= 0,
entonces W es no singular, y as W W T es una matriz simtrica positivamente definida
([3, pp. 282]). Ms adelante ser de uso obligatorio la igualdad
XW = (aX (P2 C),

aX (P1 C),

X (P1 P2 )) ,

(15)

para todo X R3 .
De la descomposicin W W T = O2 OT obtenemos a ||Q = OOT como la nica
raz cuadrada ((a||Q)2 = W W T ) simtrica y positivamente definida de W W T ([3,
pp. 283285]). Si tomamos A como en (13), entonces A es un vector unitario y
Pi QAT

= a1 2 Pi (O2 OT )C T = a1 2 Pi W W T C T
= a1 2 (Pi W )(CW )T = 0,
i = 1, 2,

aplicando (15). Similarmente se prueba que CQAT = a1 . Adems,

Pi Q2 PiT = (a)1 ||Pi W ||2 = 1,

i = 1, 2,

y
CQ2 C T = a2 2 ||CW ||2 = a2 <

a1

2
q
2
(1 a) + 1 .

De este modo, las expresiones (2), (3) y (4) representan (para a, r, A y Q as construidos
aqu), las dos bases elpticas del tronco dado F.
Ahora, el tronco de cono elptico f 1 ([0, 1]) representado por (1) y (5) para los
citados valores, tiene (de acuerdo al Teorema 1.1) base menor de centro
a1 rAQ1

= a1 {||1 COOT }{a1 ||1 OOT }1

=

(COOT ){(OT )1 1 O1 } = C,

y ambas bases elpticas representadas, justamente, como las del tronco de cono dado
F. Concluimos as que F = f 1 ([0, 1]), el conjunto de nivel (13). De (12) se sigue la
X
igualdad en (14).

4.

Implicaciones

En el presente captulo se pone en evidencia cmo los Teoremas 1.1 y 3.1 nos ayudan
a concebir y a construir demostraciones de algunas importantes propiedades de la hoja
cnica elptica.
1 Recurdese

la identidad (A B) (C D) = (A B D)C (A B C)D.

Vol. 23, No. 2, 2005]

54

Luis Enrique Ruiz Hernndez

Teorema 4.1. Sea C una hoja cnica elptica no degenerada de pice V , directriz la

elipse 2 de centro el origen 0, y focos F21 , F22 . Si C es un punto del rayo V 0, C

entre 0 y V , consideremos la homotecia : R3 R3 representada por
(X) = V +

a
(X V )
a1

(16)

para todo X R3 , de centro V y razn a(a 1)1 , donde

a = ||C||1 ||V ||.

(17)

Entonces
(i) Si H es el plano a travs de C paralelo al plano de 2 , entonces la curva
1 = C H es una elipse de centro C, tal que 2 = (1 ). Es decir, 1 y
2 son curvas homotticas (o semejantes).
(ii) Los focos de 1 son
F1i = 1 (F2i ) =

a1
F2i + C,
a

i = 1, 2.

(18)

Es decir, V , F1i y F2i son tambin colineales, F1i entre V y F2i (ver Figura 2).
(iii) Existen dos elipsoides F1 y F2 de centro comn 0, tales (F1 ) = F2 y 1 es
una seccin elptica de Fi , i = 1, 2, donde es la homotecia de R3 de centro 0
1
y razn 2 > 1, donde
q
2
1
(a 1) + 1.
(19)
=a
Demostracin. Dado que C es un punto entre 0 y V , entonces 0 < ||C|| < ||V ||, por
lo cual a > 1 en (17), y por ende la funcin en (16) est bien definida. Adems,
V = aC por ser C y A vectores paralelos y del mismo sentido.
Puesto que C es una superficie reglada cnica, cada generatriz de C pasa por un
punto de su directriz elptica 2 , y cada punto de C est sobre una generatriz. As, si

X 1 entonces el rayo (o generatriz) V X interseca 2 en un punto Y , esto es, existe

un escalar t > 0 tal que
Y = V + t(X V ).
(20)
Siendo tambin Y un punto de la elipse 2 , por ser 2 centralmente simtrica en 0,

entonces la generatriz V (Y ) interseca 1 en un punto X (ver Figura 2).

Adems de ser X y X puntos del tringulo (Y )V Y , su mediana V 0 contiene el
punto C, por lo cual X , C, X estn en el plano del tringulo, como tambin lo estn
en el plano H (dos planos diferentes, dado que V
/ H). Por tanto X , C, X estn en

la interseccin de dichos planos, es decir, X , C y X, son puntos colineales, C entre

X y X tales que X X y (Y ) Y son segmentos paralelos, por ser H y el plano de 2
paralelos.
[Revista Integracin

Geometra y topologa del tronco de cono elptico

55

Figura 2. Hoja cnica elptica C de pice V , tiene directriz elptica 2 homottica a la interseccin 1 = H C, para todo plano paralelo al plano de 2 .

Vol. 23, No. 2, 2005]

56

Luis Enrique Ruiz Hernndez

De la semejanza de los tringulos V X C y V (Y )0, V CX y V 0Y , se establecen las

proporciones
X C
VC
CX
=
=
,
(Y ) 0
V0
0Y
lo que implica, percibiendo que (Y )0 = 0Y , X C = CX, y por esto C es el punto
medio del segmento X X, explcitamente, X = 2C X. En otras palabras, la curva
1 es centralmente simtrica en C.
Por otro lado, tambin existe un escalar t > 0 tal que
Y = V + t (X V ),
o bien,
Y = V + t (2C X V ).
De esta expresin, (20) y V = aC, obtenemos
{a(2 t t) + 2t }C + (t t )X = 0,
lo que implica, por ser C y X linealmente independientes (C es no degenerada)
a(2 t t) + 2t = 0
resolviendo aparece t =

t t = 0;

a
, valor que en (20) nos aporta
a1

Y =V +

a
(X V ) = (X)
a1

(por (16));

de aqu y de la biyectividad de concluimos que 2 = (1 ), es decir, 1 y 2 son

curvas homotticas (o semejantes).
Ahora, dado que 2 es una elipse de focos F21 y F22 , existe una constante c > 0 tal
que
||Y F21 || + ||Y F22 || = c,
para todo Y 2 . As las cosas,
c = ||(X) F21 || + ||(X) F22 ||
= ||(X) (F11 )|| + ||(X) (F12 )||
a
=
{||X F11 || + ||X F12 ||},
a1
para todo X 1 . Se infiere que 1 es, en efecto, una elipse de centro C y focos F11
y F12 . Adems, de (18) recibimos
F1i =

a1
F2i + a1 V,
a

una combinacin convexa de F2i y V . Esto significa que V , F1i y F2i son colineales,
F1i entre V y F2i , para todo i = 1, 2.
[Revista Integracin

Geometra y topologa del tronco de cono elptico

57

Finalmente, sea F el tronco de cono elptico, macizo cerrado, de bases las regiones
elpticas cerradas Ei = conv(i ), la envolvente convexa de i , i = 1, 2 ([2, p. 158,
Theorem 17.]). Dadas las hiptesis del presente teorema, siempre podemos tomar dos
puntos P1 y P2 en 2 tal que satisfagan
= det(P1 , P2 , C) 6= 0.
De este modo el slido F cumple con todas las hiptesis del Teorema 3.1. Por lo cual,
segn (19) y de acuerdo al Teorema 1.1 (en todas sus partes y notaciones), si F1 y F2
son los elipsoides representados por
XQ2 X T =

XQ2 X T = 1,

respectivamente; entonces i es una seccin elptica de Fi , i = 1, 2. Si adems

1
: R3 R3 es la homotecia (X) = 2 X, para todo X R3 (de centro 0 y
1
razn 2 ), entonces
(X)Q2 (X)T = 1 (XQ2 X T ) = 1 = 1,
para todo X F1 . Se infiere que F2 = (F1 ), por ser biyectiva.

Recprocamente, a continuacin probaremos que si dos regiones elpticas cerradas y

paralelas, satisfacen las propiedades en (2), (3) y (4), entonces sus fronteras relativas
son las intersecciones de sus planos con una hoja cnica.
Teorema 4.2. Sea Q una matriz simtrica de orden tres, positivamente definida. Si
0 < < 1 y N es un vector no nulo en R3 , consideremos las regiones elpticas cerradas
y paralelas
E1 : XQX T
y
N X = 1,
(21)
E2 : XQX T 1

N X = 0,

(22)

de centro C y 0, respectivamente.
Entonces las fronteras relativas de E1 y E2 son las secciones de corte de los planos
paralelos en (21) y (22) con una hoja cnica C. Explcitamente, C es la hoja cnica
elptica no degenerada, de directriz la frontera relativa de E2 y pice
V =

1
1

1 ( CQC T ) 2

C.

(23)

Demostracin. Denotemos por i la frontera relativa de Ei , i = 1, 2. El centro C de

la regin elptica E1 est en su interior relativo, por lo cual en (21) debemos tener
CQC T < , lo que implica 0 < CQC T < < 1, y por ende
1

0 < 1 ( CQC T ) 2 < 1.

(24)

Razn por la cual el vector V en (23) est bien definido. Por ser C un punto del plano
de E1 , entonces N C = 1 por (21), as N V 6= 0 y V no est en el plano de E2 dado
Vol. 23, No. 2, 2005]

58

Luis Enrique Ruiz Hernndez

en (22). Esto entraa que la hoja cnica elptica C de pice V y directriz 2 es no

degenerada.
En nuestro contexto, consideremos la homotecia : R3 R3 definida en (16),
siendo aqu (17) la expresin
a=

1
1

1 ( CQC T ) 2

(25)

> 1,

por (24), en cuyo caso (16) adopta la forma

(X) =

a
(X C),
a1

X R3 .

(26)

Dado que 1 se autorrefleja a travs de su centro C, si X 1 entonces 2C X 1 ,

por lo cual, segn (21),
(2C X)Q(2C X)T = .
Expandiendo el miembro izquierdo, teniendo presente (ahora y ms adelante) que
XQX T = , hallamos
CQX T = CQC T ;
(27)
por esto,
2
a
(X C)Q(X C)T
a1

a
(XQX T 2CQX T + CQC T )
=
a1

2
a
=
(XQX T CQC T )
a1

2
a
( CQC T ) = 1
=
a1

(X)Q(X)T =

(Por (26))

(Por (27))
(Por (25)),

y
N (X) = 0.
En otras palabras, hemos probado que si X es un punto de 1 entonces (X) es un

punto de la directriz 2 y de la generatriz V X (ver (16)) del manto cnico C.

Recprocamente, si Y 2 hagamos
X = 1 (Y ) =

a1
Y + C.
a

Entonces

a1
N Y + N C = 1,
a
dado que Y y C estn en los planos (22) y (21), respectivamente; adems
N X =

(X C)Q(X C)T =

a1
a

Y QY T =

a1
a

[Revista Integracin

Geometra y topologa del tronco de cono elptico

59

o equivalentemente, a la luz de (25) y (27),

XQX T CQC T = CQC T ,
si y slo si
XQX T = .

Igualmente, hemos probado que si Y 2 entonces 1 (Y ) 1 V Y .

Concluimos que, en efecto, 1 y 2 son las secciones de corte de los planos paralelos
X
en (21) y (22) con la hoja cnica C.

Finalmente, se desprende de la parte (iii) del Teorema 4.1 y del Teorema 4.2 una
caracterizacin para que dos elipses paralelas en R3 sean secciones de corte de una
hoja cnica.
Teorema 4.3 (Criterio de concurrencia cnica). Sean 1 y 2 dos elipses paralelas y
diferentes en R3 , de centros C1 y C2 respectivamente. Entonces, 1 y 2 son secciones
transversales de corte de una hoja cnica, si y slo si, 1 y 2 son secciones elpticas
de dos elipsoides F1 y F2 , respectivamente, concntricos en C2 , tales que (F1 ) = F2 ,
donde es una homotecia de R3 de centro C2 y razn > 1.
Demostracin. Hagamos
i = i C2 ,

i = 1, 2,

el trasladado de i por C2 . Entonces 1 y 2 son elipses paralelas de centros

C1 = C1 C2

C2 = 0,

respectivamente.
() Si 1 y 2 son secciones transversales de corte de una hoja cnica C, entonces
1 y 2 son secciones transversales de corte de la hoja cnica C C2 . Por esto, y
de acuerdo a la parte (iii) del Teorema 4.1, existen dos elipsoides F1 y F2 de centro
comn 0, y una homotecia de R3 , representada por
(X) = X,

X R3 ,

de centro 0 y razn > 1, tales que

(F1 ) = F2 .
Si
Fi = Fi + C2 ,

i = 1, 2,

y es la homotecia de R3 dada por

(X) = C2 + (X C2 ) ,

X R3 ,

(28)

de centro C2 y radio , entonces F1 y F2 son elipsoides de centro comn C2 , tales que

(F1 ) = F2 , como fcilmente puede verificarse.
Vol. 23, No. 2, 2005]

60

Luis Enrique Ruiz Hernndez

() Bajo estas hiptesis, i es una seccin elptica del elipsoide Fi C2 de centro

0, para todo i = 1, 2. Existe una matriz simtrica Q de orden tres, positivamente
definida, tal que
T
(X C2 ) Q (X C2 ) = 2
(29)
es la representacin matricial del elipsoide F1 , o equivalentemente,
XQX T = 2
es la representacin matricial de F1 C2 , donde
0 < 2 < 1.
Por hiptesis, la homotecia de R3 tiene la forma (28). As, si Y F2 entonces
Y = (X) para algn X F1 , y
T

(Y C2 ) Q (Y C2 ) = 2 (X C2 ) Q (X C2 ) = 1,

(por (29)),

es decir,
XQX T = 1
es la representacin matricial de F2 C2 . Se infiere del Teorema 4.2 que 1 y 2 son las
secciones de corte de dos planos paralelos con una hoja cnica C , o equivalentemente,
i = i C2 es una seccin transversal de corte de la hoja cnica C + C2 , para todo
X
i = 1, 2.

Referencias
[1] Birkhoff G. and MaC Lane S. A Brief Survey of Modern Algebra. New York:
The Macmillan Company, second edition, 1965.
[2] Rockafellar Ralph T. Convex Analysis. Princeton, New Jersey: Princeton University Press, 1972.
[3] Strang Gilbert. lgebra lineal y sus aplicaciones. Fondo Educativo Interamericano, S.A., 1982.

Luis Enrique Ruiz Hernndez

Departamento de Matemticas
Universidad Pedaggica y Tecnolgica de Colombia
Duitama, Boyac, Colombia.
e-mail: leruizh@yahoo.es

[Revista Integracin