<s>[INST] The locus of the intersection point of two perpendicular tangents to the curve $xy^2=1$. Find the locus of the intersection point of two perpendicular tangents to the curve $xy^2=1$.
I find out that the tangents to this curve with slope $m$ has this general form:
$y = mx+(-2m)^{\frac{1}{3}}-m \left( -\frac{1}{2m} \right)^{\frac{2}{3}}$
The perpendicular tangent would have this form then:
$y = -\frac{1}{m}x+ \left(\frac{2}{m} \right)^{\frac{1}{3}}+\frac{1}{m} \left( \frac{m}{2} \right)^{\frac{2}{3}}$
I solved geometrically that the locus is the circle: $2x^2+2y^2-3\sqrt[3]{2}x=0$ (you can check it here: desmos.com/calculator/xt2xquh72l), but I couldn't solve it algebraically. I wonder if you could help me in eliminating $m$ in this system:
$\begin{cases}
y &= mx+(-2m)^{\frac{1}{3}}-m \left( -\frac{1}{2m} \right)^{\frac{2}{3}} \\
y &= -\frac{1}{m}x+ \left(\frac{2}{m} \right)^{\frac{1}{3}}+\frac{1}{m} \left( \frac{m}{2} \right)^{\frac{2}{3}} \\
\end{cases}
$
 [/INST] The curve is $x=1/t^2,y=t$ with dual curve (The dual curve lives in the dual plane of lines in the plane and is the set of tangents to the original curve. I use the parametric form $X=\frac{-y'}{xy'-yx'},Y=\frac{x'}{xy'-yx'}$) $X=-t^2/3,Y=-2/(3t)$ so two independent tangents are
$(-t^2/3)x -2y/(3t)+1=0 \\
(-s^2/3)x -2y/(3s)+1=0 $
(this is two independent parameters $s,t$ in the universal line $xX+yY+1=0$ that links the plane and the dual plane.)
using that the slope of the perpendicular to slope $m$ is $-1/m$ two perpendicular tangents are (determine $s$ i.t.o. $t$)
$-\frac12 t^3 x +\frac32 t =y\\
\frac{2}{t^3}x - \frac32\frac{\sqrt[3]{4}}{t} =y$
which intersect in
$x = (3 t^2)/(t^4 - 2^\frac23 t^2 + 2 \cdot 2^\frac13)\\y = (3 (2^\frac23 t^3 - 2 \cdot2^\frac13 t))/(2 (-t^4 + 2^\frac23 t^2 - 2 \cdot2^\frac13))$
which implicitizes to your circle.
Edit (or your solution w/o dual curves also leads to the same conclusion)
For your specific question solve the system for $x,y$ (I used wolframalpha Solve[{y == 2^(1/3) (-m)^(1/3) - ((-m^(-1))^(2/3) m)/2^(2/3) + m x, y == 2^(1/3) (m^(-1))^(1/3) + 1/(2^(2/3) m^(1/3)) - x/m}, {x, y}]), then substitute $m=n^3$ to get
$x=(3\cdot 2^\frac13 n^2)/(2 n^4-2 n^2+2) \\y=(3\cdot 2^\frac13 n^3-3\cdot 2^\frac13 n)/(2 n^4-2 n^2+2)$
set $c=2^\frac13$ and implicitize, in say M2,
R=QQ[c]
S=R[n,x,y,MonomialOrder=>Eliminate 1]
I=ideal(c^3-2,(2*n^4-2*n^2+2)*x-3*c*n^2,(2*n^4-2*n^2+2)*y-3*c*(n^3-n)) -- matrix {{c^3-2, 2*x^2+2*y^2-3*c*x, 2*n^2*y+2*n*x-3*c*n-2*y, n^2*x-n*y-x}}

that is, the locus is
$$2x^2+2y^2-3cx=0$$
</s>