Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Here is the problem:

Let $S$ $\subset$ $\mathbb{R^{3}}$ be a regular surface with the property that all normal lines meet the z-axis. Prove that S is contained in a revolution surface around z.

I first tried to prove that every curve contained in this surface with a fixed z-coordinate is a circle (by showing that all normal lines to this curve meet at a point, it's a previous exercise), but the normal vector to the surface and to the curve are not the same, and I didn't go further... can you help me?

share|cite|improve this question
up vote 3 down vote accepted

Sounds like you have a good strategy. You are looking at the cross section in some plane $z=z_0$, and you want to prove that the cross section here is a circle.

You are given that any normal line will intersect the $z$ axis. Let's write this line as $\vec{p}+\vec{n}t$ where $\vec{n}$ is the normal vector at the point $\vec{p}$ we are discussing. You can then show that a new line $\vec{p} + (\vec{n}-\hbox{proj}_{\hat{z}}\vec{n})t$ will also intersect the $z$ axis (taking away the z component doesn't change the fact that the line is in a radial direction).

Moreover, this new line will be normal to the cross section at $\vec{p}$: the tangent plane projects to a tangent line of the cross section, so must a normal vector of the surface project to a normal vector of the cross section.

This gives you the criteria you wanted -- all horizontal lines orthogonal to cross sections will intersect at the origin. This tells you roughly that the cross sections are circular, and that the overall shape will be a surface of revolution.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.