EXAMPLES TO CHAPTER V. 1. Solve the following equations: (α.) Γ.αρβ = Γ.αγβ. (6.) αρβρ = ραρβ. (c.) ap+pß = y. (d.) S.aßp+ ẞSap—aVßp = y. (e.) p+apß = aß. (7.) αρβρ = ρβρα. Do any of these impose any restriction on the generality of a and ẞ? 2. Suppose and p = ix + jy + kz, ppaiSip+bjSjp+ckSkp; put into Cartesian cöordinates the following equations : (a.) Top = 1. (b.) Spp2p-1. (c.) S.p (p2-p2)-1p-1. S.p(p2 (d.) TpT.pUp. = 3. If λ, μ, v be any three non-coplanar vectors, and 4 = Γμν.φλ + Γυλ.φμ + Γλμ.φν, shew that q is necessarily divisible by S.λuv. Also shew that the quotient is m2-2 €, where Vep is the non-commutative part of op. Vrp, φρ = Σβδαρ + Γυρ, where r is a given quaternion, shew that m=Σ(§.a1a2αzS.ß3B2B1) +ΣS(rVa1α2.Vß2ẞ1) + SrΣS.aßr — Σ(SarSßr) + SrTr2, and mp10=Σ(Va12§.ẞ2ẞ1σ) +ΣV.aV (Vßo.r) + VorSr — VrSør. Lectures, p. 561. shew that the following relations exist among any five quaternions 0 = p(qrst)+q(rstp)+r(stpq)+s(tpqr)+t( pqrs), g(prst) =[rst] Spq−[stp]Srq+[tpr]Ssq—[ prs]Stq. Elements, p. 492. and 7. Shew that if o, y be any linear and vector functions, and a, B, y rectangular unit-vectors, the vector 0 =V (φαψα + φβψβ + φγψγ) is an invariant. [This will be immediately seen if we write it in the form 0 = √.4√√p, which is independent of the directions of a, ß, y. practice to dispense with V.] Φρ-ψφρ = Γθρ. But it is good The scalar of the same quaternion is also an invariant, and may be written as 8. Shew that if φρ = αδαρ + βδβ + γδγρ, where a, ẞ, y are any three vectors, then −4 ̄1pS2.aßy = а1Sα1p+ß1§3⁄41p+Y1SY1P, 9. Shew that any self-conjugate linear and vector function may in general be expressed in terms of two given ones, the expression involving terms of the second order. Shew also that we may write $ + z = a(∞ + x)2 + b (w + x) (w +y)+c(w+y)2, where a, b, c, x, y, z are scalars, and a and ∞ the two given functions. What character of generality is necessary in @ and w? How is the solution affected by non-self-conjugation in one or both? 10. Solve the equations: (a.) q2 = 5qi+10j. (b.) q2 = 2q+i. (c.) qaq = bq+c. (d.) aq=gr=rb. 12. If & be self-conjugate, and a, ß, y a rectangular system, 8.Гафа ВФВТуфу = 0. 13. ø and 1⁄4 give the same values of the invariants m, m1, m2. 14. If ' be conjugate to 4, 44′ is self-conjugate. 15. Shew that (Ta0)2 + (T30)2 + (Ty0) = 202 if a, ß, y be rectangular unit-vectors. 16. Prove that 2(g)p=-pV2g+20g. 17. Solve the equations :— (a.) 42 = w; (b.) &+x=w, ΦΧ = 0; where one, or two, unknown linear and vector functions are given in terms of known ones. (Tait, Proc. R. S. E. 1870-71.) 18. If be a self-conjugate linear and vector function, έ and ŋ two vectors, the two following equations are consequences one of the other, viz. :— ૐ Γ.ηφη = η = S$.n$n$2n S3.§§p2§ From either of them we obtain the equation. Sቀቀ = S*.¿p¿p2¿S*.n&n&2n. This, taken along with one of the others, gives a singular theorem when translated into ordinary algebra. What property does it give S.pop2p = 1? of the surface CHAPTER VI. GEOMETRY OF THE STRAIGHT LINE AND PLANE. 188.] HAVING, in the five preceding Chapters, given a brief exposition of the theory and properties of quaternions, we intend to devote the rest of the work to examples of their practical application, commencing, of course, with the simplest curve and surface, the straight line and the plane. In this and the remaining Chapters of the work a few of the earlier examples will be wrought out in their fullest detail, with a reference to the first five whenever a transformation occurs; but, as each Chapter proceeds, superfluous steps will be gradually omitted, until in the later examples the full value of the quaternion processes is exhibited. 189.] Before proceeding to the proper business of the Chapter we make a digression in order to give a few instances of applications to ordinary plane geometry. These the student may multiply indefinitely with great ease. (a.) Euclid, I. 5. Let a and ẞ be the vector sides of an isosceles triangle; B-a is the base, and Ta= TB. The proposition will evidently be proved if we shew that a(a—ß)—1=Kß(ß—a)-1 (§ 52). (b.) Euclid, I. 32. Let ABC be the triangle, and let AC where y is a unit-vector perpendicular to the plane of the triangle. If = 1, the angle CAB is a right angle (§ 74). Hence This is, properly speaking, Legendre's proof; and might have been given in a far shorter form than that above. In fact we have for any three vectors whatever, which contains Euclid's proposition as a mere particular case. (c.) Euclid, I. 35. Let ẞ be the common vector-base of the parallelograms, a the conterminous vector-side of any one of them. For any other the vector-side is a +xß (§ 28), and the proposition appears as TVß (a+xß) = TV ßa (§§ 96, 98), which is obviously true. (d.) In the base of a triangle find the point from which lines, drawn parallel to the sides and limited by them, are equal. If a, ẞ be the sides, any point in the base has the vector which bisects the vertical angle of the triangle. This is not the only solution, for we should have written instead of the less general form above which tacitly assumes that 1—x and x are positive. We leave this to the student. |