Name the Surface

Geometry Level 3

Points ( x , y , z ) (x,y,z) on a surface satisfy:

x y + x z + y z = 1 xy + xz + yz = 1

What is the name of this surface ?

Hyperboloid of one sheet None of the other choices Paraboloid Hyperboloid of two sheets Ellipsoid Cone Plane

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

The equation is invariant under x x x \mapsto -x , y y y \mapsto -y , z z z \mapsto -z . This point symmetry excludes the paraboloid.

The equation is invariant under rotation of the variables x y z x x\mapsto y\mapsto z\mapsto x . Therefore the line through the origin in direction ( 1 , 1 , 1 ) (1,1,1) is an axis of rotational symmetry; the rotation of variables is a rotation of 12 0 120^\circ about this axis.

As we travel from the origin along this line, i.e. ( x , y , z ) ( + , + , + ) (x,y,z) \to (+\infty,+\infty,+\infty) , we see that x y + x z + y z xy + xz + yz increases from zero to infinity. It will reach the value 1 at some point on this line; therefore the surface is not empty or degenerate.

Consider the plane through the origin perpendicular to the line, i.e. the plane x + y + z = 0 x + y + z = 0 . On this entire plane we have x y + x z + y z = 1 2 ( x + y + z ) 2 ( x 2 + y 2 + z 2 ) = ( x 2 + y 2 + z 2 ) 0. xy + xz + yz = \tfrac12(x+y+z)^2 - (x^2+y^2+z^2) = -(x^2 + y^2 + z^2) \leq 0. It follows that the surface does not intersect this entire plane through the origin. This shows that the surface consists of two branches, or sheets.

This is enough to conclude it is a hyperboloid of two sheets \boxed{\text{hyperboloid of two sheets}} .


Alternative

The equation may be written in the form ( x y z ) M ( x y z ) = 1 , \left(\begin{array}{ccc} x & y & z \end{array}\right)\:M\:\left(\begin{array}{c} x \\ y \\ z\end{array}\right) = 1, where M M is a symmetric matrix, namely M = ( 0 1 2 1 2 1 2 0 1 2 1 2 1 2 0 ) . M = \left(\begin{array}{ccc} 0 & \tfrac12 & \tfrac12 \\ \tfrac12 & 0 & \tfrac12 \\ \tfrac12 & \tfrac12 & 0\end{array}\right). To find the eigenvalues of M M , we solve 0 = det ( M λ I ) = λ 3 3 4 λ 1 4 0 = \text{det}\ (M - \lambda I) = \lambda^3 - \tfrac34\lambda - \tfrac14 , giving λ = 1 \lambda = 1 (once) and λ = 1 2 \lambda = -\tfrac12 (twice). At this point we might already draw the conclusion that the surface is a hyperboloid of two sheets, based on the eigenvalue "signature":

  • ( + , + , + ) (+,+,+) corresponds to a 2 + b 2 + c 2 = 1 a^2 + b^2 + c^2 = 1 , an ellipsoid;

  • ( + , + , ) (+,+,-) corresponds to a 2 + b 2 = 1 + c 2 a^2 + b^2 = 1 + c^2 , a one-sheeted hyperboloid;

  • ( , , + ) (-,-,+) corresponds to a 2 + b 2 = 1 + c 2 a^2 + b^2 = -1 + c^2 , a two-sheeted hyperboloid;

  • ( , , ) (-,-,-) corresponds to a 2 + b 2 + c 2 = 1 a^2 + b^2 + c^2 = -1 , an empty surface;

  • one or more zero eigenvalues correspond to paraboloids and degenerate surfaces.

To continue in more detail, a set of orthogonal eigenvectors include ( 1 1 1 ) , ( 2 1 1 ) , ( 0 1 1 ) . \left(\begin{array}{c} 1 \\ 1 \\ 1 \end{array}\right),\ \ \ \ \left(\begin{array}{c} 2 \\ -1 \\ -1\end{array}\right),\ \ \ \ \left(\begin{array}{c} 0 \\ 1 \\ -1\end{array}\right). This suggests the change of coordinates { a = 1 3 ( x + y + z ) x = a + 2 b b = 1 6 ( 2 x y z ) y = a b + c c = 1 2 ( y z ) z = a b c \begin{cases} a = \tfrac13(x+y+z) & x = a + 2b \\ b = \tfrac16(2x - y - z) & y = a - b + c \\ c = \tfrac12(y - z) & z = a - b - c\end{cases} The equation becomes 1 = x y + y z + x z = ( a + 2 b ) ( a b + c ) + ( a b + c ) ( a b c ) + ( a + 2 b ) ( a b c ) = 2 ( a + 2 b ) ( a b ) + ( a b ) 2 c 2 = 3 a 2 3 b 2 c 2 . 1 = xy + yz + xz = (a + 2b)(a - b + c) + (a - b + c)(a - b - c) + (a + 2b)(a - b - c) = 2(a + 2b)(a-b) + (a-b)^2 - c^2 = 3a^2 - 3b^2 - c^2. We may write this as 3 b 2 + c 2 = 3 a 2 1 ; 3b^2 + c^2 = 3a^2 - 1; for every value of a > 1 / 3 |a| > 1/\sqrt{3} the left-hand side describes an ellipse; for every value of a < 1 / 3 |a| < 1/\sqrt{3} this equation has no solutions. Thus, when we slice the surface perpendicular to a \vec a , we find a stack of growing ellipses on either side, with a gap around the origin: a hyperboloid of two sheets.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...