Se pide obtener una parametrizacin de la curva dada por la

interseccin de las superficies x^2 - y^2 z^2 + z^3 == 0, x^2 + y^2 +

z^2 == 1
Podemos dibujar las dos superficies con el comando ContourPlot3D y observamos cmo es la curva
interseccin.

ContourPlot3D@8x^2 - y^2 z^2 + z^3 0, x^2 + y^2 + z^2 1<,

8x, -1, 1<, 8y, -1, 1<, 8z, -1, 1<, AxesLabel 8"x", "y", "z"<D
1.0

0.5

0.0 z

-0.5

-1.0
1.0
0.5
-1.0

0.0

-0.5
0.0
x

-0.5

0.5
-1.0
1.0

Consideramos la parametrizacin de la esfera de radio 1 por medio de las coordenadas esfricas

x Cos@D Cos@D, y -> Cos@D Sin@D, z Sin@D

Untitled-3

ParametricPlot3D@8Cos@D Cos@D, Cos@D Sin@D, Sin@D<,

8, 0, Pi<, 8, 0, 2 Pi<D

1.0

1.0

0.5
0.5
0.0
0.0

-1.0
-0.5
-0.5

0.0
0.5
1.0

-1.0

Sustituyendo las ecuaciones paramtricas de la esfera en la ecuacin de la otra superficie obtenemos una
relacin entre los parmetros (los ngulos delas coordenadas esfricas) :

x^2 - y^2 z^2 + z^3 0 . 8x Cos@D Cos@D,

y -> Cos@D Sin@D, z Sin@D< FullSimplify

Cos@D2 Cos@D2 + Sin@D2 I-Cos@D2 Sin@D2 + Sin@DM 0

Si tratamos de eliminar uno de los parmetros entre las cuatro ecuaciones, el Mathematica no devuelve la
parametrizacin que pretendemos obtener :

EliminateA9x == Cos@D Cos@D, y == Cos@D Sin@D, z == Sin@D,

Cos@D2 Cos@D2 + Sin@D2 I-Cos@D2 Sin@D2 + Sin@DM 0=, E

Eliminate::ifun : Inverse functions are being used by Eliminate,

so some solutions may not be found; use Reduce for complete solution information.

x2 I1 - z2M Cos@D2 &&

x y I1 - z2M Cos@D Sin@D && y2 I1 - z2M Sin@D2 &&

x Iz3 + Cos@D2 - z2 Cos@D2M y z2 I1 - z2M Cos@D Sin@D &&

y Cot@D x && x y Csc@D I1 - z2M Cos@D &&
y2 Csc@D I1 - z2M Sin@D &&

y z3 Csc@D -x Cos@D + x z2 Cos@D + y z2 Sin@D - y z4 Sin@D &&

y2 Csc@D2 1 - z2 && x Sin@D y Cos@D &&
z3 + z4 Sin@D2 + z2 I-Cos@D2 - Sin@D2M -Cos@D2

Untitled-3

EliminateA9x == Cos@D Cos@D, y == Cos@D Sin@D, z == Sin@D,

Cos@D2 Cos@D2 + Sin@D2 I-Cos@D2 Sin@D2 + Sin@DM 0=, E

Eliminate::ifun : Inverse functions are being used by Eliminate,

so some solutions may not be found; use Reduce for complete solution information.

x2 -y2 + Cos@D2 && z Sin@D && y2 I1 + Sin@D2M Cos@D2 + Sin@D3

Realizamos la sustitucin manualmente, primero despejamos el Sin@D2
al que denotamos por sit2, y luego el Cos@D2 , al que denotamos por cost2 :

ExpandACos@D2 Cos@D2 + Sin@D2 I-Cos@D2 Sin@D2 + Sin@DME

Cos@D2 Cos@D2 - Cos@D2 Sin@D2 Sin@D2 + Sin@D3

SolveAH1 - sit2L Cos@D2 - Cos@D2 sit2 Sin@D2 + Sin@D3 0, sit2E

::sit2

Sec@D2 ICos@D2 + Sin@D3M

1 + Sin@D2

SolveA

>>

cost2 Cos@D2 - Cos@D2 H1 - cost2L Sin@D2 + Sin@D3 0, cost2E

::cost2

Sec@D2 ICos@D2 Sin@D2 - Sin@D3M

1 + Sin@D2

>>

Realizamos las sustituciones de Sin[] y Cos[] en las ecuaciones paramtricas de la esfera, y as obtenemos
unas ecuaciones de la curva buscada. Hay que tener en cuenta que hay cuatro posibilidades para los signos de
las races. Las llamamos d1, d2, d3, y d4

Untitled-3

d1 = ParametricPlot3DB
ICos@D2 Sin@D2 - Sin@D3M

:Cos@D Sec@D

1 + Sin@D2

ICos@D2 + Sin@D3M

Cos@D Sec@D

, Sin@D>,

1 + Sin@D2

8, -Pi 2, Pi 2<, PlotStyle 8Thickness@0.01D, Red<F

1.0

0.5

0.0

0.5

0.0

-0.5

0.0
0.2
0.4
0.6

Untitled-3

d2 = ParametricPlot3DB
:-Cos@D Sec@D
Cos@D Sec@D

ICos@D2 Sin@D2 - Sin@D3M

1 + Sin@D2

ICos@D2 + Sin@D3M

, Sin@D>,

1 + Sin@D2

8, -Pi 2, Pi 2<, PlotStyle 8Thickness@0.01D, Red<F

1.0 -0.6

-0.4

-0.2

0.0
0.5

0.0

0.5

0.0

-0.5

Untitled-3

d3 = ParametricPlot3DB
:-Cos@D Sec@D
-Cos@D Sec@D

ICos@D2 Sin@D2 - Sin@D3M

1 + Sin@D2

ICos@D2 + Sin@D3M

, Sin@D>,

1 + Sin@D2

8, -Pi 2, Pi 2<, PlotStyle 8Thickness@0.01D, Red<F

0.0 -0.6

-0.4

-0.2

0.0
-0.5

-1.0

0.5

0.0

-0.5

Untitled-3

d4 = ParametricPlot3DB
:Cos@D Sec@D

ICos@D2 Sin@D2 - Sin@D3M

1 + Sin@D2

ICos@D2 + Sin@D3M

-Cos@D Sec@D

, Sin@D>,

1 + Sin@D2

8, -Pi 2, Pi 2<, PlotStyle 8Thickness@0.01D, Red<F

0.0
0.0

0.2

0.4

0.6
-0.5

-1.0

0.5

0.0

-0.5

Si ahora unimos mediante el comando Show las cuatro grficas anteriores obtenemos la curva pedida.

Untitled-3

curv = Show@d1, d2, d3, d4, PlotRange AllD

-0.5

0.0

0.5

0.5

0.0

1.0

-0.5
0.5

0.0

-0.5

-1.0

Podemos superponerla sobre una esfera, para ver cmo en efecto es una curva sobre la superficie esferica :

Untitled-3

esf = ParametricPlot3D@8Cos@D Cos@D, Cos@D Sin@D, Sin@D<,

8, -Pi, Pi<, 8, 0, 2 Pi<, Mesh NoneD
1.0

0.5

0.0
-0.5
-1.0
1.0

0.5

0.0

-0.5

-1.0
-1.0
-0.5
0.0
0.5
1.0

Show@esf, curvD

1.0

0.5

0.0

-0.5
1.0
-1.0
-1.0

0.5
-0.5
0.0
0.0
-0.5
0.5
1.0

-1.0