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.