In[]:=
GeometricLocusAgnesi::usage="The line r rotates with center in O cutting to the circumference at point A and to the line S at point B. Find the geometric locus of the points obtained as an intersection of a line parallel to the X axis that passes through A with another line parallel to the axis Y that passes through B in all the positions of r. The diameter of the circumference is a (see the figure). References: Internet; Personal.";
Development:
Point A:
In[]:=
A[θ_]:=Cos[θ],Sin[θ]+;
a
2
a
2
a
2
Point B:
Let the line y = m x be the one that passes through A, B and O.
In[]:=
Solve[{y==mx,y==a},{x,y}]
Out[]=
x,y4
4
m
In[]:=
x,ya;m=Sin[θ]+Cos[θ]==;B[θ_]:=,a;B[θ_]:=,a;
a
m
a
2
a
2
a
2
Sin[θ]+1
Cos[θ]
a
m
aCos[θ]
Sin[θ]+1
Parametric equations of the geometric locus (the geometric locus of the points obtained as an intersection of a line parallel to the X axis that passes through A with another line parallel to the axis Y that passes through B, that is ):
{,}
x
B
y
A
In[]:=
P
AB
x
B
y
A
aCos[θ]
Sin[θ]+1
a
2
a
2
Cartesian equation:
In[]:=
Eliminatex==,y==Sin[θ]+,θ
aCos[θ]
Sin[θ]+1
a
2
a
2
Out[]=
(16+)y64
2
x
In[]:=
(+)y&&(-a+2y)2--2ay;
2
a
2
x
3
a
2
x
a
2
a
2
x
In[]:=
(+)y;
2
a
2
x
3
a
It’s known as Agnesi’s witch
Animation:
In[]:=
Manipulatea=4;ζ[θ_]:=,Sin[θ]+;A[θ_]:=Cos[θ],Sin[θ]+;B[θ_]:=,a;[θ_]:=,0;[θ_]:=0,Sin[θ]+;O1={0,0};Line1[x_]:={x,a};ShowParametricPlot[ζ[θ],{θ,0,t},ColorFunction->"BlueGreenYellow"],ParametricPlot[Callout[Line1[x],"S",{Scaled[0.75],Below},LabelStyle{14,Bold,Black}],{x,-2π,2π},PlotStyle->{Black,Thick}],GraphicsBlack,PointSize[0.01],Point[O1],Text[Style["O",14,Bold],O1,{0,-1.2}],Point[A[t]],Text[Style["A",14,Bold],A[t],{0,-1.2}],Point[B[t]],Text[Style["B",14,Bold],B[t],{0,-1.2}],Point[ζ[t]],Text[Style["",14,Bold],ζ[t],{0,-1.2}],Thick,InfiniteLine[{A[t],B[t]}],{Dashed,InfiniteLine[{[t],B[t]}],InfiniteLine[{[t],A[t]}]},Blue,Circle0,,,AspectRatioAutomatic,AxesTrue,AxesOrigin{0,0},AxesLabel{x,y},PlotRange{{-2π,2π},{-1,2π}},ImageSize700,Style["Agnesi's witch",Bold,Large],{{t,0.00002,"Value (t)"},0.000001,2π,0.00001},AutorunSequencing->All,ControlPlacementTop,SaveDefinitions->True
aCos[θ]
Sin[θ]+1
a
2
a
2
a
2
a
2
a
2
aCos[θ]
Sin[θ]+1
P
x
aCos[θ]
Sin[θ]+1
P
y
a
2
a
2
P
AB
P
x
P
y
a
2
a
2
Out[]=

