CircumferenceDirectrixCylinder::usage="Find the equation of the straight circular cylinder whose directrix is the intersection of the spheres:​
ξ
1
:
2
x
+
2
y
- 4y +
2
z
+ 3 = 0,
ξ
2
:
2
x
+ 2x +
2
y
- 2y +
2
z
- 2z + 2 = 0References: Internet: Repositorio.pucp.pe, 1.2 Superficies Notables en
3

​, Cilindro Circular Recto,​Ejercicios propuestos, prob.- 2.; Personal. ";
Obtaining the cylinder axis (It is the line that passes through the centers of the spheres {0, 2, 0} and {-1, 1 1}):
ℒ={0,2,0}+t{-1,-1,1};
Obtaining the radical plane:
In[]:=
Simplify[
2
x
+
2
y
-4y+
2
z
+3-(
2
x
+2x+
2
y
-2y+
2
z
-2z+2)]
Out[]=
1-2x-2y+2z
1-2x-2y+2z=0;
Obtaining the parametric equations of the circumference intersection of the two spheres:
In[]:=
x=-y+z+
1
2
;​​y=u;​​z=v;​​{-1,1,0}{-2,-2,2}
Out[]=
{2,2,4}
In[]:=
Solve[{
2
x
+
2
y
-4y+
2
z
+3==0,
2
x
+2x+
2
y
-2y+
2
z
-2z+2==0},{x,y}]
Out[]=
x
1
4
-3+2z+
-1+12z-12
2
z
,y
1
4
5+2z-
-1+12z-12
2
z
,x
1
4
-3+2z-
-1+12z-12
2
z
,y
1
4
5+2z+
-1+12z-12
2
z

In[]:=
ξ[z_]:=
1
4
-3+2z+
-1+12z-12
2
z
,
1
4
5+2z-
-1+12z-12
2
z
,z;​​Reduce[-1+12z-12
2
z
>=0,z]
Out[]=
1
6
(3-
6
)≤z≤
1
6
(3+
6
)
In[]:=
Solve[1-2(-t)-2(2-t)+2(t)==0,t]
Out[]=
t
1
2

In[]:=
C1=-
1
2
,
3
2
,
1
2
;
In[]:=
r1=NNormC1-ξ
1
2

Out[]=
0.5
ζ[t_]:=-
1
2
,
3
2
,
1
2
+Cos[t]
1
2
Norm[{-1,1,0}]
{-1,1,0}+Sin[t]
1
2
Norm[{2,2,4}]
{2,2,4};
Steps to reach the cylinder equation:
In[]:=
Norm[{-1,-1,1}]
Out[]=
3
In[]:=
Norm{-1,-1,1}x+
1
2
,y-
3
2
,z-
1
2

