Regular curve which normal lines pass through a fixed point

I have the following question:

Assume that $α$ is a regular curve in $R^2$ and all the normal lines of the curve pass though the origin. Prove that $α$ is contained in a circle around the origin. (Recall the normal line at $α(t)$ is the line through $α(t)$ pointing in the direction of the normal vector $N(t)$.)

My attempt:

I know that if $α(t)$ is contained in a circle, then the curvature is constant. So I have to prove that the curvature at $α(t)$ is constant. I also know that the equations of the normal lines through the origin that passes through arbitrary points on the curve $α(t)$ denoted as $(t, α(t))$ have the equations:

$$α(t) = \frac{t}{α'(t)}$$

I'm confused on how to proceed from here.

We have $\alpha'(t) \perp N(t) \parallel \alpha(t)$ for all $t$, so $\alpha' \cdot \alpha = 0$,

therefore

$$\frac{d\|\alpha\|}{dt} = \frac{\alpha\cdot\alpha'}{\|\alpha\|} = 0,$$

so $\|\alpha\|$ is constant. $~~~~\square$

• How does this prove the curvature is constant? – Varun Iyer Sep 6 '16 at 1:40
• I skipped that part. I just showed directly that $\alpha$ is contained in a circle with radius $|\alpha|$ around the origin. – Anon Sep 6 '16 at 11:47

More than a year has passed. I hope my solution still helps.

I suppose you know the Frenet frame and the Frenet-Serret formulas. Let me denote the unit tangent vector and unit normal vector at $\alpha(t)$ by $\mathbf{T}(t)$ and $\mathbf{N}(t)$. Finally, denote $\mathbf{B}(t)=\mathbf{T}(t)\times\mathbf{N}(t)$.

My strategy is to prove that

1. $||\alpha||$ is constant, so that (the trace of) $\alpha$ is contained in some sphere centered around $\mathbf{0}=(0,0,0)$.
2. $\mathbf{B}(t)$ is constant, so that the curve is a plane curve, i.e., it lies on some plane.

For 1, we differentiate $||\alpha|| ^2$ with respect to $t$: \begin{align*} \frac{d||\alpha(t)||^2}{dt}=\frac{d}{dt}\alpha(t)\cdot\alpha(t)=2\alpha(t)\cdot\alpha'(t) \end{align*} Since the normal line at $\alpha(t)$ passes through $\alpha(t)$ and $\mathbf{0}$, thus the vector $\alpha(t)-\mathbf{0}=\alpha(t)$ is parallel to the normal vector $\mathbf{N}(t)$, and so it is orthogonal to the tangent vector $\mathbf{T}(t)=\alpha'(t)$. Therefore $\alpha(t)\cdot\alpha'(t)=0$. Hence, $||\alpha||^2$ is constant, and so is $||\alpha||$.

For 2, we differentiate $\mathbf{B}(t)$: \begin{align*} \frac{d\mathbf{B}(t)}{dt}&=\mathbf{T}'(t)\times\mathbf{N}(t)+\mathbf{T}(t)\times\mathbf{N}'(t) \\ &=\alpha''(t)\times\frac{\alpha''(t)}{|\alpha''(t)|}+\alpha'(t)\times(\lambda\alpha(t)) \\ &=0+\lambda(\alpha'(t)\times\alpha'(t)) \\ &=0 \end{align*} Here I write $\mathbf{N}(t)=\lambda\alpha(t)$ because $\alpha(t)$ is parallel to $\mathbf{N}(t)$ as aforementioned. This proves 2.

Since the intersection of a sphere and a plane is precisely a circle, we conclude that (the trace of) $\alpha$ is contained in a circle. Moreover, since the normal lines are contained in the plane, thus the centre of the circle is the origin. $\qquad\square$

Hint:

Assume WLOG that $\alpha$ is parametrized by arc-length. The normal line at the point $\alpha(s)$ is given by:

$$\alpha(s)+\lambda n(s),$$

where $n$ is the unit normal.

By your hypothesis, for each $s$ there exists a $\lambda(s)$ such that

$$\alpha(s)+\lambda(s)n(s)=0.$$

Hence

$$\|\alpha(s)\|=|\lambda(s)|,$$

so it suffices to see that $\lambda$ is constant.

• how does this prove that the curvature is constant? Is lambda the curvature? – Varun Iyer Sep 6 '16 at 1:11
• @VarunIyer It's not a full proof, I gave you a hint. $\lambda$ is the parameter of the normal line at a point. $\lambda(s)$ is the value of this parameter at which the line meets the origin. – Reveillark Sep 6 '16 at 1:17
• I understand that, how do you prove that $||\alpha(s)||=|\lambda(s)|$? I don't understand how you reached this statement from the statment above it. – Varun Iyer Sep 6 '16 at 1:29
• $\|\alpha(s)\|=\|-\lambda(s)n(s)\|$ and $n$ is unitary. – Reveillark Sep 6 '16 at 1:31
• Ok how does that prove that $\lambda(s)$ is constant? And I'm confused how to relate this to the curvature. – Varun Iyer Sep 6 '16 at 1:33

Let $\alpha=\beta \mathbb{n}$ where $\beta$ is a function of $s$. Now by definition $$\mathbb{t}=\frac{d\alpha}{ds}=\frac{d\beta}{ds}\mathbb{n}-\beta\kappa\mathbb{t}$$

This implies that $\frac{d\beta}{ds}=0$ and that $\kappa=-\frac{1}{\beta}$

• What is $n$ here? And what equation are you using – Varun Iyer Sep 6 '16 at 1:02
• The derivative of the normal is curvature times tangent. – Rene Schipperus Sep 6 '16 at 1:04
• could you explain your solution a bit more in depth? I apologize but I'm not that proficient in differential geometry and i'm trying to understand, both algebraically and conceptually, your solution. Thanks. – Varun Iyer Sep 6 '16 at 1:19