InversePedalNegativePedalTwistedSurface::usage="In this notebook for the twisted surface, its inversion will be made with respect to a sphere with center at the origin and radius 4. Once you have the inverse you will get its pedal and negative-pedal surfaces. Reference: Personal.";
Animation of Pedal Surface
In[]:=
SwatchLegend[{Yellow,Green,Gray},{"Twisted surface","Inversion surface","Pedal surface of inversion surface"}]​​Manipulate[σ[u_,v_]:={Cos[v]Cos[u],-Sin[v]Cos[u],v+Sin[u]};​​α=ResourceFunction["InversionSurface"][{0,0,0},4,σ[u,v],{u,v}];​​
σ
p
=ResourceFunction["PedalSurface"][α,{0,0,0},{u,v}];​​Show[{ParametricPlot3D[σ[u,v],{u,0,2π},{v,0,2π},PlotStyle{Yellow,Opacity[1]},PerformanceGoal->"Quality",PlotPoints60],ParametricPlot3D[α,{u,0,2π},{v,0,2π},PlotStyle{Green,Opacity[0.3]},MaxRecursion->3],ParametricPlot3D[
σ
p
,{u,0,t1},{v,0,2π},PlotStyle{Gray,Opacity[0.2]},MaxRecursion->3]},AxesLabel->(Style[#,15,Blue]&/@{"X","Y","Z"}),AxesOrigin{0,0,0},AxesTrue,BoxedFalse,ViewPoint{1.3,-2.4,1},PlotRange10,ImageSize700],{t1,0.00001,2π,0.00001},SaveDefinitions->True,ControlPlacement->Top]
Out[]=
Twisted surface
Inversion surface
Pedal surface of inversion surface
Out[]=
​
t1
Animation of Negative Pedal Surface
In[]:=
σ[u_,v_]:={Cos[v]Cos[u],-Sin[v]Cos[u],v+Sin[u]};​​α=ResourceFunction["InversionSurface"][{0,0,0},4,σ[u,v],{u,v}]

16Cos[u]Cos[v]
2
Cos[u]
2
Cos[v]
+
2
(v+Sin[u])
+
2
Cos[u]
2
Sin[v]
,-
16Cos[u]Sin[v]
2
Cos[u]
2
Cos[v]
+
2
(v+Sin[u])
+
2
Cos[u]
2
Sin[v]
,
16(v+Sin[u])
2
Cos[u]
2
Cos[v]
+
2
(v+Sin[u])
+
2
Cos[u]
2
Sin[v]
;
In[]:=
α=
16Cos[u]Cos[v]
2
Cos[u]
2
Cos[v]
+
2
(v+Sin[u])
+
2
Cos[u]
2
Sin[v]
,-
16Cos[u]Sin[v]
2
Cos[u]
2
Cos[v]
+
2
(v+Sin[u])
+
2
Cos[u]
2
Sin[v]
,
16(v+Sin[u])
2
Cos[u]
2
Cos[v]
+
2
(v+Sin[u])
+
2
Cos[u]
2
Sin[v]
;​​
α
u
=D[α,u];​​
α
v
=D[α,v];​​
σ
NP
=Nα-
α.(
α
u

α
v
)
2
Norm[
α
u

α
v
]
(
α
u

α
v
)
In[]:=
In[]:=
Out[]=
Twisted surface
Inversion surface
Negative-pedal surface of inversion surface
Out[]=
​
t1