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 p∈S∩P, the surfaces S and P are transversal, that is, TpS≠TpP. Indeed, if p=(x,y,z)∈S with x2+y2≠0 (we are assuming that S does not intersect the axis L), the rotation about the z axis is the curve α(θ)=(cosθx−sinθ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 TpS≠TpP.
As a consequence S∩P defines a regular curve Cp around p. Since Cp⊂S, 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=S∩P 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 x≠0 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