TangerineFamilyEnvelope::usage="
​References: A.S. Mishchenko, Yu. P. Solovyev, A.T. Fomenko, Problems in Differential Geometry and Topology. Mir Publishers: Moscow, p. 39, 1985; Personal.";
Development:
In[]:=
Solve[
2
(x-bCos[θ])
+
2
(y-bSin[θ])
+
2
z
==
2
a
,
∂
θ
(
2
(x-bCos[θ])
+
2
(y-bSin[θ])
+
2
z
-
2
a
)==0,{x,y}]
In[]:=
Simplifyx
b
3
Cos[θ]
+bCos[θ]
2
Sin[θ]
-
2
a
4
Cos[θ]
-
2
z
4
Cos[θ]
+
2
a
2
Cos[θ]
2
Sin[θ]
-
2
z
2
Cos[θ]
2
Sin[θ]
2
Cos[θ]
+
2
Sin[θ]
,ySec[θ]
b
3
Cos[θ]
Sin[θ]
2
Cos[θ]
+
2
Sin[θ]
+
bCos[θ]
3
Sin[θ]
2
Cos[θ]
+
2
Sin[θ]
-
Sin[θ]
(
2
a
-
2
z
)
2
Cos[θ]
(
2
Cos[θ]
+
2
Sin[θ]
)
2
Cos[θ]
+
2
Sin[θ]
,x
b
3
Cos[θ]
+bCos[θ]
2
Sin[θ]
+
2
a
4
Cos[θ]
-
2
z
4
Cos[θ]
+
2
a
2
Cos[θ]
2
Sin[θ]
-
2
z
2
Cos[θ]
2
Sin[θ]
2
Cos[θ]
+
2
Sin[θ]
,ySec[θ]
b
3
Cos[θ]
Sin[θ]
2
Cos[θ]
+
2
Sin[θ]
+
bCos[θ]
3
Sin[θ]
2
Cos[θ]
+
2
Sin[θ]
+
Sin[θ]
(
2
a
-
2
z
)
2
Cos[θ]
(
2
Cos[θ]
+
2
Sin[θ]
)
2
Cos[θ]
+
2
Sin[θ]

