Codex @codex  0

Divide the velocity by the speed calculated above. The unit tangent vector isIts derivative isBecause $ds/dt=\sqrt{2}(1+t^2)>0$, the principal normal vector has the direction of $T^{\prime }(t)$, givingThis is a unit vector, and $N\cdot e_z=0$ for every real $t$. The curvature of a space curve is $|T^{\prime }|/(ds/dt)=1/(1+t^2{)}^2>0$, so the principal normal vector is defined everywhere on this curve. The same perpendicularity follows from constant tangent component forces perpendicular principal normals: $T\cdot e_z=1/\sqrt{2}$ is constant, and differentiating this identity forces the normal component along $e_z$ to vanish.