This is an equation of the kind (Art. 371) which is unaffected by any change of axes; therefore, no matter what the form in which the equations of the conics have been originally given, this relation between their coefficients must exist, if they are capable of being transformed to the forms here given. Conversely, it is easy to show, as in Ex. 1, Art. 375, that when the relation holds 2-4A0', then if we take any triangle circumscribing S, and two of whose vertices rest on S', the third must do so likewise.

Ex. 1. Find the condition that two circles may be such that a triangle can be inscribed in one and circumscribed about the other. Let D2-22 G, then the condition is (see Ex. 3, Art. 371)

(G − r2)2 + 4r2 (G — y′2) = 0, or (G + r2)2 = 4p2q·'2 ;

whence D2 = r22 + 2rr', Euler's well known expression for the distance between the centre of the circumscribing circle and that of one of the circles which touch the three sides.

Ex. 2. Find the locus of the centre of a circle of given radius, circumscribing a triangle circumscribing a conic, or inscribed in an inscribed triangle. The loci are curves of the fourth degree, except that of the centre of the circumscribing circle in the case of the parabola, which is a circle whose centre is the focus, as is otherwise evident.

Ex. 3. Find the condition that a triangle may be inscribed in S' whose sides touch respectively S + IS', S + mS', S + nS'. Let

S = x2 + y2 + 22.

· 2 (1 + fƒ) yz − 2 (1 + mg) zx − S'=2 fyz + 2gzx + 2hxy;

2 (1 + nh) xy,

then it is evident that S+ IS' is touched by x, &c. We have then

(2 + If + mg + nh)2 — 2lmnfgh,

Ꮎ - 2 (ƒ + g + h) (2 + lf + mg + nh) + 2ƒgh (mn + nl + lm),

(f+g+ h)2 − 2 (l + m + n) fgh, ▲'=2fgh.

{0 − ▲' (mn + nl + Im)}2 = 4 (▲ + ImnA') {O′ + A′ (l + m + n)}, which is the required condition.

377. To find the condition that the line λx + y + vz should pass through one of the four points common to S and S'. This is, in other words, to find the tangential equation of these four points. Now we get the tangential equation of any conic of

the system S+kS' by writing a+ka', &c. for a, &c. in the tangential equation of S, or

Σ= (bc −ƒ2) x2 + (ca − g2) μ2 + (ab – h2) v2

+ 2 (gh − af) μv + 2 (hf − bg) vλ + 2 (fg − ch) Xμ = 0.

We get thus + k❤ + k2 E' = 0, where

