{
  "id": "1372212bac626f716e6f7eb43aa0cca587fbba8a",
  "text": "XIX. On the Conic of Five-pointic Contact at any point of a Plane Curve.\n\nBy A. Cayley, Esq., F.R.S.\n\nReceived March 1,—Read March 24, 1859.\n\nThe tangent is a line passing through two consecutive points of a plane curve, and we may in like manner consider the conic which passes through five consecutive points of a plane curve; and as there are certain singular points, viz. the points of inflexion, where three consecutive points of the curve lie in a line, so there are singular points where six consecutive points of the curve lie in a conic. In the particular case where the given curve is a cubic, the last-mentioned species of singular points have been considered by Plücker and Steiner, and in the same particular case, the theory of the conic of five-pointic contact has recently been established by Mr. Salmon. But the general case, where the curve is of any order whatever, has not, so far as I am aware, been hitherto considered;—the establishment of this theory is the object of the present memoir.\n\nI. Investigation of the Equation of the Conic of Five-pointic Contact.\n\n1. I take (X, Y, Z) as current coordinates, and I represent the equation of the given curve by\n\n\\[ \\Upsilon = (*X, Y, Z)^m = 0. \\]\n\nLet \\((x, y, z)\\) be the coordinates of a given point on the curve, and let \\(U = (*x, y, z)^m\\) be what \\(\\Upsilon\\) becomes when \\((x, y, z)\\) are written in the place of \\((X, Y, Z)\\); we have therefore \\(U = 0\\) as a condition satisfied by the coordinates of the point in question.\n\n2. Write for shortness\n\n\\[ DU = (X\\partial_x + Y\\partial_y + Z\\partial_z)U, \\]\n\\[ D^2U = (X\\partial_x + Y\\partial_y + Z\\partial_z)^2U, \\]\n\nand let \\(II = aX + bY + cZ = 0\\) be the equation of a line. It is easy to see that\n\n\\[ D^2U - II.DU = 0 \\]\n\nwill be the equation of a conic having an ordinary (two-pointic) contact with the curve at the point \\((x, y, z)\\). In fact the equation \\(DU = 0\\) is that of the tangent at the point in question, and the equation \\(D^2U = 0\\) is that of the penultimate polar (or polar conic) of the point, which conic is touched by the tangent; the assumed equation represents therefore a conic having an ordinary (two-pointic) contact with the polar conic, and therefore with the curve. It may be added that the two conics intersect besides in a pair of points, and that the line joining these, or common chord of the two conics, is the line represented by the equation \\(II = 0\\); and this being so, the constants \\((a, b, c)\\) of the line \\(II = 0\\) can be so determined as to give rise to a five-pointic contact.\n3. Consider the coordinates of a point of the curve as functions of a single variable parameter; then for the present purpose the coordinates of a point consecutive to \\((x, y, z)\\) may be taken to be\n\n\\[\n\\begin{align*}\nx + dx + \\frac{1}{2}d^2x + \\frac{1}{6}d^3x + \\frac{1}{24}d^4x, \\\\\ny + dy + \\frac{1}{2}d^2y + \\frac{1}{6}d^3y + \\frac{1}{24}d^4y, \\\\\nz + dz + \\frac{1}{2}d^2z + \\frac{1}{6}d^3z + \\frac{1}{24}d^4z,\n\\end{align*}\n\\]\n\nvalues which, substituted for \\(X, Y, Z\\), must satisfy the equations\n\n\\[\n\\Upsilon = 0, \\quad D^2U - \\Pi.DU = 0.\n\\]\n\n4. I write for shortness\n\n\\[\n\\begin{align*}\n\\partial_1 &= dx \\partial_x + dy \\partial_y + dz \\partial_z, \\\\\n\\partial_2 &= d^2x \\partial_x + d^2y \\partial_y + d^2z \\partial_z, \\\\\n\\partial_3 &= d^3x \\partial_x + d^3y \\partial_y + d^3z \\partial_z, \\\\\n\\partial_4 &= d^4x \\partial_x + d^4y \\partial_y + d^4z \\partial_z,\n\\end{align*}\n\\]\n\nthen the consecutive value of \\(\\Upsilon\\) is\n\n\\[\n\\exp. (\\partial_1 + \\frac{1}{2}\\partial_2 + \\frac{1}{6}\\partial_3 + \\frac{1}{24}\\partial_4)U\n\\]\n\n(Read exp. \\(z\\), exponential of \\(z\\), \\(= e^z\\)), which is\n\n\\[\n\\begin{align*}\n&= (1 + \\partial_1 + \\frac{1}{2}\\partial_2 + \\frac{1}{6}\\partial_3 + \\frac{1}{24}\\partial_4) \\\\\n&\\times (1 + \\frac{1}{2}\\partial_2 + \\frac{1}{8}\\partial_2^2) \\\\\n&\\times (1 + \\frac{1}{6}\\partial_3) \\\\\n&\\times (1 + \\frac{1}{24}\\partial_4) \\\\\n&= 1 + \\partial_1 + \\frac{1}{2}\\partial_2 + \\frac{1}{6}\\partial_3 + \\frac{1}{24}\\partial_4 \\\\\n&+ \\frac{1}{2}\\partial_2 + \\frac{1}{2}\\partial_2 \\partial_2 + \\frac{1}{4}\\partial_2^2 \\partial_2 \\\\\n&+ \\frac{1}{8}\\partial_2^2 \\\\\n&+ \\frac{1}{6}\\partial_3 + \\frac{1}{6}\\partial_1 \\partial_3 \\\\\n&+ \\frac{1}{24}\\partial_4 \\\\\n&= U \\\\\n&+ \\partial_1 U \\\\\n&+ \\frac{1}{2}(\\partial_2^2 + \\partial_2)U \\\\\n&+ \\frac{1}{6}(\\partial_3^3 + 3\\partial_1 \\partial_2 + \\partial_3)U \\\\\n&+ \\frac{1}{24}(\\partial_4^4 + 6\\partial_1 \\partial_2^2 + 4\\partial_1 \\partial_3 + 3\\partial_2^2 + \\partial_4)U,\n\\end{align*}\n\\]\n\nthe several terms of which must respectively vanish, and we have therefore\n\n\\[\n\\begin{align*}\nU &= 0, \\\\\n\\partial_1 U &= 0, \\\\\n\\partial_2 U &= -\\partial_2^2 U, \\\\\n\\partial_3 U &= -(\\partial_3^3 + 3\\partial_1 \\partial_2)U, \\\\\n\\partial_4 U &= -(\\partial_4^4 + 6\\partial_1 \\partial_2^2 + 4\\partial_1 \\partial_3 + 3\\partial_2^2 + \\partial_4)U.\n\\end{align*}\n\\]\n5. Next, preparing to substitute in the equation\n\n\\[ D^2U - \\Pi.DU = 0, \\]\n\nthe consecutive value of \\( DU \\) is\n\n\\[ (x + dx + \\frac{1}{2}d^2x + \\frac{1}{6}d^3x + \\frac{1}{24}d^4x)\\partial_x U + \\&c. \\]\n\n\\[ = (\\partial_0 + \\partial_1 + \\frac{1}{2}\\partial_2 + \\frac{1}{6}\\partial_3 + \\frac{1}{24}\\partial_4)U, \\]\n\nwhere\n\n\\[ \\partial_0 U = (x\\partial_x + y\\partial_y + z\\partial_z)U = mU. \\]\n\nReducing by the above results, the consecutive value of \\( DU \\) is\n\n\\[ = -\\frac{1}{2}\\partial_1^2U - \\frac{1}{6}(\\partial_1^3 + 3\\partial_1\\partial_2)U - \\frac{1}{24}(\\partial_1^4 + 6\\partial_1^2\\partial_2 + 4\\partial_1\\partial_3 + 3\\partial_2^2)U. \\]\n\n6. Hence also writing\n\n\\[ P = ax + by + cz, \\]\n\n\\[ \\partial_1P = adx + bdy + cdz, \\]\n\n\\[ \\partial_2P = ad^2x + bd^2y + cd^2z, \\]\n\nthe consecutive value of \\(-\\PiDU\\) is \\(-(P + \\partial_1P + \\frac{1}{2}\\partial_2P)\\) multiplied into the consecutive value of \\( DU \\), and the product is\n\n\\[ = P \\cdot \\frac{1}{2}\\partial_1^2U \\]\n\n\\[ + P \\cdot \\frac{1}{6}(\\partial_1^3 + 3\\partial_1\\partial_2)U + \\partial_1P \\cdot \\frac{1}{2}\\partial_1^2U \\]\n\n\\[ + P \\cdot \\frac{1}{24}(\\partial_1^4 + 6\\partial_1^2\\partial_2 + 4\\partial_1\\partial_3 + 3\\partial_2^2)U + \\partial_1P \\cdot \\frac{1}{6}(\\partial_1^3 + 3\\partial_1\\partial_2)U + \\frac{1}{2}\\partial_2P \\cdot \\frac{1}{2}\\partial_1^2U. \\]\n\n7. The consecutive value of \\( D^2U \\) is\n\n\\[ = (x + dx + \\frac{1}{2}d^2x + \\frac{1}{6}d^3x + \\frac{1}{24}d^4x)^2\\partial_x^2U + \\&c. \\]\n\n\\[ = x^2 \\]\n\n\\[ + 2xdx \\]\n\n\\[ + xd^2x + (dx)^2 \\]\n\n\\[ + \\frac{1}{3}xd^3x + dxd^3x \\]\n\n\\[ + \\frac{1}{12}xd^4x + \\frac{1}{3}dxd^3x + \\frac{1}{4}(d^2x)^2 \\]\n\nwhich is\n\n\\[ = \\partial_0^2 \\]\n\n\\[ + 2\\partial_0\\partial_1 \\]\n\n\\[ + \\partial_0\\partial_2 + \\partial_1^2 \\]\n\n\\[ + \\frac{1}{3}\\partial_0\\partial_3 + \\partial_1\\partial_2 \\]\n\n\\[ + \\frac{1}{12}\\partial_0\\partial_4 + \\frac{1}{3}\\partial_1\\partial_3 + \\frac{1}{4}\\partial_2^2 \\]\n\nand observing that\n\n\\[ \\partial_0^2 U = m(m-1)U, \\]\n\n\\[ \\partial_0\\partial_1U = (m-1)\\partial_1U, \\]\n\n\\[ \\partial_0\\partial_2U = (m-1)\\partial_2U, \\]\n\n\\[ \\partial_0\\partial_3U = (m-1)\\partial_3U, \\]\n\n\\[ \\partial_0\\partial_4U = (m-1)\\partial_4U, \\]\nand reducing as before, the consecutive value of $D^2U$ is\n\n$$= - (m-2)\\partial_1^2U$$\n\n$$- \\frac{1}{3}[(m-1)\\partial_1^3 + 3(m-2)\\partial_1\\partial_2]U$$\n\n$$- \\frac{1}{12}[(m-1)(\\partial_1^4 + 6\\partial_1^2\\partial_2) + (m-2)(4\\partial_1\\partial_2 + 3\\partial_2^2)]U.$$  \n\n8. Substituting in the equation $D^2U - \\Pi.DU = 0$, we obtain as the conditions of a five-pointic contact\n\n$$- (m-2)\\partial_1^2U + P.\\frac{1}{2}\\partial_1^2U = 0,$$\n\n$$- \\frac{1}{3}[(m-1)\\partial_1^3 + 3(m-2)\\partial_1\\partial_2]U$$\n\n$$+ P.\\frac{1}{6}[\\partial_1^3 + 3\\partial_1\\partial_2]U + \\partial_1P.\\frac{1}{2}\\partial_1^2U = 0,$$\n\n$$- \\frac{1}{12}[(m-1)(\\partial_1^4 + 6\\partial_1^2\\partial_2) + (m-2)(4\\partial_1\\partial_2 + 3\\partial_2^2)]U$$\n\n$$+ P.\\frac{1}{24}[\\partial_1^4 + 6\\partial_1^2\\partial_2 + 4\\partial_1\\partial_2 + 3\\partial_2^2]U + \\partial_1P.\\frac{1}{6}[\\partial_1^3 + 3\\partial_1\\partial_2]U + \\frac{1}{2}\\partial_2P.\\frac{1}{2}\\partial_1^2U = 0;$$\n\nor reducing\n\n$$P = 2(m-2),$$\n\n$$\\partial_1P = \\frac{2}{3}\\frac{\\partial_1^3U}{\\partial_1^2U},$$\n\n$$\\partial_2P = \\frac{1}{2}\\left[\\frac{\\partial_1^4 + 6\\partial_1^2\\partial_2}{\\partial_1^2U}\\right]U - \\frac{4}{9}\\frac{\\partial_1^3U}{\\partial_1^2U}\\left[\\frac{\\partial_1^3 + 3\\partial_1\\partial_2}{\\partial_1^2U}\\right]U,$$\n\nwhich are the conditions of a five-pointic contact: it is to be remarked that if only the first and second conditions are satisfied, we have a four-pointic contact, and if only the first condition is satisfied, a three-pointic contact.\n\n9. We have to reduce the last-mentioned equations; suppose that A, B, C are the first derived functions of U, then the equation $\\partial_1U = 0$ may be written\n\n$$Adx + Bdy + Cdz = 0,$$\n\nand this will be satisfied identically if\n\n$$dx = B\\nu - C\\mu,$$\n\n$$dy = C\\lambda - A\\nu,$$\n\n$$dz = A\\mu - B\\lambda,$$\n\nwhere $\\lambda, \\mu, \\nu$ are arbitrary multipliers, which may be taken to be constants. We have therefore $\\partial_1 = D$, where\n\n$$D = (B\\nu - C\\mu)\\partial_x + (C\\lambda - A\\nu)\\partial_y + (A\\mu - B\\lambda)\\partial_z.$$\n\n10. The resulting expressions for $\\partial_1^2U, \\partial_1^3U, \\partial_1^4U$ may be exhibited in the reduced forms given by Hesse, viz. if $\\Omega = \\lambda x + \\mu y + \\nu z$, we have\n\n$$\\partial_1^2U = P_2U - Q_2\\Omega^2,$$\n\n$$\\partial_1^3U = P_3U - Q_3\\Omega^3,$$\n\n$$\\partial_1^4U = P_4U - Q_4\\Omega^4,$$\n\nwhere the values of $P_2, P_3, P_4; Q_2, Q_3, Q_4$ are as follows, viz. if $(a, b, c, f, g, h)$ are the second derived functions of U, and if\nbe the Hessian; if, moreover,\n\n\\[ \\Phi = \\begin{vmatrix} \\lambda & \\mu & \\nu \\\\ \\lambda & a & h \\\\ \\mu & b & f \\\\ \\nu & g & c \\end{vmatrix} \\]\n\nbe the bordered Hessian (we may also write \\( \\Phi = (\\mathcal{A}, \\mathcal{B}, \\mathcal{C}, \\mathcal{F}, \\mathcal{G}, \\mathcal{H})(\\lambda, \\mu, \\nu)^2 \\), where \\( (\\mathcal{A}, \\mathcal{B}, \\mathcal{C}, \\mathcal{F}, \\mathcal{G}, \\mathcal{H}) \\) are the inverse coefficients of \\( (a, b, c, f, g, h) \\), viz. \\( \\mathcal{A} = (bc - f^2) \\&c.) \\); and finally, if for shortness we write\n\n\\[ \\Pi = \\partial_x \\Phi \\cdot \\partial_x \\Phi + \\partial_y \\Phi \\cdot \\partial_y \\Phi + \\partial_z \\Phi \\cdot \\partial_z \\Phi, \\]\n\\[ \\Box = \\partial_x H \\cdot \\partial_x \\Phi + \\partial_y H \\cdot \\partial_y \\Phi + \\partial_z H \\cdot \\partial_z \\Phi, \\]\n\nthen we have\n\n\\[ P_2 = \\frac{m}{m-1} \\Phi, \\quad Q_2 = \\frac{1}{(m-1)^2} H, \\]\n\\[ P_3 = \\frac{m}{m-1} D \\Phi, \\quad Q_3 = \\frac{1}{(m-1)^2} D H, \\]\n\\[ P_4 = \\frac{m}{m-1} D^2 \\Phi - \\frac{m^2}{(m-1)^2} \\Pi, \\quad Q_4 = \\frac{1}{(m-1)^2} D^2 H - \\frac{3}{(m-1)^3} \\Box + \\frac{3(m-2)}{(m-1)^3} H \\Phi. \\]\n\nIn the present case \\( U = 0 \\), and we have\n\n\\[ \\partial_1^2 U = -Q_2 \\mathcal{J}_2, \\]\n\\[ \\partial_1^3 U = -Q_3 \\mathcal{J}_2, \\]\n\\[ \\partial_1^4 U = -Q_4 \\mathcal{J}_2. \\]\n\n11. Hence, substituting for \\( Q_2 \\) and \\( Q_3 \\) their values, the first and second of the equations for the five-pointic contact give\n\n\\[ P = 2(m-2), \\]\n\\[ \\partial_1 P = \\frac{2}{3} \\frac{DH}{H}, \\]\n\nand observing that \\( \\Pi \\) is a linear function of \\( (X, Y, Z) \\), and consequently that \\( P, \\partial_1 P \\) denote simply the values which \\( \\Pi \\) assumes when \\( (x, y, z), (dx; dy, dz) \\) are respectively substituted for \\( (X, Y, Z) \\), we see at once that these two conditions will be satisfied if we put\n\n\\[ \\Pi = \\frac{2}{3} \\frac{1}{H} DH + \\Lambda \\cdot DU, \\]\n\nwhere \\( \\Lambda \\) is an arbitrary constant, or, what is the same thing, an arbitrary function of \\( (x, y, z) \\). We have thus the general equation of a conic of four-pointic contact.\n\n12. The above value of \\( \\Pi \\) gives\n\n\\[ \\partial_2 P = \\frac{2}{3} \\frac{1}{H} \\partial_2 H + \\Lambda \\partial_2 U, \\]\nand the third equation of the system of conditions for a five-pointic contact is therefore\n\n\\[\n\\frac{2}{3} \\frac{1}{H} \\partial_2 H + \\Lambda \\partial_2 U = \\frac{1}{3} \\left[ \\partial_1^4 + 6 \\partial_1^2 \\partial_2 \\right] U - \\frac{4}{9} \\partial_1^3 U \\left[ \\partial_3 + 3 \\partial_1 \\partial_2 \\right] U,\n\\]\n\nwhich leads to the value of \\( \\Lambda \\).\n\n13. We have in general\n\n\\[\n\\partial_1^2 U = \\frac{m}{m-1} \\Phi U - \\frac{1}{(m-1)^2} HS^2,\n\\]\n\n\\[\n\\partial_1^3 U = \\frac{m}{m-1} D \\Phi . U - \\frac{1}{(m-1)^2} DH . S^2,\n\\]\n\n\\[\n(\\partial_1^3 + 3 \\partial_1 \\partial_2) U = \\frac{m}{m-1} D \\Phi . U - \\frac{1}{(m-1)^2} DH . S^2,\n\\]\n\n\\[\n(\\partial_1^4 + 6 \\partial_1^2 \\partial_2) U = \\frac{m}{m-1} \\left( 2 \\partial_2 \\Phi + D^2 \\Phi + \\frac{3}{m-1} \\Pi \\right) U\n\\]\n\n\\[\n- \\frac{1}{(m-1)^2} \\left( 2 \\partial_2 H + D^2 H + \\frac{5}{m-1} \\square - \\frac{3(m-2)}{m-1} H \\Phi \\right) S^2,\n\\]\n\nthe last two of which have not yet been demonstrated. The value of \\( \\partial_2 H \\) (which, however, is not required for the present purpose) is\n\n\\[\n\\partial_2 H = \\frac{-3(m-2)}{m-1} H \\Phi + \\frac{1}{m-1} \\square S,\n\\]\n\nwhich also is not yet demonstrated.\n\n14. Putting \\( U = 0 \\), we have\n\n\\[\n\\partial_1^2 U = - \\frac{1}{(m-1)^2} HS^2,\n\\]\n\n\\[\n\\partial_1^3 U = - \\frac{1}{(m-1)^2} DH . S^2,\n\\]\n\n\\[\n(\\partial_1^3 + 3 \\partial_1 \\partial_2) U = - \\frac{1}{(m-1)^2} DH . S^2,\n\\]\n\n\\[\n(\\partial_1^4 + 6 \\partial_1^2 \\partial_2) U = - \\frac{1}{(m-1)^2} \\left( 2 \\partial_2 H + D^2 H + \\frac{5}{m-1} \\square - \\frac{3(m-2)}{m-1} H \\Phi \\right) S^2,\n\\]\n\nand substituting,\n\n\\[\n\\frac{2}{3} \\frac{1}{H} \\partial_2 H + \\frac{1}{(m-1)^2} H S^2 \\Lambda\n\\]\n\n\\[\n= \\frac{1}{3} \\frac{1}{H} \\left( 2 \\partial_2 H + D^2 H + \\frac{5}{m-1} \\square - \\frac{3(m-2)}{m-1} H \\Phi \\right) - \\frac{4}{9} \\left( \\frac{DH}{H} \\right)^2,\n\\]\n\nwhere the term involving \\( \\partial_2 H \\) disappears; the equation may be written\n\n\\[\n\\frac{9H^3 S^2}{(m-1)^2} \\Lambda = 3H \\left( D^2 H + \\frac{5}{m-1} \\square - \\frac{3(m-2)}{m-1} H \\Phi \\right) - 4(DH)^2,\n\\]\n\nwhich I will represent by\n\n\\[\n\\frac{9H^3 S^2}{(m-1)^2} \\Lambda = 3R_2 R_4 - 4R_3^2,\n\\]\nthe values of $R_2$, $R_3$, $R_4$ being\n\n$$\\begin{align*}\nR_2 &= H, \\\\\nR_3 &= DH, \\\\\nR_4 &= D^2H + \\frac{9}{m-1} \\Box - \\frac{3(m-2)}{m-1} H \\Phi.\n\\end{align*}$$\n\n15. We have $R_2 = H$, and it will be shown that\n\n$$\\begin{align*}\n(m-1)^2 R_3^2 &= -9(m-2)^2 H^2 \\Phi \\\\\n&+ 3(m-2) H \\Box \\Omega \\\\\n&- \\Psi \\Omega^2 \\\\\n(m-1)^2 R_4 &= -12(m-2)^2 H \\Phi \\\\\n&+ 4(m-2) \\Box \\Omega \\\\\n&- \\Omega \\Omega^2,\n\\end{align*}$$\n\nwhere for shortness\n\n$$\\Psi = (\\mathbf{A}, \\mathbf{B}, \\mathbf{C}, \\mathbf{F}, \\mathbf{G}, \\mathbf{H})(\\partial_x H, \\partial_y H, \\partial_z H)^2,$$\n\nand hence writing\n\n$$9H^3 \\Omega^2 \\Lambda = 3R_2(m-1)^2 R_4 - 4(m-1)^2 R_3,$$\n\nwe have\n\n$$9H^3 \\Lambda = -3 \\Omega H + 4 \\Psi;$$\n\nor replacing $\\Omega$, $\\Psi$ by their values,\n\n$$\\Lambda = \\frac{1}{9H^3} \\left[ -3(\\mathbf{A}, \\mathbf{B}, \\mathbf{C}, \\mathbf{F}, \\mathbf{G}, \\mathbf{H})(\\partial_x, \\partial_y, \\partial_z)^2 H.H \\right]$$\n\nand $\\Lambda$ having this value, the equation of the five-pointic conic is\n\n$$D^2U - \\left( \\frac{1}{H} DH + \\Lambda DU \\right) DU = 0,$$\n\nwhere it will be recollected that the current coordinates are $(X, Y, Z)$, and that $D$ denotes $X \\partial_x + Y \\partial_y + Z \\partial_z$.\n\n16. I remark, in passing, that the problem of finding the circle of curvature at a given point of a plane curve, is in fact that of determining the conic having with the curve at the given point a three-pointic contact, and besides passing through two given points. The equation of a conic having an ordinary contact, is\n\n$$D^2U - \\Pi DU = 0,$$\n\nwhere\n\n$$\\Pi = aX + bY + cZ,$$\n\nand the condition of a three-pointic contact is\n\n$$ax + by + cz = 2(m-2).$$\n\nLet the coordinates of the two given points be\n\n$$(x_1, y_1, z_1), (x_2, y_2, z_2),$$\nand let \\((D^2U)_i\\) &c. be the corresponding values of \\(D^2U\\) &c., then we have\n\n\\[\naX + bY + cZ = \\frac{D^2U}{DU},\n\\]\n\n\\[\nax_1 + by_1 + cz_1 = \\left(\\frac{D^2U}{DU}\\right)_1,\n\\]\n\n\\[\nax_2 + by_2 + cz_2 = \\left(\\frac{D^2U}{DU}\\right)_2;\n\\]\n\nand if from the four equations we eliminate \\(a, b, c\\), we find\n\n\\[\n\\begin{vmatrix}\nXDU, & YDU, & ZDU, & D^2U \\\\\nx, & y, & z, & 2(m-2) \\\\\nx_1, & y_1, & z_1, & \\left(\\frac{D^2U}{DU}\\right)_1 \\\\\nx_2, & y_2, & z_2, & \\left(\\frac{D^2U}{DU}\\right)_2\n\\end{vmatrix} = 0\n\\]\n\nfor the equation of the conic in question; \\(x, y, z\\) being the coordinates of the point of contact, and \\(X, Y, Z\\) current coordinates.\n\nII. Demonstration of Identities assumed in the preceding section.\n\nProof of the expressions for \\((\\partial_1^3 + 3\\partial_1\\partial_2)\\)U and \\((\\partial_1^4 + 6\\partial_1\\partial_2)\\)U:\n\n17. It will be remembered that \\(\\partial_1, \\partial_2\\) stand originally for\n\n\\[\ndx \\partial_x + dy \\partial_y + dz \\partial_z,\n\\]\n\n\\[\nd^2x \\partial_x + d^2y \\partial_y + d^2z \\partial_z,\n\\]\n\nand that \\(A, B, C\\) being the first derived functions of \\(U\\), \\(dx, dy, dz\\) are changed into\n\n\\[\nB\\nu - C\\mu, \\quad C\\lambda - A\\nu, \\quad A\\mu - B\\lambda,\n\\]\n\nand that the resulting value of \\(\\partial_1\\), viz.\n\n\\[\n(B\\nu - C\\mu)\\partial_x + (C\\lambda - A\\nu)\\partial_y + (A\\mu - B\\lambda)\\partial_z,\n\\]\n\nis also represented by \\(D\\), so that \\(\\partial_1 = D\\). The corresponding values of \\(d^2x, d^2y, d^2z\\) are\n\n\\[\nd^2x = \\nu dB - \\mu dC,\n\\]\n\n\\[\nd^2y = \\lambda dC - \\nu dA,\n\\]\n\n\\[\nd^2z = \\mu dA - \\lambda dB,\n\\]\n\nwhere we have\n\n\\[\ndA = adx + hdz + gdz, \\text{ &c.},\n\\]\n\nin which \\(dx, dy, dz\\) are to be replaced by the values\n\n\\[\nB\\nu - C\\mu, \\quad C\\lambda - A\\nu, \\quad A\\mu - B\\lambda;\n\\]\n\nand \\(\\partial_2\\) really denotes what\n\n\\[\nd^2x \\partial_x + d^2y \\partial_y + d^2z \\partial_z\n\\]\n\nbecomes when the above values are substituted for \\(d^2x, d^2y, d^2z\\). But in the expressions\n∂₁U, ∂₁∂₂U &c., the symbols ∂ₓ, ∂ᵧ, ∂ᵥ contained in ∂₁ and ∂₂ operate only on U, and not on the variable quantities A, B, C, &c. contained in ∂₁ and ∂₂.\n\n18. If now we treat ∂₁ as an operand, that is, perform the differentiations on the variable quantities A, B, C which enter into ∂₁, we obtain\n\n∂₁∂₁ = ∂₂,\n\nor, what is the same thing, operating on ∂₁U with ∂₁, the result is\n\n∂₁∂₁U = ∂₁²U + ∂₂U = (∂₁² + ∂₂)U,\n\nand in like manner\n\n∂₁∂₁²U = (∂₁³ + 2∂₁∂₂)U,\n∂₁∂₁³U = (∂₁⁴ + 3∂₁²∂₂)U.\n\nIt is, in fact, upon these principles that Hesse's values of ∂₁²U, ∂₁³U &c. were obtained, and we may by means of them obtain the other expressions assumed in the preceding section.\n\n19. In fact, starting from Hesse's equation,\n\n∂₁²U = \\frac{m}{m-1}ΦU - \\frac{1}{(m-1)²}HS²,\n\nwe have\n\n(∂₁³ + 2∂₁∂₂)U = \\frac{m}{m-1}(UDΦ + ΦDU) - \\frac{1}{(m-1)²}(DH.S² + H.2S.DS).\n\nBut we have identically DU = 0, DS = 0, and this equation becomes therefore\n\n(∂₁³ + 2∂₁∂₂)U = \\frac{m}{m-1}UDΦ - \\frac{1}{(m-1)²}DH.S².\n\nBut this is precisely Hesse's value of ∂₁³U, or we have ∂₁∂₂U = 0, and therefore\n\n(∂₁³ + 3∂₁∂₂)U = ∂₁³U = \\frac{m}{m-1}UDΦ - \\frac{1}{(m-1)²}DH.S².\n\n20. In like manner, starting from the expression of ∂₁³U, we have\n\n(∂₁⁴ + 3∂₁²∂₂)U = \\frac{m}{m-1}(DU.DΦ + UD.DΦ) - \\frac{1}{(m-1)²}(DH.2S.DS + S²D.DH);\n\nor since DU and DS vanish identically, and the values of D.DΦ, D.DH are ∂₂Φ + D²Φ, ∂₂H + D²H, we have\n\n(∂₁⁴ + 3∂₁²∂₂)U = \\frac{m}{m-1}U(∂₂Φ + D²Φ) - \\frac{1}{(m-1)²}S²(∂₂H + D²H);\n\nand if from the double of this equation we subtract Hesse's equation,\n\n∂₁⁴U = \\frac{m}{m-1}U(D²Φ - \\frac{3}{m-1}Π) - \\frac{1}{(m-1)²}S²(D²H - \\frac{S}{m-1} + \\frac{3(m-2)}{m-1}HΦ),\n\nwe find the required relation,\n\n(∂₁⁴ + 6∂₁²∂₂)U = \\frac{m}{m-1}\\left(2∂₂Φ + D²Φ + \\frac{S}{m-1}Π\\right)U\n\n- \\frac{1}{(m-1)²}\\left(2∂₂H + D²H + \\frac{S}{m-1} - \\frac{3(m-2)}{m-1}HΦ\\right)S².\nProof of the expression for $\\partial_2 H$:\n\n21. We have\n\n$$\\partial_2 H = \\partial_x H(vdB - \\mu dC) + \\partial_y H(\\lambda dC - vdB) + \\partial_z H(\\mu dA - \\lambda dB),$$\n\nwhere\n\n$$dA = adx + hdz + gdz,$$\n\n$$dB = hdx + bdy + fdz,$$\n\n$$dC = gdx + fdy + cdz,$$\n\nin which $dx, dy, dz$ are to be replaced by their values; we have therefore\n\n$$\\partial_2 H = \\partial_x H \\left\\{ \\nu[(bC - fB)\\lambda + (fA - hC)\\mu + (hB - bA)v] - \\mu[(fC - cB)\\lambda + (cA - gC)\\mu + (gB - fA)v] \\right\\} + &c.,$$\n\nwhere the coefficient of $\\partial_2 H$ is\n\n$$0\\lambda^2 + (gC - cA)\\mu^2 + (hB - bA)v^2 + (2fA - gB - hC)\\mu v + (bC - fB)\\lambda + (cB - fC)\\lambda \\mu;$$\n\nor, since we have\n\n$$(m-1)A = ax + hy + gz,$$\n\n$$(m-1)B = hx + by + fz,$$\n\n$$(m-1)C = gx + fy + cz,$$\n\nthe coefficient, omitting the factor $\\frac{1}{m-1}$, which will be afterwards restored, is\n\n$$0\\lambda^2 + [g(gx + fy + cz) - c(ax + hy + gz)]\\mu^2 + [h(hx + by + fz) - b(ax + hy + gz)]v^2 + [2f(ax + hy + gz) - g(hx + by + fz) - h(gx + fy + cz)]\\mu v + [b(gx + fy + cz) - f(hx + by + fz)]\\lambda + [c(hx + fy + cz) - f(gx + fy + cz)]\\lambda \\mu = 0\\lambda^2 + (-Bx + Hy)\\mu^2 + (-Cx + Gz)v^2 + (-2fx + Gy + Hz)\\mu v + (-Gx + Az)\\lambda + (-Hz + Ay)\\lambda \\mu,$$\n\nwhich is equal to\n\n$$-(Ax^2 + B\\mu^2 + C\\nu^2 + 2f\\mu v + 2G\\nu \\lambda + 2H\\lambda \\mu)x + (A\\lambda + H\\mu + G\\nu)(\\lambda x + \\mu y + \\nu z).$$\nThe coefficients of \\( \\partial_y H, \\partial_z H \\) have a similar form; and uniting the three terms, observing that \\( x\\partial_x H + y\\partial_y H + z\\partial_z H \\) is equal to \\( 3(m-2)H \\), and attending to the values of \\( \\Phi, \\Box, \\mathfrak{S} \\), we have, restoring the omitted factor \\( \\frac{1}{m-1} \\):\n\n\\[\n\\partial_z H = -\\frac{3(m-2)}{m-1} H\\Phi + \\frac{\\Box}{m-1} \\mathfrak{S}.\n\\]\n\nProof of the expressions for \\( (DH)^2 \\) and \\( D^2H \\):\n\n22. These are obtained (for the particular case \\( m=4 \\), which makes but little difference) in Mr. Salmon's 'Higher Plane Curves,' pp. 88 and 89, and I merely reproduce his investigation; we have\n\n\\[\n(DH)^2 = \\{(B\\nu-C\\mu)\\partial_x H + (C\\lambda-A\\nu)\\partial_y H + (A\\mu-B\\lambda)\\partial_z H\\}^2,\n\\]\n\nor, what is the same thing,\n\n\\[\n(DH)^2 = \\{\\lambda(C\\partial_y - B\\partial_z)H + \\mu(A\\partial_z - C\\partial_x)H + \\nu(B\\partial_x - A\\partial_z)H\\}^2;\n\\]\n\nand if we consider first the term which contains \\( \\lambda^2 \\), the coefficient is\n\n\\[\n(C\\partial_y - B\\partial_z)H\\}^2.\n\\]\n\nNow making use of the equations\n\n\\[\n(m-1)A = ax + hy + gz,\n\\]\n\\[\n(m-1)B = hx + by + fz,\n\\]\n\\[\n(m-1)C = gx + fy + cz,\n\\]\n\nand\n\n\\[\nm(m-1)U = ax^2 + by^2 + cz^2 + 2fyz + 2gzx + 2hxy = 0,\n\\]\n\nwe have\n\n\\[\n(m-1)^2C^2 = (gx + fy + cz)^2 - c(ax^2 + by^2 + cz^2 + 2fyz + 2gzx + 2hxy)\n\\]\n\\[\n= -Bx^2 + 2Hxy - Ay^2,\n\\]\n\\[\n(m-1)^2BC = (hx + by + fz)(gx + fy + cz) - f(ax^2 + by^2 + cz^2 + 2fyz + 2gzx + 2hxy)\n\\]\n\\[\n= Jx^2 - Gxy - Hxz + Ayz,\n\\]\n\\[\n(m-1)^2B^2 = (hx + by + fz)^2 - b(ax^2 + by^2 + cz^2 + 2fyz + 2gzx + 2hxy)\n\\]\n\\[\n= -Cx^2 + 2Gxz - Az^2;\n\\]\n\nand hence\n\n\\[\n(m-1)^2((C\\partial_y - B\\partial_z)H)^2 = (-Bx^2 + 2Hxy - Ay^2)(\\partial_y H)^2\n\\]\n\\[\n+ 2(-Jx^2 + Gxy + Hxz - Ayz)\\partial_y H.\\partial_z H\n\\]\n\\[\n+ (-Cx^2 + 2Gxz - Az^2)(\\partial_z H)^2\n\\]\n\\[\n= -x^2(B, J, C\\partial_y H, \\partial_z H)^2\n\\]\n\\[\n+ 2x(y\\partial_y H + z\\partial_z H)(H\\partial_y H + G\\partial_z H)\n\\]\n\\[\n- A(y\\partial_y H + z\\partial_z H)^2,\n\\]\n\nand\n\n\\[\ny\\partial_y H + z\\partial_z H = 3(m-2)H - z\\partial_z H,\n\\]\nso that the term is\n\n\\[ -x^2(B, f, C)(\\partial_y H, \\partial_z H)^2 + 2x(3(m-2)H-z\\partial_z H)(B\\partial_y H + G\\partial_z H) - A(3(m-2)H-z\\partial_z H)^2; \\]\n\nor reducing\n\n\\[ (m-1)^2(C\\partial_y - B\\partial_z)H^2 = -x^2(A, B, C, f, G, H)(\\partial_x H, \\partial_y H, \\partial_z H)^2 + 6(m-2)Hx(\\partial_x H + B\\partial_y H + G\\partial_z H) - 9(m-2)^2AH^2. \\]\n\n23. The other terms may be obtained in a similar manner; and it is easy to see that, collecting all the terms, the sum will be\n\n\\[ -(Ax + \\mu y + \\nu z)^2(A, B, C, f, G, H)(\\partial_x H, \\partial_y H, \\partial_z H)^2 + 6(m-2)H(Ax + \\mu y + \\nu z)((A\\lambda + B\\mu + G\\nu)\\partial_x H + (B\\lambda + C\\mu + F\\nu)\\partial_y H + (G\\lambda + F\\mu + C\\nu)\\partial_z H) - 9(m-2)^2H^2(A, B, C, f, G, H)(\\lambda, \\mu, \\nu)^2; \\]\n\nor, attending to the signification of the symbols \\( \\Omega, \\Phi, \\square, \\Psi \\), we have\n\n\\[ (m-1)^2(DH)^2 = -9(m-2)^2H^2\\Phi + 3(m-2)H\\square\\Omega - \\Psi\\Omega^2. \\]\n\n24. Next,\n\n\\[ D^2H = (B\\nu - C\\mu)\\partial_x + (C\\lambda - A\\nu)\\partial_y + (A\\mu - B\\lambda)\\partial_z)^2H, \\]\n\nor, what is the same thing,\n\n\\[ D^2H = \\{\\lambda(C\\partial_y - B\\partial_z) + \\mu(A\\partial_z - C\\partial_x) + \\nu(B\\partial_x - A\\partial_z)\\}^2H; \\]\n\nand if we attend first to the term which contains \\( \\lambda^2 \\), the coefficient is\n\n\\[ (C\\partial_y - B\\partial_z)^2H. \\]\n\nNow substituting for \\( C^2, CB, B^2 \\) as before, we have\n\n\\[ (m-1)^2(C\\partial_y - B\\partial_z)^2H = (-Bx^2 + 2Hyxy - Ay^2)\\partial_y^2H + 2(-fxy + Gxz - Agz)\\partial_y\\partial_z H + (-Cx^2 + 2Gxz - Az^2)\\partial_z^2H = -x^2(B, f, C)(\\partial_y, \\partial_z)^2H + 2x(y\\partial_y + z\\partial_z)(B\\partial_y + G\\partial_z)H - A(y\\partial_y + z\\partial_z)^2H, \\]\n\nwhere it is to be observed that the symbols of differentiation affect \\( H \\) only. We have\n\n\\[ (y\\partial_y + z\\partial_z)^2H = (x\\partial_x + y\\partial_y + z\\partial_z)^2H - 2(x\\partial_x + y\\partial_y + z\\partial_z)x\\partial_x H + (x\\partial_x)^2H, \\]\nwhere $H$ is a homogeneous function of the degree $3m-6$; $x\\partial_x H$, since the $x$ is not affected by the differentiation, must be treated as of the degree $3m-7$, and $(x\\partial_x)^2 H$, for the like reason, stands for $x^2 \\partial_x^2 H$; we have\n\n$$ (y\\partial_y + z\\partial_z)^2 H = (3m-6)(3m-7)H - 2(3m-7)x\\partial_x H + x^2 \\partial_x^2 H. $$\n\nIn like manner,\n\n$$ (y\\partial_y + z\\partial_z)(\\Phi\\partial_y + \\Theta\\partial_z)H = (x\\partial_x + y\\partial_y + z\\partial_z)(\\Phi\\partial_y + \\Theta\\partial_z)H - x\\partial_x(\\Phi\\partial_y + \\Theta\\partial_z)H $$\n\nand hence\n\n$$ (m-1)^2(C\\partial_y - B\\partial_z)^2 H = -x^2(B, F, C\\partial_y, \\partial_z)^2 H + 2x[(3m-7)(\\Phi\\partial_y + \\Theta\\partial_z)H - x\\partial_x(\\Phi\\partial_y + \\Theta\\partial_z)H] - A[(3m-6)(3m-7)H - 2(3m-7)x\\partial_x H + x^2 \\partial_x^2 H] $$\n\n$$ = -x^2(A, B, C, F, G, H\\partial_x, \\partial_y, \\partial_z)^2 H + 2(3m-7)x(A\\partial_x + \\Phi\\partial_y + \\Theta\\partial_z)H - (3m-6)(3m-7)AH. $$\n\n25. The other terms are formed in a similar manner; and collecting all the terms, we have\n\n$$ (m-1)^2 D^2 H = -(3m-6)(3m-7)(A, B, C, F, G, H\\lambda, \\mu, \\nu)^2 H $$\n\n$$ + 2(3m-7)(\\lambda x + \\mu y + \\nu z)((A\\lambda + B\\mu + C\\nu)\\partial_x H + (\\Phi\\lambda + \\Theta\\mu + F\\nu)\\partial_y H + (\\Theta\\lambda + F\\mu + C\\nu)\\partial_z H) $$\n\n$$ - (\\lambda x + \\mu y + \\nu z)^2(A, B, C, F, G, H\\partial_x, \\partial_y, \\partial_z)^2 H, $$\n\nor, attending to the signification of the symbols $\\Omega$, $\\Phi$, $\\square$, $\\Omega$, this is\n\n$$ (m-1)^2 D^2 H = -(3m-6)(3m-7)H\\Phi $$\n\n$$ + (3m-7)\\Omega \\square - \\Omega S^2. $$\n\nProof of the expressions for $(m-1)^2 R_3^2$, $(m-1)^2 R_4$:—\n\n26. We have\n\n$$ (m-1)^2 R_3^2 = (m-1)^2(DH)^2 $$\n\n$$ = -9(m-2)^2 H^2 \\Phi $$\n\n$$ + 3(m-2)H \\square S $$\n\n$$ - \\Psi S^2, $$\n\n$$ (m-1)^2 R_4 = (m-1)^2 D^2 H + (m-1)\\Omega \\square - (3m-6)(m-1)\\Phi H $$\n\n$$ = -12(m-2)^2 H\\Phi $$\n\n$$ + 4(m-2) \\square S $$\n\n$$ - \\Omega S^2, $$\n\nwhich are the expressions required.\n\n3 E 2\nProof of corresponding expressions for \\((m-1)^6Q_3^2, (m-1)^4Q_4\\):\n\n27. We have\n\n\\[\n(m-1)^6Q_3^2 = (m-1)^2(DH)^2 \\\\\n= -9(m-2)^2H^2\\Phi \\\\\n+ 3(m-2)H\\Box\\Omega \\\\\n- \\Psi\\Omega\n\\]\n\n\\[\n(m-1)^4Q_4 = (m-1)^2D^2H - (m-1)\\Omega\\Box + (3m-6)(m-1)H\\Phi \\\\\n= -6(m-2)(m-3)H\\Phi \\\\\n+ 2(m-3)\\Box\\Omega \\\\\n- \\Omega\\Omega^2.\n\\]\n\nTo which I join\n\n\\[\n(m-1)^6Q_2 = H.\n\\]\n\n28. We have consequently\n\n\\[\n(m-1)^6(3Q_2Q_4 - Q_3^2) = -9(m-2)(m-4)H^2\\Phi \\\\\n+ 3(m-4)H\\Box\\Omega \\\\\n+ (-3\\Omega H + \\Psi)\\Omega^2,\n\\]\n\nand\n\n\\[\n(m-1)^6(3(m-2)Q_2Q_4 - 2(m-3)Q_3^2) = (-3(m-2)\\Omega H + 2(m-3)\\Psi)\\Omega^2,\n\\]\n\nwhich for \\(m=4\\) become\n\n\\[\n729(3Q_2Q_4 - Q_3^2) = (-3\\Omega H + \\Psi)\\Omega^2.\n\\]\n\n29. In the case \\(m=4\\), we have Hesse's theorem, that the equation \\(3Q_2Q_4 - Q_3^2 = 0\\) gives a curve of the 14th order, which passes through the points of contact of the double tangents, viz. substituting for \\(\\Omega, \\Psi\\) their values, the equation of this curve is\n\n\\[\n-3H(A, B, C, F, G, H)(\\partial_x, \\partial_y, \\partial_z)^2H \\\\\n+ (A, B, C, F, G, H)(\\partial_xH, \\partial_yH, \\partial_zH)^2 = 0.\n\\]\n\nI have added these remarks for the sake of pointing out the striking resemblance of the expressions which occur in the double-tangent problem for \\(m=4\\), and in the present theory of the five-pointic conic for any value whatever of \\(m\\). It has not hitherto been shown what the expressions \\(3(m-2)Q_2Q_4 - 2(m-3)Q_3^2\\) and \\(-3(m-2)\\Omega H + 2(m-3)\\Psi\\) respectively denote, except in the particular case \\(m=4\\).\n\nIII. Application of the Formulae to the Cubic.\n\n30. I shall apply the formula for the five-pointic conic to a cubic; to avoid confusion to a numerical factor, I write \\(U', H'\\) in the place of \\(U, H\\), so that we have\n\n\\[\n\\Lambda = \\frac{1}{9H'^3} \\left[ -3(A, B, C, F, G, H)(\\partial_x, \\partial_y, \\partial_z)^2H'.H' \\\\\n+ 4(A, B, C, F, G, H)(\\partial_xH', \\partial_yH', \\partial_zH')^2 \\right],\n\\]\nand then the equation of the five-pointic conic is\n\n\\[ D^2U' - \\frac{2}{3} \\left( \\frac{1}{H'}DH' + \\Lambda DU' \\right) DU' = 0. \\]\n\nI take as the equation of the cubic,\n\n\\[ U = x^3 + y^3 + z^3 + 6lxyz = 0; \\]\n\nthe formulae Table No. 70 of my Third Memoir on Quantics*, putting \\( H \\) for \\( HU \\), give\n\n\\[ H = l^2(x^3 + y^3 + z^3) - (1 + 2l^3)xyz. \\]\n\nHence writing\n\n\\[ U' = \\frac{1}{6}(x^3 + y^3 + z^3 + 6lxyz), \\]\n\nthe first derived functions are\n\n\\[ \\frac{1}{2}(x^2 + 2lyz), \\quad \\frac{1}{2}(y^2 + 2lzx), \\quad \\frac{1}{2}(z^2 + 2lxy); \\]\n\nthe second derived functions, or \\((a, b, c, f, g, h)\\), are \\((x, y, z, lx, ly, lz)\\), whence \\( H' = -H \\);\n\nthe inverse coefficients \\((A, B, C, F, G, H)\\) are\n\n\\[ (yz - l^2x^2, \\quad zx - l^2y^2, \\quad xy - l^2z^2, \\quad l^2yz - lx^2, \\quad l^2zx - ly^2, \\quad l^2xy - lz^2); \\]\n\nand putting \\( U' = \\frac{1}{6}U \\) and \\( H' = -H \\), we have\n\n\\[ \\Lambda = -\\frac{1}{9H^3} \\left\\{ -3(A, B, C, F, G, H)(\\partial_x, \\partial_y, \\partial_z)^2H.H \\right\\}; \\]\n\nand the equation of the five-pointic conic is\n\n\\[ D^2U - \\left( \\frac{2}{3} \\frac{1}{H}DH + \\frac{1}{6}\\Lambda DU \\right) DU = 0. \\]\n\n31. We have\n\n\\[ (A, B, C, F, G, H)(\\partial_x, \\partial_y, \\partial_z)^2H \\]\n\n\\[ = (yz - l^2x^2).6l^2x \\]\n\\[ + (zx - l^2y^2).6l^2y \\]\n\\[ + (xy - l^2z^2).6l^2z \\]\n\\[ + 2(l^2yz - lx^2).-(1 + 2l^3)x \\]\n\\[ + 2(l^2zx - ly^2).-(1 + 2l^3)y \\]\n\\[ + 2(l^2xy - lz^2).-(1 + 2l^3)z, \\]\n\nwhich is\n\n\\[ = 18l^2yz - 6l^4(x^3 + y^3 + z^3) \\]\n\\[ - 6l^2(1 + 2l^3)xyz + 2l(1 + 2l^3)(x^3 + y^3 + z^3) \\]\n\\[ = (12l^2 - 12l^4)xyz + (2l - 2l^4)(x^3 + y^3 + z^3) \\]\n\\[ = 2(l - l^4)(x^3 + y^3 + z^3 + 6lxyz), \\]\n\nor we have\n\n\\[ (A, B, C, F, G, H)(\\partial_x, \\partial_y, \\partial_z)^2H = -2S.U, \\]\n\nwhere \\( S \\) is the quartinvariant (see the Table No. 70). For the present purpose \\( U = 0 \\),\n\nand consequently\n\n\\[ (A, B, C, F, G, H)(\\partial_x, \\partial_y, \\partial_z)^2H = 0. \\]\n\n* Philosophical Transactions, vol. cxlvii. (1856), pp. 627–647.\n32. Next,\n\n\\[\n(A, B, C, F, G, H)(\\partial_x H, \\partial_y H, \\partial_z H)\n\\]\n\n\\[\n= (yz - l^2 x^2) [3l^2 x^3 - (1 + 2l^2) yz]^2 \\\\\n+ (zx - l^2 y^2) [3l^2 y^3 - (1 + 2l^2) zx]^2 \\\\\n+ (xy - l^2 z^2) [3l^2 z^3 - (1 + 2l^2) xy]^2 \\\\\n+ 2l^2 yz (-lx^2) [3l^2 y^3 - (1 + 2l^2) zx] [3l^2 z^3 - (1 + 2l^2) xy] \\\\\n+ 2(l^2 zx - ly^2) [3l^2 z^3 - (1 + 2l^2) xy] [3l^2 x^3 - (1 + 2l^2) yz] \\\\\n+ 2(l^2 xy - lz^2) [3l^2 x^3 - (1 + 2l^2) yz] [3l^2 y^3 - (1 + 2l^2) zx],\n\\]\n\nthe first three lines of which are\n\n\\[\n9l^4 xyz(x^3 + y^3 + z^3) - 18l^2(1 + 2l^2)x^2y^2z^2 + (1 + 2l^2)^2(y^3z^3 + z^3x^3 + x^3y^3) \\\\\n- 9l^6(x^6 + y^6 + z^6) + 6l^4(1 + 2l^2)xyz(x^3 + y^3 + z^3) - 3l^2(1 + 2l^2)^2x^2y^2z^2;\n\\]\n\nor collecting and reducing,\n\n\\[\n(-9l^6)(x^6 + y^6 + z^6) \\\\\n+(1 + 4l^2 + 4l^6)(y^3z^3 + z^3x^3 + x^3y^3) \\\\\n+(15l^4 + 12l^6)(x^3 + y^3 + z^3)xyz \\\\\n+(-21l^2 - 48l^4 - 12l^6)x^2y^2z^2;\n\\]\n\nthe second three lines are\n\n\\[\n18l^6(y^3z^3 + z^3x^3 + x^3y^3) - 12l^4(1 + 2l^2)xyz(x^3 + y^3 + z^3) + 6l^2(1 + 2l^2)^2x^2y^2z^2 \\\\\n- 54l^4x^2y^2z^2 + 12l^2(1 + 2l^2)(y^3z^3 + z^3x^3 + x^3y^3) - 2l(1 + 2l^2)^2xyz(x^3 + y^3 + z^3);\n\\]\n\nor collecting and reducing,\n\n\\[\n(12l^4 + 42l^6)(y^3z^3 + z^3x^3 + x^3y^3) \\\\\n+(-2l - 20l^4 - 32l^6)(x^3 + y^3 + z^3)xyz \\\\\n+(6l^2 - 30l^4 + 24l^6)x^2y^2z^2.\n\\]\n\nHence in the first part replacing the top line by\n\n\\[\n-9l^6(x^3 + y^3 + z^3)^2 + 18l^6(y^3z^3 + z^3x^3 + x^3y^3),\n\\]\n\nand uniting the two parts, we find\n\n\\[\n(A, B, C, F, G, H)(\\partial_x H, \\partial_y H, \\partial_z H)^2\n\\]\n\n\\[\n= (1 + 8l^2)(y^3z^3 + z^3x^3 + x^3y^3) \\\\\n+(-9l^6)(x^3 + y^3 + z^3)^2 \\\\\n+(-2l - 5l^4 - 20l^6)(x^3 + y^3 + z^3)xyz \\\\\n+(-15l^2 - 78l^4 + 12l^6)x^2y^2z^2;\n\\]\n\nand referring to the Table No. 70, and writing Θ for ΘU, we have\n\n\\[\n(A, B, C, F, G, H)(\\partial_x H, \\partial_y H, \\partial_z H)^2 = Θ,\n\\]\nwhere $\\Theta$ is the first of the three functions which may be chosen to represent the octicovariant of the cubic.\n\n33. We have thus\n\n$$\\Lambda = -\\frac{4}{9} \\frac{\\Theta}{H^3},$$\n\nand thence\n\n$$D^2U - \\left( \\frac{2}{3} \\frac{1}{H} DH - \\frac{2}{7} \\frac{\\Theta}{H^3} DU \\right) DU = 0$$\n\nas the equation of the five-pointic conic: the investigation has been conducted by means of the canonical form of the equation of the cubic, but the form of the result shows that it applies to the equation of the cubic in any form whatever.\n\n34. If, however, we continue to represent the cubic by the canonical equation\n\n$$x^3 + y^3 + z^3 + 6lxyz = 0,$$\n\nthe result may be further reduced. We have, putting $U = 0$, or writing $x^3 + y^3 + z^3 = -6lxyz$\n\n$$H = -(1 + 8l^3)xyz;$$\n\nmoreover, putting $U = 0$, the Table No. 70 gives\n\n$$\\Theta = (1 + 8l^3)^2(y^3z^3 + z^3x^3 + x^3y^3) - 3l^3H^2;$$\n\nor substituting for $H$ the last-mentioned value, and putting for shortness\n\n$$Q = y^3z^3 + z^3x^3 + x^3y^3 - 3l^3x^2y^2z^2,$$\n\nwe have\n\n$$\\Theta = (1 + 8l^3)^2Q;$$\n\nand with these values of $H$ and $Q$, the equation of the five-pointic conic is\n\n$$D^2U + \\left( \\frac{2}{3} \\frac{1}{(1 + 8l^3)xyz} DH - \\frac{2}{7} \\frac{Q}{(1 + 8l^3)x^3y^3z^3} DU \\right) DU = 0,$$\n\nwhere\n\n$$DU = 3\\{(x^2 + 2lyz)X + (y^2 + 2lzx)Y + (z^2 + 2lxy)Z\\}$$\n\n$$D^2U = 6\\{(X^2 + 2lYZ)x + (Y^2 + 2lZX)y + (Z^2 + 2lXY)z\\},$$\n\nor, as it will be convenient to write it\n\n$$= 6(x, y, z, lx, ly, lz)(X, Y, Z)^2,$$\n\n$$DH = (3l^3x^2 - (1 + 2l^3)y^2z)X + (3l^3y^2 - (1 + 2l^3)zx)Y + (3l^3z^2 - (1 + 2l^3)xy)Z;$$\n\nwhence, finally, the equation of the five-pointic conic of the cubic\n\n$$X^3 + Y^3 + Z^3 + 6lXYZ = 0$$\n\nat the point $(x, y, z)$ is\n\n$$9(1 + 8l^3)x^3y^3z^3(x, y, z, lx, ly, lz)(X, Y, Z)^2$$\n\n$$+ \\{(x^2 + 2lyz)X + (y^2 + 2lzx)Y + (z^2 + 2lxy)Z\\} \\times$$\n\n$$\\left[ 3x^2y^2z^2\\left[(3l^3x^2 - (1 + 2l^3)y^2z)X + (3l^3y^2 - (1 + 2l^3)zx)Y + (3l^3z^2 - (1 + 2l^3)xy)Z \\right] \\right]$$\n\n$$- Q\\{(x^2 + 2lyz)X + (y^2 + 2lzx)Y + (z^2 + 2lxy)Z\\},$$\n\na result which I had previously obtained by a special method.\n\n35. But the expression may be exhibited in a different form by a transformation\nsuggested by a geometrical theorem of Mr. Salmon's. In fact the tangent at the point \\((x, y, z)\\) meets the cubic in the tangential of this point, and the coordinates of the tangential are \\(x(y^3 - z^3) + y(z^3 - x^3), z(x^3 - y^3)\\). Calling these \\(\\xi, \\eta, \\zeta\\), the equation of the tangent to the cubic at the tangential is\n\n\\[\n(\\xi^2 + 2l\\eta\\xi)X + (\\eta^2 + 2l\\zeta\\eta)Y + (\\zeta^2 + 2l\\xi\\zeta)Z = 0.\n\\]\n\nNow we have identically,\n\n\\[\n3x^2y^2z^2\\left\\{3l^2x^2 - (1 + 2l^3)yz\\right\\}X + \\left(3l^2y^2 - (1 + 2l^3)yz\\right)Y + \\left(3l^2z^2 - (1 + 2l^3)xz\\right)Z \\\\\n- Q\\{(x^2 + 2lyz)X + (y^2 + 2lzx)Y + (z^2 + 2lxy)Z\\} \\\\\n= \\{(\\xi^2 + 2l\\eta\\xi)X + (\\eta^2 + 2l\\zeta\\eta)Y + (\\zeta^2 + 2l\\xi\\zeta)Z\\} \\\\\n+ U\\{x^2(-y^3 - z^3 + 2lyz)X + y^2(-z^3 - x^3 + 2lzx)Y + z^2(-x^3 - y^3 + 2lxy)Z\\}.\n\\]\n\nIn fact this relation will be true if only\n\n\\[\n3x^2y^2z^2\\left(3l^2x^2 - (1 + 2l^3)yz\\right) - Q(x^2 + 2lyz) - (\\xi^2 + 2l\\eta\\xi) \\\\\n= Ux^2(-y^3 - z^3 + 2lyz).\n\\]\n\nAnd substituting for \\(\\xi, \\eta, \\zeta\\) and \\(Q\\) their values, the left-hand side is\n\n\\[\n3x^2y^2z^2\\left(3l^2x^2 - (1 + 2l^3)yz\\right) \\\\\n- (x^2 + 2lyz)(y^3z^3 + z^3x^3 + x^3y^3 - 3l^2x^2y^2z^2) \\\\\n- x^2(y^3 - z^3)^2 \\\\\n- 2lyz(z^3 - x^3)(x^3 - y^3);\n\\]\n\nand expanding and reducing, the result is\n\n\\[\nx^2(-y^3 + z^3)^2 - x^2(y^3 + z^3)^2 + 2lyz(-2x^3(y^3 + z^3) + x^6) + 12l^2x^4y^2z^2;\n\\]\n\nwhence, dividing by \\(x^3\\), the equation becomes\n\n\\[\n-(y^3 + z^3)(x^3 + y^3 + z^3) + 2lyz(x^3 - 2(y^3 + z^3)) + 12l^2x^3y^2z^2 \\\\\n= -(y^3 - z^3 + 2lyz)(x^3 + y^3 + z^3 + 6lyz),\n\\]\n\nwhich is identically true.\n\n36. Hence in the identical equation putting \\(U = 0\\), we see that the equation of the five-pointic conic may be written\n\n\\[\n9(1 + 8l^3)x^2y^2z^2(x, y, z, lx, ly, lz)(X, Y, Z)^3 \\\\\n+ \\{(x^2 + 2lyz)X + (y^2 + 2lzx)Y + (z^2 + 2lxy)Z\\} \\times \\\\\n\\{(\\xi^2 + 2l\\eta\\xi)X + (\\eta^2 + 2l\\zeta\\eta)Y + (\\zeta^2 + 2l\\xi\\zeta)Z\\} \\\\\n= 0,\n\\]\n\nwhere \\(\\xi, \\eta, \\zeta\\) stand for \\(x(y^3 - z^3), y(z^3 - x^3), z(x^3 - y^3)\\), the coordinates of the tangential of the given point, and which puts in evidence the geometrical theorem above referred to, viz.\n\nTheorem.—The common chord of the five-pointic conic and the polar conic is the tangent to the cubic at the tangential of the given point.\n37. The five-pointic conic meets the cubic in the point of contact, considered as five coincident points, and in a remaining sixth point or point of simple intersection. The process by which I originally obtained the equation of the five-pointic conic, led also to the equation of the line joining the point of contact with the point of simple intersection: the equation of this line is\n\n\\[9x^3y^3z^3 \\left\\{ \\begin{array}{l}\nXx((1+8l^3)x^4+(4l+41l^4)x^2yz+(-2l^2+2l^5)y^2z^2) \\\\\n+Yy((1+8l^3)y^4+(4l+41l^4)y^2zx+(-2l^2+2l^5)z^2x^2) \\\\\n+Zz((1+8l^3)z^4+(4l+41l^4)z^2xy+(-2l^2+2l^5)x^2y^2)\n\\end{array} \\right\\} \\\\\n-6Qx^3y^3z^3 \\left\\{ X(3l^2x^2-(1+2l^3)yz)+Y(3l^2y^2-(1+2l^3)zx)+Z(3l^2z^2-(1+2l^3)xy) \\right\\} \\\\\n+ Q^2 \\left\\{ X(x^2+2lyz)+Y(y^2+2lzx)+Z(z^2+2lxy) \\right\\} = 0.\\]\n\n38. If the conic meet the cubic in six coincident points, that is, if the point of contact be a singular point of the kind already spoken of, or, as we may term it, a sextactic point, then the last-mentioned line must coincide with the tangent at the point. Represent for a moment the equation of the line by\n\n\\[AX+BY+CZ=0,\\]\n\nthen this line is to coincide with the line\n\n\\[(x^2+2lyz)X+(y^2+2lzx)Y+(z^2+2lxy)Z=0,\\]\n\nor we must have\n\n\\[B(z^2+2lxy)-C(y^2+2lzx)=0,\\]\n\\[C(x^2+2lyz)-A(z^2+2lxy)=0,\\]\n\\[A(y^2+2lzx)-B(x^2+2lyz)=0,\\]\n\nwhich must be equivalent to a single condition. The terms of A, B, C, which contain \\(x^2+2lyz, y^2+2lzx, z^2+2lxy\\) respectively, may, it is clear, be omitted, and omitting also a factor \\(3x^3y^3z^3\\), we may write\n\n\\[A=3x^3yz((1+8l^3)x^4+(4l+41l^4)x^2yz+(-2l^2+2l^5)y^2z^2)-2Q(3l^2x^2-(1+2l^3)yz),\\]\n\\[B=3xy^3z((1+8l^3)y^4+(4l+41l^4)y^2zx+(-2l^2+2l^5)z^2x^2)-2Q(3l^2y^2-(1+2l^3)zx),\\]\n\nand the like value for C. The last of the three equations is\n\n\\[3xyz \\left\\{ \\begin{array}{l}\n(y^2+2lzx)((1+8l^3)x^5+(4l+41l^4)x^3yz+(-2l^2+2l^5)x^2y^2z^2) \\\\\n-(x^2+2lyz)((1+8l^3)y^5+(4l+41l^4)y^3zx+(-2l^2+2l^5)y^2z^2x^2)\n\\end{array} \\right\\} \\\\\n-2Q \\left\\{ (y^2+2lzx)(3l^2x^2-(1+2l^3)yz)-(x^2+2lyz)(3l^2y^2-(1+2l^3)zx) \\right\\} = 0,\\]\n\nwhere the function on the left hand is\n\n\\[= 3xyz \\left\\{ \\begin{array}{l}\n(1+8l^3)(x^5y^3-x^2y^5+2l(x^6z-y^6z)) \\\\\n+(4l+41l^4)2l(x^4yz^2-xy^4z^2) \\\\\n+(-2l^2+2l^5)(xy^4z^2-x^4yz^2)\n\\end{array} \\right\\} \\\\\n-2Q \\left\\{ -(1+2l^3)(y^5z-x^5z)+6l^2(x^5z-y^5z) \\right\\},\\]\nor, what is the same thing, throwing out the factor \\( z \\), it is\n\n\\[\n3(1+8l^3)x^3y^3 + 6l(1+8l^3)xyz(x^3+y^3) + 30l^2(1+8l^3)x^2y^2z^2(x^3-y^3)\n- 2Q(1+8l^3)(x^3-y^3);\n\\]\n\nor throwing out the factor \\((1+8l^3)\\) and substituting for \\( Q \\) its value, it is\n\n\\[\n3x^3y^3 + 6lxyz(x^3+y^3) + 30l^2x^2y^2z^2 - 2(y^3z^3 + z^3x^3 + x^3y^3 - 3l^2x^2y^2z^2)(x^3-y^3).\n\\]\n\nThe first factor, reducing by the equation \\( x^3+y^3+z^3+6lxyz \\), is\n\n\\[\n3x^3y^3 - (x^3+y^3)(x^3+y^3+z^3) + (x^3+y^3+z^3)^2 - 2(y^3z^3 + z^3x^3 + x^3y^3)\n= z^6 - z^3(x^3+y^3) + x^3y^3\n= (z^3-x^3)(z^3-y^3).\n\\]\n\n39. Hence putting for the moment\n\n\\[\nM = (y^3-z^3)(z^3-x^3)(x^3-y^3),\n\\]\n\nit appears that the last of the three equations is \\( Mz = 0 \\); the first and second are of course \\( Mx = 0 \\) and \\( My = 0 \\), and the required condition is \\( M = 0 \\), that is,\n\n\\[\n(y^3-z^3)(z^3-x^3)(x^3-y^3) = 0,\n\\]\n\nthe equation which, combined with the equation of the curve\n\n\\[\nx^3+y^3+z^3+6lxyz = 0,\n\\]\n\ngives the sextactic points. There are consequently twenty-seven such points, and it is at once seen that these are the points of contact of the tangents to the cubic from the points of inflexion, or, what is the same thing, that the twenty-seven sextactic points form nine groups of three each, such that the three points of a group have for their common tangential one of the nine points of inflexion. In fact, let \\( \\omega \\) be a cube root (real or imaginary) of unity, the three sextactic points of one of the groups will be given by\n\n\\[\n\\begin{cases}\nx - \\omega y = 0, \\\\\nx^3 + y^3 + z^3 + 6lxyz = 0.\n\\end{cases}\n\\]\n\nNow consider the tangential of any one of these points, its coordinates are\n\n\\[\nx_1 = x(y^3-z^3), \\\\\ny_1 = y(z^3-x^3), \\\\\nz_1 = z(x^3-y^3);\n\\]\n\nor, reducing by the equation \\( x - \\omega y = 0 \\), \\( x_1 = \\omega y(x^3-z^3) \\), \\( y_1 = -y(x^3-z^3) \\), \\( z_1 = 0 \\); that is, the point \\((x_1, y_1, z_1)\\) is one of the points of inflexion. This is the construction of the sextactic points obtained by Plücker and Steiner.\n\n40. Reverting to the equation of the line joining the point of contact of the five-pointic conic with the point of simple intersection, this meets the cubic in a third point, and Mr. Salmon has shown that this third point is in fact the second tangential (tangential of the tangential) of the point of contact, or, what is the same thing—\nTheorem.—The point of simple intersection of the cubic and the five-pointic conic is the third point of intersection with the cubic, of the line joining the point of contact with the second tangential of this point.\n\n41. I have not sought to verify this theorem by my formulæ. I remark, that combining it with the before-mentioned theorem, the five-pointic conic is completely determined as follows; viz.—\n\nTheorem.—The five-pointic conic touches the conic at the point of contact (two conditions); it passes through the two points in which the polar conic is intersected by the tangent to the cubic at the tangential of the point of contact (two conditions); and it passes through the point which is the third point of intersection with the cubic of the line joining the point of contact with its second tangential.\n\n42. The construction for the point of simple intersection leads at once to that for the sextactic points; in fact, consider a point having for its tangential a point of inflexion: a point of inflexion is its own tangential, and the second tangential of the first-mentioned point is therefore the point of inflexion: the line joining the point with the second tangent is therefore the tangent at the point, and the point of simple intersection coincides with the point itself, that is, the point in question is a sextactic point.\n\n43. I represent the equation of the five-pointic conic by\n\n\\[(a, b, c, f, g, h)(X, Y, Z)^2 = 0;\\]\n\nthe value of \\(a\\) is\n\n\\[= 9(1 + 8l^3)x^4y^3z^3 + 3x^2y^2z^2(3l^2x^2 - (1 + 2l^3)yz)(x^2 + 2lyz) - Q(x^2 + 2lyz)^2,\\]\n\nin which equation\n\n\\[Q = y^2z^3 + z^3x^3 + x^3y^3 - 3l^2x^2y^2z^2;\\]\n\nor reducing by the equation \\(x^3 + y^3 + z^3 + 6lxyz = 0,\\)\n\n\\[= y^3z^3 + x^3(-x^3 - 6lxyz) - 3l^2x^2y^2z^2,\\]\n\nthat is,\n\n\\[-Q = x^6 + 6lx^4yz + 3l^2x^2y^2z^2 - y^3z^3,\\]\n\nand we have\n\n\\[a = 9(1 + 8l^3)x^4y^3z^3 + 3x^2y^2z^2(3l^2x^2 + (-1 + 4l^3)x^2yz - 2l(1 + 2l^3)y^2z^2) + (x^6 + 6lx^4yz + 3l^2x^2y^2z^2 - y^3z^3)(x^4 + 4lx^2yz + 4l^2y^2z^2).\\]\n\nWe have in like manner\n\n\\[2f = 18(1 + 8l^3)lx^4y^3z^3 + 3x^2y^2z^2\\{3l^2y^2 - (1 + 2l^3)zx\\}(z^2 + 2lxy) + (3l^2z^2 - (1 + 2l^3)xy)(y^2 + 2lzx)\\} - 2Q(y^2 + 2lzx)(z^2 + 2lxy);\\]\n\nthe coefficient of \\(3x^2y^2z^2\\) in the second line is\n\n\\[= 6l^2y^2z^2 + (-1 + 4l^3)x(y^3 + z^3) - 4l(1 + 2l^3)x^2yz;\\]\nor reducing by the equation of the curve,\n\n\\[ = (1 - 4l^3)x^4 + (2l - 32l^4)x^2yz + 6l^2y^2z^2. \\]\n\nAnd the coefficient of \\(-2Q\\) is\n\n\\[ = y^2z^2 + 2lx(y^3 + z^3) + 4l^2x^2yz; \\]\n\nor reducing by the equation of the curve,\n\n\\[ = -2lx^4 - 8l^2x^2yz + y^2z^2. \\]\n\nAnd we have\n\n\\[ 2f = 18l(1 + 8l^3)x^4y^3z^3 \\]\n\\[ + 3x^2y^2z^2((1 - 4l^3)x^4 + (2l - 32l^4)x^2yz + 6l^2y^2z^2) \\]\n\\[ + 2(x^6 + 6lx^4yz + 3l^2x^2y^2z^2 - y^3z^3)(-2lx^4 - 8l^2x^2yz + y^2z^2). \\]\n\nReducing the expressions of \\(a\\) and \\(2f\\), we find for the coefficients \\((a, b, c, f, g, h)\\),\n\n\\[\n\\begin{align*}\na &= x^{10} + 10lx^8yz + 40l^2x^6y^2z^2 + (5 + 120l^3)x^4y^3z^3 - 10lx^2y^4z^4 - 4l^2y^5z^5, \\\\\n2f &= -4lx^{10} - 40l^2x^8yz + (5 - 120l^3)x^6y^2z^2 + 40lx^4y^3z^3 + 8l^2x^2y^4z^4 - 2y^5z^5,\n\\end{align*}\n\\]\n\nwhich gives the completely developed form of the equation of the five-pointic conic.\n\n44. I investigate the coordinates of the point of simple intersection of the cubic and the five-pointic conic as follows: the equations of the two curves are\n\n\\[ X^3 + Y^3 + Z^3 + 6lXYZ = 0, \\]\n\\[ (a, b, c, f, g, h)(X, Y, Z)^2 = 0; \\]\n\nor if we write\n\n\\[ \\alpha = 1, \\quad A = c, \\]\n\\[ \\gamma = 6lXY, \\quad B = 2(gX + fY), \\]\n\\[ \\delta = X^3 + Y^3, \\quad C = aX^2 + 2hXY + bY^2, \\]\n\nthen the two equations are\n\n\\[ \\alpha Z^3 + \\gamma Z + \\delta = 0, \\]\n\\[ AZ^2 + BZ + C = 0, \\]\n\nand the result of the elimination of \\(Z\\) will be\n\n\\[ (\\alpha Z_1^3 + \\gamma Z_1 + \\delta)(\\alpha Z_2^3 + \\gamma Z_2 + \\delta) = 0, \\]\n\nwhere \\(Z_1, Z_2\\) are the roots of the equation \\(AZ^2 + BZ + C = 0\\); that is, we have\n\n\\[\n\\begin{align*}\n\\alpha^2 & C^3 \\\\\n+ \\alpha \\gamma & C(B^2 - 2AC) \\\\\n+ \\alpha \\delta & (-B^3 + 2ABC) \\\\\n+ \\gamma^2 & CA^2 \\\\\n- \\gamma \\delta & BA^2 \\\\\n+ \\delta^2 & A^3\n\\end{align*}\n\\]\nAnd substituting for A, B, C their values, but attending only to the terms which involve X^6 and Y^6, the result is\n\n\\[(a^3 + c^3 - 8g^3 + 6acg)X^6 + \\cdots + (b^3 + c^3 - 8f^3 + 6bcf)Y^6 = 0.\\]\n\n45. But the result of the elimination must obviously be\n\n\\[(Xy - Yx)^6(Xy_1 - Yx_1) = 0,\\]\n\nif \\((x_1, y_1, z_1)\\) are the coordinates of the point of simple intersection. Comparing the two results, and forming the analogous third equation, we may write\n\n\\[x^5x_1 = b^3 + c^3 - 8f^3 + 6bcf,\\]\n\\[y^5y_1 = c^3 + a^3 - 8g^3 + 6cag,\\]\n\\[z^5z_1 = a^3 + b^3 - 8h^3 + 6abh,\\]\n\nwhere the value of \\(x^5x_1\\) may also be written \\((b + c - 2f)(b + cw - 2\\omega^2f)(b + cw^2 - 2\\omega f)\\), \\(w\\) being an imaginary cube root of unity, and so for the other two terms. The factors of \\(x^5x_1\\) might be calculated from the identical equation\n\n\\[bY^2 + 2fYZ + cZ^2 = 9(1 + 8f^3)x^3y^3z^3(yY^2 + zZ^2 + 2lxYZ)\\]\n\\[+ \\{(y^2 + 2lzx)Y + (z^2 + 2lxy)Z\\} \\times\\]\n\\[\\{3\\omega^2y^2z^2[(3\\omega^2y^2 - (1 + 2\\omega^2)zx)Y + (3\\omega^2z^2 - (1 + 2\\omega^2)xy)Z]\\}\\]\n\\[- Q[(y^2 + 2lzx)Y + (z^2 + 2lxy)Z].\\]\n\nI remark, that putting \\(x = 0\\), we have\n\n\\[bY^2 + 2fYZ + cZ^2 = -y^3z^3(y^2Y + z^2Z)^2,\\]\n\nand hence writing 1 for Y, and \\(-1, -\\omega, -\\omega^2\\) for Z, we have\n\n\\[b + c - 2f = -y^3z^3(y^2 - z^2)^2,\\]\n\\[b + cw - 2\\omega^2f = -y^3z^3(y^2 - \\omega^2z^2)^2,\\]\n\\[b + cw^2 - 2\\omega f = -y^3z^3(y^2 - \\omega^4z^2)^2;\\]\n\nand hence the product of the three factors is \\(-y^3z^3(y^2 - z^2)^2(y^2 - \\omega^2z^2)^2(y^2 - \\omega^4z^2)^2\\), which is equal to \\(-y^3z^3(y^2 - z^2)^2(y^2 + z^2)^2\\), which vanishes in virtue of the assumed equation \\(x = 0\\).\n\nThis shows that the function \\(b^3 + c^3 - 8f^3 + 6bcf\\) contains the factor \\(x\\). I have not verified à posteriori, but I assume it to be true, that it contains in fact the factor \\(x^6\\), and consequently that the expressions for \\(x_1, y_1, z_1\\) are rational and integral functions of \\((x, y, z)\\) of the degree 25, and containing respectively the factors \\(x, y, z\\).\n\n46. In the theory of the cubic, a point which depends linearly upon a given point may be termed a derivative of such point. According to a very beautiful theorem of Professor Sylvester's, the coordinates of a derivative point are necessarily rational and integral functions of a square degree of the coordinates \\((x, y, z)\\) of the given point; and moreover, there is but one derivative point having its coordinates of any given square degree \\(m^2\\), or, as we may express it, only one derivative point of the degree \\(m^2\\). The successive tangentials are derivative points of the degrees 4, 16, 64, &c.; the third point of intersection with the cubic, of the line joining two derivative points of the degrees \\(m^2\\) and \\(n^2\\) respectively, is a derivative point of the degree \\((m \\pm n)^2\\). Thus the third point of intersection with the cubic, of the line joining the given point with its second tan-\ngential, is a derivative point of the degree \\((4 \\pm 1)^2\\), and it is easy to see that the degree is not 9; it is therefore 25. The point of simple intersection of the five-pointic conic is a derivative point of the degree 25; it is therefore, according to Professor Sylvester's general theory, identical with the point given by the former construction; this agrees with the before-mentioned theorem of Mr. Salmon.\n\nIV. Independent investigation for the Cubic.\n\n47. The following is, in substance, the method by which I first obtained the equation of the five-pointic conic, for the cubic\n\n\\[ X^3 + Y^3 + Z^3 + 6lXYZ = 0. \\]\n\nWrite for shortness\n\n\\[ U = x^3 + y^3 + z^3 + 6lxyz, \\]\n\\[ V = (x^2 + 2lyz)X + (y^2 + 2lxz)Y + (z^2 + 2lxy)Z, \\]\n\\[ W = (X^2 + 2lYZ)x + (Y^2 + 2lXZ)y + (Z^2 + 2lXY)z, \\]\n\\[ \\Upsilon = X^3 + Y^3 + Z^3 + 6lXYZ, \\]\n\\[ P = ax + by + cz, \\]\n\\[ \\Pi = aX + bY + cZ. \\]\n\nThen \\(X, Y, Z\\) being current coordinates, and \\(x, y, z\\) the coordinates of a point of the cubic (so that \\(U = 0\\)), the equation of the cubic will be\n\n\\[ \\Upsilon = 0, \\]\n\nand the equation of a conic having with it an ordinary (two-pointic) contact at the point \\((x, y, z)\\), will be*\n\n\\[ 2W - \\Pi V = 0. \\]\n\n48. Now imagine from the point of contact lines drawn to the other four intersections of the two curves; in the case of the five-pointic conic, three of these lines will coincide with the tangent \\(V = 0\\), and the remaining line will be the line joining the point of contact with the point of simple intersection. The equations of the lines in question can be found by Joachimsthaler's theorem, viz. if \\((x, y, z)\\) be the coordinates of a given point, and \\((X, Y, Z)\\) current coordinates, then if in the equations of any two curves we substitute for the coordinates, \\(\\lambda x + \\mu X, \\lambda y + \\mu Y, \\lambda z + \\mu Z\\), and between the equations so obtained eliminate \\(\\lambda, \\mu\\), the resulting equation will be that of the lines drawn from the point \\((x, y, z)\\) to the points of intersection of the two curves. The point \\((x, y, z)\\) is any point whatever, and it may therefore be a point of intersection, or, as in the present instance, a point of contact of the two curves; the only difference is, that in either case the degree of each equation as regards \\((\\lambda, \\mu)\\) is reduced by unity, and the degree of the resulting equation in \\(X, Y, Z\\) is also reduced by unity: in the case of a point of simple intersection this is the only reduction; but in the case of a point of contact, the result-\n\n* I have introduced the factor 2, to make this correspond with the form \\(D^2U - \\Pi DU = 0\\), in the case in question, \\(m = 3\\).\ning equation contains the equation of the tangent as a factor, and rejecting this factor, the reduction in degree is two units.\n\n49. Applying the method to the two equations, \\( \\Upsilon = 0, 2W - \\Pi V = 0 \\), and substituting therein for the original current coordinates \\( X, Y, Z \\) the values \\( \\lambda x + \\mu X, \\lambda y + \\mu Y, \\lambda z + \\mu Z \\), the equations become\n\n\\[\n\\begin{align*}\n\\lambda^3 U + 3\\lambda^2 \\mu V + 3\\lambda \\mu^2 W + \\mu^3 \\Upsilon &= 0, \\\\\n2(\\lambda^3 U + 2\\lambda \\mu V + \\mu^2 W) - (\\lambda P + \\mu \\Pi)(\\lambda U + \\mu V) &= 0;\n\\end{align*}\n\\]\n\nor writing \\( U = 0 \\), and omitting from each equation the factor \\( \\mu \\), the equations become\n\n\\[\n\\begin{align*}\n\\lambda^3 V + \\lambda \\mu .3W + \\mu^2 \\Upsilon &= 0, \\\\\n\\lambda(4-P)V + \\mu(2W - \\Pi V) &= 0;\n\\end{align*}\n\\]\n\nand putting in the first equation \\( \\lambda = 2W - \\Pi V, \\mu = -(4-P)V \\), the result of the elimination contains the factor \\( V \\), rejecting which it becomes\n\n\\[\n3(2W - \\Pi V)^2 - 3(4-P)(2W - \\Pi V)W + (4-P)^3 V \\Upsilon = 0,\n\\]\n\nwhich is of the fourth degree in \\( (X, Y, Z) \\), as it should be, and represents therefore the lines drawn from the point of contact to the other four points of intersection of the conic and cubic.\n\n50. The equation may be written\n\n\\[\n-3(2W - \\Pi V)((2-P)W + \\Pi V) + (4-P)^3 V \\Upsilon = 0,\n\\]\n\nand we obtain at once the condition that this may contain the factor \\( V \\), viz. this condition is\n\n\\[\nP = 2;\n\\]\n\nand if this be satisfied the conic will have a three-pointic conic, and there will be three other points of intersection. And writing \\( P = 2 \\), and throwing out the factor \\( V \\), we find\n\n\\[\n3\\Pi^3 V - 6\\Pi W + 4\\Upsilon = 0\n\\]\n\nfor the equation of the lines from the point of contact to the three points of intersection. And we have now to determine \\( \\Pi \\) so that the function on the left hand may divide by \\( V^2 \\).\n\n51. I simplify my original method by the use of a theorem of Mr. Salmon's, viz. writing\n\n\\[\n\\begin{align*}\n\\Upsilon &= X^3 + Y^3 + Z^3 + 6lXYZ, \\\\\nW &= (X^2 + 2lYZ)x + \\cdots, \\\\\nV &= (x^2 + 2lyz)X + \\cdots, \\\\\nU &= x^3 + y^3 + z^3 + 6lxyz,\n\\end{align*}\n\\]\n\nwe have identically\n\n\\[\n\\Upsilon H - U \\Phi = WH_1 - V \\Phi_1,\n\\]\n\nand in the present case, since \\( U = 0 \\),\n\n\\[\n\\Upsilon H = WH_1 - V \\Phi_1.\n\\]\nHence, multiplying by $H$ and substituting this value of $\\Upsilon H$, the equation becomes\n\n$$3H\\Pi^2V - 6H\\Pi W + 4WH_1 - 4V\\Phi_1 = 0,$$\n\nor, as we may write it,\n\n$$V(3H\\Pi^2 - 4\\Phi_1) + 2W(2H_1 - 3H\\Pi) = 0;$$\n\nand we can at once make the equation divide by $V$, viz. by assuming\n\n$$\\Pi = \\frac{2}{3} \\frac{H_1}{H} + \\frac{1}{2} \\Lambda V,$$\n\nwhere $\\Lambda$ is arbitrary. We have thus a four-pointic contact. And substituting for $\\Pi$, and throwing out the factor $V$, the equation becomes\n\n$$3H\\left(\\frac{2}{3} \\frac{H_1}{H} + \\frac{1}{2} \\Lambda V\\right)^2 - 4\\Phi_1 + 2W\\left(\\frac{3}{2} H\\Lambda\\right) = 0;$$\n\nor reducing,\n\n$$16(H_1^2 - 3H\\Pi\\Phi_1) - 36H^2\\Lambda W + 24HH_1\\Lambda V + 9H^2\\Lambda^2V^2 = 0,$$\n\nwhich is the equation of the lines drawn from the point of contact to the remaining two points of intersection.\n\n52. I write for greater convenience\n\n$$\\Lambda = -\\frac{4}{9} \\frac{\\Theta}{H^3};$$\n\n$\\Theta$ being as yet indeterminate, the equation is thus reduced to\n\n$$9H^3\\{H(H_1^2 - 3H\\Pi\\Phi_1) + \\Theta W\\} - 6H^2H_1\\Theta V + \\Theta^2V^2 = 0.$$\n\nAnd we have then to determine $\\Theta$ so that the left-hand side may divide by $V$; or, what is the same thing, we must determine $\\Theta$ so that\n\n$$H(H_1^2 - 3H\\Pi\\Phi_1) + \\Theta W$$\n\nmay divide by $V$. This implies the existence of an identical equation,\n\n$$H(H_1^2 - 3H\\Pi\\Phi_1) + \\Theta W = MU + NV,$$\n\nwhich for $U = 0$ would give the decomposition in question; but I have not investigated the values of $M$ and $N$. I assume at the outset $U = 0$, and putting, as before,\n\n$$Q = y^3z^3 + z^3x^3 + x^3y^3 - 3l^2x^2y^2z^2,$$\n\nand writing also\n\n$$S = Xx[(1 + 8l^3)x^4 + (4l + 41l^4)x^2yz + (-2l^2 + 2l^5)y^2z^2]$$\n\n$$+ Yy[(1 + 8l^3)y^4 + (4l + 41l^4)y^2zx + (-2l^2 + 2l^5)z^2x^2]$$\n\n$$+ Zz[(1 + 8l^3)z^4 + (4l + 41l^4)z^2xy + (-2l^2 + 2l^5)x^2y^2],$$\n\nI remark that for $U = 0$ we have\n\n$$-xyzH_1^2 + VS + (1 + 8l^3)(QW - 3x^2y^2z^2\\Phi_1) = 0,$$\n\nan equation which, observing that\n\n$$H = -(1 + 8l^3)xyz,$$\n\nand assuming also\n\n$$\\Theta = (1 + 8l^3)^2Q,$$\nmay be written\n\n\\[ H(H_1^2 - 3H_1Q) + \\Theta W = -(1 + 8l^3)VS, \\]\n\nwhich gives the required decomposition, so that \\( \\Theta \\) having this value, the conic will have a five-pointic contact. Reducing by the last equation, and throwing out the factor \\( V \\), we find\n\n\\[ -9H^3(1 + 8l^3)V - 6H^2\\Theta H_1 + \\Theta^2V = 0 \\]\n\nfor the equation of the line joining the point of contact with the point of simple intersection. And if in this equation we write \\( H = -(1 + 8l^3)xzy \\), and \\( \\Theta = (1 + 8l^3)^2Q \\), we obtain, finally, for the equation of the line in question,\n\n\\[ 9x^3y^3z^3S - 6x^2y^2z^2QH_1 + Q^2V = 0, \\]\n\nwhich is the before-mentioned result.\n\n53. It only remains to verify the assumed equation\n\n\\[ -xyzH_1^2 + VS + (1 + 8l^3)(QW - 3x^2y^2z^2H_1) = 0. \\]\n\nWe may write\n\n\\[ -Q = x^6 + 6lx^4yz + 3l^2x^2y^2z^2 - y^3z^3, \\]\n\nand then observing that\n\n\\[ W = xX^2 + \\cdots + 2lx YZ + \\cdots, \\]\n\\[ H_1 = 3l^2xX^2 + \\cdots - (1 + 2l^3)xYZ - \\cdots, \\]\n\nwe find at once\n\n\\[ (1 + 8l^3)(QW - 3x^2y^2z^2H_1) = \\begin{cases} (x^7 + 6lx^5yz + 12l^2x^3yz - xy^3z^3)X^2 \\\\ + (2lx^7 + 12l^2x^5yz - 3x^3y^2z^2 - 2lx^3yz^3)YZ \\end{cases} \\]\n\nNext writing\n\n\\[ H_1 = (3l^2x^2 - (1 + 2l^3)y)X + \\cdots, \\]\n\\[ V = (x^2 + 2lyz)X + \\cdots, \\]\n\\[ S = x\\{(1 + 8l^3)x^4 + (4l + 41l^4)x^2yz + (-2l^2 + 2l^5)y^2z^2\\}X + \\cdots, \\]\n\nand forming the expression for\n\n\\[ -xyzH_1^2 + VS, \\]\n\nthe coefficient of \\( X^2 \\) is\n\n\\[ -xyz \\{3l^2x^2 - (1 + 2l^3)y\\}^2 \\]\n\\[ + (x^2 + 2lyz)x\\{(1 + 8l^3)x^4 + (4l + 41l^4)x^2yz + (-2l^2 + 2l^5)y^2z^2\\}, \\]\n\nwhich is\n\n\\[ = (1 + 8l^3)(x^7 + 6lx^5yz + 12l^2x^3yz - xy^3z^3); \\]\n\nthe coefficient of \\( YZ \\) is\n\n\\[ -2xyz(3l^2y^2 - (1 + 2l^3)xz)(3l^2z^2 - (1 + 2l^3)xy) \\]\n\\[ + (y^2 + 2lz^2)x\\{(1 + 8l^3)x^4 + (4l + 41l^4)x^2yz + (-2l^2 + 2l^5)y^2z^2\\} \\]\n\\[ + (z^2 + 2lxy)y\\{(1 + 8l^3)y^4 + (4l + 41l^4)y^2zx + (-2l^2 + 2l^5)x^2y^2\\}, \\]\nwhich is\n\n\\[ (1 + 8l^3)\\{y^2z^2(y^3 + z^3) + 8lxyz^3 + 12l^2x^2yz(y^3 + z^3) + 2lx(y^6 + z^6) - 2x^3y^2z^2\\}; \\]\n\nor substituting for \\( y^3 + z^3 \\) and \\( y^6 + z^6 \\) the values \\(-x^3 - 6lxyz\\) and \\((x^3 + 6lxyz)^2 - 2y^2z^2\\) respectively, this is\n\n\\[ (1 + 8l^3)(2lx^7 + 12l^2x^5yz - 3x^2y^2z^2 - 2lxy^3z^3). \\]\n\nWe have thus\n\n\\[ -xyzH_1^2 + VS \\]\n\n\\[ = (1 + 8l^3)\\left( \\begin{array}{c}\n(x^7 + 6lxy^2z + 12l^2x^2yz - xy^3z^3)X^2 \\\\\n+ (2lx^7 + 12l^2x^5yz - 3x^2y^2z^2 - 2lxy^3z^3)YZ\n\\end{array} \\right) \\]\n\nand the equation\n\n\\[ -xyzH_1^2 + VS + (1 + 8l^3)(QW - 3x^2y^2z^2H_1) = 0 \\]\n\nis thus verified.\n\nAddition.—The foregoing memoir was communicated to Mr. Salmon, and I am indebted to him for two notes, containing the extension to a curve of any order, of the preceding investigation for the case of a cubic; I reproduce this extension in the following section.\n\nV. Extension of the last preceding method to a curve of any order.\n\n54. Consider the curve of the \\( m \\)-th order \\( Y = 0 \\), and in the place of the coordinates write \\( \\lambda x + \\mu X, \\lambda y + \\mu Y, \\lambda z + \\mu Z \\), where, as before, \\((x, y, z)\\) are the coordinates of the point of the curve, and \\( X, Y, Z \\) current coordinates; the term involving \\( \\lambda^m \\) vanishes, and dividing out the factor \\( \\mu \\) the equation becomes\n\n\\[ \\lambda^{m-1}DU + \\frac{1}{2}\\lambda^{m-2}\\mu D^2U + \\frac{1}{6}\\lambda^{m-3}\\mu^2D^3U + \\frac{1}{24}\\lambda^{m-4}\\mu^3D^4U + &c. = 0. \\]\n\nMaking the like substitution in \\( D^2U - \\Pi DU = 0 \\), the assumed equation of the five-pointic conic, the factor \\( \\mu \\) divides out and the equation becomes\n\n\\[ 2\\lambda(m-1)DU + \\mu D^2U - (\\lambda P + \\mu \\Pi)D^2U = 0, \\]\n\nor, what is the same thing,\n\n\\[ \\lambda DU(2(m-1) - P) + \\mu(D^2U - \\Pi DU) = 0; \\]\n\nand if from the two equations we eliminate \\( \\lambda, \\mu \\), the result, throwing out the factor \\( DU \\), is\n\n\\[ (D^2U - \\Pi DU)^{m-1} - \\frac{1}{2}(2(m-1) - P)D^2U(D^2U - \\Pi DU)^{m-2} + &c. = 0, \\]\n\nwhere all the terms after the second contain the factor \\( DU \\); the condition in order that the equation may divide by \\( DU \\), is consequently \\( 2(m-1) - P = 2 \\), or \\( P = 2(m-2) \\), the condition of a three-pointic contact. Substituting this value, and dividing by \\( DU \\), the equation becomes\n\n\\[ -\\Pi(D^2U - \\Pi DU)^{m-2} + \\frac{2}{3}D^3U(D^2U - \\Pi DU)^{m-3} - \\frac{1}{3}D^4U.DU(D^2U - \\Pi DU)^{m-4} + &c. = 0, \\]\nwhich will be divisible by \\( DU \\) if \\(-\\Pi D^2U + \\frac{2}{3}D^3U\\) is divisible by \\( DU \\), and the condition for this is found to be, as before,\n\n\\[\n\\Pi = \\frac{2}{3} \\frac{1}{H} DH + \\Lambda DU,\n\\]\n\nwhere \\( \\Lambda \\) is arbitrary; we have thus the conditions of a four-pointic contact.\n\n55. Substituting this value of \\( \\Pi \\), we see that \\( D^3U - \\frac{1}{H} DH \\cdot D^2U \\) divides by \\( DU \\), viz. there exists an identical equation,\n\n\\[\nD^3U - \\frac{1}{H} DH \\cdot D^2U = IU + J \\cdot DU;\n\\]\n\nand hence if \\( U = 0 \\),\n\n\\[\n\\frac{1}{DU} \\left( D^3U - \\frac{1}{H} DH \\cdot D^2U \\right) = J,\n\\]\n\nwhere \\( J \\) is a quadric function of \\( (X, Y, Z) \\). I do not know the general form of this function, but Mr. Salmon has obtained a result which may be generalized as follows, viz. writing for \\( X, Y, Z \\) the values \\( B\\nu - C\\mu, C\\lambda - A\\nu, A\\mu - B\\lambda \\) (where, as before, \\( A, B, C \\) are the first derived functions of \\( U \\) and \\( \\lambda, \\mu, \\nu \\) are arbitrary), the expression for \\( J \\) is\n\n\\[\nJ = \\frac{1}{DU} \\left( D^3U - \\frac{1}{H} DH \\cdot D^2U \\right) = \\frac{3(m-2)}{(m-1)} \\Phi - \\frac{1}{(m-1)H} \\Box \\Omega;\n\\]\n\na formula which will be presently useful.\n\n56. The foregoing equation may be written\n\n\\[\n(D^2U)^{m-3}(-\\Pi D^2U + \\frac{2}{3}D^3U)\n+ (D^2U)^{m-4}DU \\{ (m-2)\\Pi D^2U - \\frac{2}{3}(m-3)\\Pi D^3U - \\frac{1}{3}D^4U \\} + &c.(DU)^2... = 0;\n\\]\n\nand the term \\(-\\Pi D^2U + \\frac{2}{3}D^3U\\) is equal to\n\n\\[\n\\frac{2}{3} \\left( D^3U - \\frac{1}{H} DH \\cdot D^2U \\right) - \\Lambda DU \\cdot D^2U = \\frac{2}{3} JDU - \\Lambda DU \\cdot D^2U.\n\\]\n\nSubstituting this value the equation divides by \\( DU \\), and throwing out this factor it becomes\n\n\\[\n(D^2U)^{m-3}(\\frac{2}{3}J - \\Lambda D^2U)\n+ (D^2U)^{m-4} \\{ (m-2)\\Pi D^2U - \\frac{2}{3}(m-3)\\Pi D^3U - \\frac{1}{3}D^4U \\} + &c.DU = 0;\n\\]\n\nor observing that \\( \\frac{2}{3}\\Pi D^3U = \\Pi D^2U + \\) term containing \\( DU \\), this may be written\n\n\\[\n(D^2U)^{m-3}(\\frac{2}{3}J - \\Lambda D^2U) + (D^2U)^{m-4}(\\Pi D^2U - \\frac{1}{3}D^4U) + &c.DU = 0.\n\\]\n\n57. If the equation divides by \\( DU \\) we shall have a five-pointic contact; the condition for this is that\n\n\\[\n-\\Lambda(D^2U)^2 + \\frac{2}{3}JD^2U + \\Pi D^2U - \\frac{1}{3}D^4U\n\\]\n\nmay divide by \\( DU \\), or more simply that\n\n\\[\n-\\Lambda(D^2U)^2 + \\frac{2}{3}JD^2U + \\frac{4}{9} \\left( \\frac{1}{H} DH \\right)^2 D^2U - \\frac{1}{3}D^4U\n\\]\n\nmay divide by \\( DU \\), or, what is the same thing, the function in question must vanish in virtue of the substitution of the values \\( B\\nu - C\\mu, C\\lambda - A\\nu, A\\mu - B\\lambda \\) in the place of \\( X, Y, Z \\).\nThe expression for $J$ has just been given; we have besides\n\n$$\\left(\\frac{1}{H}DH\\right)^2 = \\frac{(m-1)^4}{H^2}Q_3^2, \\quad D^4U = -Q_4S^2,$$\n\nwhere the values of $Q_3^2$, $Q_4$ are given (ante, No. 27); we have thus\n\n58. $$\\frac{1}{DU}\\left(D^3U - \\frac{1}{H}DH.D^2U\\right) = \\frac{3(m-2)}{m-1}\\Phi - \\frac{1}{(m-1)H} \\Box S,$$\n\n$$\\frac{4}{9}\\left(\\frac{1}{H}DH\\right)^2 = -\\frac{4(m-2)^2}{(m-1)^2}\\Phi + \\frac{4}{3}\\frac{(m-2)^2}{(m-1)^2} \\Box S - \\frac{4}{9}\\frac{1}{(m-1)^2} \\frac{1}{H^2} \\Psi S^2,$$\n\n$$-\\frac{1}{3}D^4U = S^2\\left[-\\frac{2(m-2)(m-3)}{(m-1)^4}\\Phi H + \\frac{4}{3}\\frac{(m-3)}{(m-1)^4} \\Box S - \\frac{1}{3}\\frac{1}{(m-1)^4} \\Omega S^2\\right]$$\n\nand\n\n$$D^3U = -\\frac{1}{(m-1)^2}HS^2,$$\n\nwhence\n\n$$\\Lambda \\frac{1}{(m-1)^4}H^2S^4 =$$\n\n$$-\\frac{3}{3}\\frac{1}{(m-1)^2}HS^2\\left\\{\\frac{3(m-2)}{m-1}\\Phi - \\frac{1}{(m-1)H} \\Box S\\right\\}$$\n\n$$-\\frac{1}{(m-1)^2}HS^2\\left\\{-\\frac{4(m-2)^2}{(m-1)^2}\\Phi + \\frac{4}{3}\\frac{(m-2)}{(m-1)^2} \\Box S - \\frac{4}{9}\\frac{1}{(m-1)^2} \\frac{1}{H^2} \\Psi S^2\\right\\}$$\n\n$$+S^2\\left[-\\frac{2(m-2)(m-3)}{(m-1)^4}\\Phi H + \\frac{4}{3}\\frac{(m-3)}{(m-1)^4} \\Box S - \\frac{1}{3}\\frac{1}{(m-1)^4} \\Omega S^2\\right]$$\n\n$$= \\frac{1}{9(m-1)^4H}(4\\Psi - 3\\Omega H),$$\n\nand consequently\n\n$$\\Lambda = \\frac{1}{9H^3}(4\\Psi - 3\\Omega H),$$\n\nwhich agrees with the result before obtained, and thus the present method gives the complete solution of the problem.",
  "source": "olmocr",
  "added": "2026-01-12",
  "created": "2026-01-12",
  "metadata": {
    "Source-File": "/home/jic823/projects/def-jic823/royalsociety/pdfs/108705.pdf",
    "olmocr-version": "0.3.4",
    "pdf-total-pages": 31,
    "total-input-tokens": 50172,
    "total-output-tokens": 28431,
    "total-fallback-pages": 0
  },
  "attributes": {
    "pdf_page_numbers": [
      [
        0,
        0,
        1
      ],
      [
        0,
        2554,
        2
      ],
      [
        2554,
        4848,
        3
      ],
      [
        4848,
        6991,
        4
      ],
      [
        6991,
        9492,
        5
      ],
      [
        9492,
        11653,
        6
      ],
      [
        11653,
        13765,
        7
      ],
      [
        13765,
        15493,
        8
      ],
      [
        15493,
        17426,
        9
      ],
      [
        17426,
        19269,
        10
      ],
      [
        19269,
        20641,
        11
      ],
      [
        20641,
        22671,
        12
      ],
      [
        22671,
        24635,
        13
      ],
      [
        24635,
        26621,
        14
      ],
      [
        26621,
        28525,
        15
      ],
      [
        28525,
        30490,
        16
      ],
      [
        30490,
        32287,
        17
      ],
      [
        32287,
        34437,
        18
      ],
      [
        34437,
        36694,
        19
      ],
      [
        36694,
        38989,
        20
      ],
      [
        38989,
        41342,
        21
      ],
      [
        41342,
        43628,
        22
      ],
      [
        43628,
        45388,
        23
      ],
      [
        45388,
        48309,
        24
      ],
      [
        48309,
        50975,
        25
      ],
      [
        50975,
        53273,
        26
      ],
      [
        53273,
        55312,
        27
      ],
      [
        55312,
        57176,
        28
      ],
      [
        57176,
        59595,
        29
      ],
      [
        59595,
        62196,
        30
      ],
      [
        62196,
        63594,
        31
      ]
    ],
    "primary_language": [
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en",
      "en"
    ],
    "is_rotation_valid": [
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true,
      true
    ],
    "rotation_correction": [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    "is_table": [
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false
    ],
    "is_diagram": [
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false,
      false
    ]
  },
  "jstor_metadata": {
    "identifier": "jstor-108705",
    "title": "On the Conic of Five-Pointic Contact at Any Point of a Plane Curve",
    "authors": "A. Cayley",
    "year": 1859,
    "volume": "149",
    "journal": "Philosophical Transactions of the Royal Society of London",
    "page_count": 31,
    "jstor_url": "https://www.jstor.org/stable/108705"
  }
}