Projections of Ellipses and Circles by Gabrielle Renee Schrantz (Supervised by Professor Ioannis M. Roussos) Department of Mathematics, Hamline University Spring 2004 Abstract: In this paper we combine geometry and calculus to study the projections of ellipses and circles in space onto planes. We find that, apart from the trivial cases, these projections are ellipses and in a special nontrivial case circles. We give their explicit parametric equations. The results are very useful in geometry, in studying all sorts of elliptical motions (e.g., planetary motions) and in determining the domains in the x-y plane of certain surfaces in space with boundary the given ellipses or circles. 1. Main work and results We consider an ellipse with semi-axes a > b > 0 and with center the origin of an x-y system of axes. This has implicit equation x2 y2 1 a 2 b2 A parameterization of this ellipse (in the positive direction) is x a cos t 0 t 2 y b sin t (If a b then we have a circle of radius r a ( b) .) 1 Figure 1 The relation between the parameter-angle and the central angle (as in figure 1) is found by the relations: d a 2 cos 2 t b 2 sin 2 t x d cos a cos t y d sin b sin t So, a b b cos t , sin sin t , tan tan t d d a We observe that 0 t 2 . cos Now suppose we have an ellipse with semi-axes a and b on a plane E in space and we want to determine its orthogonal projection onto a plane E in space. Without loss of generality, we consider E to pass through the center of the ellipse. For this work apart from the semi-axes a and b, we also need the angle 0 two planes E and E and the angle 0 2 between the between the major axis of the ellipse 2 and the straight line of the intersection of E and E . 2 Figure 2 Since the projection lies on E , we introduce coordinate x axis to be the straight line E E and y axis the straight line on E perpendicular to the x axis at the center of the ellipse, which is the origin (O) of the x y system of axes in E (see figure 2). The projection of the point P, as in the figure 2, is let us say K= ( x , y ) . We now have that d = length of OP, x OA d cos and y AK d sin cos , with angle PAK . The central angle is . If we know the equations Ax By Cz D of (E) and Ax B y C z D of E in some space coordinate system x-y-z with standard basis i , j , k , then we can solve these two equations to find the straight line of their intersection. This is the x -axis of the new x - y - z coordinate system, in which the x y plane is E . For instance, if (E), the plane that contains the ellipse in the standard position as above, is the x-y plane, that is z = 0, then D = 0 and the straight line E E has parametric equations: x (cos )t , y (sin )t , z 0, The angle satisfies t C cos A 2 B 2 C 2 The standard basis i , j , k of the x - y - z system is given in terms of i , j , k by i cos i sin j A i B j C k k A 2 B 2 C 2 j k i Going back to the problem of determining the projection of the ellipse, we have: x d cos dcos( ) y d cos sin d cos sin( ) So, x d(cos cos sin sin ) acos cos t bsin sin t Hence, x a 2 cos 2 b 2 sin 2 cos(t ) 3 where is the angle determined by cos acos a2 cos2 b2 sin 2 , sin bsin a2 cos2 b2 sin 2 Similarly, y cos (b cos sin t a sin cos t ) cos a 2 sin 2 b 2 cos 2 sin( t ) where is the angle determined by cos bcos a sin b cos 2 2 2 We observe that tan 2 , sin asin a sin b2 cos2 2 2 b a tan , tan tan a b Now we are in the position to conclude the following results: Case of a circle of radius r a ( b) In the case of a circle, we can take 0 , since a b and any diameter may be considered as major axis. So, we get x r cos t 0 t 2 y r cos sin t Hence: 1.) If 0, , this case is not trivial. The projection of such a circle in E onto E is 2 an ellipse in the standard position with semi-axes: a = r and b = r cosω 2.) If 0 , then E E . This case is trivial and the circle projects onto itself. 3.) If , then E E . This case is trivial, because y 0 for all the values of t 2 and so the circle projects onto the straight segment r x r of the x axis. Case of ellipse (a b) . 4 1.) If 0 , then E E . We can take 0 . This case is trivial and the ellipse projects onto itself. , then E E . This case is trivial, because y 0 for all the values of t 2 and so the ellipse projects onto the straight segment of the x axis 2.) If a cos b sin x a cos b sin 3.) Suppose 0 . This case is non-trivial and we have the following three intere2 sting sub-cases: 3a.) If 0 , then the projection on the ( E ) plane is an ellipse in the standard position, with respect to the x y system of axes, with major axis the x axis . In fact we have 0 and x a cos t 0 t 2 y b cos sin t 2 2 2 2 2 2 2 2 Hence, the semi-axes of the projection are a > bcos . 3b.) If 2 , then the projection on the ( E ) plane is an ellipse in the standard position, with respect to the x y system of axes. In fact we have x b sin t 0 t 2 y a cos ( cos t ) Hence, this ellipse has semi-axes b and a cosω. Consequently, if 2 and b cos , then b is the a b cos , then b is the minor semi-axis. a b Finally, if cos , then the projection is a circle. This is the only nontrivial a major semi-axis and if case in which the respected projection is a circle (that is, when 3c.) If 0 2 2 and b = a cosω). , then the projection on the ( E ) plane is an ellipse parameterized by x a 2 cos 2 b 2 sin 2 cos(t ) 0 t 2 2 2 2 2 y cos a sin b cos sin( t ) 5 This ellipse has center the origin of the x y system of axes, but it is not in the standard position, since in this case and so we have a phase-difference between the x and the y coordinates of any point P ( x , y ) of this projection. This ellipse is tilted. To understand this sub-case fully we must first examine in some detail the equations where 0 x A cos(t ) 0 t 2 y B sin t is the phase-shift and A > 0, B > 0 are constants. 2 If 0 , then we get the ellipse x A cos t 0 t 2 y B sin t in the standard position. If 2 , then we get x A sin t 0 t 2 y B sin t This is a straight segment joining the points (A, -B) and (-A, B) of the x-y plane with B slope , traversed twice starting from the origin (0, 0). A If 0 , then we eliminate the parameter t between the two equations and 2 we reach the equation 1 2 2 sin 1 x xy 2 y 2 cos 2 2 AB A B Note that this equation, by the theory of the general second-degree equation in two variables, represents an ellipse. We observe that it is also valid for 0 or . To 2 obtain the standard position of the ellipse with respect to a rotated system of axes we need the angle of rotation (mod ) to be given by the relation 2 6 2 sin AB 2 AB sin tan 2 1 1 B 2 A2 A2 B 2 (mod ) regardless of 0 . 4 2 Now the ellipse found in (3c.) can be written as Notice that if A = B > 0 then = x A cos(t ) - t 2 y B sin t with t t A a 2 cos 2 b 2 sin 2 B cos a 2 sin 2 b 2 cos 2 Notice that for 0 and a b 0 , by using the expressions for the tangents of 2 and , stated earlier, we find that a 2 b 2 tan 0 tan tan( ) ab 1 tan 2 and so 0 2 Now, using the expressions for sine and cosine of and , stated earlier, we find that the angle (mod ) of the rotation of the axes in the ( E ) plane is found from the 2 equation 7 tan 2 2(a 2 b 2 ) cos sin cos cos 2 (a 2 sin 2 b 2 cos 2 ) (a 2 cos 2 b 2 sin 2 ) So, depends on the parameters a, b, and . This formula also agrees with the results in the other cases. 8 A note about the lengths of the semi-axes of 1 2 2 sin 1 x xy 2 y 2 cos 2 2 AB A B We compute the two positive eigenvalues 0 1 2 of the 2x2 symmetric and positive definite matrix of the coefficients of this second degree equation sin AB 1 B2 1 A2 sin AB After the rotation, in the new u-v coordinate system, the equation transforms to 1u 2 2 v 2 cos 2 or to the standard form u2 cos 1 Then, with 0 2 2 v2 cos 2 2 1 , the lengths of the semi-axes are Major semi - axis Minor semi - axis cos 1 cos 2 The rotation matrix that achieves the above transformation, from the x-y coordinates to uv coordinates, is precisely the 2x2 matrix with columns the unit eigenvectors corresponding to the eigenvalues 1 and 2 of the initial matrix. 9 2. Parameterization of an Ellipse (or Circle) in Space To parameterize an ellipse in space we need to know: 1) Its center C (q1, , q 2 , q 3 ) 2) The plane on which it lies ax by cz d (with normal N ai bj ck ) 3) The direction of the major axis u . We consider u 1 . (Also, u N 0 ) 4) The lengths of the major and minor semi-axes a and b . The direction of the minor axis is found by: v where w w wuN Figure 3 10 Then any point P ( x, y, z ) of the ellipse satisfies ( x, y, z ) (q1 , q2 ,q3 ) a cos t u b sin t v , 0 t 2 Writing this as x x(t ), y y (t ), z z (t ) we have a parameterization of the ellipse. If we have a circle of radius r ( a b) , then we simply find two orthonormal solutions of ax by cz 0, u and v , and since any diameter of the circle is major axis we have: ( x, y, z ) (q1 ,q2 ,q3 ) r (cos t u sin t v ) , 0 t 2 3. Derivation of Equations by Vector Calculus We can now re-derive the previous equations using purely vector calculus, that is, without much need of the geometry of figures 1 and 2. However, some geometrical suggestions are still present. Let again x axis be the intersection of ( E) and ( E ) and y axis the line perpendicular to it at the center of the ellipse (or circle) and lying in ( E ) . Here we write x, y instead of x, y . So, we have in 3 the usual basis i , j , k i j . Since the ellipse has center the origin, if u, v are its axial directions, its parameterization is given by r a cos t u b sin t v , 0 t 2 or xi yj zk a cos t (u1i u 2 j u 3 k ) b sin t (v1i v 2 j v3 k ) where u1 , u 2 , u 3 and v1 , v 2 , v3 are the components of u and v respectively. So component-wise we have x au1 cos t bv1 sin t y au 2 cos t bv2 sin t 0 t 2 z au 3 cos t bv3 sin t Therefore, the projection of the ellipse onto the x y plane is the curve with parameterization the first two equations x au1 cos t bv1 sin t y au 2 cos t bv2 sin t 0 t 2 If these equations for x and y are transformed to the equations found earlier then the remaining work is exactly the same as done before. 11 We need to replace the u1, v1, u2, v2 . We have that u, v , i are in the plane ( E) and let angle of (u , i ) . So angle of (v , i ) . Then 2 u1 i u cos v1 i v cos( ) sin 2 Hence x a cos cos t b sin sin t which is the same equation as before for x . Next we have that u 2 j u and v 2 j v To evaluate these we need the fact that u v n , the unit normal to ( E) , and so n k cos , where ω is the angle between ( E) and ( E ) . We now have the following straightforward computations: Also (notice the – sign here) i u sin (n ) sin n (i u ) k sin cos (i j k ) [( j k ) u ] k sin cos (by the familiar identity of vector calculus) [(u k ) j (u j ) k ] k sin cos 0 u j sin cos finally u 2 sin cos i v sin( ) n cos n 2 (i v ) k cos cos [( j k ) v ] k cos cos [(v k ) j (v j ) k ] k cos cos 0 v j cos cos finally v2 cos cos So we get y cos (b cos sin t a sin cos t ) which is the same equation as before for y (done!). 12 An Interesting Example from the Classical Euclidean Geometry The Steiner’s Ellipse of a Triangle It is a fairly straightforward fact that every triangle ABC is the orthogonal projection of a unique equilateral triangle ABC , up to the parallel translations perpendicular to the plane ABC (prove this!). Then, the circumscribed circle of ABC projects onto the plane of ABC as an ellipse, in general, that passes through the points A, B and C. This ellipse is called the Steiner’s Ellipse of the triangle ABC, after the German Mathematician J. Steiner (1796-1863), who introduced it first. This ellipse was studied by a good many and famous mathematicians in the years 1880-1900, for the properties that it possesses. Here we cite two of them: 1) Steiner himself proved that this ellipse besides containing the points A, B, C of the circumscribed circle of the triangle ABC, it also contains another fourth point of this circle, called Steiner’s point. This point and its diametrically opposite one (Tarry’s point) have many properties that have been studied extensively. 2) Area of Steiner's El lipse 4 Area of Correspondin g Triangle 3 3 (fixed ratio, independent of the initial triangle). For some details and a lot references on this matter, see the authoritative work: F. M. G., Exercises De Géométrie, Librairie Générale, Paris, Septiéme Edition, pp. 1112-1114. Address Miss Gabrielle Schrantz (MB 1463) Department of Mathematics 1536 Hewitt Ave. Hamline University Saint Paul, MN, 55104 E-mails: gschrantz01@gw.hamline.edu iroussos@gw.hamline.edu 13