The normal line to is given by
Since every normal line passes through the origin, for every there exists an such that
The function is differentiable (why?). Differentiating the last relation gives
where is the Serret-Frenet trihedron. Linear independence now implies
, so the curve is planar and
, so the curvature is constant;
Thus is part of a circle.