Processing math: 100%

Thursday, 6 April 2017

On surfaces of revolution

There are two ways to define a surface of revolution in Euclidean space R3.
1. A surface S is a surface of revolution with respect to the line L is ϕ(S)=S for any rotation of axis L (type I)
2. A surface of revolution is a surface constructed as follows. Fix L a straight-line and let P be a plane containing L. Consider a curve C contained in P. Then the surface of revolution generated by C is the set of points obtained when we rotate C about the axis L (type II). We denote this surface as S(C)

It is clear that any surface of type II is a surface of type I by the definition given in 2. It is less clear if a surface of type I is of type II, that is, if S satisfies I, is there exists a curve C in a plane P containing L such that S=S(C)? After a rigid motion of R3, we suppose that L is the z-axis. 
Take P a plane containing L. Then at any point   pSP, the surfaces S and P are transversal, that is, TpSTpP. Indeed, if p=(x,y,z)S with x2+y20 (we are assuming that S does not intersect the axis L), the rotation about the z axis is the curve α(θ)=(cosθxsinθy,sinθx+cosθy,z). Since α(0)=p, then α(0)TpS, that is, (y,x,0). The plane P containing p and the z axis is the plane orthogonal to (y,x,0) through p. This proves TpSTpP.
As a consequence SP defines a regular curve Cp around p. Since CpS, then ϕθ(Cp)S for any rotation ϕθ about the z-axis. In particular, the surface of revolution S(Cp)S
Therefore we have prove that if C=SP is the intersection curve (with possible many components), then S(C)S.

For the other inclusion, if (x,y,z)S, it is immediate that the circle α(θ) defined previously intersects P. For example, if P is the xz-plane, we are asking if there exists θ such that  sinθx+cosθy=0. It suffices by taking θ such that tanθ=y/x if x0 and θ=π/2 if x=0 (it is not possible x=y=0). If q=α(θ), then it is immediate that a suitable rotation of q (exactly that rotation with angle θ) gives p.

No comments:

Post a Comment