Read an Excerpt
Solid Analytic Geometry
By A. Adrian Albert Dover Publications, Inc.
Copyright © 2016 Dover Publications, Inc.
All rights reserved.
ISBN: 978-0-486-81468-1
CHAPTER 1
COORDINATES AND LINES
1. Vectors. A sequence P = (x1 ..., xn) of n numbers xi is called an n-dimensional vector. The elements x1 ..., xn are called the coordinates of P and xi is the ith coordinate. We shall limit our attention to real vectors, i.e., to vectors whose coordinates are real numbers.
The vector whose coordinates are all zero is called the zero vector and will be designated by 0. A real vector may be interpreted as a representation, relative to a fixed coordinate system with O as origin, of a point in n-dimensional real Euclidean space.
It may also be interpreted as the line segment [??] directed from O to P. These interpretations have little intuitive significance except for the cases n ≤ 3, and we shall carry out the details in this text for the case n = 3.
The sum P + Q of two vectors P = (x1 ..., xn) and Q = (y1 ..., yn) is the vector (x1 + y1, ..., xn + yn) whose ith coordinate is the sum xi + yi of the ith coordinate of P and the ith coordinate of Q. We leave the verification of the following simple results to the reader:
Lemma 1.Addition of vectors is commutative, that is, P + Q = Q + P for all vectors P and Q.
Lemma 2.Addition of vectors is associative, that is, (P + Q) + R = P + (Q + R) for all vectors P, Q, R.
Lemma 3.The zero vector 0 has the property that P + 0 = P for all vectors P.
Lemma 4.Let P = (x1, ..., xn). Then the vector - P = (- x1, ..., - xn) has the property that P + (-P) = 0.
Lemma 5.If P and Q are any vectors the equation P + X = Q has the solution X = Q + (- P). We call this vector thedifferenceof Q and P and write X = Q - P. Then the ith coordinate of Q - P is the difference of the ith coordinate of Q and the ith coordinate of P.
EXERCISE
Verify the five lemmas.
2. Scalar multiplication. If a is a number and P = (x1, ..., xn) is a vector, we define the scalar product of P by a to be
aP = (ax1, ..., axn).
Evidently 1P = P, (-1)P = -P, 0 P = 0. The reader should verify that
a(bP) = (ab)P, (a + b)P = aP + bP, a(P + Q) = aP + aQ
for all scalars a and b and all vectors P and Q.
A sum
P = a1P1 + ··· amPm,
of scalar products ajPj of vectors Pj by scalars aj, is called a linear combination of P1, ..., Pm. We shall say that P1, ..., Pm are linearly independent vectors if it is true that a linear combination a1P1 + · + amPm = 0 if and only if a1, ..., am are all zero. If P1, ..., Pm are not linearly independent, we shall say that P1, ..., Pm are linearly dependent.
Let Ei be the vector whose ith coordinate is 1 and whose other coordinates are all zero. Then
P = (x1, ..., xn) = x1E1 + ··· + xnEn.
Thus every vector is a linear combination of E1, ..., En. If x1E1 + ··· + xnEn = P = 0, then (x1, ..., xn) = 0, that is, x1 = x2 = ··· = xn = 0. It follows that E1, ..., En are linearly independent.
EXERCISES
1. Show that if P = (x1, ..., xn) and Q = (y1, ..., yn) are not zero then P and Q are linearly dependent if and only if Q is a scalar multiple of P.
2. Show that if P1, ..., Pm are linearly independent and Pm+1 is another vector then P1, ..., Pm, Pm+1 are linearly dependent if and only if Pm+1 is a linear combination of P1, ..., Pm.
3. Compute the following linear combinations of P1 = (1, -1, 2, 3), P2 = (0, 1, -1, 2), P3 = (-2, l, -1, 2).
(a) 2P1 + P2 + P3
(b) P1 + 3P2 - 2P3
(c) 3P1 + 2P2 - 4P3
4. Use Exercises 1 and 2 in determining which of the following sets of three vectors are linearly independent sets.
(a) (1, -1, 2), (1, 1, 0), (0, -1, 1)
(b) (2, 1, 1), (1, -1, 1), (5, 4, 2)
(c) (1, 0, -2), (2, -1, 2), (4, -3, 10)
(d) (1, -1, 1), (-1, 2, 1), (-1, 2, 2)
(e) (1, 0, -1, 1), (0, -1, 1, -1), (4, -1, -3, 4)
(f) (5, 1, -2, -6), (1, 1, 0, -2), (2, -1, -1, 0)
(g) (1, 0, 0, 0), (1, 1, 1, 1), (3, 1, 1, 1)
(h) (1, 1, -1, 2), (2, 2, -2, 3), (3, 3, -2, 6)
5. Prove that any three two-dimensional vectors are linearly dependent.
6. Prove that any four three-dimensional vectors are linearly dependent.
3. Inner products. If P = (x1, ..., xn) and Q = (y1, ..., yn) are any two vectors, we shall call the number
(1) P · Q = x1y1 + ··· + xnyn
the inner product of P and Q. Evidently, P · Q = Q · P.
The norm of a vector P is defined to be the inner product
(2) P · P = x12 + ··· xn2
If P is any real vector, the number P · P ≥ 0 and has a nonnegative square root
(3) t = √P · P = √ x12 + ··· + xn2,
which we shall call the length of P.
A vector P is called a unit vector if P · P = 1. Thus a real unit vector is a vector whose length (and whose norm) is 1.
Lemma 6.Every real nonzero vector is a scalar multiple of exactly two unit vectors. These are the vectors U = t-1 P and -U, where t is the length of P. Then if P = tU, where t > 0 and U is a unit vector, the number t is the length of P.
For proof we first let P = tU where U = (u1, ..., un) is a unit vector. Then P · P = (tu1)2 + ··· + (tun)2 = t2(u12 + ··· + ut2) = t2, and t = [+ or -] √P · P; t = √ P · P if t ≥ 0. Conversely, let U = t-1P, where t = √P · P. Then U · U = (t-1x1)2 + ··· + (t-1xn)2 = t-2(x12 + ··· + xn2) = 1 and U is a unit vector. The vector - U = - t-1P is clearly also a unit vector.
EXERCISES
1. Give the norms and lengths of the following vectors:
(a) (2, 2, -1)
(b) (1, 1, 0)
(c) (1, -4, 8)
(d) (1, -1, 1, -1)
(e) (1, -1, 2, 1)
(f) (3, 2, -1, 1, 1)
2. Give the unit vector (√P · P)-1P for each vector of Exercise 1.
4. The angle between two vectors. If P = (x1, ..., xn) and Q = (y1, ..., yn) are any two real nonzero vectors, the difference
(4) (P · P) (Q · Q) - (P · Q)2 &@8805; 0.
For (P · P)(Q · Q) = (x12 + ··· + xn2)(y12 + ··· + yn2) is the sum of x12y12 + x22y22 + ··· + xn2yn2 and all expressions of the form (xiyi)2 + (xiyi)2 for 1 ≤ i< j ≤ n. The square (P· Q)2 = (x1y1 + ··· + xnyn)2 is the sum of x12y12 + x22y22 + ··· + xn2yn2 and all products of the form 2xiyixjyj for 1 ≤ i< j ≤ n. The difference then is the sum of all expressions of the form (xiyj)2 + (xjyi)2 - 2xiyixjyj = (xiyj - xjyi)2 for 1 ≤ i< j ≤ n, and must be nonnegative.
The numbers P · P, Q · Q, and (P · Q)2 are all positive, and we have shown that
0 ≤ (P · Q)2/(P · P) (Q · Q) ≤ 1.
It follows that there exists an angle θ between 0 and 180° such that
(5) cos θ = P · Q/√P · P √Q · Q.
We define this angle θ to be the angle between the vectors P and Q.
Two vectors are said to be orthogonal (i.e., perpendicular) if cos θ = 0. Then P and Q are orthogonal if and only if their inner product
(6) P · Q = x1y1 + ··· + xnyn = 0.
Thus, if P and Q are any vectors, we multiply corresponding coordinates and add the products. The sum so obtained is zero if and only if P and Q are orthogonal.
EXERCISES
1. Compute P · Q for each of the following vector pairs P, Q:
(a) (1, 1, -1), (1, 0, 1)
(b) (1, 2, 3), (-1, 1, -1)
(c) (1, 1, 2), (0, -1, 1)
(d) (-1, 0, 1), (2, 1, 1)
(e) (-1, 3, 2), (1, 1, -1)
(f) (1, -1, 1, 1), (1, 1, 1, 0)
(g) (2, 3, -1, 6), (3, -2, 6, 1)
(h) (1, 2, 3, 4), (2, -1, -1, 1)
(i) (4, -6, 1, 2), (1, 2, -1, 2)
(j) (3, 1, -1, 1), (0, 1, 1, 0)
2. Which pairs are orthogonal?
3. Compute cos θ for each nonorthogonal pair.
5. Directed lines. Directed lines are frequently used in the geometry of three-dimensional Euclidean space, i.e., in ordinary solid analytic geometry. Every pair of distinct points P and Q in space determines a line passing through P and Q. We shall use the notation PQ for this line and shall prefix the word ray when we mean the ray PQ, which is the half line from P through Q.
Let us assume that a unit of measurement has been prescribed and that we have measured the length of the line segment joining P to Q in terms of this unit. The result is a real number that is positive if P and Q are different points and is zero only when P and Q coincide. We shall use the notation |PQ| for this measurement of length.
When P and Q are points on a directed line, we shall use the symbol [bar.PQ] for the signed length of the segment joining P to Q and directed from P toward Q. Then [bar.PQ] = |PQ| if the direction from P to Q is the positive direction on the line, and [bar.PQ] = -|PQ| if the direction from P to Q is opposite to the positive direction on the line. See Fig. 1 in which [bar.PQ] > 0 and [bar.RQ] < 0, and note that in all cases [bar.PQ] = - [bar.-QP].
If P, Q, R are on a directed line, it should be clear from Figs. 1 and 2 that [bar.PQ] + [bar.QR] = [bar.PR]. This equation may be generalized to the case of any finite number of points on a directed line and the generalized equation is
(7) [bar.P1P2] + [bar.P2P3] + ··· + [bar.Pn-1Pn] = [bar.P1Pn].
6. Orthogonal projections. A theorem of solid geometry states that through a given point P there exists precisely one plane perpendicular to a given line L. This plane intersects L in a point P? such that the line PP? is perpendicular to L. We shall call P' the orthogonal projection of P on L.
If P and Q are any two points, we shall designate by [??] the line segment which joins P to Q and which is directed from P to Q. Project P and Q orthogonally on a directed line L, and obtain projections P' and Q'. Then we define the orthogonal projection of [??] on L to be the signed length [bar.P'Q']. It follows that the orthogonal projection of [??] is the negative [bar.Q'P'] of the orthogonal projection of [??].
A directed broken line joining two points P and Q is the geometric configuration consisting of the directed line segments [MATHEMATICAL EXPRESSION OMITTED] for any finite number n of points P1, ..., Pn. Let us use the notation [MATHEMATICAL EXPRESSION OMITTED] for such a configuration and define the orthogonal projection of [MATHEMATICAL EXPRESSION OMITTED] to be the sum [bar.P'P1'] + [bar.P1'P2'] + ··· + [bar.Pn'Q']. By formula (7) this sum is equal to P'Q'? and we have proved the following:
Theorem 1.The orthogonal projection of any directed line segment [??] on a directed line L is equal to the orthogonal projection on L of any directed broken line from P to Q.
As we have said, a ray PQ is a half line that begins at the point P, passes through Q, and extends indefinitely. If PQ and PR are two rays from the same point P, there is a unique angle θ between them such that 0 ≤ θ ≤ 180°. We define this angle to be the angle between the ray PQ and the ray PR.
(Continues...)
Excerpted from Solid Analytic Geometry by A. Adrian Albert. Copyright © 2016 Dover Publications, Inc.. Excerpted by permission of Dover Publications, Inc..
All rights reserved. No part of this excerpt may be reproduced or reprinted without permission in writing from the publisher.
Excerpts are provided by Dial-A-Book Inc. solely for the personal use of visitors to this web site.
