Problema oculto 34

Gwydion J. Martn Ventura

3 de abril de 2016

Sean R > r > 0 numeros fijos. Probar que es superficie el conjunto M definido por

M = {(x, y, z) : (x2 + y 2 + z 2 R2 r2 )2 4R2 (r2 z 2 ) = 0}

Demostrar que la interseccion de M con el plano y = 0 son dos circunferencias.

Probar que M es la superficie barrida por una de estas circunferencias al girar
alrededor del eje Z
Para ver que M es una superficie, llamamos F a la formula que describe sus puntos y escribi-
mos los sistemas S0 : Fx = 0, Fy = 0, Fz = 0, S1 : Fx = 0, Fy = 0, Fz = 0, F = 0, y comprobamos
que S0 es compatible, mientras que S1 es incompatible.

4x(x + y + z R r ) = 0
2 2 2 2 2

S0 4y(x2 + y 2 + z 2 R2 r2 ) = 0
4z(x2 + y 2 + z 2 R2 r 2 ) + 8R2 z = 0

Distinguimos dos casos:

(x2 + y 2 + z 2 R2 r2 ) 6= 0: en ese caso, por las dos primeras ecuaciones, tenemos que x =
y = 0. Si sustituimos en la ultima, obtenemos 4z(z R r )+8R
2 2 2 2 z = 4z(z 2 +R2 r 2 ) = 0.

Por tanto, las soluciones son z = 0 o z = r2 R2 , pero r2 R2 < 0 por hipotesis, luego
es una solucion no valida del sistema.

(x2 + y 2 + z 2 R2 r2 ) = 0: por la ultima ecuacion, necesariamente z = 0 ya que R > 0.

As, sustituyendo en las dos primeras, tenemos que

4x(x2 + y 2 R2 r2 ) = 0
4y(x2 + y 2 R2 r2 ) = 0

De nuevo, podemos distinguir dos casos:

(x2 + y 2 R2 r2 ) 6= 0: entonces, x = y = 0.
(x2 + y 2 R2 r2 ) = 0: despejando, tenemos x2 + y2 = R2 + r2 , que es la ecuacion
de la circunferencia (en R2 ) de centro (0, 0) y radio R2 + r2 .

Por tanto, S0 es compatible. Probamos ahora si sus soluciones lo son tambien de F = 0 para
ver si S1 es compatible.

x = y = z = 0: tenemos que 4R2 r2 = 0, lo cual es imposible por hipotesis.

z = 0, x2 + y 2 = R2 + r2 : nos queda que ((R2 r2 ) R2 r2 )2 4R2 r2 = 4r2 (r2 R2 ) = 0,

lo cual es imposible por hipotesis.

Como ninguna de las soluciones de S0 lo es de F = 0, tenemos que S1 es incompatible, luego

M es una superficie.

Geometra Diferencial
Doble Grado Matematicas e Ing. Informatica
 Pasamos ahora a comprobar que su interseccion con el plano y = 0 son dos circunferencias.
((x2 + z 2 r2 ) R2 )2 4R2 (r2 z 2 ) = 0
(x2 +
z2 r 2 )2
+ R4 2R2 (x2 + z 2 r2 ) 4R2 (r2 z 2 ) = 0
(x2 + z 2 r2 )2 + R4 + 2R2 (z 2 x2 r2 ) = 0 (4R2 x2 )
(x2 + z 2 r2 )2 + R4 + 2R2 (x2 + z 2 r2 ) 4R2 x2 = 0
((x2 + z 2 r2 ) + R2 )2 = 4R2 x2
x2 + z 2 r 2 + R 2 = 2Rx
(x 2Rx + R2 ) + z 2
2 = r2
(x R)2 + z 2 = r2
Es decir, la interseccion de M con el plano y = 0 son las circunferencias de centro (R, 0, 0) y
(R, 0, 0) y radio r.
Por ultimo, veamos que basta con girar una de ellas alrededor del eje Z para obtener todo
M . Buscamos primero una parametrizacion de M a partir de F = 0:
(x2 + y 2 + z 2 R2 r2 )2 4R2 (r2 z 2 ) = 0
(x2 + y 2 + z 2 R2 r2 )2 + 4R2 z 2 = 4R2 r2
!2
x2 + y 2 + z 2 R 2 r 2
+ z 2 = r2
2R
Ahora, podemos parametrizar el lugar geometrico que describe esta ecuacion tomando u [0, 2)
y llamando
x2 + y 2 + z 2 R 2 r 2
= r cos u z = r sin u
2R
Sustituimos en la ecuacion de la izquierda el valor de z, y continuamos operando:
x2 + y 2 + (r sin u)2 R2 r2
= r cos u
2R
x2 + y 2 r2 (1 sin2 u) R2
= r cos u
2R
x2 + y 2 r2 cos2 u R2
= r cos u
2R
x2 + y 2 = R2 r2 cos2 u 2Rr cos u
x2 + y 2 = (R + r cos u)2
Y podemos parametrizar ahora tomando v [0, 2) y haciendo
x = (R + r cos u) cos v y = (R + r cos u) sin v
Si, por ejemplo, fijamos el valor v = 0, obtenemos
x = (R + r cos u) cos 0 = R + r cos u
y = (R + r cos u) sin 0 = 0
z = r sin u
que es una de las circunferencias obtenidas anteriormente, y si aplicamos un giro alrededor del
eje Z, utilizando formulas matriciales, obtenemos
cos v sin v 0 R + r cos u (R + r cos u) cos v

sin v cos v 0 0 = (R + r cos u) sin v

0 0 1 r sin u r sin u
que es la parametrizacion encontrada a partir de la formula de M , luego como queramos de-
mostrar, M se obtiene girando una circunferencia (por ejemplo, una de las que hemos obtenido
intersecando con el plano y = 0) alrededor del eje Z.

Geometra Diferencial
Doble Grado Matematicas e Ing. Informatica