Mostrar que todas las normales a $\gamma(t)=(\cos(t)+t\sin(t),\sin(t)-t\cos(t))$ están a la misma distancia desde el origen.
Mi intento:
Deje $\vec{p}=(\cos(t_0)+t_0\sin(t_0),\sin(t_0)-t_0\cos(t_0))$ ser cualquier punto arbitrario para $t_0\in\mathbb{R}$. A continuación, el vector tangente a $\vec{p}$ está dado por $\dot\gamma(t_0)=(t_0\cos(t_0),t_0\sin(t_0))\implies$ la pendiente del vector tangente en cualquier punto es dado por $m=\tan(t_0)\implies$ la pendiente de la normal de cualquier línea dada por $m_{\perp}=-\cot(t_0)$. Ahora calculamos la línea normal en cualquier punto de $\vec{p}:$ $$y-(\sin(t_0)-t_0\cos(t_0))=-\cot(t_0)(x-\cos(t_0)-t_o\sin(t_0))\implies$$ $$\cot(t_0)x+y+(2t_0\cos(t_0)+\cot(t_0)\cos(t_0)-\sin(t_0))=0$$
Recordemos que la distancia de a$Ax+By+C=0$ e $Q(x_0,y_0)$ : $$|l,Q|=\frac{|Ax_0+By_0+C|}{\sqrt{A^2+B^2}}$$
Por lo tanto $$|l,Q|=\frac{\sqrt{4t_0^2\cos^2(t_0)+\cot^2(t_0)\cos^2(t_0)+\sin^2(t_0)}}{\sqrt{\cot^2(t_0)+1}}$$
¿Cómo puedo continuar a partir de aquí? Gracias de antemano!
$$$$ $$$$ Más avances:
Lema: $x^4+y^4=(x^2+2y^2)^2-4x^2y^2$.
Desde arriba sabemos que: $$\frac{\sqrt{4t_0^2\cos^2(t_0)+\cot^2(t_0)\cos^2(t_0)+\sin^2(t_0)}}{\sqrt{\cot^2(t_0)+1}}=\sqrt{\sin^2(t_0)(4t_0^2\cos^2(t_0)+\cot^2(t_0)\cos^2(t_0)+\sin^2(t_0))}=\sqrt{4t_0^2\sin^2(t_0)\cos^2(t_0)+\cos^4(t_0)+\sin^4(t_0))}=\sqrt{4t_0^2\sin^2(t_0)\cos^2(t_0)+\left((\cos^2(t_0)+2\sin^2(t_0))^2-4\sin^2(t_0)\cos^2(t_0)\right)}$$