# Surfaces of revolution - Problem

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?

-

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.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8276471495628357, "perplexity": 77.00418384532468}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-18/segments/1429246644526.54/warc/CC-MAIN-20150417045724-00176-ip-10-235-10-82.ec2.internal.warc.gz"}