= (bc' + b'c2ff'') λ2 + (ca' + c'a - 2gg') μ3

+(ab' + a'b — 2hh') v2 + 2 (gh' + g'h — af' — a'ƒ) μv

+ 2 (hf' + h'ƒ − bg' — b'g) vλ + 2 (fƒg' +ƒ'g — ch' — c'h) λμ.

The tangential equation of the envelope of this system is therefore (Art. 298) = 42'. But since S+kS', and the corresponding tangential equation, belong to a system of conics passing through four fixed points, the envelope of the system is nothing but these four points, and the equation = 42Σ′ is the required condition that the line Ax+μy + vz should pass through one of the four points. The matter may be also stated thus: Through four points there can in general be described two conics to touch a given line (Art. 345, Ex. 4); but if the given line pass through one of the four points, both conics coincide in one whose point of contact is that point. Now *=42′ is the condition that the two conics of the system S+kS', which can be drawn to touch Xx + μy + vz, shali coincide.

It will be observed that =0 is the condition obtained (Art. 335), that the line λx + μy + vz shall be cut harmonically by the two conics.

378. To find the equation of the four common tangents to two conics. This is the reciprocal of the problem of the last Article, and is treated in the same way. Let & and ' be the tangential equations of two conics, then (Art. 298) Σ + kΣ' represents tangentially a conic touched by the four tangents common to the two given conics. Forming then, by Art. 285, the trilinear equation corresponding to Σ+k' = 0, we get

where

AS+kF+k'A'S" =0,

F = (BC' + B'C− 2FF") x2 + (CA' + 'C' A − 2 G G') y3

+ (AB' + A'B− 2 HH') z2

+ 2 (GH'+ G'H – AF"'— A'F) yz + 2 (HF'+ H'F – BG' – B' G) zx

the letters A, B, &c. having the same meaning as in Art. 151. But AS+kF+A'S' denotes a system of conics whose envelope is F4AA'SS'; and the envelope of the system evidently is the four common tangents.

The equation F-4AA'SS", by its form denotes a locus touching S and S', the curve F passing through the points of contact. Hence, the eight points of contact of two conics with their common tangents, lie on another conic F. Reciprocally, the eight tangents at the points of intersection of two conics envelope another conic Þ.

It will be observed that F = 0 is the equation found, Art. 334, of the locus of points, whence tangents to the two conics form a harmonic pencil.*

If S' reduces to a pair of right lines, F represents the pair of tangents to S from their intersection.

Ex. Find the equation of the common tangents to the pair of conics

ax2 + by + cz2 = 0, a'x2 + b'y2 + c'z2 = 0.

Faa' (bc' + b'c) x2 + bb' (ca' + c'a) y2 + cc′ (ab' + a'b) z2,

and the required equation is

{aa' (b'e + b'c) x2 + bb' (ca' + c'a) y2 + cc′ (ab' + a′b) z2}2

= 4abca'b'c' (ax2 + by2 + cz2) (a'x2 + b'y2 + c'z2),

which is easily resolved into the four factors

x {aa' (bo')}±y J{bb' (ca')} ± z J{cc' (ab')} = 0.

378a. If S and S' touch, F touches each at their point of contact. This follows immediately from the fact that F passes through the points of contact of common tangents to S and S'. Similarly if S and S' touch in two distinct points, F also has double contact with them in these points. This may be verified. by forming the F of cz2+2hxy, cz2+2h'xy which is found to be of the same form, viz. 2cc'hh'z2 + 2hh′ (ch' + c'h) xy.

From what has been just observed, that when S and S' have double contact, F is of the form 1S+mS', we can obtain a system of conditions that two conics may have double contact. For write the general value of F, given Art. 334,

ax2 + by2 + cz2 + 2fyz + 2gzx + 2hxy,

* I believe I was the first to direct attention to the importance of this conic in the theory of two conics.

Y Y.

then evidently if they have double contact every determinant vanishes of the system

That when S and S' have double contact, S, F and S' are connected by a linear relation, may be otherwise seen, as follows: When S and S' have double contact there is a value of k for which kS+S' represents two coincident right lines. Now the reciprocal of a conic representing two coincident right lines vanist identically. Hence we have

ΕΣ + Φ + Σ' = 0

identically. But the value of k, for which this is the case, is the double root of the equation

Eliminating k between the former equation and the two differentials of the latter we have Σ, ', satisfying the identical relation

When two conics have double contact their reciprocals have double contact also; and it may be seen without difficulty that the relation just written between Σ, ', o implies the following between S, S', F

S, F S

31, 2ΔΘ', Θ

O', 24', 3A' = 0.

379. The former part of this Chapter has sufficiently shown what is meant by invariants, and the last Article will serve to illustrate the meaning of the word covariant. Invariants and covariants agree in this, that the geometric meaning of both is independent of the axes to which the questions are referred; but invariants are functions of the coefficients only, while covariants contain the variables as well. If we are given

curve, or system of curves, and have learned to derive from eir general equations the equation of some locus, U=0,

whose relation to the given curves is independent of the axes to which the equations are referred, U is said to be a covariant of the given system. Now if we desire to have the equation of this locus referred to any new axes, we shall evidently arrive at the same result, whether we transform to the new axes the equation U=0, or whether we transform to the new axes the equations of the given curves themselves, and from the transformed equations derive the equation of the locus by the same rule that U was originally formed. Thus, if we transform the equations of two conics to a new triangle of reference, by writing instead of x, y, z,

lx+my+nz, l'x + m'y + n'z, l'x+m"y+n"z;

and if we make the same substitution in the equation F*=4AA'SS', we can foresee that the result of this last substitution can only differ by a constant multiplier from the equation F = 4^^'SS', formed with the new coefficients of S and S'. For either form

represents the four common tangents. On this property is founded the analytical definition of covariants. "A derived function formed by any rule from one or more given functions. is said to be a covariant, if when the variables in all are transformed by the same linear substitutions, the result obtained by transforming the derived differs only by a constant multiplier from that obtained by transforming the original equations and then forming the corresponding derived."

380. There is another case in which it is possible to predict the result of a transformation by linear substitution. If we have learned how to form the condition that the line λx + y + vz should touch a curve, or more generally that it should hold to a curve, or system of curves, any relation independent of the axes to which the equations are referred, then it is evident that when the equations are transformed to any new coordinates, the corresponding condition can be formed by the same rule from the transformed equations. But it might also have been obtained by direct transformation from the condition first obtained. Suppose that by transformation Xx + μy + vz becomes

λ (lx+my+nz) + μ (l'x + m'y + n'z) + v (l'x + m′′y +n"z), and that we write this X'x+p'y + v'z, we have

x' = lλ + l'μ + l'v, μ' = mλ + m'μ + m′′v, v' = nλ + n'μ+n′′v.