InterseccionDeSuperficiesTransversalmente::usage=":References:Mishchenko,A.S.,Solovyev,Yu.P.,Fomenko,A.T.ProblemsinDifferentialGeometryandTopology.MirPublishersMoscow:p.58,1985;Personal.";
Development:
In[]:=
Solve[{++==a,+-==1},{x,z}]
2
x
2
y
2
z
2
x
2
y
2
z
x-,z-,x-,z,x,z-,x,z;
1+a-2
2
y
2
-1+a
2
1+a-2
2
y
2
-1+a
2
1+a-2
2
y
2
-1+a
2
1+a-2
2
y
2
-1+a
2
If a =1, the coordinate z is canceled,therefore a ≠ 1 (a > 1):
In[]:=
Reduce[1+a-2>=0,y]
2
y
(a-1&&y0)||a>-1&&-≤y≤;
1+a
2
1+a
2
In[]:=
ManipulateShowContourPlot3D[+-==1,{x,-5,5},{y,-5,5},{z,-4,4},ContourStyleDirective[Yellow,Opacity[0.9],Specularity[White,30]],MeshFalse,BoundaryStyleDirective[Black,Thick],PerformanceGoal"Quality"],ParametricPlot3D[,y,-,y,-,,PlotStyle{Thickness[0.005],Blue},ParametricPlot3D,y,-,y,-,,PlotStyle{Thickness[0.005],Blue},ParametricPlot3D-,y,,y,-,,PlotStyle{Thickness[0.005],Blue},ParametricPlot3D,y,,y,-,,PlotStyle{Thickness[0.005],Blue},AxesLabel->(Style[#,15,Blue]&/@{"X","Y","Z"}),AxesOrigin{0,0,0},AxesTrue,BoxedFalse,BoxRatiosAutomatic,PlotRangeAll,ViewPoint{-3,3,1},ImageSize900,Style["Surfaces that intersect transversely",Bold,Large],{{a,1.00002,"Value (a)"},1.00001,15,0.00001},ControlPlacementTop,SaveDefinitions->True
2
x
2
y
2
z
a
Cos[u]Sin[v],a
Sin[u]Sin[v],a
Cos[v],{u,0,2π},{v,0,π},PlotStyleDirective[Red,Opacity[0.7],Specularity[White,30]],MeshFalse,PerformanceGoal"Quality"],ParametricPlot3D-1+a-2
2
y
2
-1+a
2
1+a
2
1+a
2
1+a-2
2
y
2
-1+a
2
1+a
2
1+a
2
1+a-2
2
y
2
-1+a
2
1+a
2
1+a
2
1+a-2
2
y
2
-1+a
2
1+a
2
1+a
2
Out[]=