Out[]=
xbCos[θ]-
(
2
a
-
2
z
)
2
Cos[θ]
,ybSin[θ]-
(
2
a
-
2
z
)
2
Cos[θ]
Tan[θ],xbCos[θ]+
(
2
a
-
2
z
)
2
Cos[θ]
,ybSin[θ]+
(
2
a
-
2
z
)
2
Cos[θ]
Tan[θ]
Characteristic:
bCos[θ]-Cos[θ]
2
a
-
2
z
,bSin[θ]-
2
a
-
2
z
Sin[θ],z;​​bCos[θ]+Cos[θ]
2
a
-
2
z
,bSin[θ]+
2
a
-
2
z
Sin[θ],z;​​
Envelope:
In[]:=
Eliminatex==bCos[θ]+
(
2
a
-
2
z
)
2
Cos[θ]
,y==bSin[θ]+
(
2
a
-
2
z
)
2
Cos[θ]
Tan[θ],z==z,θ
Out[]=
(-
2
a
+
2
b
+
2
x
+
2
y
+
2
z
)(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
2b(
2
a
-
2
b
-
2
z
)
2bx&&
2
x
2
y
2
(-2
2
a
-2
2
b
+
2
x
+2
2
y
+2
2
z
)
2
(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
4
2
b
2
(
2
a
-
2
b
-
2
z
)
2
(
4
a
-2
2
a
2
b
+
4
b
-2
2
a
2
y
-2
2
b
2
y
+
4
y
-2
2
a
2
z
+2
2
b
2
z
+2
2
y
2
z
+
4
z
)
1-
2
(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
4
2
b
2
(
2
a
-
2
b
-
2
z
)
&&-
2
x
y(-2
2
a
-2
2
b
+
2
x
+2
2
y
+2
2
z
)
4
a
-2
2
a
2
b
+
4
b
-2
2
a
2
y
-2
2
b
2
y
+
4
y
-2
2
a
2
z
+2
2
b
2
z
+2
2
y
2
z
+
4
z
y&&-
x
2
y
(-2
2
a
-2
2
b
+
2
x
+2
2
y
+2
2
z
)(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
(
2
a
-
2
b
-
2
z
)(
4
a
-2
2
a
2
b
+
4
b
-2
2
a
2
y
-2
2
b
2
y
+
4
y
-2
2
a
2
z
+2
2
b
2
z
+2
2
y
2
z
+
4
z
)
-
2
a
+
2
b
+
2
x
+
2
y
+
2
z
-
x(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
2
a
-
2
b
-
2
z
&&-
xy(-
2
a
+
2
b
+
2
y
+
2
z
)(-2
2
a
-2
2
b
+
2
x
+2
2
y
+2
2
z
)(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
2b(
2
a
-
2
b
-
2
z
)(
4
a
-2
2
a
2
b
+
4
b
-2
2
a
2
y
-2
2
b
2
y
+
4
y
-2
2
a
2
z
+2
2
b
2
z
+2
2
y
2
z
+
4
z
)
y2b-
x(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
2b(
2
a
-
2
b
-
2
z
)
&&-
x
2
y
(-2
2
a
-2
2
b
+
2
x
+2
2
y
+2
2
z
)
2
(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
4
2
b
2
(
2
a
-
2
b
-
2
z
)
(
4
a
-2
2
a
2
b
+
4
b
-2
2
a
2
y
-2
2
b
2
y
+
4
y
-2
2
a
2
z
+2
2
b
2
z
+2
2
y
2
z
+
4
z
)
x1-
2
(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
4
2
b
2
(
2
a
-
2
b
-
2
z
)
&&
4
x
+
2
x
(-2
2
a
-2
2
b
+2
2
y
+2
2
z
)-
4
a
+2
2
a
2
b
-
4
b
+2
2
a
2
y
+2
2
b
2
y
-
4
y
+2
2
a
2
z
-2
2
b
2
z
-2
2
y
2
z
-
4
z
&&-
x(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
2
a
-
2
b
-
2
z
+
(-
2
a
+
2
b
+
2
z
)
2
(-
2
a
x-3
2
b
x+
3
x
+x
2
y
+x
2
z
)
4
2
b
2
(
2
a
-
2
b
-
2
z
)
-
2
x
4
x
+
2
x
(-2
2
a
-2
2
b
+2
2
y
+2
2
z
)-
4
a
+2
2
a
2
b
-
4
b
+2
2
a
2
y
+2
2
b
2
y
-
4
y
+2
2
a
2
z
-2
2
b
2
z
-2
2
y
2
z
-
4
z
;
Recoil edge:
In[]:=
Solve
2
(x-bCos[θ])
+
2
(y-bSin[θ])
+
2
z
==
2
a
,
∂
θ
(
2
(x-bCos[θ])
+
2
(y-bSin[θ])
+
2
z
-
2
a
)==0,
∂
θ,θ
(
2
(x-bCos[θ])
+
2
(y-bSin[θ])
+
2
z
-
2
a
)==0,{x,y,z}
Out[]=
x0,y0,z-
2
a
-
2
b
2
Cos[θ]
-
2
b
2
Sin[θ]
,x0,y0,z
2
a
-
2
b
2
Cos[θ]
-
2
b
2
Sin[θ]

0,0,-
2
a
-
2
b
;​​0,0,
2
a
-
2
b
;​​​​
In[]:=
​​ManipulateClearAll;a=3;b=2;​​ShowTableParametricPlot3D[{aCos[u]Sin[v]+bCos[θ],aSin[u]Sin[v]+bSin[θ],aCos[v]},{u,0,2π},{v,0,π},PlotStyleDirective[Orange,Opacity[0.3],Specularity[White,30]],MeshFalse,PerformanceGoal"Quality"],θ,0,t1,
π
6
,​​TableParametricPlot3DbCos[θ]-Cos[θ]
2
a
-
2
z
,bSin[θ]-
2
a
-
2
z
Sin[θ],z,{z,-a,a},PlotStyle{Blue,Thick},θ,0,t1,
π
6
,​​TableParametricPlot3DbCos[θ]+Cos[θ]
2
a
-
2
z
,bSin[θ]+
2
a
-
2
z
Sin[θ],z,{z,-a,a},PlotStyle{Blue,Thick},θ,0,t1,
π
6
,​​ContourPlot3D[
4
x
+
2
x
(-2
2
a
-2
2
b
+2
2
y
+2
2
z
)-
4
a
+2
2
a
2
b
-
4
b
+2
2
a
2
y
+2
2
b
2
y
-
4
y
+2
2
a
2
z
-2
2
b
2
z
-2
2
y
2
z
-
4
z
,{x,-5,5},{y,-5,5},{z,-5,5},ContourStyleDirective[Yellow,Opacity[0.2],Specularity[White,30]],MeshFalse,PerformanceGoal"Quality"],Graphics3DGreen,Thick,Ball0,0,-
2
a
-
2
b
,0.15,Graphics3DGreen,Thick,Ball0,0,
2
a
-
2
b
,0.15​​,AxesLabel->(Style[#,15,Blue]&/@{"X","Y","Z"}),AxesOrigin{0,0,0},AxesTrue,BoxedFalse,BoxRatiosAutomatic,PlotRangeAll,ViewPoint{-3,3,2},ImageSize900,Style["Tangerine-shapped sphere family envelope:",Bold,Large],{t1,0.002,"Value (t1)"},0.001,2π,
π
6
,ControlPlacementTop
Out[]=
​
Tangerine-shapped sphere family envelope:
Value (t1)
The envelope is in yellow, the spheres in orange, the characteristic in blue. It has two recoil edges, one point up and one down in green (run animation to observe all the details).