In[]:=
Expand[
2
(2+x-y)
+
2
(2-y-z)
+
2
(x+z)
]
Out[]=
8+4x+2
2
x
-8y-2xy+2
2
y
-4z+2xz+2yz+2
2
z
8+4x+2
2
x
-8y-2xy+2
2
y
-4z+2xz+2yz+2
2
z
In[]:=
-8+
3
4
Out[]=
-
29
4
Cylinder equation:
4x+2
2
x
-8y-2xy+2
2
y
-4z+2xz+2yz+2
2
z
=-
29
4
Animación:
In[]:=
Manipulateζ[t_]:=-
1
2
,
3
2
,
1
2
+Cos[t]
1
2
Norm[{-1,1,0}]
{-1,1,0}+Sin[t]
1
2
Norm[{2,2,4}]
{2,2,4};​​ShowParametricPlot3D[{Cos[u]Sin[v],Sin[u]Sin[v]+2,Cos[v]},{u,0,2π},{v,0,2π},ColorFunction"LightTemperatureMap",MeshFalse,PlotStyleDirective[Specularity[White,30],Opacity[0.3]],PerformanceGoal->"Quality"],​​ParametricPlot3D[{Cos[u]Sin[v]-1,Sin[u]Sin[v]+1,Cos[v]+1},{u,0,2π},{v,0,2π},ColorFunction"LightTemperatureMap",MeshFalse,PlotStyleDirective[Specularity[White,30],Opacity[0.5]],PerformanceGoal->"Quality"],ParametricPlot3D{0,2,0}+t{-1,-1,1},t,-1,
t1
π
,ColorFunction->"DeepSeaColors"/.Line[pts_,rest___]:>Tube[pts,0.02,rest],ContourPlot3D[1-2x-2y+2z==0,{x,-3,3},{y,-3,3},{z,-2,2},ContourStyle->Directive[Blue,Opacity[0.4],Specularity[White,30]],MeshNone],ContourPlot3D4x+2
2
x
-8y-2xy+2
2
y
-4z+2xz+2yz+2
2
z
==-
29
4
,{x,-3,3},{y,-3,3},z,-3,
t1
π
,ContourStyle->Directive[Green,Opacity[0.4],Specularity[White,30]],MeshNone,PerformanceGoal->"Quality",PlotPoints->40,Graphics3DBlack,Ball-
1
2
,
3
2
,
1
2
,0.05,ParametricPlot3D[ζ[t],{t,0,t1},PlotStyleYellow]/.Line[pts_,rest___]:>Tube[pts,0.04,rest],​​AxesLabel->(Style[#,15,Blue]&/@{"X","Y","Z"}),AxesOrigin{0,0,0},AxesTrue,BoxedFalse,BoxRatiosAutomatic,PlotRangeAll,ImageSize900,ViewPoint{-3,3,2},Style["Cylinder graph:",Bold,Large],{{t1,0.00002,"Value (t1)"},0.00001,2π,0.00001},ControlPlacementTop
Out[]=
​
Cylinder graph:
Value (t1)
View from different angles (below):
In[]:=
gr=​​ShowParametricPlot3D[{Cos[u]Sin[v],Sin[u]Sin[v]+2,Cos[v]},{u,0,2π},{v,0,2π},ColorFunction"LightTemperatureMap",MeshFalse,PlotStyleDirective[Specularity[White,30],Opacity[0.3]],PerformanceGoal->"Quality"],​​ParametricPlot3D[{Cos[u]Sin[v]-1,Sin[u]Sin[v]+1,Cos[v]+1},{u,0,2π},{v,0,2π},ColorFunction"LightTemperatureMap",MeshFalse,PlotStyleDirective[Specularity[White,30],Opacity[0.5]],PerformanceGoal->"Quality"],ParametricPlot3D[{0,2,0}+t{-1,-1,1},{t,-1,2},ColorFunction->"DeepSeaColors"]/.Line[pts_,rest___]:>Tube[pts,0.02,rest],ContourPlot3D[1-2x-2y+2z==0,{x,-3,3},{y,-3,3},{z,-2,2},ContourStyle->Directive[Blue,Opacity[0.4],Specularity[White,30]],MeshNone],ContourPlot3D4x+2
2
x
-8y-2xy+2
2
y
-4z+2xz+2yz+2
2
z
==-
29
4
,{x,-3,3},{y,-3,3},{z,-3,2},ContourStyle->Directive[Green,Opacity[0.4],Specularity[White,30]],MeshNone,PerformanceGoal->"Quality",PlotPoints->40,Graphics3DBlack,Ball-
1
2
,
3
2
,
1
2
,0.05,ParametricPlot3D-
1
2
,
3
2
,
1
2
+Cos[t]
1
2
Norm[{-1,1,0}]
{-1,1,0}+Sin[t]
1
2
Norm[{2,2,4}]
{2,2,4},{t,0,2π},PlotStyleYellow/.Line[pts_,rest___]:>Tube[pts,0.04,rest],​​AxesLabel->(Style[#,15,Blue]&/@{"X","Y","Z"}),AxesOrigin{0,0,0},AxesTrue,BoxedFalse,BoxRatiosAutomatic,PlotRangeAll,ImageSize900,ViewPoint{-3,3,2}