ThreeQuadricsConical::usage="Show that if three quadrics pass through the same conic, the planes of the other three intersection conicals pass through the same line. References: Usunáriz Balanzategui, Ubaldo; Usunáriz Sala, Ignacio. Problemas de Geometría; Personal.";
Three quadrics pass through the same conic (in black):
In[]:=
ShowContourPlot3D++==1,+-==1,--==1,{x,-6,6},{y,-4,4},{z,-3,3},ParametricPlot3D[{4Cos[θ],3Sin[θ],0},{θ,0,2π},PlotStyle->{Black,Thick}]
2
x
16
2
y
9
2
z
4
2
x
16
2
y
9
2
z
4
2
x
16
2
y
9
2
z
4
Out[]=
The other three intersection conicals:
In[]:=
Solve++==1,+-==1,{x,z}
2
x
16
2
y
9
2
z
4
2
x
16
2
y
9
2
z
4
x-,z0;±
4
3
9-
,z0,x2
y
4
9-
2
y
3
4
3
9-
,t,02
t
In[]:=
Solve+-==1,--==1,{y,z}
2
x
16
2
y
9
2
z
4
2
x
16
2
y
9
2
z
4
y0,z-
1
2
-16+
,y0,z2
x
1
2
-16+
;t,0,±2
x
1
2
-16+
2
t
In[]:=
Solve++==1,--==1,{x,y}
2
x
16
2
y
9
2
z
4
2
x
16
2
y
9
2
z
4
x-4,y-,x-4,y,x4,y-,x4,y;±4,±,0
3z
2
3z
2
3z
2
3z
2
3t
2
The planes of the other three intersection conicals:
z==0;y==0;
In[]:=
Show[{ContourPlot3D[{z==0,y==0},{x,-4,4},{y,-4,4},{z,-4,4},ContourStyleOpacity[0.3]],ParametricPlot3D[t{1,0,0},{t,-6,6},PlotStyle{Black,Thick}]}]
Out[]=
The intersection line is t{1, 0, 0} the X-axis.
This checks the original statement.