Professional Documents
Culture Documents
3. Rigid Motions
304
<, )
6x1Y2
6x2Y1
l8x2Y2 define an
+ 3X2Y2 -
X2Y3
<
>
<, )
8.
9.
<, )).
3.
-~
Problems
l.
2.
Follow the same directions as in problem 1 for the quadratic function defined
on "f/ 3 by q(a, b, e)= 9a 2 + 12ab + 12ac + 6b 2 + 12c 2
3.
+ bt) =
14a 2
+ 16ab +
46 2
Rigid Motions
>.,,
j
1
The coordinate transformations required to express a quadratic function in canonical form are too general to be used in studying the graph of a
second degree equation in Cartesian coordinates. A transformation of
Euclidean space is required to be a "rigid motion," that is, it should move
figures without distortion just as rigid objects are moved in the real world.
In this section we will characterize and then define the "rigid motions" of
Euclidean n-space.
The intuitive idea of a "rigid motion" suggests severa! properties. First
it should send Iines into Iines and second, it should be an isometry, that is, the
distan ce between any two points of rff, should equal the distance between their
images. The requirement that a transformation be an isometry, or distance
preserving, implies that it is one to one. The first condition is satisfied by any
linear map, and both conditions are satisfied by orthogonal transformations.
However, not aii orthogonal transformations would be considered "rigid
motions." For example, the reflection of 3-space in a plane transforms an
object such as your left hand into its mirror image, your right hand, which is
not possible in the real world. Therefore a "rigid motion" should also
preserve something Iike left or right handedness.
For each of the following symmetric matrices, find the rank, the signature, and
the canonical form for congruence.
a.
(_~ -~).
b.
(-~ -~).
c.
(f -io ).
4
d.
(-jo -i
~).'
-2 1
Definition
orientalion for rff. Two bases B and B' with transition matrix P determine the
same orientation if det P > O and opposite orientations if det P < O.
For example, an orientation is given for the Cartesian plane or Cartesian
3-space. by the coordinate system related to the standard basis. Por the plane,
306
307
3. Rigid Motions
--~--~~-----4--X
-+-----~--Y
Figure 3
y
Figure 1
~Figure 2
Definition
Suppose T: $ 11 -> ~f. is a nonsingular linear transformation.
If B = {U 1 , , U.} is any basis for ~f., let B' = {T(U 1), , T(U11)}.
Then T is orientation preserving if B and B' determine the same orientation
for ~f .
This definition could be restated as follows:
Theorem 7.5
A linear transformation T:lf.-> ~f. is orientation
preserving if and only if the matrix of T with respoct to any basis for c. has
a positive determinant.
Proof
If B = {U~> ... , U.}' is a basis for $ "' then the matrix of T
with respect to Bis the transition matrix from B to B' = {T(U1), . . . , T(U.)}.
(Why must B' be a basis for each direction ?)
Now with this definition, a reflection of 3-space in a plane is not orientation preserving, for the matrix of such a reflection with respect to an orthonormal basis has determinant -1. Therefore, the third requirement of a "rigid
motion" is that it be orientation preserving. This eliminates reflections, so
that the only orthogonal transformations that satisfy all three conditions are
the rotations.
If the essential character of a "rigid motion" is that it move. figures
without distortion, then it is not necessary for the transformation to be linear.
A linear map must send the origin to itself, yet from the geometric viewpoint,
there is no distinguished point. It is here that Euclidean geometry differs
from the study of the vector space g m and nonlinear transformations must be
introduced.
A translation T: t.~ 1. given by T(U) == U+ Z for U E In and Z
a fixed point in c., should be admitted as a "rigid motion." lt is easily seen
that a translation sends lines into lines and preserves distance. However, the
308
Suppose T: C2
Examp/e 1
T(a, b) = (a, b)
+ (2,
1)
= (a + 2, b +
1).
Theorem 7.6
Suppose T: c.~ c. satisfies the following conditions:
l. T transforms lines into lines.
2. T is an isometry.
3. T is orientation preserving.
Then T is the composition of a translation and a rotation.
Suppose T:
c.~
c. Set
B' = {T(U 1)
c.
309
3. Rigid Motions
Proof
Suppose first that T(O) =f. O. Then T may be composed with
the translation which sends U to U - T(O). This composition sends O to O
and satisfies the three given conditions. Therefore it is sufficient to assume
that T(O) = O and show that T is a rotation.
By 2, T preserves distance, therefore
IJT(U)- T(V)ii = IIU- VIl
u.}
c.
IIT(rU)II = llrUII
This definition essentially defines a translation to be an orientation
preserving
map. If T is linear, it contains nothing new, for T(O) = O. But
___,
y'
y
T(E2 )
1
Ez
T(O)
T(E 1 )
U, V E c.
for all
x'
:.;
lriiiUII
lriiiT(U)II.
But IIT(rU)II = lkiiiT(U}II, so k= r. If k= -r, then Tchanges the relative position of the three points, violating 2. (If k = r = O, then there is
nothing to prove.) Therefore k = r, and T preserves scalar multiplication.
In a similar way, using the parallelogram 'rule for addition, it can be shown
that T preserves addition (see problem 6 at the end of this section). Thus T
is a linear map.
Since T is linear and preserves the norm, T is an orthogonal transforma~
tion (problem 3, page 269). But T is required to preserve orientation, so
its matrix with respect to any basis has a positive determinan t. That is, T is
a rotation, completing the proof.
Figure 4
310
Definition
A rigid motion of rt. is a composition of a finite number
of rotations and translations.
Much of Euclidean geometry can be viewed as a search for properties
0f figures that remain invariant when the figure is moved by a rigid motion.
Here the term "figure" simply refers to a collection of points in a Euclidean
space, such as a line, a circle, or a cube.
Definition
Two geometric figures in 6'."'!fte congruent if there exists a
rigid motion of 6'. that sends one onto the other.
It should be clear that congruence is an equivalence relation on any
coJllection of figures. As a simple exanple, consider the set of all lines in the
plane. Given any two lines, there is a rigid motion that maps one onto the
other. Therefore any two lines in the plane are congruent. This means that
there is no property, invariant under rigid motions, that distinguishes one
line from another. Something like slope only measures relative positi'on, it
is not intrinsic to the line. Thus the set of alllines contains only one equivalence
class under congruence.
As another example, consider the set of aii circles in the plane. lt is not
difficult to show that two circles from this set are congruent if and only if
they have the same radius. As with lines, circles can be in different relative
positions, but two circles with the same radii are geometrically the same.
The length of the radius gives a geometric invariant that distinguishes nonccngruent circles. Thus the set of all circles in the plane is divided into an infinity of equivalence classes by congruence, one for each positive real number.
An invariant under congruence is an intrinsic geometric property, a
property of the figure itself without reference to other objects. It is in this sense
that Euclidean geometry searches for invariants under rigid motions. This
is essentially what occurs in the study of congruent triangles in plane geometry.
However, reflections are usually allowed in plane geometry because as 3dimensional beings we can always pick up a triangle, turn it over, and put it
back in the plane. Of course, a 4-dimensional being would view our right
and Ieft hands in just the same way.
Example 2
Suppose S is the collection of all sets G e 6'n such
that G = {e E 6'.IA cT = B} for sorne consistent system of linear equations
in n unknowns, AX = B. That is, S contains the solution sets for all consistent
systems oflinear equations in n unknowns. Examining how congruence either
identifies or distinguishes between elements of S will answer three essentially
311
3. Rigid Motions
Problems
3.
312
6.
.:::2>
Prove that if T: tff, - tff, is an isometry, sends fines onto lines, and T(O) = O,
then T preserves vector addition.
7. Determine the nature of the equivalence classes under congruence of the ~et of
all spheres in 3-space.
8.
313
4. Conics
a.
Let S denote the set of all tdangles in the plane. Find a complete set of
geometric itivariants for S under congruence. Be sure to consider orientation.
b. Do the same if S is the set of all triangles in 3-space.
= X'TAX' + B'X' +
C'
4.
Conics
(x'
'L7=
+ 4) 2 + 3(.X' + 4)(y'
- 5)
= x' 2
+ 4) + 7(x' + 4) + 2
+ 3y'x' - 23x' + 24y' - 90,
3(y' - 5)(x'
3x'y'
and the coefficients of the second degree terms, l, 3, 3, O, remain the same.
You might want to work this example out in the matrix form to confirm the
general expression, then X= (x, yl, Z = (4, - 5)r, and so on.
The other component of a rigid motion, a rotation, can always be u sed to
obtain a polynomial without cross product terms, that is, terms of the form
xhxk with h -# k. For since A is symmetric, there exists an orthogonal matrix
P with determinant +1, such that pT AP = P- 1 AP = diag(A. 1, . . . , A..)
where ). 1 , . . . , )., are the characteristic values of A. So the rotation of f,
given in coordina tes by X = P X' changes the polynomial xr AX + BX + C
to X'r diag(A. 1 , , A..)X' + BPX' + C in which the secorid degree terms
are perfect squares, A. 1 x' 2 + + )..x' 2 The fact that such a polynomial
can always be obtained is called the "Principal Axis Theorem." For ajustification of this name, see Example l below.
Now consid(!r the matrix A of coefficients for the second degree terms.
Translations do not affect A and rotations transform A to a similar matrix,
so any invariants of A under similarity are invariants of the polynomial under
these coordinate changes. This means that similarity invariants of A are
geometric invariants ofthe graph under rigid motions. These invariants include
rank and the characteristic values, as well as the determinan!, the trace, and
other symmetric functions of the characteristic values. For example, the sign
of the determinan! of A distinguishes three broad classes of conic sections. If
a second degree polynomial equation in two variables is written in the form
ax 2 + bxy + cy 2 + dx + ey + f = O, then
~
A=
(a
b/2
b/2)
e
314
315
4. Conics
y'
+ 6xy + 19y 2
llx 2
80
=O
and find a coordinate system for which the equation does not have a cross
product term.
We have b2 - 4ac = 62 - 41119 < O, so the curve is an ellpse.
The symmetric matrix of coefficients for the second degree terms is
A=
(113 193) .
Figure 5
A has characteristic values 10 and 20, so there exist coordinates x', y' inwhich the equation can be written as
+ 20y' 2 = 80.
10x' 2
The coordinate system and the rotation yielding these coordinates can be
obtained from the characteristic vectors for A. One finds that (3, -I)T and
(J, 3l are characteristic vectors for 10 and 20, respectively, so if
- (
p -
3/.JlO 1/.JlO)
-1/.JIO 3/.JIO '
i=l
i=l
L Ax; 2 + L b;x; + e,
= + 1, and
A.kx?
+ b~xk.
A.k(xk.
X1'AX.
Example 2
2x 2
5y 2
2(x
+ 3/4) 2
29/16- 5(y- 1)
(x
+ 5.
3/4, y - 1) transforms
316
t?
317
4. Conics
25y" 2 = -lOO. This is not quite in the first form above. But with a
rotation through 90 given by (x'", y"') = (y", -x") the equation can be
50x" 2
.J'l.
The coordinate
Here the a and b in the form given abo ve are a = 2 and b =
change required is the composition of all three transformations. Putting them
together gives the relation
Let the four coordinate systems used in obtaining the canonical form for the
equation be denoted by B = {E}, B' = {(3/5, -4/5), (4/5, 3/5)}, B" the
translate of B' and B"' obtained from B" by a rotation through 90. Then
Figure 6 shows th graph of each equation in relation to the appropriate
coordinate system. The hyperbola is in "standard position" with respect to
the :X:", y"' coordina te system.
Examp/e 3
2x 2 - 72xy
+ 23y 2 + 140x
- 20y
+ 50
3/5 4/5)
3/5 ,
= ( -4/5
IOOy'
+ 50 =
O.
50(x'
+ 1) 2
50 - 25(y' - 2) 2
The other seven types of canonical forms for second degree equations
in two variables are obtained as follows: If the discriminan! is negative, the
2 2
2
2
2 2
equation can be transformed to x' 2 ja 2 + y' jb =1, x' ja + y' jb = -:,
or x' 2 ja 2 + y' 2 jb 2 = O, with O< b < a, by using a rigid motion and mu!tiplying by a nonzero constant. The graph in Example 1 shows an ellipse in
standard position with respect to the x', y' coordina te system. For that curve,
a= .J8 and b = 2. Ifthe discriminant is O, the equation can be transformed
to x' 2 = 4py', x' 2 = a2 , x' 2 = -a 2 , or x' 2 =O with panda positive. The
graph of x' 2 = 4py' is the parabola in standard position with its vertex at
the origin, focus at (0, p )x ,y'' and directrix the line y' = -p.
It is possible to determine which type of canonical form a given polynomial is equivalent to without actually finding the transformations. To
see this we first express the entire polynomial in matrix form by writng the
coordnates (x, y) in the form (x, y, l). Then the general second degree polynomial in two variables can be written as
ax 2
+ lOO + 50 =
+ bxy + cy 2 + dx + ey + f
O.
=
+ l,
(x y
!)(b~2
d/2
b/2
e
ej2
319
4. Conics
318
y"'
x"'
y'
\WL._
l
\
.j
1
gr X is trans-
Examp/e 4
Perform the translation of Example 2 with matrix
multiplication.
In Example 2, the translation (x', y') = (x + 3/4, y - 1) was u sed to
simplify the polynomial
2x 2
5y 2
3x
lOy
= (x
!)( ~
-5
3/2 5
Yl(n
(f)~(~
Il and A the
= (pii) would
-Jmn
P12 O)(x')
Pl pt/
~ ~~
(x)i (Pu
or X
(x'
y'
1)
o
o1 oo) ( 2
o -5o 3/2K
5 o 1
~ nm
1 1 3/2
5 o o o
3
o
-3/4
~ (x'
= 2x'
~
y'
2
!)(:
5y'
o
-5
+ 31/8.
3~/8ml
320
::V
5. Ouadric Surfaces
3.
321
X=PX'.
5.
Rank
Graph
>O
>O
<O
<O
<O
3
3
Yes
Yes
Yes
No
Yes
Yes
Yes
No
Yes
=0
=0
=0
=0
2
3
2
1
Canonical forms
xzaz - yzbz = 1
xzaz - yzbz =O
xzaz + yzbz = 1
xzaz + yzbz = _ 1
x2Ja2 + yzp =O
x 2 = 4py
xz = a2
xz = -az
x 2 =O
2
- 6xy + 4y + 2x + 4y - 24 = O.
4x 2 + 12xy + 9y 2 + 3x- 4 =o.
7x 2 - 5xy + y 2 + 8y =O.
x 2 + 4xy + 4y 2 + 2x + 4y + 5 = O.
x 2 + 3xy + y 2 + 2x = O.
a. 2x 2
b.
c.
d.
e.
Table 1
b 2 -4ac
For each of the following equations, use Table I, without obtaining the canonical form, to determine the nature of its graph.
Type of graph
X=
Hyperbola
Intersecting Jines.
(Real) ellipse
Imaginary ellipse
Pont ellipse
Para bola
Parallel lines
Imaginary lines
Coinciden! lines
a.
w.
m.
K=
/3)
can be written as
(g)
grX =
8.
Use the equation in part a to find the points at which the line through
(- 2, 3) with direction (1, - 2) intersects the graph of x 2 + 4xy - 2y +
5 =O.
Find the canonical forro for the following and sketch the graph togeriler with
any coordinate systems used.
a.
2x 2
+ 4xy + 2y 2 = 36.
b.
28x 2
Problems
l.
Find the matrices A, B, and that are used to express the following polynomials in the forro xr AX + BX + and grX.
a. 3x 2 - 4xy + 7y + 8.
b. 8xy- 4x + 6y.
5.
2.
Ouadric Surfaces
322
5. Quadric Surfaces
323
Table 11
Type of equation
x2fa2
x2fa2
x2fa2
x 2/
and
..,__
If A
= (;),
(b 1 , b 2 , b 3 ), and
e= (e), then
2BX
+e,
with X
= (x, y, z)T.
+
+
+
'J
';
bfJb~ + c cfJ~)(;)
+c
2
bfJb2
4py
x 2 =O
;)
...
-cfJb 2 + c 2
x2fa2
y2fb2 =O
x2fa2 - y2fb2 =O
x2 = at
x2 = -at
Notice that both A and A are symmetric. If x, y, and z are viewed as Cartesian coordinates in three-space, then the graph of xT AX = o is a quadric
surface. In general, this is actually a surface, but as with the conic sections
sorne equations either have no graph or their graphs degenerate to lines or
points.
We know that for any equation XT AX = O there exists a rigid motion
which transforms it toan equation in which each variable that appears is either
a perfect square or in the linear portien. Therefore it is not difficult to make
a list of choices for canonical forms, as shown in Table 11.
This list contains 17 types of equations ranked first according to the rank
of A and then by the rank of A. (This relationship is shown later in Table
111.) Each of the possible combinations of signatures for A, linear terms,
and constant terms are included in Table 11. (Recall that a constant term can
be absorbed in a linear term using a translation.) Although it may appear that
there is no form for an equation of the type ax 2 + by + cz = O, it is possible
to reduce the number of linear terms in this equation by using a rotation
that fixes the x axis. To see this write by + cz in the form
1
-1
+ y2jb2 - z2fc2 = -1
+ y 2/b 2 - z 2/c 2 = 1
x2fa2
y2fb2 = 2z
x2fa2 - y2fb2 = 2z
x2fa2
y2fb2
z2fc2 =O
x2fa2
y2fb2 - z2fc2 = O
x2fa2
y2fb2 = 1
x2fa2
ytbt = -1
x2fa2 - y2fb2 = 1
x2
xTAx = xTAx +
+ y2fb2 + z2fc2 =
+ y2fb2 + z2fc2 =
324
5. Quadric Surfaces
Generators
~ '.
Elliptic cylinder
Hyperbolic cylinder
z
Generator
Directrix
--- ---
J. ..
1
1
1
x2
=4py,p
>O
Parabolic cylinder
Figure 7
325
326
327
5. Quadric Surfaces
z
Trace
in
y=O
Trace in
x=O
Section in
z=k
y
Trace in
z=O
Ellipsoid
Figure 8
Hyperboloid of 1 sheet
Hyperboloid of 2 sheets
(a)
{b)
Figure 10
Section in
z=k,k>O
Trace in
y=O
X
Elliptic cone
Figure 9
Elliptic paraboloid
(a)
Hyperbolic paraboloid
(b)
Figure 11
328
Rank
Rank A
Det A
Yes
No
<O
>O
Ellipsoid
Imaginary ellipsoid
Yes
Yes
<O
>O
Hyperboloid of 2 sheets
Hyperboloid of 1 sheet
Yes
Yes
<O
>O
Elliptic paraboloid
Hyperbolic paraboloid
Yes
Yes
Point
Elliptic cone
Yes
No
Elliptic cylinder
Imaginary elliptic cylinder
Yes
Hyperbolic cylinder
Yes
Parabolic cylinder
Yes
Yes
Line
Intersecting planes
6.
Yes
No
Parallel planes
Imaginary parallel planes
7.
Yes
Coincident planes
8.
o
1
Por the following equations find both the canonical form and the transformation used to obtain it.
a. x 2 - y 2 /4- z 2 /9 = l.
b. x 2 /5 - z 2 = l.
c. 4z 2 + 2x + 3y + 8z = O.
d. 3x 2 + 6y 2 + 2z 2 + 12x + 12y + 12z + 42 = O.
e. -3x 2 + 3y 2 - 12xz
l2yz + 4x +4y- 2z =O.
Graph
Problems
Abs (sA)
surface except for ~he two hyperboloids. The hyperboloids are distinguished
by the sign of det A, which is an invariant because A is a 4 x 4 matrix.
l.
Table III
329
Type of graph
2.
y 2 /b 2 = 2z in parabolas.
3.
Show that every plane parallel to the z axis intersects the hyperboloids x 2fa 2
z 2 /c 2 = 1 in hyperbolas,
y 2 /b 2
4.
5.
Justify the name "conic section" for the graph of a second degree polynomial
equation in two variables by showing that every real conic, except for
parallellines, may be obtained as the plane section of the elliptic cone x 2fa 2
yzbz - zzcz =O.
6.
+ 4yz =
O.
=O.
There are severa! ways in which a line can intersect or fail to intersect
a given quadric surface, gr AX = O. To investigate this we need a vector
330
equation for a line in terms of X. Recall that the line through the point
U = (a, b, e) with direction numbers V = (a, {3, y) has the equation X
= tV + U or (x, y, z) = t(a, {3, y) + (a, b, e), tE R. Written in terms .f
4 x 1 matrices this equation becomes
The fourth entry in the direction, R, must be zero to obtain an equality; therefore direction numbers and points now have different representations.
The line given by X = tK + O intersects the quadric surface given by
XT AX = O in points for which the parameter t satisfies
0) = O.
Using the properties of the transpose and matrix multiplication, and the
fact that for a 1 x 1 matrix
The coefficients of this equation determine exactly how the line intersects
the quadric surface.
If the direction K satisfies kT AK =P O, then there are two solutions for
t. These solutions may be real and distinct, real and concident, or complex
conjugates. Therefore if kT AK =P O, then the line intersects the surface in
two real points, either distinct or coincident, or in two imaginary points. In
all three cases we will say the line contains a ehord of the surface with the
the chord being the line segment between the two points of intersection. In
only one case is the chord a realline segment. However with this definition,
every line with direction numbers R contains a chord of the surface XT AX
= O provided RTAK =P O.
Example 1
Show that every line contains a chord of an arbitrary
ellipsoid.
1t is sufficient to consideran ellipsoid given by x2fa 2 + y 2 fb 2 + z2 fc 2 = 1
(Why?). Forthis equationA = diag(1/a2, 1/b 2 , 1/c 2 , -1), so if R =(a, {3, y, Ol
331
soid x 2 /9
(3, 5, 4).
Find the equation of the diametral plane for the ellipbisects the chords with direction numbers
+ y 2 + z 2 /4 = 1 that
kT AX =
= x/3 + 5y + z.
z, I)T
332
~D
SURFACES
333
then
Examp/e 3
Determine how lines with direction numbers (0, 2, 3)
intersect the hyperboloid of two sheets given by x 2 + y 2 /4- z 2 /9 = -l.
For this surface A = diag(1, 1/4, -1/9, 1). Therefore, with f.:..
= (0, 2, 3, Of, f.:..T AK = 4/4 - 9/9 = O, and lines with direction K do
not contain chords. For an arbitrary point O = (a, b, e, l)r, Kr AO =
2b/4 - 3ef9 = b/2 - ef3. Thi~ is nonzero if (a, b, e) is not in the plane with
equation 3y - 2z = O. Therefore, every line with direction numbers
(0, 2, 3) that is not in the plane 3y - 2z = O intersects the hyperboloid
in exactly one point. Each line with direction (O, 2, 3) that is in this plane
fails to intersect the surface. For such a line has the equation X = tK + O
with O = (a, O, O, 1l. In this case, the equation
or
Definition
Definition
A quadric surface is said to be ruled if every point on the
surface lies on a ruling.
The definition of a cylinder implies that all cylinders are ruled surfaces;
are any other quadric surfaces ruled? Certainly an ellipsoid is not since every
line contains a chord, but a cone appears to be ruled. For the corre given by
x2fa 2 + y2fb 2 - z 2 /e 2 =O, A = diag(Ifa 2 , 1fb2, -l/e 2 , 0). So if K is the
direction given by K = (a, {3, y, Of, then KT AK = a2fa 2 + f3 2fb 2 - y2je 2
This vanishes if an only if the point (a, {3, y) is on the cone. Therefore, if
O = (a, {3, y, l)r is a point on the corre, not the origin, then Kr Ak = Kr .A O
= or AO = oand the line x = tK + O is a ruling through O. Since all these
rulings pass through the origin, every point les on a ruling and the ellipti~
cone is a ruled surface.
Although the figures do not suggest it, there are two other ruled quadri~
surfaces. Consider first the two hyperboloids with equations of the from
x 2fa 2 + y 2 fb 2 - z 2 /e 2 = ::l. For these surfaces A = diag(lja 2 , !jb 2 , -1/c 2 ,
1). Suppose O = (x, y, z, 1)r is an arbitrary point on either ofthese surfaces,
i.e., or AO = o, and consider an arbitrary Iine throuth O,
= tK + O
with K = (a, {3, y, O)r. These surfaces are ruled if for each point O there exist>
a direction K such that KT AK = KT AO = or AO = O. Suppose thesc
conditions are satisfied, then
So
ax/a 2 + f3yW
yzjc 2 = (yfe)(z/e)
=
Examp!e 4
Show that a line with direction numbers (0, O, 1) is
eithcr a ruling of the cylinder x 2 /4 - y 2f9 = 1 or it does not intersect the
surface.
For this surface A = diag(l/4, -1/9, O, -1). For the direction k
= (0, O, 1, Of and any point 0, kr AK = or AO = O and or AO = O if
--_,_,
f3
334
335
Figure 13
Figure 12
lfa 2
~
A=
o l/b 2
o
o
o
o
o
o
-1
-f)
So if K= (a, f3, y, O)T, then K.TA.K. = a2 ja 2 f3 2 fb 2 For the plus sign this
vanishes only if a = f3 = O. But K.T A. O = axja 2 f3yfb 2 - y. Therefore
there cannot be a ruling through O if O lies on the elliptic paraboloid. For
the hyperbolic paraboloid, a, f3, y need only satisfy a2 Ja 2 - f3 2 Jb 2 = O and
axja 2 - f3yfb 2 - y = O. Again there are two rulings through O with the
directions K = (a, b, xja- yjb, O)T and K = (a, -b, xja + yjb, O)T. Thus
the hyperbolic paraboloid is also a doubly ruled surface, as shown in Figure
13. Since a portion of a hyperbolic paraboloid can be made of straight lines,
the surface can be manufactured without curves. This fact has been u sed in the
design of roofs for sorne modern buildings, Figure 14.
We will conclude this section with a determination of when a quadric
surface has one or more centers.
Definition
A point U is a center of a quadric surface S if every line
through U either
337
336
.(
AX =
'
2 3
3 6
-1 o
-1 o
or
Figure 14
l.
2.
3.
One finds that this system of equations is consistent, so the surface has at
least one center. In fact, there is a line of centers, for the solution is given
by x = 2t + 2, y= - t - 1, and z = t for any tE R. This quadric surface
is an elliptic cylinder.
That is, a center is a point about which the quadric surface is symmetric.
If O is a center for the surface given by j(T AX = Oand K is sorne direction, then each of the above three conditions implies that KT ,40 = O. For
KT AO to vanish for all directions K, implies that the first three entries of
AO must b!! zero, or AO = (0, O, O, *)T. Conversely, suppose P is a point
for which AP = (0, O, O, *f. Then for any direction K = (ex, {3, y, O)T,
K AP = O. Therefore, the line X = tK + P (I) contains a chord with
midpoint P if KT AK ,. O, or (2) does not intersect the surface if KT AK = O
and OT ,40 #- O, or (3) is a ruling of the surface if KT AK = OT AO = O.
This proves:
ATAA
Theorem 7.8
The point O is a center of the quadric surface given by
j(T AX =O if and only if AO = (0, O, O, *)T.
Example 5
2x
+ 6xy + 6y
2xz
+ 2z
2x
+ 4z + 5 =
A=
-1
-1
-1
o
2
2
-~)2 .
-5
Examp/e 6
x2
3xz
A=( -3~
5
_!
-3 5)
~ -~
and
Definition
O
The system of equations AX = (0, O, O, *)T has a unique solulion if
and only if the rank of A is 3. Therefore, ellipsoids, hyperboloids, and eones
are the only central quadric surfaces. A quadric surface has at least one
center if the rank of A equals the rank of the first three rows of A. That is
when the system AX = (0, O, O, *f is consistent. Further, a surface with a~
least one center has a line of centers if rank A = 2 and a plane of centers if
rank A = l.
338
Problems
l.
Review Problems
Determine how the Iine intersects the quadric surface. If the Iine contains a
chord, find the corresponding diametral plane.
a. (x, y, z) = t(l, --1, 2) (-2, -2, 2);
2x 2 + 2xy + 6yz + z 2 + 2x + 8 = O.
b. (x, y, z) = t(1, -1, 1) + (0, 1, -2);
2xy + 2xz - 2yz - 2z 2 + Sx + 6z + 2 = O.
c. (x, y, z) = t(2, v2, O);
x 2 -- 2xz + 2y 2 + Syz + 8z 2 + 4y + 1 =O.
2. Determine how the fa mil y of lines with direction numbers (1, -2, 1) intersects
the quadric surface given by
4xy y 2 - 2yz + 6x + 4z
5 = O.
Show that every diametral plane for a sphere is perpendicular to the chords it
bisects.
4.
For each surface find the direction numbers of the rulings thrugh the given
point.
a. x 2/5 + y 2/3 - z 2/2 =O; (5, 3, 4).
b. x 2 - y 2 /8 = 2z; (4, 4, 7).
c. 4xy + 2xz- 6yz + 2y- 4 =O; (1, O, 2).
d. x 2 - 8xy + 2yz- z 2 - 6x -- 6y- 6 =O; ( -1, O, 1).
6.
1. Find a symmetric matrix A anda matrix B that express the given polynomial
as the sum of a symmetric bilinear form xrAX and a linear form BX.
a. 3x 2 - 5xy + 2y 2 + 5x- ?y.
b. x 2 + 4xy + 6y.
c. 4x 2 + 4xy- y 2 + !Oyz + 4x- 9z.
d. 3xy + 3y 2 - 4xz + 2yz - 5x + y - 2z.
<!IL.....
2.
3.
3.
5.
5.
xr
8.
If the given point is a regular point for the surface, find the equation of the
tangent plane at that point, see problem 6.
a. x 2 + y 2 + z 2 = 1; (0, O, 1).
b. x 2 + 6xy + 2y 2 + 4yz + z 2 - 8x -- 6y- 2z + 6 =O; (1, 1, -1).
c. 4xy- 7y 2 + 3z 2 - 6x + 8y- 2 =O; (1, 2, -2).
d. 3x 2 - 5xz + y 2 + 3yz- Sx + 2y- 6z =O; (2, 4, 5).
Find the two lines in thz:: plane x - 4y + z = O, passing through the point
y2
z 2 /4 = l.
(2, 1, 2), that are tangent to the ellipsoid given by x 2 /4
+ +
Transform the following equations for conics into canonical forro. Sketch the
curve and the coordinate systems used.
a. x 2 - 4y 2
4x
24y - 48 = O.
b. x 2 - y 2 - 10x- 4y + 21 =O.
c. 9x 2 - 24xy
16y2 - 4x - 3y =O.
d. x 2
2xy y 2 - 8 = O.
e. 9x 2 - 4xy + 6y 2 + 12v5x + 4v5y - 20 =O.
all
Find
the centers of the following quadric surfaces.
a. 3x 2 + 4xy + y 2 + 10xz + 6yz + 8z 2 + 4y- 6z + 2 =O.
b. x 2 + 2xy + y 2 + 2xz + 2yz + z 2 + 2x + 2y + 2z = O.
c. x 2 + 6xy - 4yz + 3z 2 - Sx + 6y - 14z + 13 = O.
d. 4xy + 6y 2 - Sxz- 12yz + 8x + 12y =O.
4. :;ud( ~;
6.
a.
b.
c.
7.
8.
xr
7.
339
Review Problems
= O.
9.
Given the equation for an arbitrary quadric surface, which of the 17 types
would it most likely be?
10.
Find all diametral planes for the following quadric surfaces, if their equation
is in standard form.
a. Real elliptic cylinder.
340
b. Elliptic paraboloid.
c. Hyperbolic paraboloid.
11. How do lines with direction numbers (3, 6, O) intersect the quadric s~rface
with equation 4xz - 2yz + 6x = O?
12. Find a rigid motion of the plane, in the form }{ = P:X', which transforms
52x 2 - 72xy + 73y 2 - 200x + IOOy = Ointo a polynomial equation without
cross productor linear terms. What is the canonical form for this equation?
1.
2.
3.
4.
5.
6.
lnvariant Subspaces
Polynomials
Minimum Polynomials
Elementary Divisors
Canonical Forms
Applications of the Jordan Form