{
  "id": "432cb1efd8ab27ff82b24d72cfb56c4d5a112573",
  "text": "XIV. Analytical Researches connected with Steiner's Extension of Malfatti's Problem. By Arthur Cayley, M.A., Fellow of Trinity College, Cambridge. Communicated by J. J. Sylvester, Esq., F.R.S.\n\nReceived April 12,—Read May 27, 1852.\n\nThe problem, in a triangle to describe three circles each of them touching the two others and also two sides of the triangle, has been termed after the Italian geometer by whom it was proposed and solved, Malfatti's problem. The problem which I refer to as Steiner's extension of Malfatti's problem is as follows:—\"To determine three sections of a surface of the second order, each of them touching the two others, and also two of three given sections of the surface of the second order,\" a problem proposed in Steiner's memoir, 'Einige geometrische Betrachtungen,' Crelle, t. i.\n\nThe geometrical construction of the problem in question is readily deduced from that given in the memoir just mentioned for a somewhat less general problem, viz. that in which the surface of the second order is replaced by a sphere; it is for the sake of the analytical developments to which the problem gives rise, that I propose to resume here the discussion of the problem. The following is an analysis of the present memoir:\n\n§ 1. Contains a lemma which appears to me to constitute the foundation of the analytical theory of the sections of a surface of the second order.\n\n§ 2. Contains a statement of the geometrical construction of Steiner's extension of Malfatti's problem.\n\n§ 3. Is a verification, founded on a particular choice of coordinates, of the construction in question.\n\n§ 4. In this section, referring the surface of the second order to absolutely general coordinates, and after an incidental solution of the problem to determine a section touching three given sections, I obtain the equations for the solution of Steiner's extension of Malfatti's problem.\n\n§ 5. Contains a separate discussion of a system of equations, including as a particular case the equations obtained in the preceding section.\n\n§§ 6 and 7. Contain the application of the formulæ for the general system to the equations in § 4, and the development and completion of the solution.\n\n§ 8. Is an extension of some preceding formulæ to quadratic functions of any number of variables.\n§ 1. Lemma relating to the sections of a surface of the second order.\n\nIf\n\n\\[ ax^2 + by^2 + cz^2 + dw^2 + 2fyz + 2gzx + 2hxy + 2lzw + 2myw + 2nzw = 0 \\]\n\nbe the equation of a surface of the second order, and\n\n\\[ Ax^2 + By^2 + Cz^2 + Dw^2 + 2Fyz + 2Gzx + 2Hxy + 2Lzw + 2Myw + 2Nzw = 0 \\]\n\nthe reciprocal equation, the condition that the two sections\n\n\\[ \\lambda x + \\mu y + \\nu z + \\xi w = 0 \\]\n\\[ \\lambda' x + \\mu' y + \\nu' z + \\xi' w = 0 \\]\n\nmay touch, is\n\n\\[\n\\begin{align*}\n& (A\\lambda^2 + B\\mu^2 + C\\nu^2 + D\\xi^2 + 2F\\mu\\nu + 2G\\lambda\\xi + 2H\\lambda\\nu + 2L\\mu\\xi + 2M\\mu\\nu + 2N\\xi\\nu) \\\\\n\\times & (A\\lambda'^2 + B\\mu'^2 + C\\nu'^2 + D\\xi'^2 + 2F'\\mu'\\nu' + 2G'\\lambda'\\xi' + 2H'\\lambda'\\nu' + 2L'\\mu'\\xi' + 2M'\\mu'\\nu' + 2N'\\xi'\\nu') \\\\\n= & (A\\lambda\\lambda' + B\\mu\\mu' + C\\nu\\nu' + D\\xi\\xi' + F(\\mu'\\nu' + \\mu\\nu') + G(\\nu'\\lambda' + \\nu\\lambda) + H(\\lambda'\\mu' + \\lambda\\mu) + L(\\xi'\\mu' + \\xi\\mu) \\\\\n+ & M(\\mu\\xi' + \\mu'\\xi) + N(\\nu\\xi' + \\nu'\\xi)).\n\\end{align*}\n\\]\n\nAnd in particular if the equation of the surface be\n\n\\[ ax^2 + by^2 + cz^2 + 2fyz + 2gzx + 2hxy + pw^2 = 0, \\]\n\nthe condition of contact is\n\n\\[\n\\begin{align*}\n& (A\\lambda^2 + B\\mu^2 + C\\nu^2 + 2F\\mu\\nu + 2G\\lambda\\xi + K/p\\xi^2)^{\\frac{1}{2}} \\\\\n\\times & (A\\lambda'^2 + B\\mu'^2 + C\\nu'^2 + 2F'\\mu'\\nu' + 2G'\\lambda'\\xi' + K/p\\xi'^2)^{\\frac{1}{2}} \\\\\n= & (A\\lambda\\lambda' + B\\mu\\mu' + C\\nu\\nu' + F(\\mu'\\nu' + \\mu\\nu') + G(\\nu'\\lambda' + \\nu\\lambda) + H(\\lambda'\\mu' + \\lambda\\mu) + K/p\\xi'\\xi),\n\\end{align*}\n\\]\n\nin which last formula\n\n\\[ A = bc - f^2, \\quad B = ca - g^2, \\quad C = ab - h^2, \\]\n\\[ F = gh - af, \\quad G = hf - bg, \\quad H = fg - ch, \\]\n\\[ K = abc - af^2 - bg^2 - ch^2 + 2fgh. \\]\n\n§ 2.\n\nIn order to state in the most simple form the geometrical construction for the solution of Steiner's extension of Malpatti's problem, let the given sections be called for conciseness the determinators*; any two of these sections lie in two different cones, the vertices of which determine with the line of intersection of the planes of the determinators, two planes which may be termed bisectors; the six bisectors pass three and three through four straight lines; and it will be convenient to use the term bisectors to denote, not the entire system, but any three bisectors passing through the same line. Consider three sections, which may be termed tactors, each of them touching a determinator and two bisectors, and three other sections (which may be termed separators) each of them passing through the point of contact\n\n* I use the words 'determinators,' &c. to denote indifferently the sections or the planes of the sections; the context is always sufficient to prevent ambiguity.\nof a determinator and tactor and touching the other two tactors; the separators will intersect in a line which passes through the point of intersection of the determinators. The three required sections, or as I shall term them the resultors, are determined by the conditions that each resultor touches two determinators and two separators, the possibility of the construction being implied as a theorem. The *à posteriori* verification may be obtained as follows:\n\n§ 3.\n\nLet \\(x=0, y=0, z=0\\) be the equations of the resultors, \\(w=0\\) the equation of the polar of the point of intersection of the resultors. Since the resultors touch two and two, the equation of the surface is easily seen to be of the form\n\n\\[\n2yz + 2zx + 2xy + w^2 = 0.\n\\]\n\nThe determinators are sections each of them touching two resultors, but otherwise arbitrary; their equations are\n\n\\[\n-\\alpha x + \\frac{1}{2\\alpha} y + \\frac{1}{2\\alpha} z + w = 0,\n\\]\n\\[\n\\frac{1}{2\\beta} x - \\beta y + \\frac{1}{2\\beta} z + w = 0,\n\\]\n\\[\n\\frac{1}{2\\gamma} x + \\frac{1}{2\\gamma} y - \\gamma z + w = 0.\n\\]\n\nThe separators are sections each of them touching two resultors at their point of contact (or what is the same thing, passing through the line of intersection of two resultors), and all of them having a line in common. Their equations may be taken to be\n\n\\[\ncy - bz = 0, \\quad az - cx = 0, \\quad bx - ay = 0,\n\\]\n\nthe values of \\(a, b, c\\) remaining to be determined. Now before fixing the values of these quantities, we may find three sections each of them touching a determinator at a point of intersection with the section which corresponds to it of the sections \\(cy - bz = 0, az - cx = 0, bx - ay = 0\\), and touching the other two of the last-mentioned sections; and when \\(a, b, c\\) have their proper values the sections so found are the tactors. For, let \\(\\lambda x + \\mu y + \\nu z + \\xi w = 0\\) be the equation of a section touching the determinator \\(-\\alpha x + \\frac{1}{2\\alpha} y + \\frac{1}{2\\alpha} z + w = 0\\), and the two sections \\(bx - ay = 0, az - cx = 0\\), and suppose\n\n\\[\n\\Delta^2 = \\lambda^2 + \\mu^2 + \\nu^2 - 2\\mu\\nu - 2\\nu\\xi - 2\\lambda\\mu - 2\\xi^2;\n\\]\n\nthe conditions of contact with the sections \\(bx - ay = 0, az - cx = 0\\) are found to be\n\n\\[\n(b+a)\\Delta = (b+a)\\lambda - (b+a)\\mu - (b-a)\\nu,\n\\]\n\\[\n(c+a)\\Delta = (c+a)\\lambda - (c-a)\\mu - (c+a)\\nu,\n\\]\n\nvalues, however, which suppose a correspondence in the signs of the radicals. Thence\n\n* The reciprocal form is, it should be noted,\n\n\\[\nx^2 + y^2 + z^2 - 2yz - 2zx - 2xy - 2w^2 = 0.\n\\]\n\\[(b+a)\\mu=(c+a)\\nu;\\text{ or since the ratios only of the quantities } \\lambda, \\mu, \\nu, \\xi \\text{ are material,} \\\\\n\\mu=c+a, \\nu=b+a,\\text{ and therefore} \\\\\n\\Delta^2=\\lambda^2-2(2a+b+c)\\lambda+(b-c)^2-2\\xi^2=(\\lambda-b-c)^2, \\\\\n\\text{or} \\\\\n\\xi^2=-2(a\\lambda+bc). \\\\\n\\text{Whence the equation to a section touching } bx-ay=0, az-cx=0 \\text{ is} \\\\\n\\lambda x+(c+a)y+(b+a)z+\\sqrt{-2(a\\lambda+bc)}w=0. \\\\\n\\text{And to express that this touches the determinator in question, we have} \\\\\n\\pm\\alpha(\\lambda-b-c)=\\left(\\alpha+\\frac{1}{\\alpha}\\right)\\lambda-\\alpha(2a+b+c)+2\\sqrt{-2(a\\lambda+bc)}; \\\\\n\\text{and selecting the upper sign,} \\\\\n\\frac{1}{\\alpha}\\lambda-2aa=-2\\sqrt{-2(a\\lambda+bc)}; \\\\\n\\text{whence} \\\\\n\\lambda=-2\\alpha(aa-\\sqrt{-2bc}), \\quad \\sqrt{-2(a\\lambda+bc)}=(2aa-\\sqrt{-2bc}); \\\\\n\\text{or the section touching the determinator and the sections } bx-ay=0, az-cx=0 \\text{ is} \\\\\n-2\\alpha(aa-\\sqrt{-2bc})x+(c+a)y+(b+a)z+(2aa-\\sqrt{-2bc})w=0; \\\\\n\\text{and at the point of contact with the determinator} \\\\\n-\\alpha x+\\frac{1}{2\\alpha}y+\\frac{1}{2\\alpha}z+w=0 \\\\\n2yz+2zx+2xy+w^2=0. \\\\\n\\text{Eliminating } w \\text{ between the first and second equations and between the second and third equations,} \\\\\n\\sqrt{-2bc}\\left(\\alpha x+\\frac{1}{2\\alpha}y+\\frac{1}{2\\alpha}z\\right)+cy+bz=0, \\\\\n\\left(\\alpha x+\\frac{1}{2\\alpha}y+\\frac{1}{2\\alpha}z\\right)^2+2yz=0; \\\\\n\\text{and from these equations } (cy-bz)^2=0, \\text{ or the point of contact lies in the section } cy-bz=0. \\text{ It follows that the equations of the factors are} \\\\\n-2\\alpha(aa-\\sqrt{-2bc})x+(c+a)y+(b+a)z+(2aa-\\sqrt{-2bc})w=0 \\\\\n(c+b)x-2\\beta(b\\beta-\\sqrt{-2ca})y+(a+b)z+(2b\\beta-\\sqrt{-2ca})w=0 \\\\\n(b+c)x+(a+c)y-2\\gamma(c\\gamma-\\sqrt{-2ab})z+(2c\\gamma-\\sqrt{-2ab})w=0, \\\\\n\\text{where } a, b, c \\text{ still remain to be determined.} \\\\\n\\text{Now the separators pass through the point of intersection of the determinators; the equations of these give for the point in question,} \\\\\nx:y:z:w=(2\\beta\\gamma+1)(-\\alpha+\\beta+\\gamma+2\\alpha\\beta\\gamma) \\\\\n: (2\\gamma\\alpha+1)(\\alpha-\\beta+\\gamma+2\\alpha\\beta\\gamma) \\\\\n: (2\\alpha\\beta+1)(\\alpha+\\beta-\\gamma+2\\alpha\\beta\\gamma) \\\\\n: 4\\alpha^3\\beta^3\\gamma^3-1+\\alpha^2+\\beta^2+\\gamma^2;\nand the values of \\(a\\), \\(b\\), \\(c\\) are therefore\n\n\\[\na : b : c = (2\\beta + 1)(-\\alpha + \\beta + \\gamma + 2\\alpha\\beta\\gamma) \\\\\n: (2\\gamma + 1)(\\alpha - \\beta + \\gamma + 2\\alpha\\beta\\gamma) \\\\\n: (2\\alpha + 1)(\\alpha + \\beta - \\gamma + 2\\alpha\\beta\\gamma),\n\\]\n\nwhich are to be substituted for \\(a\\), \\(b\\), \\(c\\) in the equations of the separators and tacters respectively.\n\nNow proceeding to find the bisectors, let \\(\\lambda x + \\mu y + \\nu z + \\xi w = 0\\) be the equation of a section touching the determinators,\n\n\\[\n\\frac{1}{2\\beta}x - \\beta y + \\frac{1}{2\\beta}z + w = 0, \\quad \\frac{1}{2\\gamma}x + \\frac{1}{2\\gamma}y - \\gamma z + w = 0.\n\\]\n\nAnd suppose, as before, \\(\\Delta^2 = \\lambda^2 + \\mu^2 + \\nu^2 - 2\\mu\\nu - 2\\lambda\\mu - 2\\xi^2\\); the conditions of contact are\n\n\\[\n\\pm \\beta \\Delta = \\beta \\lambda - (\\beta + \\frac{1}{\\beta})\\mu + \\beta \\nu - 2\\xi \\\\\n\\mp \\gamma \\Delta = \\gamma \\lambda + \\gamma \\mu - (\\gamma + \\frac{1}{\\gamma})\\nu - 2\\xi,\n\\]\n\nwhere it is necessary, for the present purpose, to give opposite signs to the radicals.\n\nFor if the radicals had the same sign, it would follow that\n\n\\[\n\\frac{1}{\\beta}[\\beta \\lambda - (\\beta + \\frac{1}{\\beta})\\mu + \\beta \\nu - 2\\xi] - \\frac{1}{\\gamma}[\\gamma \\lambda + \\gamma \\mu - (\\gamma + \\frac{1}{\\gamma})\\nu - 2\\xi] = 0;\n\\]\n\nor the equation \\(\\lambda x + \\mu y + \\nu z + \\xi w = 0\\) would pass through the point\n\n\\[\nx : y : z : w = 0; \\quad \\frac{1}{\\beta^2} : \\frac{1}{\\gamma^2} : -\\frac{2}{\\beta} + \\frac{2}{\\gamma};\n\\]\n\nor the section would be a tangent section of the two determinators of the same class with the resultor \\(x = 0\\), which ought not to be the case. The proper formula is\n\n\\[\n\\frac{1}{\\beta}[\\beta \\lambda - (\\beta + \\frac{1}{\\beta})\\mu + \\beta \\nu - 2\\xi] + \\frac{1}{\\gamma}[\\gamma \\lambda + \\gamma \\mu - (\\gamma + \\frac{1}{\\gamma})\\nu - 2\\xi] = 0.\n\\]\n\nAnd this equation being satisfied, the section\n\n\\[\n\\lambda x + \\mu y + \\nu z + \\xi w = 0\n\\]\n\npasses through a point\n\n\\[\nx : y : z : w = 2 : -\\frac{1}{\\beta^2} : -\\frac{1}{\\gamma^2} : -\\frac{2}{\\beta} - \\frac{2}{\\gamma}.\n\\]\n\nThe bisector passes through this point and the line of intersection of the determinators; its equation is\n\n\\[\n\\frac{1}{\\beta}(\\frac{1}{2\\beta}x - \\beta y + \\frac{1}{2\\beta}z + w) - \\frac{1}{\\gamma}(\\frac{1}{2\\gamma}x + \\frac{1}{2\\gamma}y - \\gamma z + w) = 0;\n\\]\n\nor reducing and completing the system, the equations of the bisectors are\n\n\\[\n\\left(\\frac{1}{2\\beta^2} - \\frac{1}{2\\gamma^2}\\right)x - \\left(1 + \\frac{1}{2\\gamma^2}\\right)y + \\left(1 + \\frac{1}{2\\beta^2}\\right)z + \\left(\\frac{1}{\\beta} - \\frac{1}{\\gamma}\\right)w = 0, \\\\\n\\left(1 + \\frac{1}{2\\gamma^2}\\right)x + \\left(\\frac{1}{2\\gamma^2} - \\frac{1}{2\\alpha^2}\\right)y - \\left(1 + \\frac{1}{2\\alpha^2}\\right)z + \\left(\\frac{1}{\\gamma} - \\frac{1}{\\alpha}\\right)w = 0, \\\\\n-\\left(1 + \\frac{1}{2\\beta^2}\\right)x + \\left(1 + \\frac{1}{2\\alpha^2}\\right)y + \\left(\\frac{1}{2\\alpha^2} - \\frac{1}{2\\beta^2}\\right)z + \\left(\\frac{1}{\\alpha} - \\frac{1}{\\beta}\\right)w = 0.\n\\]\nAnd in order to verify the geometrical construction, it only remains to show that each bisector touches two tactor. Consider the bisector and tactor\n\n\\[-(1 + \\frac{1}{2\\beta^2})x + (1 + \\frac{1}{2\\alpha^2})y + (\\frac{1}{2\\alpha^2} - \\frac{1}{2\\beta^2})z + (\\frac{1}{\\alpha} - \\frac{1}{\\beta})w = 0,\\]\n\n\\[-2\\alpha(aa - \\sqrt{-2bc})x + (c+a)y + (b+a)z + (2aa - \\sqrt{-2bc})w = 0;\\]\n\nand represent these for a moment by\n\n\\[\\lambda x + \\mu y + \\nu z + \\xi w = 0, \\quad \\lambda' x + \\mu' y + \\nu' z + \\xi' w = 0.\\]\n\nIf $\\Delta$ be the same as before, and $\\Delta'$ the like function of $\\lambda', \\mu', \\nu', \\xi'$, also if\n\n\\[\\Phi = \\lambda \\lambda' + \\mu \\mu' + \\nu \\nu' - (\\mu \\nu' + \\mu' \\nu) - (\\nu \\lambda' + \\nu' \\lambda) - (\\lambda \\mu' + \\lambda' \\mu) - 2\\xi \\xi',\\]\n\nthen\n\n\\[\\Delta^2 = \\left(2 + \\frac{1}{\\alpha \\beta}\\right)^2,\\]\n\n\\[\\Delta'^2 = (2aa^2 - 2a\\sqrt{-2bc} + b + c)^2,\\]\n\n\\[\\Phi = aa^2 \\left(2 + \\frac{1}{\\alpha \\beta}\\right)^3 - 2a\\sqrt{-2bc} \\left(2 + \\frac{1}{\\alpha \\beta}\\right) + c \\left(2 + \\frac{1}{\\beta^2}\\right);\\]\n\nand the condition of contact $\\Delta \\Delta' = \\Phi$ (taking the proper sign for the radicals) becomes\n\n\\[\\left(2 + \\frac{1}{\\alpha \\beta}\\right)(2aa^2 - 2a\\sqrt{-2bc} + b + c) = aa^2 \\left(2 + \\frac{1}{\\alpha \\beta}\\right)^2 - 2a\\sqrt{-2bc} \\left(2 + \\frac{1}{\\alpha \\beta}\\right) + c \\left(2 + \\frac{1}{\\beta^2}\\right);\\]\n\nor reducing,\n\n\\[aa - b\\beta + c\\frac{\\alpha - \\beta}{2\\alpha \\beta + 1} = 0,\\]\n\nan equation which is evidently not altered by the interchange of $a, \\alpha$ and $b, \\beta$. The conditions, in order that each bisector may touch two tactor, reduce themselves to the three equations,\n\n\\[aa - b\\beta + c\\frac{\\alpha - \\beta}{2\\alpha \\beta + 1} = 0,\\]\n\n\\[a\\frac{\\beta - \\gamma}{2\\beta \\gamma + 1} + b\\beta - c\\gamma = 0,\\]\n\n\\[-aa + b\\frac{\\gamma - \\alpha}{2\\alpha \\gamma + 1} + c\\gamma = 0,\\]\n\nwhich are satisfied by the values above found for the quantities $a, b, c$. The possibility and truth of the geometrical construction are thus demonstrated.\n\n§ 4.\n\nLet it be in the first instance proposed to find the equation of a section touching all or any of the sections $x = 0, y = 0, z = 0$ of the surface of the second order,\n\n\\[ax^3 + by^3 + cz^3 + 2fyz + 2gzx + 2hxy + pw^3 = 0.\\]\n\nAny section whatever of this surface may be written in the form\n\n\\[(a\\lambda + h\\mu + g\\nu)x + (h\\lambda + b\\mu + f\\nu)y + (g\\lambda + f\\mu + c\\nu)z + \\sqrt{-p} \\nabla w = 0,\\]\nwhere\n\n\\[ \\nabla^2 = a\\lambda^2 + b\\mu^2 + cv^2 + 2f\\mu\\nu + 2g\\lambda\\nu + 2h\\lambda\\mu - K, \\]\n\nwhere \\( \\lambda, \\mu, \\nu \\) are indeterminate. And considering any other section represented by a like equation,\n\n\\[ (a\\lambda' + h\\mu' + gv')x + (h\\lambda' + b\\mu' + f\\nu')y + (g\\lambda' + f\\mu' + cv')z + \\sqrt{-p}\\nabla'w = 0, \\]\n\nwhere\n\n\\[ \\nabla' = a\\lambda'^2 + b\\mu'^2 + cv'^2 + 2f\\mu'\\nu' + 2g\\lambda'\\nu' + 2h\\lambda'\\mu' - K, \\]\n\nit may be shown by means of the lemma previously given, that the condition of contact is\n\n\\[ a\\lambda\\lambda' + b\\mu\\mu' + cv' + f(\\mu\\nu' + \\mu'\\nu) + g(\\nu\\lambda' + \\nu'\\lambda) + h(\\lambda\\mu' + \\lambda'\\mu) \\pm K = \\nabla\\nabla'. \\]\n\nSuppose that \\( \\lambda', \\mu', \\nu' \\) satisfy the equations\n\n\\[ \\nabla' = 0, \\]\n\\[ h\\lambda' + b\\mu' + f\\nu' = 0, \\]\n\\[ g\\lambda' + f\\mu' + cv' = 0, \\]\n\nso that the last mentioned section becomes \\( x = 0 \\); and observing that the first of the above equations may be transformed into\n\n\\[ a\\lambda' + h\\mu' + gv' = \\frac{K}{\\lambda'}, \\]\n\nit is easy to obtain \\( \\lambda' = \\sqrt{\\bar{A}}, \\mu' = \\frac{\\bar{B}}{\\sqrt{\\bar{A}}}, \\nu' = \\frac{\\bar{C}}{\\sqrt{\\bar{A}}} \\). The condition of contact becomes\n\n\\[ \\frac{K}{\\sqrt{\\bar{A}}}\\lambda \\pm K = 0. \\]\n\nAnd taking the under sign, \\( \\lambda = \\sqrt{\\bar{A}} \\), so that if in the above written equation we establish all or any of the equations \\( \\lambda = \\sqrt{\\bar{A}}, \\mu = \\sqrt{\\bar{B}}, \\nu = \\sqrt{\\bar{C}} \\), we have the equation of a section touching all or the corresponding sections of the sections\n\n\\[ x = 0, y = 0, z = 0. \\]\n\nIn particular we have for a solution of the problem of tactions, the following equation of the section touching \\( x = 0, y = 0, z = 0 \\), viz.\n\n\\[ (a\\sqrt{\\bar{A}} + h\\sqrt{\\bar{B}} + g\\sqrt{\\bar{C}})x + (h\\sqrt{\\bar{A}} + b\\sqrt{\\bar{B}} + f\\sqrt{\\bar{C}})y + (g\\sqrt{\\bar{A}} + f\\sqrt{\\bar{B}} + c\\sqrt{\\bar{C}})z + \\frac{\\sqrt{-p}}{\\sqrt{K}}\\sqrt{2(\\sqrt{\\bar{BC}} - \\bar{F})(\\sqrt{\\bar{AC}} - \\bar{G})(\\sqrt{\\bar{AB}} - \\bar{H})}w = 0. \\]\n\nAnticipating the use of a notation the value of which will subsequently appear, or putting\n\n\\[ f = \\sqrt{\\bar{A}}\\sqrt{\\sqrt{\\bar{BC}} - \\bar{F}}, \\quad g = \\sqrt{\\bar{B}}\\sqrt{\\sqrt{\\bar{AC}} - \\bar{G}}, \\quad h = \\sqrt{\\bar{C}}\\sqrt{\\sqrt{\\bar{AB}} - \\bar{H}}, \\quad J = \\sqrt{2}\\sqrt{\\bar{ABC}}, \\]\n\nvalues which give\n\n\\[ K^2 = -f^4 - g^4 - h^4 + 2g^2h^2 + 2h^2f^2 + 2f^2g^2 - \\frac{4f^2g^2h^2}{J^2}, \\]\n\nthe equation of the section in question is\n\n\\[ \\frac{f^2}{\\sqrt{\\bar{A}}}(-f^2 + g^2 + h^2)x + \\frac{g^2}{\\sqrt{\\bar{B}}}(f^2 - g^2 + h^2)y + \\frac{h^2}{\\sqrt{\\bar{C}}}(f^2 + g^2 - h^2)z + \\frac{fg\\sqrt{-p}}{J}w = 0. \\]\nI proceed to investigate a transformation of the equation for the section with an indeterminate parameter $\\lambda$, which touches the two sections $y=0$, $z=0$. We have\n\n$$a\\nabla^2 = (a\\lambda + h\\mu + gv)^2 + (C\\mu^2 + Bv^2 - 2f\\mu v) - BC + F^2;$$\n\nor putting for $\\mu$ and $v$ their values $\\sqrt{E}$, $\\sqrt{C}$ in the second term,\n\n$$a\\nabla^2 = (a\\lambda + h\\mu + gv)^2 + (\\sqrt{BC} - F)^2;$$\n\nor introducing instead of $\\lambda$ an indeterminate quantity $X$, such that\n\n$$a\\lambda + h\\mu + gv = (\\sqrt{BC} - F)X,$$\n\nwe have\n\n$$a\\nabla^2 = (\\sqrt{BC} - F)\\sqrt{1 + X^2}.$$\n\nAlso introducing throughout $X$ instead of $\\lambda$, and completing the substitution of $\\sqrt{E}$, $\\sqrt{C}$ for $\\mu$, $v$, the equation of the section touching $y=0$, $z=0$, becomes\n\n$$(ax + hy + gz)X + y\\sqrt{C} + z\\sqrt{B} + \\sqrt{-ap}\\sqrt{1 + X^2}.w = 0.$$  \n\nAnd it may be remarked in passing, that this is a very convenient form for the demonstration of the theorem; \"If two sections of a surface of the second order touch each other, and are also tangent sections (of the same class) to two fixed sections, then considering the planes through the axis of the fixed sections and the poles of the tangent sections, and also the tangent planes through this axis, the anharmonic ratio of the four planes is independent of the position of the moveable tangent sections;\" where by the axis of the fixed sections is to be understood the line joining their poles.\n\nThe sections touching $z=0$, $x=0$, and $x=0$, $y=0$, are of course\n\n$$x\\sqrt{C} + (hx + by + fz)Y + z\\sqrt{A} + \\sqrt{-bp}\\sqrt{1 + Y^2}.w = 0$$\n\n$$x\\sqrt{E} + y\\sqrt{A} + (gx + fy + cz)Z + \\sqrt{-cp}\\sqrt{1 + Z^2}.w = 0,$$\n\nwhere\n\n$$h\\lambda' + b\\mu' + fv' = (\\sqrt{CA} - G)Y, \\quad \\lambda' = \\sqrt{A}, \\quad \\mu' = \\mu', \\quad v' = \\sqrt{C}$$\n\n$$g\\lambda'' + f\\mu'' + cv'' = (\\sqrt{AB} - H)Z, \\quad \\lambda'' = \\sqrt{A}, \\quad \\mu'' = \\sqrt{B}, \\quad v'' = v'.$$\n\nThe conditions of contact of the sections represented by the above written equations would be perhaps most simply obtained directly from the lemma, but it is proper to deduce it from the formula for contact used in the present memoir. If for shortness\n\n$$\\Phi(\\pm) = a\\lambda'\\lambda'' + b\\mu'\\mu'' + c\\mu'' + f(\\mu'\\mu'' + \\mu''\\nu') + g(\\nu'\\lambda'' + \\nu''\\lambda') + h(\\lambda'\\mu'' + \\lambda''\\mu') \\pm K,$$\n\nwhere the symbol $\\Phi(\\pm)$ is used in order to mark the essentially different character of the results corresponding to the different values of the ambiguous sign, then\n\n$$bc\\Phi(-) = f(h\\lambda' + b\\mu' + fv')(g\\lambda'' + f\\mu'' + cv''),$$\n\n$$+ (A\\lambda' - G\\lambda')(g\\lambda'' + f\\mu'' + cv''),$$\n\n$$+ (A\\mu'' - H\\lambda'')(h\\lambda' + b\\mu' + fv'),$$\n\n$$+ \\nu'\\mu''(-Af) + \\nu''fH + \\lambda'\\mu''fG + \\lambda''\\lambda''(K - fF)$$\n\n$$- AK - f^2K.$$\n\\[ f(h\\lambda' + b\\mu' + f\\nu')(g\\lambda'' + f\\mu'' + cv'') \\]\n\\[ + \\sqrt{A}(\\sqrt{AC} - G)(g\\lambda'' + f\\mu'' + cv'') \\]\n\\[ + \\sqrt{A}(\\sqrt{AB} - H)(h\\lambda' + b\\mu' + f\\nu') \\]\n\\[ + f(-\\sqrt{AC} + H\\sqrt{CA} + G\\sqrt{AB} - AF - (GH - AF)) \\]\n\n\\[ = f(h\\lambda' + b\\mu' + f\\nu')(g\\lambda'' + f\\mu'' + cv'') \\]\n\\[ + \\sqrt{A}(\\sqrt{AC} - G)(g\\lambda'' + f\\mu'' + cv'') \\]\n\\[ + \\sqrt{A}(\\sqrt{AB} - H)(h\\lambda' + b\\mu' + f\\nu') \\]\n\\[ - f(\\sqrt{AC} - G)(\\sqrt{AB} - H), \\]\n\ni.e.\n\n\\[ bc\\Phi(-) = (\\sqrt{AC} - G)(\\sqrt{AB} - H)\\{fYZ + \\sqrt{A}(Y + Z) - f\\}. \\]\n\nWhat, however, is really required*, is the value of \\( \\Phi(+) \\); to find this,\n\n\\[ bc\\Phi(+) = bc\\Phi(-) + 2bcK \\]\n\\[ = (\\sqrt{AC} - G)(\\sqrt{AB} - H)\\{fYZ + \\sqrt{A}(Y + Z) + f\\} \\]\n\\[ + 2bcK - 2f(\\sqrt{AC} - G)(\\sqrt{AB} - H), \\]\n\nthe second line of which is\n\n\\[ 2(\\sqrt{AC} - G)(\\sqrt{AB} - H)\\left\\{\\frac{bcK}{K^2bc}(\\sqrt{AC} + G)(\\sqrt{AB} + H) - f\\right\\} \\]\n\\[ = 2(\\sqrt{AC} - G)(\\sqrt{AB} - H)\\left\\{(\\sqrt{AC} + G)(\\sqrt{AB} + H) - GH + AF\\right\\} \\]\n\\[ = 2(\\sqrt{AC} - G)(\\sqrt{AB} - H)\\sqrt{A}\\theta, \\]\n\nwhere\n\n\\[ \\theta = \\frac{1}{K}(\\sqrt{ABC} + F\\sqrt{A} + G\\sqrt{B} + H\\sqrt{C}); \\]\n\nand consequently\n\n\\[ bc\\Phi(+) = (\\sqrt{AC} - G)(\\sqrt{AB} - H)\\{fYZ + \\sqrt{A}(Y + Z) + f + 2\\theta\\sqrt{A}\\}, \\]\n\na reduction, which on account of its peculiarity, I have thought right to work out in full.\n\nThe condition of contact is\n\n\\[ \\Phi(+) = \\nabla'\\nabla'' = \\frac{1}{\\sqrt{bc}}(\\sqrt{AC} - G)(\\sqrt{AB} - H)\\sqrt{1 + Y^2}\\sqrt{1 + Z^2}. \\]\n\n* It may be shown without difficulty that the \\((-)\\) sign would imply that the sections touching \\(z = 0, x = 0\\) and \\(x = 0, y = 0\\) were sections touching \\(x = 0\\) at the same point. By taking the \\((-)\\) sign in each equation we should have the solution of the problem \"to determine three sections of a surface of the second order, the two sections of each pair touching one of three given sections at the same point,\" which is not without interest; the solution may be completed without any difficulty.\nOr finally, the condition in order that the sections\n\n\\[ x\\sqrt{C} + (hx + by + fz)Y + z\\sqrt{A} + \\sqrt{-bp}\\sqrt{1+Y^2}w = 0 \\]\n\\[ x\\sqrt{B} + y\\sqrt{A} + (gx + fy + cz)Z + \\sqrt{-cp}\\sqrt{1+Z^2}w = 0 \\]\n\n(the former of which is a section touching \\( z=0, x=0 \\), and the latter a section touching \\( x=0, y=0 \\)) may touch, is\n\n\\[ fYZ + \\sqrt{A}(Y+Z) + (f+2d\\sqrt{A}) - \\sqrt{bc}\\sqrt{1+Y^2}\\sqrt{1+Z^2} = 0. \\]\n\nThe preceding researches show that the solution of Steiner's extension of Mal- Fatti's problem depends on a system of equations, such as the system mentioned at the commencement of the following section.\n\n§ 5.\n\nConsider the system of equations\n\n\\[ \\alpha + \\beta(Y+Z) + \\gamma YZ + \\delta \\sqrt{1+Y^2}\\sqrt{1+Z^2} = 0 \\]\n\\[ \\alpha' + \\beta'(Z+X) + \\gamma' ZX + \\delta' \\sqrt{1+Z^2}\\sqrt{1+X^2} = 0 \\]\n\\[ \\alpha'' + \\beta''(X+Y) + \\gamma'' XY + \\delta'' \\sqrt{1+X^2}\\sqrt{1+Y^2} = 0. \\]\n\nThese equations may, it will be seen, be solved by quadratics only, when the coefficients satisfy the relations\n\n\\[ \\frac{\\beta}{\\gamma - \\alpha} = \\frac{\\beta'}{\\gamma' - \\alpha'} = \\frac{\\beta''}{\\gamma'' - \\alpha''} \\]\n\\[ \\frac{\\beta^2 + \\gamma^2 - \\delta^2}{\\gamma^2 - \\alpha^2} = \\frac{\\beta'^2 + \\gamma'^2 - \\delta'^2}{\\gamma'^2 - \\alpha'^2} = \\frac{\\beta''^2 + \\gamma''^2 - \\delta''^2}{\\gamma''^2 - \\alpha''^2}, \\]\n\nequations which it should be remarked are satisfied by\n\n\\[ \\beta = 0, \\beta' = 0, \\beta'' = 0, \\gamma = \\delta, \\gamma' = \\delta', \\gamma'' = \\delta''. \\]\n\nOr if we write\n\n\\[ \\frac{\\alpha}{\\gamma} = -l, \\frac{\\alpha'}{\\gamma'} = -m, \\frac{\\alpha''}{\\gamma''} = -n, \\]\n\nthe equations become by a simple reduction,\n\n\\[ Y^2 + Z^2 + 2lYZ = l^2 - 1 \\]\n\\[ Z^2 + X^2 + 2mZX = m^2 - 1 \\]\n\\[ X^2 + Y^2 + 2nXY = n^2 - 1, \\]\n\nwhich are equivalent to the equations discussed in my paper \"On a System of Equations connected with Malfatti's Problem and on another Algebraical System,\" Cambridge and Dublin Mathematical Journal, t. iv. p. 270; the solution might have been effected by the direct method, which I shall here adopt, of eliminating any one of the variables between the two equations into which it enters, and combining the result with the third equation.\nWriting the second and third equations under the form\n\n\\[ A' + B'X + C'\\sqrt{1+X^2} = 0 \\]\n\\[ A'' + B''X + C''\\sqrt{1+X^2} = 0, \\]\n\nthe result of the elimination may be presented in the form\n\n\\[ A'A'' + B'B'' - C'C'' = \\sqrt{A'^2 + B'^2 - C'^2} \\sqrt{A''^2 + B''^2 - C''^2}, \\]\n\nwhich is most easily obtained by writing \\( X = \\tan \\phi \\) and operating with the symbol \\( \\cos^{-1} \\); but if the rationalized equations be represented by\n\n\\[ \\lambda' + 2\\mu'X + \\nu'X^2 = 0 \\quad \\text{and} \\quad \\lambda'' + 2\\mu''X + \\nu''X^2 = 0, \\]\n\nthe form\n\n\\[ 4(\\lambda'\\nu' - \\mu'^2)(\\lambda''\\nu'' - \\mu''^2) = (\\lambda'\\nu'' + \\lambda''\\nu' - 2\\mu'\\mu'')^2 \\]\n\nleads easily to the result in question. The values which enter are\n\n\\[ A' = \\alpha' + \\beta'Z \\quad A'' = \\alpha'' + \\beta''Y \\]\n\\[ B' = \\beta' + \\gamma'Z \\quad B'' = \\beta'' + \\gamma''Y \\]\n\\[ C' = \\delta'\\sqrt{1+Z^2} \\quad C'' = \\delta''\\sqrt{1+Y^2}; \\]\n\nwhence, in the first place, by the equation connecting \\( Y, Z \\),\n\n\\[ C'C'' = -\\frac{\\delta''}{\\delta}\\{\\alpha + \\beta(Y+Z) + \\delta YZ\\}. \\]\n\nIt is obviously convenient that \\( A'A'' + B'B'' \\) should be symmetrical with respect to \\( Y \\) and \\( Z \\), and this will be the case if\n\n\\[ \\alpha'\\beta'' + \\beta'\\gamma'' = \\alpha''\\beta' + \\beta''\\gamma', \\quad i.e. \\text{ if } \\beta'(\\gamma'' - \\alpha'') = \\beta''(\\gamma' - \\alpha'). \\]\n\nOr assuming that the equations are symmetrically related to the system, we have the first set of relations between the coefficients, relations which are satisfied by\n\n\\[ \\alpha = \\gamma + 2\\varphi\\beta, \\quad \\alpha' = \\gamma' + 2\\varphi\\beta', \\quad \\alpha'' = \\gamma'' + 2\\varphi\\beta'', \\]\n\nand the values of \\( \\alpha', \\alpha'', \\alpha''' \\) will be considered henceforth as given by these conditions.\n\nWe have\n\n\\[ A'A'' + B'B'' - C'C'' = \\alpha'\\alpha'' + \\beta'\\beta'' + (\\gamma'\\beta'' + \\gamma''\\beta' + 2\\varphi\\beta'\\beta'')(Y+Z) + (\\beta'\\beta'' + \\gamma'\\gamma'')YZ \\]\n\\[ + \\frac{\\delta''}{\\delta}\\{\\alpha + \\beta(Y+Z) + \\gamma YZ\\}. \\]\n\nThe quantities \\( A'^2 + B'^2 - C'^2, A''^2 + B''^2 - C''^2 \\) are quadratic functions of \\( Z \\) and \\( Y \\) respectively, and with proper relations between the coefficients, we may assume\n\n\\[ (A'^2 + B'^2 - C'^2)(A''^2 + B''^2 - C''^2) = l^2s^2\\{U^2 + k[(\\alpha + \\beta(Y+Z) + \\gamma YZ)^2 - \\delta^2(1+Y^2)(1+Z^2)]\\}, \\]\n\nin which \\( U \\) is a linear function of \\( Y+Z \\) and \\( YZ \\), and \\( k \\) and \\( l \\) are constants. The first side must, in the first place, be symmetrical with respect to \\( Y \\) and \\( Z \\), or\n\n\\[ \\alpha'^2 + \\beta'^2 - \\delta'^2, \\quad (\\alpha' + \\gamma')\\beta', \\quad \\beta'^2 + \\gamma'^2 - \\delta'^2 \\]\n\nmust be proportional to\n\n\\[ \\alpha''^2 + \\beta''^2 - \\delta''^2, \\quad (\\alpha'' + \\gamma'')\\delta'', \\quad \\beta''^2 + \\gamma''^2 - \\delta''^2. \\]\nBut since\n\n\\[(\\alpha' + \\gamma')\\beta', (\\alpha'' + \\gamma'')\\beta''\\]\n\nare proportional to\n\n\\[\\gamma'^2 - \\alpha'^2, \\gamma''^2 - \\alpha''^2,\\]\n\nit is only necessary that\n\n\\[\\beta'^2 + \\gamma'^2 - \\delta'^2, \\beta''^2 + \\gamma''^2 - \\delta''^2\\]\n\nshould be proportional to\n\n\\[\\gamma'^2 - \\alpha'^2, \\gamma''^2 - \\alpha''^2.\\]\n\nOr since the equations are supposed symmetrically related to the system, we must have the second set of relations between the coefficients. Suppose\n\n\\[\\frac{\\beta^2 + \\gamma^2 - \\delta^2}{\\gamma^2 - \\alpha^2} = \\frac{\\beta'^2 + \\gamma'^2 - \\delta'^2}{\\gamma'^2 - \\alpha'^2} = \\frac{\\beta''^2 + \\gamma''^2 - \\delta''^2}{\\gamma''^2 - \\alpha''^2} = -\\frac{s}{\\phi},\\]\n\nthen since\n\n\\[\\gamma^2 - \\alpha^2 = -4(\\gamma + \\phi\\beta)\\beta, \\text{ &c.,}\\]\n\nwe have\n\n\\[\\delta^2 = \\beta^2 + \\gamma^2 - 4s(\\gamma + \\phi\\beta)\\beta\\]\n\n\\[\\delta'^2 = \\beta'^2 + \\gamma'^2 - 4s(\\gamma' + \\phi\\beta')\\beta'\\]\n\n\\[\\delta''^2 = \\beta''^2 + \\gamma''^2 - 4s(\\gamma'' + \\phi\\beta'')\\beta'',\\]\n\nand \\(\\delta, \\delta', \\delta''\\) will be supposed henceforth to satisfy these equations.\n\nWe have next\n\n\\[A'^2 + B'^2 - C'^2 = 4(\\gamma' + \\phi\\beta')\\beta'(s + \\phi + Z + sZ^2)\\]\n\n\\[A''^2 + B''^2 - C''^2 = 4(\\gamma'' + \\phi\\beta'')\\beta''(s + \\phi + Y + sY^2),\\]\n\nwhich may be simplified by writing\n\n\\[s = \\frac{\\mu - \\phi}{1 + \\mu^2}, \\quad \\nu = \\frac{1 + \\mu\\phi}{\\mu - \\phi},\\]\n\nwhere \\(\\mu, \\nu\\) are to be considered as given functions of \\(s\\) and \\(\\phi\\). These values give\n\n\\[A'^2 + B'^2 - C'^2 = 4(\\gamma' + \\phi\\beta')\\beta's(Z + \\mu)(Z + \\nu)\\]\n\n\\[A''^2 + B''^2 - C''^2 = 4(\\gamma'' + \\phi\\beta'')\\beta''s(Y + \\mu)(Y + \\nu).\\]\n\nHence, putting for simplicity\n\n\\[l^2 = 4(\\gamma' + \\phi\\beta')(y'' + \\phi\\beta'')\\beta'\\beta'',\\]\n\nwe have\n\n\\[4(Z + \\mu)(Z + \\nu)(Y + \\mu)(Y + \\nu) = U^2 + k[(\\alpha + \\beta(Y + Z) + \\gamma YZ)^2 - \\delta^2(1 + Y^2)(1 + Z^2)].\\]\n\nAnd the two sides have next to be expressed in terms of \\(Y + Z\\) and \\(YZ\\).\n\nIf for symmetry we write\n\n\\[\\xi = 1, \\eta = Y + Z, \\zeta = YZ,\\]\n\nthen\n\n\\[4(\\mu^2\\xi + \\mu\\eta + \\zeta)(\\nu^2\\xi + \\nu\\eta + \\zeta) + k\\delta^2[(\\xi - \\zeta)^2 + \\eta^2] = U^2 + k(\\alpha\\xi + \\beta\\eta + \\gamma\\zeta)^2.\\]\n\nAnd \\(U\\) is now to be considered a linear function of \\(\\xi, \\eta, \\zeta\\).\n\nThe condition that the first side of the equation may divide into factors, gives an equation for determining \\(k\\); since the condition is satisfied for \\(k = 0\\) and \\(k = \\infty\\), the\nequation will be linear, and it is easily seen that the value is \\( k = \\frac{1}{\\delta^2}(\\mu - \\nu)^2 \\). In fact\n\n\\[ 4(\\mu^2\\xi + \\mu\\eta + \\zeta)(\\nu^2\\xi + \\nu\\eta + \\zeta)^2 + (\\mu - \\nu)^2[(\\xi - \\zeta)^2 + \\eta^2] \\]\n\n\\[ = (2\\mu\\xi + (\\mu + \\nu)\\eta + 2\\zeta)^2 + (\\mu - \\nu)^2(\\xi + \\zeta)^2. \\]\n\nHence\n\n\\[ \\{2\\mu\\xi + (\\mu + \\nu)\\eta + 2\\zeta\\}^2 - U^2 = \\frac{(\\mu - \\nu)^2}{\\delta^2} \\{(\\alpha\\xi + \\beta\\eta + \\gamma\\zeta)^2 - \\delta^2(\\xi + \\zeta)^2\\}. \\]\n\nAnd we may assume\n\n\\[ 2\\mu\\xi + (\\mu + \\nu)\\eta + 2\\zeta + U = \\frac{\\mu - \\nu}{\\delta} \\Lambda \\{(\\alpha\\xi + \\beta\\eta + \\gamma\\zeta) - \\delta(\\xi + \\zeta)\\} \\]\n\n\\[ 2\\mu\\xi + (\\mu + \\nu)\\eta + 2\\zeta - U = \\frac{\\mu - \\nu}{\\delta} \\Lambda \\{(\\alpha\\xi + \\beta\\eta + \\gamma\\zeta) + \\delta(\\xi + \\zeta)\\}, \\]\n\nsubject to its being shown that\n\n\\[ 4\\mu\\xi + 2(\\mu + \\nu)\\eta + 4\\zeta = \\frac{\\mu - \\nu}{\\delta} \\left\\{ \\left( \\Lambda + \\frac{1}{\\Lambda} \\right)(\\alpha\\xi + \\beta\\eta + \\gamma\\zeta) - \\delta \\left( \\Lambda - \\frac{1}{\\Lambda} \\right)(\\xi + \\zeta) \\right\\} \\]\n\ngives a constant value for \\( \\Lambda \\). The comparison of coefficients gives\n\n\\[ 4\\mu\\nu = \\frac{\\mu - \\nu}{\\delta} \\left\\{ \\left( \\Lambda + \\frac{1}{\\Lambda} \\right)\\alpha - \\left( \\Lambda - \\frac{1}{\\Lambda} \\right)\\delta \\right\\} \\]\n\n\\[ 2\\mu + 2\\nu = \\frac{\\mu - \\nu}{\\delta} \\left( \\Lambda + \\frac{1}{\\Lambda} \\right)\\beta \\]\n\n\\[ 4 = \\frac{\\mu - \\nu}{\\delta} \\left\\{ \\left( \\Lambda + \\frac{1}{\\Lambda} \\right)\\gamma - \\left( \\Lambda - \\frac{1}{\\Lambda} \\right)\\delta \\right\\}, \\]\n\nthe first and third of which give\n\n\\[ 4(1 - \\mu\\nu) = \\frac{\\mu - \\nu}{\\delta} \\left( \\Lambda + \\frac{1}{\\Lambda} \\right)(\\gamma - \\alpha), \\]\n\nwhich will be identical with the second, if\n\n\\[ \\frac{2(1 - \\mu\\nu)}{\\mu + \\nu} = \\frac{\\beta}{\\gamma - \\alpha} = -2\\varphi, \\]\n\nwhich follows at once from the equation\n\n\\[ \\nu = \\frac{1 + \\mu\\varphi}{\\mu - \\varphi}. \\]\n\nForming next the two equations\n\n\\[ \\Lambda + \\frac{1}{\\Lambda} = \\frac{2}{(\\mu - \\nu)\\beta}(\\mu + \\nu)\\delta \\]\n\n\\[ \\Lambda - \\frac{1}{\\Lambda} = \\frac{2}{(\\mu - \\nu)\\beta}(\\mu + \\nu)\\gamma - 2\\beta \\]\n\nthese will be equivalent to a single equation if\n\n\\[ (\\mu + \\nu)^2\\delta^2 = \\{(\\mu + \\nu)\\gamma - 2\\beta\\}^2 + (\\mu - \\nu)^2\\beta^2, \\]\n\ni.e. if\n\n\\[ (\\mu + \\nu)^2\\delta^2 = (\\mu + \\nu)^2(\\beta^2 + \\gamma^2) - 4(\\mu + \\nu)\\beta\\gamma - 4(\\mu\\nu - 1)\\beta^2; \\]\nor finally, if\n\n\\[ \\delta^2 = \\beta^2 + \\gamma^2 - 4s\\beta(\\gamma + \\frac{\\mu - 1}{\\mu + \\nu}\\beta) = \\beta^2 + \\gamma^2 - 4s(\\gamma + \\phi\\beta)\\beta, \\]\n\nwhich is in fact the case.\n\nWriting the equations for \\( \\Lambda + \\frac{1}{\\Lambda}, \\Lambda - \\frac{1}{\\Lambda} \\)\n\nin the form\n\n\\[ \\Lambda + \\frac{1}{\\Lambda} = \\frac{2\\delta}{(\\mu - \\nu)\\beta s} \\]\n\\[ \\Lambda - \\frac{1}{\\Lambda} = \\frac{2}{(\\mu - \\nu)\\beta s}(\\gamma - 2\\beta s), \\]\n\nand substituting in\n\n\\[ U = \\frac{\\mu - \\nu}{2\\delta} \\left\\{ (\\Lambda - \\frac{1}{\\Lambda})(\\alpha\\xi + \\beta\\eta + \\gamma\\zeta) - (\\Lambda + \\frac{1}{\\Lambda})\\delta^2(\\xi + \\zeta) \\right\\}, \\]\n\nwe have\n\n\\[ U = \\frac{1}{s\\beta\\delta} \\left\\{ (\\gamma - 2\\beta s)(\\alpha\\xi + \\beta\\eta + \\gamma\\zeta) - \\delta^2(\\xi + \\zeta) \\right\\} \\]\n\\[ = \\frac{1}{s\\beta\\delta} \\left\\{ (-\\beta + 2s\\gamma + 2\\phi\\gamma)\\xi + (\\gamma - 2s\\beta)\\eta + (-\\beta + 2s\\gamma + 4s\\phi\\beta)\\zeta \\right\\}. \\]\n\nAnd consequently, multiplying by\n\n\\[ l = 2\\sqrt{(\\gamma' + \\phi\\beta')(\\gamma'' + \\phi\\beta'')\\beta'\\beta''} \\]\n\nwe have\n\n\\[ \\sqrt{A'^2 + B'^2 - C'^2} \\sqrt{A''^2 + B''^2 - C''^2} \\]\n\\[ = \\frac{2}{\\delta} \\sqrt{(\\gamma' + \\phi\\beta')(\\gamma'' + \\phi\\beta'')\\beta'\\beta''} \\left\\{ (-\\beta + 2s\\gamma + 2\\phi\\gamma)\\xi + (\\gamma - 2s\\beta)\\eta + (-\\beta + 2s\\gamma + 4s\\phi\\beta)\\zeta \\right\\}, \\]\n\nor collecting the different terms\n\n\\[ (\\alpha'\\alpha'' + \\beta'\\beta'')\\xi + (\\gamma'\\beta'' + \\gamma''\\beta' + 2\\phi\\beta'\\beta'')\\eta + (\\beta'\\beta'' + \\gamma'\\gamma'')\\zeta + \\frac{\\delta^2}{\\delta}(\\alpha\\xi + \\beta\\eta + \\gamma\\zeta) \\]\n\\[ - \\frac{2}{\\delta} \\sqrt{(\\gamma' + 2\\phi\\beta')(\\gamma'' + 2\\phi\\beta'')\\beta'\\beta''} \\left\\{ (-\\beta + 2s\\gamma + 2\\phi\\gamma)\\xi + (\\gamma - 2s\\beta)\\eta + (-\\beta + 2s\\gamma + 4s\\phi\\beta)\\zeta \\right\\} = 0, \\]\n\nwhich, combined with the first equation written under the form\n\n\\[ (\\alpha\\xi + \\beta\\eta + \\gamma\\zeta)^2 - \\delta^2[(\\xi - \\zeta)^2 + \\eta^2] = 0, \\]\n\ndetermines the ratios of \\( \\xi, \\eta, \\zeta \\), i.e. the values of \\( Y + Z \\) and \\( YZ \\).\n\n§ 6.\n\nThe system of equations\n\n\\[ (f + 2\\theta\\sqrt{A}) + \\sqrt{A}(Y + Z) + fYZ - \\sqrt{bc}\\sqrt{1 + Y^2}\\sqrt{1 + Z^2} = 0 \\]\n\\[ (g + 2\\theta\\sqrt{B}) + \\sqrt{B}(Z + X) + gZX - \\sqrt{ca}\\sqrt{1 + Z^2}\\sqrt{1 + X^2} = 0 \\]\n\\[ (h + 2\\theta\\sqrt{C}) + \\sqrt{C}(X + Y) + hXY - \\sqrt{ab}\\sqrt{1 + X^2}\\sqrt{1 + Y^2} = 0, \\]\n\nwhere\n\n\\[ \\theta = \\frac{1}{K}(\\sqrt{ABC} + \\sqrt{A} + \\sqrt{B} + \\sqrt{C}), \\]\n\non which depends the solution of Steiner's extension of Malfatti's problem, is at once seen to belong to the class of equations treated of in the preceding section, and\nwe have \\( \\varphi = \\theta, s = 0 \\). The equations at the conclusion of the preceding section become\n\n\\[\n\\sqrt{BC} + gh + 2\\theta(g\\sqrt{C} + h\\sqrt{B}) + 4\\theta^2\\sqrt{BC}\\xi + \\{g\\sqrt{C} + h\\sqrt{B} + 2\\theta\\sqrt{BC}\\eta + \\{\\sqrt{BC} + gh\\}\\zeta \\\\\n- a[(f + 2\\theta\\sqrt{A})\\xi + \\sqrt{A}\\eta + f\\zeta] - \\frac{2}{\\sqrt{bc}}\\sqrt{(g + \\theta\\sqrt{B})(h + \\theta\\sqrt{C})\\sqrt{BC}(\\sqrt{A} - 2\\theta f)\\xi - fn + \\sqrt{A}\\zeta} = 0\n\\]\n\n\\[\n\\{(f + 2\\theta\\sqrt{A})\\xi + \\sqrt{A}\\eta + f\\zeta\\}^2 - bc\\{(\\xi - \\zeta)^2 + \\eta^2\\} = 0,\n\\]\n\nwhich may also be written\n\n\\[\n(\\sqrt{BC} + f)(\\xi + \\zeta) + (-a\\sqrt{A} + g\\sqrt{C} + h\\sqrt{B} + 2\\theta\\sqrt{BC})(\\eta + 2\\theta\\xi) \\\\\n- \\frac{2}{\\sqrt{bc}}\\sqrt{(g + \\theta\\sqrt{B})(h + \\theta\\sqrt{C})\\sqrt{BC}(\\sqrt{A} - 2\\theta f)\\xi - fn + \\sqrt{A}\\zeta} = 0.\n\\]\n\n\\[\n\\{f(\\xi + \\zeta) + \\sqrt{A}(\\eta + 2\\theta\\xi)\\}^2 - bc\\{(\\xi - \\zeta)^2 + \\eta^2\\} = 0.\n\\]\n\nOr observing that\n\n\\[\ng + \\theta\\sqrt{B} = \\frac{1}{K}(\\sqrt{BC} + f)(\\sqrt{AB} + H); \\quad h + \\theta\\sqrt{C} = \\frac{1}{K}(\\sqrt{BC} + f)(\\sqrt{AC} + G)\n\\]\n\n\\[\n-a\\sqrt{A} + h\\sqrt{B} + g\\sqrt{C} + 2\\theta\\sqrt{BC} = \\theta(\\sqrt{BC} + f),\n\\]\n\nand putting for a moment\n\n\\[\n\\lambda = \\frac{1}{K}\\sqrt{(\\sqrt{AC} + G)(\\sqrt{AB} + H)\\sqrt{BC}},\n\\]\n\nand therefore\n\n\\[\n\\sqrt{(g + \\theta\\sqrt{B})(h + \\theta\\sqrt{C})\\sqrt{BC}} = (\\sqrt{BC} + f)\\lambda,\n\\]\n\nthe first equation divides by \\((\\sqrt{BC} + f)\\), and the result is\n\n\\[\n(\\xi + \\zeta) + \\theta(\\eta + 2\\theta\\xi) - \\frac{2\\lambda}{\\sqrt{bc}}\\{\\sqrt{A}(\\xi + \\zeta) - f(\\eta + 2\\theta\\xi)\\} = 0.\n\\]\n\nAnd by an easy transformation the second equation becomes\n\n\\[\n-\\{\\sqrt{A}(\\xi + \\zeta) - f(\\eta + 2\\theta\\xi)\\}^2 + 4bc\\zeta(\\xi + \\zeta) + \\theta(\\eta + 2\\theta\\xi) - (1 + \\theta^2)\\xi = 0.\n\\]\n\nOr putting\n\n\\[\n\\xi + \\zeta + \\theta(\\eta + 2\\theta\\xi) = \\Theta\n\\]\n\n\\[\n\\frac{1}{\\sqrt{bc}}(\\sqrt{A}(\\xi + \\zeta) - f(\\eta + 2\\theta\\xi)) = \\Phi\n\\]\n\n\\[\n\\zeta = \\Psi,\n\\]\n\nthe equations become\n\n\\[\n\\Theta - 2\\lambda\\Phi = 0\n\\]\n\n\\[\n-\\Phi^2 + 4\\Psi\\{\\Theta - (1 + \\theta^2)\\Psi\\} = 0.\n\\]\n\nWhence eliminating \\(\\Phi\\),\n\n\\[\n(2\\Psi - \\frac{\\Theta}{1 + \\theta^2})^2 = \\frac{\\Theta^2}{(1 + \\theta^2)^2}(1 - \\frac{1 + \\theta^2}{4\\lambda^2}),\n\\]\n\nor observing that\n\n\\[\n1 + \\theta^2 = \\frac{1}{K^2}(\\sqrt{BC} + f)(\\sqrt{CA} + G)(\\sqrt{AB} + H),\n\\]\nand reducing,\n\n\\[ \\Psi = \\frac{K^2 \\Theta}{(\\sqrt{BC} + f)(\\sqrt{CA} + G)(\\sqrt{AB} + H)} \\left(1 + \\frac{\\sqrt{(\\sqrt{BC} - f) \\sqrt{BC}}}{\\sqrt{2BC}}\\right). \\]\n\nAlso \\( \\Theta = 2\\lambda \\Phi \\) gives\n\n\\[ \\Phi = \\frac{K \\Theta}{2\\sqrt{(\\sqrt{AC} + G)(\\sqrt{AB} + H)} \\sqrt{BC}}. \\]\n\nSuppose\n\n\\[ \\sqrt{BC} + f = \\alpha, \\quad \\sqrt{BC} - f = \\alpha_i \\quad \\therefore \\quad \\alpha_i = Ka \\]\n\\[ \\sqrt{CA} + G = \\beta, \\quad \\sqrt{CA} - G = \\beta_i \\quad \\beta_i = Kb \\]\n\\[ \\sqrt{AB} + H = \\gamma, \\quad \\sqrt{AB} - H = \\gamma_i \\quad \\gamma_i = Kc; \\]\n\nthen substituting\n\n\\[ \\Theta - \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} \\sqrt{bc} \\Phi = 0 \\]\n\\[ \\Theta - \\frac{4bc}{\\beta \\gamma_i} (\\alpha + \\alpha_i) \\left(1 - \\frac{\\sqrt{\\alpha_i}}{\\sqrt{\\alpha + \\alpha_i}}\\right) \\Psi = 0, \\]\n\nthat is,\n\n\\[ \\xi + \\zeta + \\theta(\\eta + 2\\theta\\xi) - \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} \\left\\{ \\sqrt{\\alpha}(\\xi + \\zeta) - f(\\eta + 2\\theta\\xi) \\right\\} = 0 \\]\n\\[ \\xi + \\zeta + \\theta(\\eta + 2\\theta\\xi) - \\frac{4bc(\\alpha + \\alpha_i)}{\\beta \\gamma_i} \\left(1 - \\frac{\\sqrt{\\alpha_i}}{\\sqrt{\\alpha + \\alpha_i}}\\right) \\zeta = 0, \\]\n\nwhich may be written\n\n\\[ L\\xi + M\\eta + N\\zeta = 0 \\]\n\\[ L'\\xi + M'\\eta + N'\\zeta = 0, \\]\n\nwhere\n\n\\[ L = 1 + 2\\theta^2 - \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} (\\sqrt{\\alpha} - 2\\theta f), \\quad M = \\theta + \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} f, \\quad N = 1 - \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} \\sqrt{\\alpha}, \\]\n\\[ L' = 1 + 2\\theta^2 - \\frac{4bc(\\alpha + \\alpha_i)}{\\beta \\gamma_i} \\left(1 - \\frac{\\sqrt{\\alpha_i}}{\\sqrt{\\alpha + \\alpha_i}}\\right), \\quad M' = \\theta, \\quad N' = 1. \\]\n\nOr since \\( \\xi, \\eta, \\zeta \\) are equal to 1, Y+Z, YZ respectively,\n\n\\[ 1 : Y + Z : YZ = MN' - M'N : NL' - N'L : LM' - L'M \\]\n\\[ = -\\frac{\\sqrt{2}(\\alpha + \\alpha_i)}{\\sqrt{\\beta \\gamma_i}} (f + \\theta \\sqrt{\\alpha}) \\]\n\\[ : \\frac{4bc(\\alpha + \\alpha_i)}{\\beta \\gamma_i} \\left(1 - \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} \\sqrt{\\alpha}\\right) \\left(1 - \\frac{\\sqrt{\\alpha_i}}{\\sqrt{\\alpha + \\alpha_i}}\\right) + \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} (f + \\theta \\sqrt{\\alpha}) 2\\theta \\]\n\\[ : -\\frac{4bc(\\alpha + \\alpha_i)}{\\beta \\gamma_i} \\left(\\theta + \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} f\\right) \\left(1 - \\frac{\\sqrt{\\alpha_i}}{\\sqrt{\\alpha + \\alpha_i}}\\right) + \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} (f + \\theta \\sqrt{\\alpha}). \\]\n\nAlso\n\n\\[ f + \\theta \\sqrt{\\alpha} = \\frac{\\beta \\gamma}{K} = \\frac{Kbc}{\\beta \\gamma_i}. \\]\nwhence\n\n\\[ Y + Z = -\\frac{2 \\sqrt{2} \\sqrt{\\alpha + \\alpha_i} \\sqrt{\\beta \\gamma_i}}{K} \\left( 1 - \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} \\right) \\left( 1 - \\frac{\\sqrt{\\alpha_i}}{\\sqrt{\\alpha + \\alpha_i}} \\right) - 2\\theta \\]\n\n\\[ YZ = \\frac{2 \\sqrt{2} \\sqrt{\\alpha + \\alpha_i} \\sqrt{\\beta \\gamma_i}}{K} \\left( \\theta + \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i} f}{\\sqrt{\\beta \\gamma_i}} \\right) \\left( 1 - \\frac{\\sqrt{\\alpha_i}}{\\sqrt{\\alpha + \\alpha_i}} \\right) - 1. \\]\n\nAnd by forming the analogous expressions for \\( Z + X \\) and \\( ZX \\), \\( X + Y \\) and \\( XY \\), the values of \\( X \\), \\( Y \\), \\( Z \\) may be determined. But the equations in question simplify themselves in a remarkable manner by the notation before alluded to.\n\nSuppose\n\n\\[ f = \\sqrt{\\alpha} \\sqrt{\\beta c - f}, \\quad g = \\sqrt{\\beta} \\sqrt{\\gamma a - g}, \\quad h = \\sqrt{\\gamma} \\sqrt{\\alpha b - h}, \\quad J = \\sqrt{2} \\sqrt{\\alpha \\beta c}, \\]\n\nthese values give\n\n\\[ \\frac{K \\sqrt{\\alpha}}{\\sqrt{\\beta c}} a = 2f^2 \\left( 1 - \\frac{f^2}{J^2} \\right) \\]\n\n\\[ \\frac{K \\sqrt{\\beta c}}{\\sqrt{\\alpha}} = 2gh \\sqrt{1 - \\frac{g^2}{J^2}} \\sqrt{1 - \\frac{h^2}{J^2}} \\]\n\n\\[ \\frac{Kf}{\\sqrt{\\alpha}} = f^2 - g^2 - h^2 + \\frac{2g^2h^2}{J^2} \\]\n\n\\[ K\\theta = -f^2 - g^2 - h^2 + 2J^2 \\]\n\n\\[ K^2 = -f^4 - g^4 - h^4 + 2g^2h^2 + 2hf^2 + 2f^2g^2 - \\frac{4f^2g^2h^2}{J^2}. \\]\n\nApplying these results to the preceding formulæ and forming for that purpose the equations\n\n\\[ 2\\sqrt{2} \\sqrt{\\alpha + \\alpha_i} \\sqrt{\\beta \\gamma_i} = 4gh, \\quad \\frac{\\sqrt{2} \\sqrt{\\alpha + \\alpha_i}}{\\sqrt{\\beta \\gamma_i}} = \\frac{J^2}{\\sqrt{\\alpha gh}}, \\quad \\frac{\\sqrt{\\alpha_i}}{\\sqrt{\\alpha + \\alpha_i}} = \\frac{f}{J} \\]\n\n\\[ ghK\\theta + \\frac{J^2}{\\sqrt{\\alpha}} Kf = (J^2 - gh)(f^2 - (g-h)^2) - 2gh(g-h)^2, \\]\n\nwe have\n\n\\[ K(Y + Z) + 2K\\theta = 4(J^2 - gh)\\left( 1 - \\frac{f}{J} \\right) \\]\n\n\\[ K^2YZ + K^3 = 4\\{(J^2 - gh)(f^2 - (g-h)^2) - 2gh(g-h)^2\\}\\left( 1 - \\frac{f}{J} \\right); \\]\n\nthe former of which, combined with the similar equations for \\( Z + X \\) and \\( X + Y \\), gives for \\( X \\), \\( Y \\), \\( Z \\) the values to be presently stated, and these values will of course verify the second equation and the corresponding equations for \\( ZX \\) and \\( XY \\).\n\nRecapitulating the preceding notation, if \\( x = 0, y = 0, z = 0 \\) are the equations of the given sections, \\( w = 0 \\) the equation of the polar plane of their point of intersection with respect to the surface\n\n\\[ ax^2 + by^2 + cz^2 + 2fyz + 2gzx + 2hxy + pw^2 = 0, \\]\nthe equation of the surface, \\( A, B, C, F, G, H, K \\) as usual, and\n\n\\[\n\\theta = \\frac{1}{K} (\\sqrt{ABC} + F\\sqrt{A} + G\\sqrt{B} + H\\sqrt{C}),\n\\]\n\nthen the equations of the required sections are\n\n\\[\n(ax + hy + gz)X + y\\sqrt{C} + z\\sqrt{B} + \\sqrt{-ap}\\sqrt{1+X^2}w = 0\n\\]\n\\[\nx\\sqrt{C} + (hx + by + fz)Y + z\\sqrt{A} + \\sqrt{-bp}\\sqrt{1+Y^2}w = 0\n\\]\n\\[\nx\\sqrt{B} + y\\sqrt{A} + (gx + fy + cz)Z + \\sqrt{-cp}\\sqrt{1+Z^2}w = 0,\n\\]\n\nwhere \\( X, Y, Z \\) are to be determined by the following equations,\n\n\\[\n(f + 2\\theta\\sqrt{A}) + \\sqrt{A}(Y + Z) + fYZ - \\sqrt{bc}\\sqrt{1+Y^2}\\sqrt{1+Z^2} = 0\n\\]\n\\[\n(g + 2\\theta\\sqrt{B}) + \\sqrt{B}(Z + X) + gZX - \\sqrt{ca}\\sqrt{1+Z^2}\\sqrt{1+X^2} = 0\n\\]\n\\[\n(h + 2\\theta\\sqrt{C}) + \\sqrt{C}(X + Y) + hXY - \\sqrt{ab}\\sqrt{1+X^2}\\sqrt{1+Y^2} = 0;\n\\]\n\nand the solution of which, putting\n\n\\[\ni = \\sqrt{A}\\sqrt{\\sqrt{BC} - F}, \\quad g = \\sqrt{B}\\sqrt{\\sqrt{CA} - G}, \\quad h = \\sqrt{C}\\sqrt{\\sqrt{AB} - H}, \\quad J = \\sqrt{2}\\sqrt{ABC},\n\\]\n\nis given by the equations\n\n\\[\nKX = \\frac{2fgh}{J} + (-f + g + h)^2 - 2(-f + g + h)J\n\\]\n\\[\nKY = \\frac{2fgh}{J} + (f - g + h)^2 - 2(f - g + h)J\n\\]\n\\[\nKZ = \\frac{2fgh}{J} + (f + g - h)^2 - 2(f + g - h)J*.\n\\]\n\nInstead of the direct but very tedious process by which these values of \\( X, Y, Z \\) have been obtained, we may substitute the following *a posteriori* verification.\n\nWe have\n\n\\[\nK^2(1+X^2) = 4(-f + g + h)^2J^2\\left(1 + \\frac{f}{J}\\right)\\left(1 - \\frac{g}{J}\\right)\\left(1 - \\frac{h}{J}\\right)\n\\]\n\\[\nK^2\\sqrt{1+Y^2}\\sqrt{1+Z^2} = 4(f^2 - (g-h)^2)J^2\\left(1 - \\frac{f}{J}\\right)\\sqrt{1-\\frac{g^2}{J^2}}\\sqrt{1-\\frac{h^2}{J^2}}\n\\]\n\\[\nK^2(1+YZ) = 4\\left(1 - \\frac{f}{J}\\right)\\left(J^2 - gh\\right)(f^2 - (g-h)^2) - 2gh(g-h)^2\n\\]\n\\[\nK(Y+Z) - 2f^2 - g^2 - 2h^2 + 4J^2 = 4\\left(1 - \\frac{f}{J}\\right)(J^2 - gh).\n\\]\n\nPutting also\n\n\\[\nf^2 - g^2 - h^2 + \\frac{2g^2h^2}{J^2} = (f^2 - (g-h)^2) - \\frac{2gh(J^2-gh)}{J^2}\n\\]\n\\[\nK^2 = \\left(f^2 - (g-h)^2\\right)\\left((g+h)^2 - f^2 - \\frac{4g^2h^2}{J^2}\\right) - \\frac{4g^2h^2(g-h)^2}{J^2},\n\\]\n\n* It is perhaps worth noticing that the value of the quantity \\( \\lambda \\) previously made use of, is\n\n\\[\n\\lambda = \\frac{f^2}{Ka\\sqrt{A}}\\left(\\frac{2fgh}{J} - g^2 - h^2 + (J + f - g - h)^2\\right).\n\\]\nwe have\n\n\\[\n\\left( f^2 - g^2 - h^2 + \\frac{2g^2h^2}{J^2} \\right) K^2 (1 + YZ)\n\\]\n\n\\[\n= 4 \\left( 1 - \\frac{f}{J} \\right) \\left[ \\left( f^2 - (g-h)^2 \\right) \\left( J^2 - gh \\right) \\left( f^2 - (g-h)^2 \\right) - 2gh(g-h)^2 - 2gh \\frac{(J^2 - gh)^2}{J^2} \\right]\n\\]\n\n\\[\n+ \\frac{4g^2h^2(g-h)^2(J^2 - gh)}{J^2}\n\\]\n\n\\[K^2 \\{ K(Y+Z) - 2f^2 - 2g^2 - 2h^2 + 4J^2 \\}\n\\]\n\n\\[\n= 4 \\left( 1 - \\frac{f}{J} \\right) \\left[ \\left( f^2 - (g-h)^2 \\right) \\left( J^2 - gh \\right) \\left( (g+h)^2 - f^2 - \\frac{4g^2h^2}{J^2} \\right) \\right] - \\frac{4g^2h^2(g-h)^2(J^2 - gh)}{J^2}\n\\]\n\nAlso, since\n\n\\[\n(f^2 - (g-h)^2) + \\left( (g+h)^2 - f^2 - \\frac{4g^2h^2}{J^2} \\right) = 4gh \\frac{(J^2 - gh)}{J^2},\n\\]\n\nwe have\n\n\\[\n\\left( f^2 - g^2 - h^2 + \\frac{2g^2h^2}{J^2} \\right) K^2 (1 + YZ) + K^2 \\{ K(Y+Z) - 2f^2 - 2g^2 - 2h^2 \\}\n\\]\n\n\\[\n= 4 \\left( 1 - \\frac{f}{J} \\right) \\left( f^2 - (g-h)^2 \\right) 2ghJ^2 \\left( 1 - \\frac{g^2}{J^2} \\right) \\left( 1 - \\frac{h^2}{J^2} \\right).\n\\]\n\nAnd the values obtained above give also\n\n\\[\n2gh \\sqrt{1 - \\frac{g^2}{J^2}} \\sqrt{1 - \\frac{h^2}{J^2}} K^2 \\sqrt{1 + Y^2} \\sqrt{1 + Z^2}\n\\]\n\n\\[\n= 4 \\left( 1 - \\frac{f}{J} \\right) \\left( f^2 - (g-h)^2 \\right) 2ghJ^2 \\left( 1 - \\frac{g^2}{J^2} \\right) \\left( 1 - \\frac{h^2}{J^2} \\right),\n\\]\n\nwhich shows that the relation between \\(Y\\) and \\(Z\\) is verified by the assumed values of these quantities, and the other two equations are of course also verified. The solution of the problem will be rendered more complete if the equations of the required sections and of the auxiliary sections made use of in the geometrical construction are expressed in terms of \\(f, g, h, J\\).\n\n§ 7.\n\nFirst, to substitute in the equations of the required sections or resultors. Writing the first equation in the form\n\n\\[\n\\frac{K^2}{2 \\sqrt{BC}} \\left\\{ uXx + (hX + \\sqrt{C})y + (gX + \\sqrt{B})z + \\sqrt{-ap} \\sqrt{1 + X^2} w \\right\\} = 0,\n\\]\n\nthe coefficient of \\(x\\) will be\n\n\\[\n\\frac{f^2}{\\sqrt{A}} \\left( 1 - \\frac{f^2}{J^2} \\right) \\left\\{ \\frac{2fgh}{J} + (-f+g+h)^2 - 2J(-f+g+h) \\right\\},\n\\]\n\nor, as it is convenient to write it,\n\n\\[\n\\left( 1 + \\frac{f}{J} \\right) f(-f+g+h) \\frac{f}{\\sqrt{A}} \\left( 1 - \\frac{f}{J} \\right) \\left\\{ \\frac{2fgh}{J(-f+g+h)} - f+g+h-2J \\right\\}.\n\\]\nThe coefficient of \\( y \\) is\n\n\\[\n\\frac{1}{2 \\sqrt{3}} \\left( -f^2 - g^2 + h^2 + \\frac{2g^2h^2}{J^2} \\right) \\left( \\frac{2fg}{J} + (-f+g+h)^2 - 2J(-f+g+h) \\right)\n\\]\n\n\\[- f^4 - g^4 - h^4 + 2g^2h^2 + 2h^2f^2 + 2f^2g^2 - \\frac{4f^2g^2h^2}{J^2} \\right),\n\\]\n\nor, after all reductions,\n\n\\[\n\\left( 1 - \\frac{f}{J} \\right) f(-f+g+h) \\frac{h}{\\sqrt{3}} \\left( 1 - \\frac{g}{J} \\right) \\left[ \\frac{-2fg}{J(-f+g+h)} + f-g+h + \\frac{2J(f^2+g^2-h^2)}{2fg} \\right];\n\\]\n\nand similarly the coefficient of \\( z \\) is\n\n\\[\n\\frac{1}{2 \\sqrt{C}} \\left( -f^2 + g^2 - h^2 + \\frac{2h^2f^2}{J^2} \\right) \\left( \\frac{2fg}{J} + (-f+g+h)^2 - 2J(-f+g+h) \\right)\n\\]\n\n\\[- f^4 - g^4 - h^4 + 2g^2h^2 + 2h^2f^2 + 2f^2g^2 - \\frac{4f^2g^2h^2}{J^2} \\right),\n\\]\n\nor, after all reductions,\n\n\\[\n\\left( 1 + \\frac{f}{J} \\right) f(-f+g+h) \\frac{h}{\\sqrt{C}} \\left( 1 - \\frac{h}{J} \\right) \\left[ \\frac{-2fg}{J(-f+g+h)} + f+g-h + \\frac{2J(f^2-g^2+h^2)}{2fh} \\right];\n\\]\n\nand the coefficient of \\( w \\) is\n\n\\[\n\\left( 1 + \\frac{f}{J} \\right) f(-f+g+h) 2\\sqrt{K} \\sqrt{1-\\frac{f}{J}} \\sqrt{1-\\frac{g}{J}} \\sqrt{1-\\frac{h}{J}} \\sqrt{-p}.\n\\]\n\nWhence, forming the equation of the resultor in question, and by means of it those of the other resultors, the equations of the resultors are\n\n\\[\n\\left( \\frac{2fg}{J(-f+g+h)} - f+g+h-2J \\right) \\frac{f}{\\sqrt{A}} \\left( 1 - \\frac{f}{J} \\right) x\n\\]\n\n\\[\n+ \\left( \\frac{-2fg}{J(-f+g+h)} + f-g+h+2J \\frac{f^2+g^2-h^2}{2fg} \\right) \\frac{g}{\\sqrt{B}} \\left( 1 - \\frac{g}{J} \\right) y\n\\]\n\n\\[\n+ \\left( \\frac{-2fg}{J(-f+g+h)} + f+g-h+2J \\frac{f^2-g^2+h^2}{2fh} \\right) \\frac{h}{\\sqrt{C}} \\left( 1 - \\frac{h}{J} \\right) z\n\\]\n\n\\[\n+ 2\\sqrt{K} \\sqrt{1-\\frac{f}{J}} \\sqrt{1-\\frac{g}{J}} \\sqrt{1-\\frac{h}{J}} \\sqrt{-pw}=0\n\\]\n\n\\[\n\\left( \\frac{-2fg}{J(f-g+h)} - f+g+h+2J \\frac{f^2+g^2-h^2}{2fg} \\right) \\frac{f}{\\sqrt{A}} \\left( 1 - \\frac{f}{J} \\right) x\n\\]\n\n\\[\n+ \\left( \\frac{2fg}{J(f-g+h)} + f-g+h-2J \\right) \\frac{g}{\\sqrt{B}} \\left( 1 - \\frac{g}{J} \\right) y\n\\]\n\n\\[\n+ \\left( \\frac{-2fg}{J(f-g+h)} + f+g-h+2J \\frac{f^2-g^2+h^2}{2gh} \\right) \\frac{h}{\\sqrt{C}} \\left( 1 - \\frac{h}{J} \\right) z\n\\]\n\n\\[\n+ 2\\sqrt{K} \\sqrt{1-\\frac{f}{J}} \\sqrt{1-\\frac{g}{J}} \\sqrt{1-\\frac{h}{J}} \\sqrt{-pw}=0\n\\]\n\\[\n\\left( \\frac{-2fgh}{J(f+g-h)} - f + g + h + 2J \\frac{f^2-g^2+h^2}{2fh} \\right) \\frac{f}{\\sqrt{\\mathcal{A}}} \\left( 1 - \\frac{f}{J} \\right) x \\\\\n+ \\left( \\frac{-2fgh}{J(f+g-h)} + f - g + h + 2J \\frac{-f^2+g^2+h^2}{2gh} \\right) \\frac{g}{\\sqrt{\\mathcal{B}}} \\left( 1 - \\frac{g}{J} \\right) y \\\\\n+ \\left( \\frac{2fgh}{J(f+g-h)} + f + g - h - 2J \\right) \\frac{h}{\\sqrt{\\mathcal{C}}} \\left( 1 - \\frac{h}{J} \\right) z \\\\\n+ 2\\sqrt{K} \\sqrt{1 - \\frac{f}{J}} \\sqrt{1 - \\frac{g}{J}} \\sqrt{1 - \\frac{h}{J}} \\sqrt{-pw} = 0,\n\\]\n\nvalues which might be somewhat simplified by writing \\( \\xi, \\eta, \\zeta, \\omega \\) instead of\n\n\\[\n\\frac{f}{\\sqrt{\\mathcal{A}}} \\left( 1 - \\frac{f}{J} \\right) x, \\quad \\frac{g}{\\sqrt{\\mathcal{B}}} \\left( 1 - \\frac{g}{J} \\right) y, \\quad \\frac{h}{\\sqrt{\\mathcal{C}}} \\left( 1 - \\frac{h}{J} \\right) z, \\quad 2\\sqrt{1 - \\frac{f}{J}} \\sqrt{1 - \\frac{g}{J}} \\sqrt{1 - \\frac{h}{J}} \\sqrt{-pw}.\n\\]\n\nAnd it may be also remarked, that the coefficients as well of these formulæ as of those which follow may be elegantly expressed in terms of the parts of a triangle having \\( f, g, h \\) for its sides.\n\nThe equations of the separators are found by taking the differences two and two of the equations of the resultors (this requires to be verified à posteriori); thus subtracting the third equation from the second the result contains a constant factor,\n\n\\[\n\\frac{1}{J(f^2-(g-h)^2)gh} \\left\\{ 4f^2g^2h^2 - J(f^2-(g-h)^2)((g+h)^2-f^2) \\right\\},\n\\]\n\nequivalent to\n\n\\[\n\\frac{1}{J(f^2-(g-h)^2)gh} \\left( 4f^2g^2h^2 - J^2(K^2 + \\frac{4f^2g^2h^2}{J^2}) \\right) \\quad \\text{or} \\quad \\frac{-JK^2}{(f^2-(g-h)^2)gh}.\n\\]\n\nRejecting the factor in question and forming the analogous two equations, the equations of the separators are\n\n\\[\n-\\frac{g-h}{f} \\frac{f}{\\sqrt{\\mathcal{A}}} \\left( 1 - \\frac{f}{J} \\right) x + \\frac{g}{\\sqrt{\\mathcal{B}}} \\left( 1 - \\frac{g}{J} \\right) y - \\frac{h}{\\sqrt{\\mathcal{C}}} \\left( 1 - \\frac{h}{J} \\right) z = 0 \\\\\n-\\frac{f}{\\sqrt{\\mathcal{A}}} \\left( 1 - \\frac{f}{J} \\right) x - \\frac{h-f}{g} \\frac{g}{\\sqrt{\\mathcal{B}}} \\left( 1 - \\frac{g}{J} \\right) y + \\frac{h}{\\sqrt{\\mathcal{C}}} \\left( 1 - \\frac{h}{J} \\right) z = 0 \\\\\n\\frac{f}{\\sqrt{\\mathcal{A}}} \\left( 1 - \\frac{f}{J} \\right) x - \\frac{g}{\\sqrt{\\mathcal{B}}} \\left( 1 - \\frac{g}{J} \\right) y - \\frac{f-g}{h} \\frac{h}{\\sqrt{\\mathcal{C}}} \\left( 1 - \\frac{h}{J} \\right) z = 0;\n\\]\n\nand from the mode of formation of these equations it is obvious that the separators have a line in common.\n\nThe equations of the determinators being \\( x=0, y=0, z=0 \\), the equations of the tactor are\n\n\\[\n\\sqrt{\\mathcal{B}}z - \\sqrt{\\mathcal{C}}y = 0, \\quad \\sqrt{\\mathcal{C}}x - \\sqrt{\\mathcal{A}}z = 0, \\quad \\sqrt{\\mathcal{A}}y - \\sqrt{\\mathcal{B}}x = 0;\n\\]\n\nand if \\( ax + \\beta y + \\gamma z + \\delta w = 0 \\) be the equation of the tactor touching\n\n\\( x=0, \\sqrt{\\mathcal{C}}x - \\sqrt{\\mathcal{A}}z = 0 \\) and \\( \\sqrt{\\mathcal{A}}y - \\sqrt{\\mathcal{B}}x = 0 \\),\n\nthe conditions of contact are\n\n\\[\n\\mathcal{A}(\\mathcal{A}\\alpha^2 + \\ldots \\frac{K}{p} \\delta^2) = (\\mathcal{A}\\alpha + \\mathcal{B}\\beta + \\mathcal{C}\\gamma)^2,\n\\]\n\\[2\\sqrt{AB}(\\sqrt{AB}-H)(Aa^2 + \\frac{K}{p}b^2) = \\left(\\sqrt{AB}-H\\right)(a\\sqrt{A}-\\beta\\sqrt{B}) + \\gamma(G\\sqrt{B}-H\\sqrt{C})\\right)^2,\\]\n\n\\[2\\sqrt{AC}(\\sqrt{AC}-G)(Aa^2 + \\frac{K}{p}b^2) = \\left(\\sqrt{AC}-G\\right)(a\\sqrt{A}-\\gamma\\sqrt{C}) + \\beta(H\\sqrt{C}-f\\sqrt{A})\\right)^2,\\]\n\nwhence\n\n\\[\\frac{1}{\\sqrt{A}}\\sqrt{2\\sqrt{AB}(\\sqrt{AB}-H)}(Aa+H\\beta+G\\gamma) = (\\sqrt{AB}-H)\\sqrt{A}a-(\\sqrt{AB}-H)\\sqrt{B}\\beta+(G\\sqrt{B}-f\\sqrt{A})\\gamma\\]\n\n\\[\\frac{1}{\\sqrt{A}}\\sqrt{2\\sqrt{AC}(\\sqrt{AC}-G)}(Aa+H\\beta+G\\gamma) = (\\sqrt{AC}-G)\\sqrt{A}a+(H\\sqrt{C}-f\\sqrt{A})\\beta-(\\sqrt{AC}-G)\\gamma\\]\n\n\\[c\\beta^2 + b\\gamma^2 - 2f\\beta\\gamma + \\frac{K}{p}b^2 = 0,\\]\n\nand putting for a moment\n\n\\[\\mu = \\sqrt{AC}-G-\\sqrt{2\\sqrt{AC}(\\sqrt{AC}-G)}\\]\n\n\\[\\nu = \\sqrt{AB}-H-\\sqrt{2\\sqrt{AB}(\\sqrt{AB}-H)}.\\]\n\nAfter some reductions, and observing that the ratios only of the quantities \\(a, \\beta, \\gamma, \\delta\\) are material,\n\n\\[\\alpha = \\frac{K}{\\sqrt{A}}(K+hv+g\\mu)\\]\n\n\\[\\beta = \\frac{K}{\\sqrt{A}}(bv+f\\mu)\\]\n\n\\[\\gamma = \\frac{K}{\\sqrt{A}}(fv+c\\mu)\\]\n\n\\[\\delta = \\frac{K}{\\sqrt{A}}\\sqrt{-p(bv^2+cv^2+2f\\mu)};\\]\n\nand it is easily seen also that the coordinates of the point of contact are\n\n\\[x = 0, \\quad y = \\nu, \\quad z = \\mu, \\quad w = -\\frac{\\delta}{p}\\sqrt{\\frac{A}{K}};\\]\n\nalso\n\n\\[\\mu = -\\frac{Jg}{\\sqrt{B}}\\left(1-\\frac{g}{J}\\right), \\quad \\nu = -\\frac{Jh}{\\sqrt{C}}\\left(1-\\frac{h}{J}\\right).\\]\n\nAnd substituting and introducing throughout the quantities \\(f, g, h, J\\), also forming the analogous equations, the equations of the factors are\n\n\\[\\left\\{f^2(-f^2+g^2+h^2)+(g+h)J\\left(f^2-(g-h)^2-\\frac{2f^2gh}{J^2}\\right)\\right\\}\\frac{1}{\\sqrt{A}}x\\]\n\n\\[-\\left\\{f^2-(g-h)^2+\\frac{2gh(g-h)}{J}\\right\\}J\\frac{g}{\\sqrt{B}}\\left(1-\\frac{g}{J}\\right)y\\]\n\n\\[-\\left\\{f^2-(g-h)^2-\\frac{2gh(g-h)}{J}\\right\\}J\\frac{h}{\\sqrt{C}}\\left(1-\\frac{h}{J}\\right)z\\]\n\n\\[+2\\sqrt{K}\\sqrt{gh\\left(1-\\frac{g}{J}\\right)\\left(1-\\frac{h}{J}\\right)\\left(f^2-(g-h)^2\\right)}\\sqrt{-pw}=0\\]\n\\[\n-\\left\\{g^2-(h-f)^2+\\frac{2hf(h-f)}{J}\\right\\}J\\frac{f}{\\sqrt{\\mathcal{A}}}(1-\\frac{f}{J})x \\\\\n+\\left\\{g^2(f^2-g^2+h^2)+(h+f)J(g^2-(h-f)^2-\\frac{2fg^2h}{J^2})\\right\\}\\frac{1}{\\sqrt{\\mathcal{B}}}y \\\\\n-\\left\\{g^2-(h-f)^2-\\frac{2hf(h-f)}{J}\\right\\}J\\frac{h}{\\sqrt{\\mathcal{C}}}(1-\\frac{h}{J})z \\\\\n+2\\sqrt{K}\\sqrt{hf(1-\\frac{h}{J})(1-\\frac{f}{J})(g^2-(h-f)^2)}\\sqrt{-pw}=0 \\\\\n-\\left\\{h^2-(f-g)^2+\\frac{2fg(f-g)}{J}\\right\\}J\\frac{f}{\\sqrt{\\mathcal{A}}}(1-\\frac{f}{J})x \\\\\n-\\left\\{h^2-(f-g)^2+\\frac{2fg(f-g)}{J}\\right\\}J\\frac{g}{\\sqrt{\\mathcal{B}}}(1-\\frac{g}{J})y \\\\\n+\\left\\{h^2(f^2+g^2-h^2)+(f+g)J(h^2-(f-g)^2-\\frac{2fg^2h}{J^2})\\right\\}\\frac{1}{\\sqrt{\\mathcal{C}}}z \\\\\n+2\\sqrt{K}\\sqrt{fg(1-\\frac{f}{J})(1-\\frac{g}{J})(h^2-(f-g)^2)}\\sqrt{-pw}=0.\n\\]\n\nIt is obvious, from the equations, that each separator passes through the point of contact of a tactor and determinator, it consequently only remains to be shown that each separator touches two tactors. Consider the tactor which has been represented by \\(ax + \\beta y + \\gamma z + \\delta w = 0\\), the unreduced values of the coefficients give\n\n\\[\n\\mathcal{A}a + \\mathcal{B}\\beta + \\mathcal{C}\\gamma = K^2\\sqrt{\\mathcal{A}}\n\\]\n\\[\n\\mathcal{H}a + \\mathcal{B}\\beta + \\mathcal{F}\\gamma = \\frac{K^2}{\\sqrt{\\mathcal{A}}}(\\mathcal{H} + \\nu)\n\\]\n\\[\n\\mathcal{G}a + \\mathcal{F}\\beta + \\mathcal{C}\\gamma = \\frac{K^2}{\\sqrt{\\mathcal{A}}}(\\mathcal{G} + \\mu)\n\\]\n\\[\n\\sqrt{\\mathcal{A}a^2 + \\ldots \\frac{K}{p}\\delta^2} = \\frac{1}{\\sqrt{\\mathcal{A}}}(\\mathcal{A}a + \\mathcal{H}\\beta + \\mathcal{G}\\gamma) = K^2.\n\\]\n\nRepresent for a moment the separator\n\n\\[\n\\frac{f}{\\sqrt{\\mathcal{A}}}(1-\\frac{f}{J})x - \\frac{g}{\\sqrt{\\mathcal{B}}}(1-\\frac{g}{J})y - \\frac{f-g}{h}\\frac{h}{\\sqrt{\\mathcal{C}}}(1-\\frac{h}{J})z = 0\n\\]\n\nby \\(lx + my + nz + sw = 0\\). Then putting \\(\\mathcal{A}l^2 + \\ldots \\frac{K}{p}s^2 = \\square^2\\), since\n\n\\[\n\\mathcal{A}al + \\ldots + \\frac{K}{p}\\delta s = K^2\\left\\{l\\sqrt{\\mathcal{A}} + \\frac{m}{\\sqrt{\\mathcal{A}}}(\\mathcal{H} + \\nu) + \\frac{n}{\\sqrt{\\mathcal{A}}}(\\mathcal{G} + \\mu)\\right\\}\n\\]\n\\[\n= K^2\\left\\{f(1-\\frac{f}{J})-g(1-\\frac{2h}{J})(1-\\frac{g}{J})-(f-g)(1-\\frac{2g}{J})(1-\\frac{h}{J})\\right\\}\n\\]\n\\[\n= \\frac{K^2}{J}\\left\\{-(f-g)^2+h(f+g)-\\frac{2fg^2h}{J}\\right\\},\n\\]\n\nthe condition of contact becomes\n\n\\[\n\\square = \\frac{1}{J}\\left\\{-(f-g)^2+h(f+g)-\\frac{2fg^2h}{J}\\right\\}.\n\\]\nOr, forming the value of $\\Box^2$ and substituting\n\n$$f^2\\left(1-\\frac{f}{J}\\right)^2 + g^2\\left(1-\\frac{g}{J}\\right)^2 + (f-g)^2\\left(1-\\frac{h}{J}\\right)^2$$\n\n$$+ 2\\left(1-\\frac{2f^2}{J^2}\\right)(f-g)g\\left(1-\\frac{g}{J}\\right)\\left(1-\\frac{h}{J}\\right) - 2\\left(1-\\frac{2g^2}{J^2}\\right)(f-g)f\\left(1-\\frac{h}{J}\\right)\\left(1-\\frac{f}{g}\\right) - 2\\left(1-\\frac{2h^2}{J^2}\\right)fg\\left(1-\\frac{f}{J}\\right)\\left(1-\\frac{g}{J}\\right)$$\n\n$$= \\frac{1}{J^2}\\left(-(f-g)^2 + h(f+g) - \\frac{2fgh}{J}\\right)^2,$$\n\nwhich may be verified without difficulty, and thus the construction for the resultors is shown to be true.\n\n§ 8.\n\nSeveral of the formulæ of the preceding sections of this memoir apply to any number of variables. Consider the surface (i.e. hypersurface)\n\n$$ax^2 + by^2 + cz^2 + 2fyz + 2gzx + 2hxy + \\ldots + pt^2 = 0,$$\n\nand the section (i.e. hypersection)\n\n$$(a\\lambda + h\\mu + gv\\ldots)x + (h\\lambda + b\\mu + fv\\ldots)y + (g\\lambda + f\\mu + cv\\ldots)z + \\ldots + \\sqrt{-p} \\nabla t = 0,$$\n\nwhere\n\n$$\\nabla^2 = a\\lambda^2 + b\\mu^2 + cv^2 + 2f\\mu v + 2gv\\lambda + 2h\\lambda\\mu - K,$$\n\nthe condition of contact with any other section represented by a similar equation is\n\n$$a\\lambda\\lambda' + b\\mu\\mu' + cv' + f(\\mu'\\lambda' + \\mu'\\nu') + g(\\nu'\\lambda' + \\nu'\\lambda) + h(\\lambda'\\mu' + \\lambda'\\mu) \\pm K = \\nabla \\nabla',$$\n\nwhere $K$ is the determinant formed with the coefficients $a, b, c, f, g, h, \\ldots$. And consequently, by establishing all or any of the equations $\\lambda = \\sqrt{\\lambda}$, $\\mu = \\sqrt{\\mu}$, $\\nu = \\sqrt{\\nu}$, ...\n\nwe have the condition in order that the section in question may touch all or the corresponding sections of the sections $x = 0, y = 0, z = 0, \\ldots$\n\nLet $n$ be the number of the variables $x, y, z, \\ldots$, then $K^{n-1} = \\begin{vmatrix} A & B & G \\\\ H & B & F \\\\ G & F & C \\end{vmatrix}$\n\nalso $K^{n-2} \\{(a\\lambda + h\\mu + gv\\ldots)x + (h\\lambda + b\\mu + fv\\ldots)y + (g\\lambda + f\\mu + cv\\ldots)z\\ldots\\}$\n\n$$= -\\begin{vmatrix} x & y & z \\\\ \\lambda & A & B \\\\ \\mu & H & B \\\\ \\nu & G & F \\end{vmatrix},$$\n\nwhence also\n\n$$K^{n-2}(\\nabla^2 + K) = -\\begin{vmatrix} \\lambda & \\mu & \\nu \\\\ \\lambda & A & B \\\\ \\mu & H & B \\\\ \\nu & G & F \\end{vmatrix} \\text{ or } K^{n-2} \\nabla^2 = -\\begin{vmatrix} 1 & \\lambda & \\mu & \\nu \\\\ \\lambda & A & B & G \\\\ \\mu & H & B & F \\\\ \\nu & G & F & C \\end{vmatrix}.$$\nand the equation of the section in question becomes\n\n\\[\n\\begin{vmatrix}\nx & y & z \\\\\n\\lambda & \\mu & \\nu \\\\\n\\lambda' & \\mu' & \\nu' \\\\\n\\end{vmatrix} + K^{1/2n-1} \\sqrt{-p} \\sqrt{-} = 0\n\\]\n\nalso the condition of contact with the corresponding section is\n\n\\[\n\\begin{vmatrix}\n1 & \\lambda & \\mu & \\nu \\\\\n\\lambda' & \\mu' & \\nu' \\\\\n\\lambda'' & \\mu'' & \\nu'' \\\\\n\\end{vmatrix} = \\sqrt{-} \\begin{vmatrix}\n1 & \\lambda & \\mu & \\nu \\\\\n\\lambda' & \\mu' & \\nu' \\\\\n\\lambda'' & \\mu'' & \\nu'' \\\\\n\\end{vmatrix}\n\\]\n\nIn particular the equation of the sections which touches all the sections \\(x=0, y=0, z=0\\), is\n\n\\[\n\\begin{vmatrix}\nx & y & z \\\\\n\\sqrt{A} & \\sqrt{B} & \\sqrt{C} \\\\\n\\sqrt{A'} & \\sqrt{B'} & \\sqrt{C'} \\\\\n\\end{vmatrix} + K^{1/2n-1} \\sqrt{-p} \\sqrt{-} = 0\n\\]\n\nAgain, the equations of the section touching \\(y=0, z=0, \\ldots\\) and the section touching \\(x=0, z=0, \\ldots\\) are\n\n\\[\n\\begin{vmatrix}\nx & y & z \\\\\n\\lambda & \\mu & \\nu \\\\\n\\lambda' & \\mu' & \\nu' \\\\\n\\end{vmatrix} + K^{1/2n-1} \\sqrt{-p} \\sqrt{-} = 0\n\\]\n\nand the condition of contact of these two sections is\n\n\\[\n\\begin{vmatrix}\n1 & \\lambda & \\mu & \\nu \\\\\n\\sqrt{A} & \\sqrt{B} & \\sqrt{C} \\\\\n\\sqrt{A'} & \\sqrt{B'} & \\sqrt{C'} \\\\\n\\end{vmatrix} = \\sqrt{-} \\begin{vmatrix}\n1 & \\lambda & \\mu & \\nu \\\\\n\\sqrt{A} & \\sqrt{B} & \\sqrt{C} \\\\\n\\sqrt{A'} & \\sqrt{B'} & \\sqrt{C'} \\\\\n\\end{vmatrix}\n\\]\nIt would seem from the appearance of these equations that there should be some simpler method of obtaining the solution than the method employed in the previous part of this memoir.\n\n2 Stone Buildings,\nApril 1852.",
  "source": "olmocr",
  "added": "2026-01-12",
  "created": "2026-01-12",
  "metadata": {
    "Source-File": "/home/jic823/projects/def-jic823/royalsociety/pdfs/108543.pdf",
    "olmocr-version": "0.3.4",
    "pdf-total-pages": 27,
    "total-input-tokens": 42934,
    "total-output-tokens": 25299,
    "total-fallback-pages": 0
  },
  "attributes": {
    "pdf_page_numbers": [
      [
        0,
        0,
        1
      ],
      [
        0,
        2282,
        2
      ],
      [
        2282,
        4948,
        3
      ],
      [
        4948,
        7474,
        4
      ],
      [
        7474,
        9676,
        5
      ],
      [
        9676,
        12664,
        6
      ],
      [
        12664,
        15090,
        7
      ],
      [
        15090,
        17737,
        8
      ],
      [
        17737,
        20528,
        9
      ],
      [
        20528,
        22553,
        10
      ],
      [
        22553,
        24732,
        11
      ],
      [
        24732,
        27521,
        12
      ],
      [
        27521,
        29959,
        13
      ],
      [
        29959,
        32321,
        14
      ],
      [
        32321,
        34933,
        15
      ],
      [
        34933,
        37226,
        16
      ],
      [
        37226,
        39905,
        17
      ],
      [
        39905,
        42414,
        18
      ],
      [
        42414,
        44617,
        19
      ],
      [
        44617,
        46833,
        20
      ],
      [
        46833,
        49009,
        21
      ],
      [
        49009,
        52111,
        22
      ],
      [
        52111,
        54064,
        23
      ],
      [
        54064,
        56400,
        24
      ],
      [
        56400,
        58759,
        25
      ],
      [
        58759,
        60088,
        26
      ],
      [
        60088,
        60301,
        27
      ]
    ],
    "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"
    ],
    "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
    ],
    "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
    ],
    "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
    ],
    "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
    ]
  },
  "jstor_metadata": {
    "identifier": "jstor-108543",
    "title": "Analytical Researches Connected with Steiner's Extension of Malfatti's Problem",
    "authors": "Arthur Cayley",
    "year": 1852,
    "volume": "142",
    "journal": "Philosophical Transactions of the Royal Society of London",
    "page_count": 27,
    "jstor_url": "https://www.jstor.org/stable/108543"
  }
}