Second Memoir on the Curves Which Satisfy Given Conditions; The Principle of Correspondence
Author(s)
Professor Cayley
Year
1868
Volume
158
Pages
29 pages
Language
en
Journal
Philosophical Transactions of the Royal Society of London
Full Text (OCR)
V. Second Memoir on the Curves which satisfy given conditions; the Principle of Correspondence. By Professor Cayley, F.R.S.
Received April 18,—Read May 2, 1867.
In the present Memoir I reproduce with additional developments the theory established in my paper "On the Correspondence of two points on a Curve" (London Math. Society, No. VII., April 1866); and I endeavour to apply it to the determination of the number of the conics which satisfy given conditions; viz. these are conditions of contact with a given curve, or they may include arbitrary conditions $Z$, $2Z$, &c. If, for a moment, we consider the more general question where the Principle is to be applied to finding the number of the curves $C^r$ of the order $r$, which satisfy given conditions of contact with a given curve, there are here two kinds of special solutions; viz., we may have proper curves $C^r$ touching (specially) the given curve at a cusp or cusps thereof, and we may have improper curves, that is, curves which break up into two or more curves of inferior orders. In the case where the curves $C^r$ are lines, there is only the first kind of special solution, where the sought for lines touch at a cusp or cusps. But in the case to which the Memoir chiefly relates, where the curves $C^r$ are conics, we have the two kinds of special solutions, viz., proper conics touching at a cusp or cusps, and conics which are line-pairs or point-pairs. In the application of the Principle to determining the number of the conics which satisfy any given conditions, I introduce into the equation a term called the "Supplement" (denoted by the abbreviation "Supp."), to include the special solutions of both kinds. The expression of the Supplement should in every case be furnished by the theory; and this being known, we should then have an equation leading to the number of the conics which properly satisfy the prescribed conditions; but in thus finding the expression of the Supplements, there are difficulties which I am unable to overcome; and I have contented myself with the reverse course, viz., knowing in each case the number of the proper solutions, I use these results to determine à posteriori in each case the expression of the Supplement; the expression so obtained can in some cases be accounted for readily enough, and the knowledge of the whole series of them will be a convenient basis for ulterior investigations.
The Principle of Correspondence for points in a line was established by Chasles in the paper in the Comptes Rendus, June—July 1864, referred to in my First Memoir; it is extended to unicursal curves in a paper of the same series, March 1866, "Sur les courbes planes ou à double courbure dont les points peuvent se déterminer individuellement—Application du Principe de Correspondance dans la théorie de ces courbes," but not to the case of a curve of given deficiency $D$ considered in my paper of April 1866.
above referred to. The fundamental theorem in regard to unicursal curves, viz. that in a curve of the order $m$ with $\frac{1}{2}(m-1)(m-2)$ double points (nodes or cusps) the coordinates $(x, y, z)$ are proportional to rational and integral functions of a variable parameter $\theta$,—as a case of a much more general theorem of Riemanns—dates from the year 1857, but was first explicitly stated by Clebsch in the paper “Ueber diejenigen ebenen Curven deren Coordinaten rationale Functionen eines Parameters sind,” Crelle, t. 64 (1864), pp. 43–63. See also my paper “On the Transformation of Plane Curves,” London Mathematical Society, No. III., Oct. 1865.
The paragraphs of the present Memoir are numbered consecutively with those of the First Memoir.
**On the Correspondence of two points on a Curve.—Article Nos. 94 to 104.**
94. In a unicursal curve the coordinates $(x, y, z)$ of any point thereof are proportional to rational and integral functions of a variable parameter $\theta$. Hence if two points of the curve correspond in such wise that to a given position of the first point there correspond $\alpha'$ positions of the second point, and to a given position of the second point $\alpha$ positions of the first point, the number of points which correspond each to itself is $\alpha + \alpha'$. For let the two points be determined by their parameters $\theta, \theta'$ respectively, then to a given value of $\theta$ there correspond $\alpha'$ values of $\theta'$, and to a given value of $\theta'$ there correspond $\alpha$ values of $\theta$; hence the relation between $(\theta, \theta')$ is of the form $(\theta, 1)^{\alpha}(\theta', 1)^{\alpha'} = 0$; and writing therein $\theta' = \theta$, then for the points which correspond each to itself, we have an equation $(\theta, 1)^{\alpha + \alpha'} = 0$, of the order $\alpha + \alpha'$; that is, the number of these points is $\alpha + \alpha'$.
Hence for a unicursal curve we have a theorem similar to that of M. Chasles’ for a line, viz. the theorem may be thus stated:
If two points of a unicursal curve have an $(\alpha, \alpha')$ correspondence, the number of united points is $\alpha + \alpha'$. But a unicursal curve is nothing else than a curve with a deficiency $D = 0$, and we thence infer—
**Theorem.** If two points of a curve with deficiency $D$ have an $(\alpha, \alpha')$ correspondence, the number of united points is $\alpha + \alpha' + 2kD$; in which theorem $2k$ is a coefficient to be determined.
95. Suppose that the corresponding points are $P, P'$, and imagine that when $P$ is given the corresponding points $P'$ are the intersections of the given curve by a curve $\Theta$ (the equation of the curve $\Theta$ will of course contain the coordinates of $P$ as parameters, for otherwise the position of $P'$ would not depend upon that of $P$). I find that if the curve $\Theta$ has with the given curve $k$ intersections at the point $P$, then in the system of points $(P, P')$ the number of united points is
$$a = \alpha + \alpha' + 2kD,$$
whence in particular if the curve $\Theta$ does not pass through the point $P$, then the number of united points is $\alpha + \alpha'$, as in the case of a unicursal curve. (I have in the paper of
April 1866 above referred to, proved this theorem in the particular case where the $k$ intersections at the point $P$ take place in consequence of the curve $\Theta$ having a $k$-tuple point at $P$, but have not gone into the more difficult investigation for the case where the $k$ intersections arise wholly or in part from a contact of the curve $\Theta$, or any branch or branches thereof, with the given curve at $P$.)
96. It is to be observed that the general notion of a united point is as follows: taking the point $P$ at random on the given curve, the curve $\Theta$ has at this point $k$ intersections with the given curve; the remaining intersections are the corresponding points $P'$; if for a given position of $P$ one or more of the points $P'$ come to coincide with $P$, that is, if for the given position of $P$ the curve $\Theta$ has at this point more than $k$ intersections with the given curve, then the point in question is a united point.
It might at first sight appear that if for a given position of $P$ a number 2, 3, . . . or $j$ of the points $P'$ should come to coincide with $P$, then that the point in question should reckon for 2, 3 . . . or $j$ (as the case may be) united points: but this is not so. This is perhaps most easily seen in the case of a unicursal curve; taking the equation of correspondence to be $(\theta, 1)^a(\theta', 1)^a = 0$, then we have $\alpha + \alpha'$ united points corresponding to the values of $\theta$ which satisfy the equation $(\theta, 1)^a(\theta', 1)^a = 0$; if this equation has a $j$-tuple root $\theta = \lambda$, the point $P$ which answers to this value $\lambda$ of the parameter is reckoned as $j$ united points. But starting from the equation $(\theta, 1)^a(\theta', 1)^a = 0$, if on writing in this equation $\theta = \lambda$, the resulting equations $(\lambda, 1)^a(\theta', 1)^a = 0$ has a root $\theta' = \lambda$, it follows that the equation $(\theta, 1)^a(\theta', 1)^a = 0$ has a root $\theta = \lambda$, and that the point which belongs to the value $\theta = \lambda$ is a united point; if on writing in the equation $\theta = \lambda$, the resulting equation $(\lambda, 1)^a(\theta', 1)^a = 0$ has a $j$-tuple root $\theta' = \lambda$, it does not follow that the equation $(\theta, 1)^a(\theta', 1)^a = 0$ has a $j$-tuple root $\theta = \lambda$, nor consequently that the point answering to $\theta = \lambda$ in anywise reckons as $j$ united points.
97. This may be further illustrated by regarding the parameters $\theta, \theta'$ as the coordinates of a point in a plane; the equation $(\theta, 1)^a(\theta', 1)^a = 0$ is that of a curve of the order $\alpha + \alpha'$, having an $\alpha$-tuple point at infinity on the axis $\theta = 0$, and an $\alpha'$-tuple point at infinity on the axis $\theta' = 0$; the united points are given as the intersections of the curve with the line $\theta = \theta'$; a $j$-fold intersection, whether arising from a multiple point of the curve or from a contact of the line $\theta = \theta'$ with the curve, gives a point which reckons as $j$ united points. But if $\theta = \lambda$ gives the $j$-fold root $\theta' = \lambda$, this shows that the line $\theta = \lambda$ has with the curve $j$ intersections at the point $\theta = \theta' = \lambda$; not that the line $\theta = \theta'$ has with the curve $j$ intersections at the point in question.
98. Reverting to the notion of a united point as a point $P$ which is such that one or more of the corresponding points $P'$ come to coincide with $P$; in the case where $P$ is at a node of the given curve, it is necessary to explain that the point $P$ must be considered as belonging to one or the other of the two branches through the node, and that the point $P$ is not to be considered as a united point unless we have on the same branch of the curve one or more of the corresponding points $P'$ coming to coincide with the point $P$. If, to fix the ideas, $k = 1$, that is, if the curve $\Theta$ simply pass through the point $P$, then if
MDCCCLXVIII.
P be at a node the curve Θ passes through the node and has therefore at this point two intersections with the given curve; but the second intersection belongs to the other branch, and the node is not a united point; in order to make it so, it is necessary that the curve Θ should at the node touch the branch to which the point P is considered to belong. The thing appears very clearly in the case of a unicursal curve; we have here two values θ = λ, θ = λ' answering to the node according as it is considered as belonging to one or the other branch of the curve; and in the equation of correspondence (θ, 1)α(θ', 1)α = 0, writing θ = λ, we have an equation (λ, 1)α(λ', 1)α = 0 satisfied by θ' = λ' but not by θ' = λ, and the equation (θ, 1)α(θ, 1)α = 0 is thus not satisfied by the value θ = λ. The conclusion is that a node qua node is not a united point.
99. But it is otherwise as regards a cusp. When the point P is at a cusp, the curve Θ (which has in general with the given curve k intersections at P) has here more than k intersections, and (as in this case there is no distinction of branch) the cusp reckons as a united point. In the case of a unicursal curve, there is at the cusp a single value θ = λ of the parameter, and the equation (θ, 1)α(θ, 1)α = 0 is satisfied by the value θ = λ. But for the very reason that the cusp qua cusp reckons as a united point, the cusp is a united point only in an improper or special sense, and it is to be rejected from the number of true united points. We may include the cusps, along with any other special solutions which may present themselves, under a head "Supplement," and instead of writing as above a − α − α' = 2kD, write a − α − α' + Supp. = 2kD.
Before going further I apply the theorem to some examples in which the curve Θ is a system of lines.
100. Investigation of the class of a curve of the order m with δ nodes and z cusps. Take as corresponding points on the given curve two points such that the line joining them passes through a fixed point O; the united points will be the points of contact of the tangents through O; that is, the number of the united points will be equal to the class of the curve. The curve Θ is here the line OP which has with the given curve a single intersection at P; that is, we have k = 1. The points P' corresponding to a given position of P are the remaining m − 1 intersections of OP with the curve, that is, we have α' = m − 1; and in like manner α = m − 1. Each of the cusps is (specially) a united point, and counts once, whence the Supplement is = z. Hence, writing n for the class, we have n + 2(m − 1) + z = 2D, or writing for 2D its value = m² − 3m + 2 − 2δ − 2z, we have n = m² − m − 2δ − 3z, which is right.
101. Investigation of the number of inflexions. Taking the point P' to be a tangential of P (that is, an intersection of the curve by the tangent at P), the united points are the inflexions; and the number of the united points is equal to the number of the inflexions. The curve Θ is the tangent at P having with the given curve two intersections at this point; that is, k = 2; P' is any one of the m − 2 tangentials of P, that is, α' = m − 2; and P is the point of contact of any one of the n − 2 tangents from P' to the curve, that is, α = n − 2. Each cusp is (specially) a united point, and counts once, whence the Supplement is = z. Hence, writing i for the number of inflexions, we have
\[ i - (m - 2) - (n - 2) + z = 4D; \]
or substituting for $2D$ its value expressed in the form $n-2m+2+z$, we have
$$i = 3n - 3m + z,$$
which is right.
102. For the purpose of the next example it is necessary to present the fundamental equation under a more general form. The curve $\Theta$ may intersect the given curve in a system of points $P'$, each $p$ times, a system of points $Q'$, each $q$ times, &c. in such manner that the points $(P, P')$, the points $(P, Q')$, &c. are pairs of points corresponding to each other according to distinct laws; and we shall then have the numbers $(a, \alpha, \alpha')$, $(b, \beta, \beta')$, &c. corresponding to these pairs respectively, viz. $(P, P')$ are points having an $(\alpha, \alpha')$ correspondence, and the number of united points is $=a$; $(P, Q')$ are points having a $(\beta, \beta')$ correspondence, and the number of united points is $=b$, and so on. The theorem then is
$$p(a-\alpha-\alpha') + q(b-\beta-\beta') + \text{&c.} + \text{Supp.} = 2kD,$$
being in fact the most general form of the theorem for the correspondence of two points on a curve, and that which will be used in all the investigations which follow.
103. Investigation of the number of double tangents. Take $P'$ an intersection of the curve with a tangent from $P$ to the curve (or, what is the same thing, $P, P'$ cotangentials of any point of the curve): the united points are here the points of contact of the several double tangents of the curve; or if $\tau$ be the number of double tangents, then the number of united points is $=2\tau$. The curve $\Theta$ is the system of the $n-2$ tangents from $P$ to the curve; each tangent has with the curve a single intersection at $P$, that is, $k=n-2$; each tangent besides meets the curve in the point of contact $Q'$ twice, and in $(m-3)$ points $P'$; hence if $(a, \alpha, \alpha')$ refer to the points $(P, Q')$, and $(2\tau, \beta, \beta')$ to the points $(P, P')$, we have
$$2\{a-\alpha-\alpha'\} + \{2\tau-\beta-\beta'\} + \text{Supp.} = 2(n-2)D.$$
From the foregoing example, the value of $a-\alpha-\alpha'$ is $=4D-z$. In the case where the point $P$ is at a cusp, then the $n-2$ tangents become the $n-3$ tangents from the cusp, and the tangent at the cusp; hence the curve $\Theta$ meets the given curve in $2(n-3)+3$, $=2n-3$ points, that is, $(n-2)+(n-1)$ points; this does not prove (ante, No. 96), but the fact is, that the cusp counts in the Supplement $(n-1)$ times, and the expression of the Supplement is $=(n-1)z$. It is clear that we have $\beta=\beta'=(n-2)(m-3)$, so that the equation is
$$8D-2z+2\tau-2(n-2)(m-3)+(n-1)z=(n-2)2D,$$
that is,
$$2\tau=2(n-2)(m-3)+(n-6)2D+(-n+3)z;$$
or substituting for $2D$ its value $=n-2m+2+z$ and reducing, this is
$$2\tau=n^2+8m-10n-3z,$$
which is right.
104. As another example, suppose that the point $P$ on a given curve of the order $m$ and the point $Q$ on a given curve of the order $m'$ have an $(\alpha, \alpha')$ correspondence, and let
it be required to find the class of the curve enveloped by the line PQ. Take an arbitrary point O, join OQ, and let this meet the curve m in P'; then (P, P') are points on the curve m having a \((m'a, m'a')\) correspondence; in fact to a given position of P there correspond \(a'\) positions of Q, and to each of these \(m\) positions of P'; that is, to each position of P there correspond \(ma'\) positions of P'; and similarly to each position of P' there correspond \(m'a\) positions of P. The curve Θ is the system of the lines drawn from each of the \(a'\) positions of Q to the point O, hence the curve Θ does not pass through P, and we have \(k=0\). Therefore the number of the united points (P, P'), that is, the number of the lines PQ which pass through the point O, is \(=ma'+m'a\), or this is the class of the curve enveloped by PQ.
It is to be noticed that if the two curves are curves in space (plane, or of double curvature), then the like reasoning shows that the number of the lines PQ which meet a given line O is \(=ma'+m'a\), that is, the order of the scroll generated by the line PQ is \(=ma'+m'a\).
Application to the Conics which satisfy given conditions, one at least arbitrary.—Article Nos. 105 to 111.
105. Passing next to the equations which relate to a conic, we seek for \((4Z)(1)\), the number of the conics which satisfy any four conditions \(4Z\) and besides touch a given curve, \((3Z)(2)\) and \((3Z)(1, 1)\), the number of the conics which satisfy three conditions, and besides have with the given curve a contact of the second order, or (as the case may be) two contacts of the first order; and so on with the conditions \(2Z, Z\), and then finally \((5), (4, 1), \ldots (1, 1, 1, 1, 1)\), the numbers of the conics which have with the given curve a contact of the fifth order, or a contact of the fourth and also of the first order \(\ldots\), or five contacts of the first order.
106. As regards the case \((4Z)(1)\), taking P an arbitrary point of the given curve \(m\), and for the curve Θ the system of the conics \((4Z)(I)\) which pass through the given point P and besides satisfy the four conditions, then the curve Θ has with the given curve \((4Z)(I)\) intersections at P, and the points P' are the remaining \((2m-1)(4Z)(I)\) intersections: in the case of a united point (P, P'), some one of the system of conics becomes a conic \((4Z)(1)\); and the number of the united points is consequently equal to that of the conics \((4Z)(1)\); we have thus the equation
\[
\{(4Z)(1)-2(2m-1)(4Z)(I)\} + \text{Supp.}(4Z)(I)=(4Z)(I).2D.
\]
107. It is in the present case easy to find \(\text{à priori}\) the expression for the Supplement.
1. The system of conics \((4Z)\) contains \(2(4Z.\)-(4Z/)\) point-pairs*; each of these, regarded as a line, meets the given curve in \(m\) points, and each of these points is (specially) a united point (P, P'); this gives in the Supplement the term \(m\{2(4Z.\)-(4Z/)\}. 2. The number of the conics \((4Z)\) which can be drawn through a cusp of the given curve is
* The expression a point-pair is regarded as equivalent to and standing for that of a coincident line-pair: see First Memoir, No. 30.
and the cusp is in respect of each of these conics a united point; we have thus the term \( z(4Z \cdot ) \), and the Supplement is thus \( =m\{2(4Z \cdot )-(4Z/)\}+z(4Z \cdot ) \). We have moreover \( (4Z)(\bar{1})=(4Z \cdot ) \), \( 2D=n-2m+2+z \); and substituting these values, we find
\[
(4Z)(1)= (4m-2)(4Z \cdot ) \\
-m\{2(4Z \cdot )-(4Z/)\}-z(4Z \cdot ) \\
+(n-2m+2+z)(4Z \cdot ) \\
=n(4Z \cdot )+m(4Z/),
\]
which is right.
108. It is clear that if, instead of finding as above the expression of the Supplement, the value of \( (4Z)(1),=n(4Z \cdot )+m(4Z/) \), had been taken as known, then the equation would have led to
\[
\text{Supp.}(4Z)(\bar{1})=m\{2(4Z \cdot )-(4Z/)\}+z(4Z \cdot );
\]
and this, as in fact already remarked, is the course of treatment employed in the remaining cases. It is to be observed also that the equation may for shortness be written in the form
\[
(4Z) \quad \{(1)-2(2m-1)(\bar{1})\} \\
+\text{Supp.}(\bar{1})=(\bar{1})2D;
\]
viz. the \( (4Z) \) is to be understood as accompanying and forming part of each symbol; and the like in other cases.
109. We have the series of equations
\[
(4Z) \quad \{(1)-(\bar{1})(2m-1)-(\bar{1})(2m-1)\} \\
+\text{Supp.}(\bar{1})=(\bar{1})2D;
\]
\[
(3Z) \quad \{(2)-(\bar{2})(2m-2)-(\bar{1}, 1)\} \\
+\text{Supp.}(\bar{2})=2(\bar{2})2D;
\]
\[
(3Z) \quad 2\{(2)-(\bar{1}, 1)-(\bar{2})(2m-2)\} \\
+\{2(1, 1)-(\bar{1}, 1)(2m-3)-(\bar{1}, 1)(2m-3)\} \\
+\text{Supp.}(\bar{1}, 1)=(\bar{1}, 1)2D;
\]
\[
(2Z) \quad \{(3)-(\bar{3})(2m-3)-(\bar{1}, 2)\} \\
+\text{Supp.}(\bar{3})=3(\bar{3})2D;
\]
\[
(2Z) \quad 2\{(3)-(\bar{2}, 1)-(\bar{2}, 1)\} \\
+\{(2, 1)-(\bar{2}, 1)(2m-4)-(\bar{1}, 1, 1)2\} \\
+\text{Supp.}(\bar{2}, 1)=2(\bar{2}, 1)2D;
\]
\[
(2Z) \quad 3\{(3)-(\bar{1}, 2)-(\bar{3})(2m-3)\} \\
+\{(1, 2)-(\bar{1}, 2)(2m-4)-(\bar{1}, 2)(2m-4)\} \\
+\text{Supp.}(\bar{1}, 2)=(\bar{1}, 2)2D;
\]
(2Z) \[2\{(2, 1) - (\bar{1}, 1, 1)2 - (\bar{2}, 1)(2m-4)\} + \{3(1, 1, 1) - (\bar{1}, 1, 1)(2m-5) - (\bar{1}, 1, 1)(2m-5)\} + \text{Supp.}(1, 1, 1) = (\bar{1}, 1, 1)2D;\]
(Z) \[\{(4) - (4)(2m-4) - (\bar{1}, 3)\} + \text{Supp.}(4) = 4(\bar{4})2D;\]
(Z) \[2\{(4) - (\bar{3}, 1) - (\bar{2}, 2)\} + \{(\bar{3}, 1) - (\bar{3}, 1)(2m-5) - (\bar{1}, 1, 2)\} + \text{Supp.}(\bar{3}, 1) = 3(\bar{3}, 1)2D;\]
(Z) \[3\{(4) - (\bar{2}, 2) - (3, \bar{1})\} + \{2(2, 2) - (\bar{2}, 2)(2m-5) - (\bar{1}, 1, 2)\} + \text{Supp.}(\bar{2}, 2) = 2(\bar{2}, 2)2D;\]
(Z) \[2\{(3, 1) - (\bar{2}, 1, 1)2 - (\bar{2}, 1, 1)2\} + \{(2, 1, 1) - (\bar{2}, 1, 1)(2m-6) - (\bar{1}, 1, 1, 1)\} + \text{Supp.}(2, 1, 1) = 2(\bar{2}, 1, 1)2D;\]
(Z) \[4\{(4) - (\bar{1}, 3) - (\bar{4})(2m-4)\} + \{(1, 3) - (\bar{1}, 3)(2m-5) - (\bar{1}, 3)(2m-5)\} + \text{Supp.}(\bar{1}, 3) = (\bar{1}, 3)2D;\]
(Z) \[3\{(3, 1) - (\bar{1}, 1, 2) - (\bar{3}, 1)(2m-5)\} + 2\{2(2, 2) - (\bar{1}, 1, 2) - (\bar{2}, 2)(2m-5)\} + \{2(1, 1, 2) - (\bar{1}, 1, 2)(2m-6) - (\bar{1}, 1, 2)(2m-6)\} + \text{Supp.}(\bar{1}, 1, 2) = (\bar{1}, 1, 2)2D;\]
(Z) \[2\{(2, 1, 1) - (\bar{1}, 1, 1, 1)3 - (\bar{2}, 1, 1)(2m-6)\} + \{4(1, 1, 1, 1) - (\bar{1}, 1, 1, 1)(2m-7) - (\bar{1}, 1, 1, 1)(2m-7)\} + \text{Supp.}(\bar{1}, 1, 1, 1) = (\bar{1}, 1, 1, 1)2D.\]
110. I content myself with giving the expressions of only the following supplements.
\[\text{Supp.}(4Z)(\bar{1}) = m[2(\cdot) - (/)] + z(\cdot).\]
\[\text{Supp.}(3Z)(\bar{2}) = \frac{3}{2}n[2(\cdot) - (\cdot/)] + \frac{3}{2}z(\cdot/).\]
\[\text{Supp.}(3Z)(\bar{1}, 1) = (2mn - 3n^2 - n + na)(\cdot) + (2m^2 - 4mn - 2m + 2n + (m - \frac{1}{2})a)(\cdot/) + (-m^2 + m)(//).\]
\[
\text{Supp. } (2Z)(3) = -\frac{1}{4}m[2(\cdot \cdot )-(\cdot /)] \\
+ \frac{1}{4}n[2(\cdot \cdot )-(\cdot /)+2(2(\cdot /)-(\cdot //))] \\
+ \frac{1}{2}z(\cdot /).
\]
\[
\text{Supp. } (Z)(4) = az + b(2z + 2i),
\]
where \(a, b\) are the representatives of the condition \(Z\).
It may be added that we have in general
\[
\text{Supp. } (Z)(4X) = a \text{ Supp. } (4X \cdot ) + b \text{ Supp. } (4X/),
\]
where \((4X)\) stands for any one of the symbols \((4), (3, 1), \ldots, (\overline{1}, 1, 1, 1)\).
111. The expression of \(\text{Supp. } (4Z)(\overline{1})\) has been explained \textit{supra}, No. 108. That of \(\text{Supp. } (3Z)(2)\) may also be explained.
1. The point-pairs of the system of conics \((3Z)\), regarding each point-pair as a line, are a set of lines enveloping a curve; the class of this curve is equal to the number of the lines which pass through an arbitrary point, that is, as at first sight would appear, to the number of point-pairs in the system \((3Z \cdot )\), or to \(2(3Z : )-(3Z \cdot /\)) : it is, however, necessary to admit that the number of distinct lines, and therefore the class of the curve, is one-half of this, or \(=\frac{1}{2}[2(3Z : )-(3Z \cdot /)]\); which being so, the number of the point-pairs \((3Z)\) which, regarded as lines, touch the given curve (of the order \(m\) and class \(n\)) is \(=\frac{1}{2}n[2(3Z : )-(3Z \cdot /)]\). The point of contact of any one of these lines with the given curve is (specially) a united point, and we have thus the term \(\frac{1}{2}n[2(3Z : )-(3Z \cdot /)]\) of the Supplement.
2. The number of the conics \((3Z)\) which touch the given curve at a given cusp thereof, or, say, the conics \((3Z)(2z1)\), is \(=\frac{1}{2}(3Z \cdot /\)), and the cusp is in respect of each of these conics a united point; we have thus the remaining term \(\frac{1}{2}z(3Z \cdot /\)) of the Supplement.
\textit{Application to the Conics which satisfy five conditions of contact with a given Curve.}
Articles Nos. 112 to 135.
112. We have twelve equations, which I first present in what I call their original forms; viz. these are—
First equation:
\[
\{(5)-(\overline{5})(2m-5)-(\overline{1}, 4)\} \\
+ \text{ Supp. } (\overline{5}) = 5(\overline{5})2D.
\]
Second equation:
\[
2\{(5)-(\overline{4}, 1)-(\overline{2}, 3)\} \\
+ \{(4, 1)-(\overline{4}, 1)(2m-6)-(\overline{1}, 1, 3)\} \\
+ \text{ Supp. } (\overline{4}, 1) = 4(\overline{4}, 1)2D.
\]
Third equation:
\[ 3\{(5) - 2(\bar{3}, 2) - 2(\bar{3}, 2)\} \]
\[ + \{(3, 2) - (\bar{3}, 2)(2m-6) - 2(\bar{1}, 2, 2)\} \]
\[ + \text{Supp.}(\bar{3}, 2) = 3(\bar{3}, 2)2D. \]
Fourth equation:
\[ 2\{(4, 1) - 2(\bar{3}, 1, 1) - (\bar{2}, 2, 1)\} \]
\[ + \{(3, 1, 1) - (\bar{3}, 1, 1)(2m-7) - (\bar{1}, 1, 1, 2)\} \]
\[ + \text{Supp.}(\bar{3}, 1, 1) = 3(\bar{3}, 1, 1)2D. \]
Fifth equation:
\[ 4\{(5) - (\bar{2}, 3) - (\bar{4}, 1)\} \]
\[ + \{(3, 2) - (\bar{2}, 3)(2m-6) - (\bar{1}, 1, 3)\} \]
\[ + \text{Supp.}(\bar{2}, 3) = 2(\bar{2}, 3)2D. \]
Sixth equation:
\[ 3\{(4, 1) - 2(\bar{2}, 2, 1) - 2, (\bar{3}, 1, 1)\} \]
\[ + 2\{(3, 2) - (\bar{2}, 2, 1) - (\bar{2}, 2, 1)\} \]
\[ + \{2(2, 2, 1) - (\bar{2}, 2, 1)(2m-7) - 2(\bar{1}, 1, 1, 2)\} \]
\[ + \text{Supp.}(\bar{2}, 2, 1) = 2(\bar{2}, 2, 1)2D. \]
Seventh equation:
\[ 2\{(3, 1, 1) - 3(\bar{2}, 1, 1, 1) - 3(\bar{2}, 1, 1, 1)\} \]
\[ + \{(2, 1, 1, 1) - (\bar{2}, 1, 1, 1)(2m-8) - 4(\bar{1}, 1, 1, 1, 1)\} \]
\[ + \text{Supp.}(\bar{2}, 1, 1, 1) = 2(\bar{2}, 1, 1, 1)2D. \]
Eighth equation:
\[ 5\{(5) - (\bar{1}, 4) - (\bar{5})(2m-5)\} \]
\[ + \{(4, 1) - (\bar{1}, 4)(2m-5) - (\bar{1}, 4)(2m-5)\} \]
\[ + \text{Supp.}(\bar{1}, 4) = (\bar{1}, 4)2D. \]
Ninth equation:
\[ 4\{(4, 1) - (\bar{1}, 1, 3) - (\bar{4}, 1)(2m-6)\} \]
\[ + 2\{(3, 2) - (\bar{1}, 1, 3) - (\bar{2}, 3)(2m-6)\} \]
\[ + \{2(3, 1, 1) - (\bar{1}, 1, 3)(2m-7) - (\bar{1}, 1, 3)(2m-7)\} \]
\[ + \text{Supp.}(\bar{1}, 1, 3) = (\bar{1}, 1, 3)2D. \]
Tenth equation:
\[3\{(3, 2) - 2(\bar{1}, 2, 2) - (\bar{3}, 2)(2m-6)\} + \{(2, 2, 1) - (\bar{1}, 2, 2)(2m-7) - (\bar{1}, 2, 2)(2m-7)\} + \text{Supp.}(\bar{1}, 2, 2) = (\bar{1}, 2, 2)2D.\]
Eleventh equation:
\[3\{(3, 1, 1) - (\bar{1}, 1, 1, 2) - (\bar{3}, 1, 1)(2m-7)\} + 2(2(2, 2, 1) - 2(\bar{1}, 1, 1, 2) - (\bar{2}, 2, 1)(2m-7)) + \{(3(2, 1, 1, 1) - (\bar{1}, 1, 1, 2)(2m-8) - (\bar{1}, 1, 1, 2)(2m-8)\} + \text{Supp.}(\bar{1}, 1, 1, 2) = (\bar{1}, 1, 1, 2)2D.\]
Twelfth equation:
\[2\{(2, 1, 1, 1) - 4(\bar{1}, 1, 1, 1, 1) - (\bar{2}, 1, 1, 1)(2m-8)\} + \{(5(1, 1, 1, 1, 1) - (\bar{1}, 1, 1, 1, 1)(2m-9) - (\bar{1}, 1, 1, 1, 1)(2m-9)\} + \text{Supp.}(\bar{1}, 1, 1, 1, 1) = (\bar{1}, 1, 1, 1, 1)2D.\]
113. I alter the forms of these equations by substituting for \(2D\) its value \(=n-2m+2+z\), and by writing for the expressions with \((\bar{1})\) their values,
\[(\bar{1}, 4) = (\cdot 4) - 5(\bar{5}), \&c.,\]
and except in the terms \{\text{Supp.}(\bar{5})-z(\bar{5})\}; \&c., by writing for \(z\) its value \(-3n+\alpha\).
The resulting equations, if the Supplements were known, would serve to determine the values of \((5), (4, 1), \&c.;\) but I assume instead that the last-mentioned expressions are known (First Memoir, No. 50), and use the equations to determine the Supplements, or, what comes to the same thing, the values of the terms in \{\} which contain these Supplements. We have thus the twelve reduced equations, with resulting values of the supplements.
114. First equation:
\[\begin{align*}
(5) &\quad -15m - 15n + 9\alpha \\
+ \{\text{Supp.}(\bar{5})-z(\bar{5})\} &\quad -3m + \alpha \\
+ (\bar{5})(8m+7n-4\alpha) &\quad 8m+7n-4\alpha \\
-(\cdot 4) &\quad +10m+8n-6\alpha
\end{align*}\]
(that is, we have
\[\text{Supp.}(\bar{5})-z(\bar{5}) = -3m+\alpha,\]
and so in the subsequent cases, the equation gives the value of the term in \{\} which contains the Supplement).
115. Second equation:
\[ =0= \]
\[
\begin{align*}
2(5) & -30m-30n+\alpha(18) \\
+(4,1) & -8m^2-20mn-8n^2+104m+104n+\alpha(6m+6n-66) \\
+\{\text{Supp.}(4,1)-z(4,1)\} & -6m^2-3mn+18m+9n+\alpha(3m-9) \\
+(4,1)(6m+5n-3\alpha) & +6m^2+11mn+5n^2-36m-30n+\alpha(-3m-3n+18) \\
-(\cdot 1,3) & +8m^2+12mn+3n^2-56m-53n+\alpha(-6m-3n+39).
\end{align*}
\]
I stop for a moment to notice a very convenient verification of the term in \{ \}; putting therein \( \alpha = 3n \), the term is
\[-6m^2-3mn+18m+9n+(9mn-27n);\]
and if in this we write \( m=n=1, m^2=mn=n^2=2 \), and when any higher terms enter \( m^3=m^2n=mn^2=n^3=4, m^4=m^3n=m^2n^2=mn^3=n^4=8, \&c., \) the value is \(-12-6+18+9+18-27, =0, \) viz. we should always obtain a sum \( =0 \). The reason is that the term in question should always admit of being expressed in the form \( p\delta+qz+r\tau+s\iota; \) the reduction to this form might be effected by the substitutions \( m=\frac{1}{2}(m+n)+\frac{1}{6}(z-\iota), n=\frac{1}{2}(m+n)-\frac{1}{6}(z-\iota), m^2=2.\frac{1}{2}(m+n)+2\delta+3z, n^2=2.\frac{1}{2}(m+n)+2\tau+3\iota, \) giving a result \( =A(m+n)+\text{terms in } (\delta, z, \tau, \iota), \) where \( A \) is a numerical coefficient calculable as above by simply writing \( m=n=1, m^2=mn=n^2=2, \&c., \) and which is \( =0 \) when the term is of the proper form \( p\delta+qz+r\tau+s\iota. \) The complete reduction to the form in question is material in the sequel, but I advert to the point here only for the sake of the numerical verification.
116. Third equation:
\[ =0= \]
\[
\begin{align*}
3(5) & -45m-45n+\alpha(+27) \\
+(3,2) & +120m+120n+\alpha(-4m-4n-78)+3\alpha^2 \\
+\{\text{Supp.}(3,2)-z(3,2)\} & +15m+\alpha(n-7) \\
+(3,2)(4m+3n-2\alpha) & -36m-27n+\alpha(4m+3n+18)-2\alpha^2 \\
-2(\cdot 2,2) & -54m-48n+\alpha(+40)-\alpha^2.
\end{align*}
\]
Verification is \( 15+3(1.2-7)=0. \)
117. Fourth equation:
\[ =0= \]
\[
\begin{align*}
2(4,1) & -16m^2-40mn-16n^2(1) \\
+(3,1,1) & -\frac{3}{2}m^3-10m^2n-10mn^2-\frac{3}{2}n^3+\frac{109}{2}m^2+116mn+\frac{109}{2}n^2(2) \\
+\{\text{Supp.}(3,1,1)-z(3,1,1)\} & -\frac{1}{2}m^2+\frac{1}{2}m^2n+2mn^2+\frac{2}{3}m^2+\frac{1}{3}mn-\frac{7}{3}n^2(3) \\
+(3,1,1)(4m+3n-2\alpha) & 2m^3+\frac{1}{2}m^2n+8mn^2+\frac{3}{2}n^3-26m^2-\frac{9}{2}mn-\frac{3}{2}n^2(4) \\
-(\cdot 2,1,1) & -24m^2-36mn-12n^2(5)
\end{align*}
\]
CURVES WHICH SATISFY GIVEN CONDITIONS.
\[
\begin{align*}
(1) & \quad +208m + 208n + \alpha(12m + 12n - 132) \\
(2) & \quad -434m - 434n + \alpha(\frac{3}{2}m^2 + 6mn + \frac{3}{2}n^2 - \frac{6}{2}m - \frac{6}{2}n + 291) - \frac{9}{2}\alpha^2 \\
(3) & \quad -50m - 23n + \alpha(\frac{1}{2}m^2 - \frac{1}{2}m - \frac{1}{2}n + 33) \\
(4) & \quad +108m + 81n + \alpha(-m^2 - 4mn - n^2 + 7m + \frac{1}{2}n - 54) + 3\alpha^2 \\
(5) & \quad +168m + 168n + \alpha(-m^2 - 2mn - \frac{1}{2}n^2 + 25m + \frac{3}{2}n - 138) + \frac{3}{2}\alpha^2.
\end{align*}
\]
Verification is \((- \frac{1}{2} + \frac{1}{2} + 2)4 + (\frac{2}{3} + \frac{1}{2} - 7)2 - 50 - 23 + 3(\frac{1}{2}.4 - (\frac{1}{2} + \frac{1}{2})2 + 33) = 0.\)
118. Fifth equation:
\[
\begin{align*}
4(5) & \quad = 0 \\
+ (3, 2) & \quad -60m - 60n + \alpha(36) \\
+ \{\text{Supp.}(2, 3) - z(2, 3)\} & \quad +120m + 120n + \alpha(-4m - 4n - 78) + 3\alpha^2 \\
+ (2, 3)(2m + n - \alpha) & \quad n^2 + 8m - n + \alpha(-3) \\
- (.1, 3) & \quad -8m^2 - 12mn - 4n^2 - 12m - 6n + \alpha(10m + 7n + 6) - 3\alpha^2 \\
& \quad +8m^2 + 12mn + 3n^2 - 56m - 53n + \alpha(-6m - 3n + 39).
\end{align*}
\]
Verification is \(2 + 8 - 1 + 3(-3) = 0.\)
119. Sixth equation:
\[
\begin{align*}
3(4, 1) & \quad = 0 \\
+2(3, 2) & \quad -24m^2 - 60mn - 24n^2 + 312m + 312n \\
+2(2, 2, 1) & \quad +240m + 240n \\
+ \{\text{Supp.}(2, 2, 1) - z(2, 2, 1)\} & \quad +48m^2 + 108mn + 48n^2 - 936m - 936n \\
+ (2, 2, 1)(2m + n - \alpha) & \quad +12m^2 + 6mn - 6n^2 - 60m - 6n \\
-2(.2, 1, 1) & \quad +12m^2 + 18mn + 6n^2 + 108m + 54n \\
& \quad -48m^2 - 72mn - 24n^2 + 336m + 336n \\
(1) & \quad +\alpha(+18m + 18n - 198) \\
(2) & \quad +\alpha(-8m - 8n - 156) + \alpha^2(+6) \\
(3) & \quad +\alpha(-16m - 16n + 654) + \alpha^2(m + n - 24) \\
(4) & \quad +\alpha(mn - 8m - 2n + 30) \\
(5) & \quad +\alpha(2m^2 + 3mn + n^2 - 36m - 21n - 54) + \alpha^2(-m - n + 15) \\
(6) & \quad +\alpha(-2m^2 - 4mn - n^2 + 50m + 29n - 276) + \alpha^2(+3).
\end{align*}
\]
Verification is \((12 + 6 - 6)2 - 60 - 6 + 3(4 - (8 + 2)2 + 30) = 0.\)
120. Seventh equation:
\[
\begin{align*}
2(3, 1, 1) & \quad = 0 \\
+(2, 1, 1, 1) & \quad \frac{1}{2}m^3n + m^2n^2 \\
+ \{\text{Supp.}(2, 1, 1, 1) - z(2, 1, 1, 1)\} & \quad \frac{1}{3}m^4 + \frac{1}{3}m^3n + 3m^2n^2 + \frac{1}{3}mn^3 + \frac{1}{6}n^4 \\
+(2, 1, 1, 1)(2m + n - \alpha) & \quad -\frac{1}{3}m^4 - \frac{8}{3}m^3n - 4m^2n^2 - \frac{4}{3}mn^3 - \frac{1}{6}n^4 \\
-(.1, 1, 1, 1) & \quad z^2
\end{align*}
\]
\[
\begin{align*}
(1) & \quad -3m^3 - 20m^2n - 20mn^2 - 3n^3 + 109m^2 + 232mn + 109n^2 - 868m - 868n \\
(2) & \quad 6m^3 + 30m^2n + 30mn^2 + 6n^3 - 174m^2 - 348mn - 174n^2 + 1320m \\
(3) & \quad -\frac{7}{2}m^3 - 5mn^2 - \frac{3}{2}n^3 - 20m^2 - 5mn + \frac{29}{2}n^2 + 80m + 26n \\
(4) & \quad -5m^3 - \frac{37}{2}m^2n - 13mn^2 - \frac{5}{2}n^3 + \frac{74}{3}m^2 + 37mn + \frac{37}{2}n^2 - 150m - 75n \\
(5) & \quad +2m^3 + 12m^2n + 8mn^2 + n^3 + \frac{181}{3}m^2 + 84mn + \frac{229}{6}n^2 - 382m - 403n
\end{align*}
\]
\[
\begin{align*}
(1) & \quad +\alpha(3m^2 + 12mn + 3n^2 - 69m - 69n + 582) + \alpha^2(-9) \\
(2) & \quad +\alpha(\frac{1}{6}m^3 + m^2n + mn^2 + \frac{1}{6}n^3 - \frac{15}{2}m^2 - 26mn - \frac{15}{2}n^2 + \frac{35}{8}m + \frac{35}{8}n - 960) + \alpha^2(-\frac{3}{2}m - \frac{3}{2}n + 28) \\
(3) & \quad +\alpha(-m^2 - \frac{3}{2}mn + \frac{1}{2}n^2 + 19m + \frac{5}{2}n - 54) \\
(4) & \quad +\alpha(-\frac{1}{6}m^3 - m^2n - mn^2 - \frac{1}{6}n^3 - \frac{1}{2}m^2 + \frac{7}{2}mn + n^2 + \frac{50}{3}m + \frac{50}{3}n + 75) + \alpha^2(\frac{3}{2}m + \frac{3}{2}n - \frac{29}{2}) \\
(5) & \quad +\alpha(6m^2 + 12mn + 3n^2 - 86m - 55n + 357) + \alpha^2(-\frac{9}{2})
\end{align*}
\]
Verification is
\[
(\frac{1}{2}+1)8 + (-\frac{7}{2}-5-\frac{3}{2})4 + (-20-5+\frac{29}{2})2 + 80 + 26 + 3((-1-\frac{3}{2}+\frac{1}{2})4 + (19+\frac{5}{2})2 - 54) = 0.
\]
121. Eighth equation:
\[
\begin{align*}
5(5) & \quad = 0 = -75m - 75n + \alpha(45) \\
+ (4, 1) & \quad -8m^2 - 20mn - 8m^2 + 104m + 104n + \alpha(6m + 6n - 66) \\
+ \{\text{Supp.} (\bar{I}, 4) - z(\bar{I}, 4)\} & \quad + 1m - 4n + \alpha(1) \\
-(m-\frac{5}{3})(2(\cdot 4)-(/4)) & \quad 10mn + 8n^2 - \frac{50}{3}m - \frac{40}{3}n + \alpha(-6n + 10) \\
+(-n+\frac{5}{3})(\cdot 4) & \quad 8m^2 + 10mn - \frac{40}{3}m - \frac{50}{3}n + \alpha(-6m + 10) \\
+(-m+\frac{5}{3})(/4) & \quad + 5n.
\end{align*}
\]
Verification is \(1 - 4 + 3.1 = 0\).
122. Ninth equation:
\[
\begin{align*}
4(4, 1) & \quad = 0 = -32m^2 - 80mn - 32n^2 \\
+2(3, 2) & \quad -3m^3 - 20m^2n - 20mn^2 - 3n^3 + 109m^2 + 232mn + 109n^2 \\
+2(3, 1, 1) & \quad -2m^2 + 12mn + 2n^2 \\
+ \{\text{Supp.} (\bar{I}, 1, 3) - z(\bar{I}, 1, 3)\} & \quad + 8m^2n + 12mn^2 + 3n^3 - 16m^2 - 80mn - 59n^2 \\
-(m-2)(2(\cdot 1, 3)-(/1, 3)) & \quad + 3m^3 + 12m^2n + 8mn^2 - 59m^2 - 80mn - 16n^2 \\
+(-n+2)(\cdot 1, 3) & \quad - 4mn - 4n^2 \\
+(-m+2)(/1, 3) & \quad + n(4(4, 1)+2(2, 3))
\end{align*}
\]
CURVES WHICH SATISFY GIVEN CONDITIONS.
(1) \(+416m + 416n + \alpha(24m + 24n - 264)\)
(2) \(+240m + 240n + \alpha(-8m - 8n - 156) + 6\alpha^2\)
(3) \(-868m - 868n + \alpha(3m^2 + 12mn + 3n^2 - 69m - 69n + 582) - 9\alpha^2\)
(4) \(-6m + 30n + \alpha(-4m - 10n - 6) + 3\alpha^2\)
(5) \(+112m + 106n + \alpha(-6mn - 3n^2 + 12m + 45n - 78)\)
(6) \(+106m + 112n + \alpha(-3m^2 - 6mn + 45m + 12n - 78)\)
(7) \(-36n + \alpha(+6n)\).
Verification is \((-2 + 12 + 2)2 - 6 + 30 + 3((-4 - 10)2 - 6) + 3.9.2 = 0.\)
123. Tenth equation:
\[
\begin{align*}
&= 0 \\
&+ 3(3, 2) \\
&+(2, 2, 1) \\
&+\{\text{Supp.}(\bar{1}, 2, 2) - z(\bar{1}, 2, 2) \\
&-(m-2)(2 \cdot 2, 2) - (/2, 2)\} \\
&+(-n+2)(\cdot 2, 2) \\
&+(-m+2)(/2, 2) \\
&+3n(3, 2)
\end{align*}
\]
\[
\begin{align*}
&+ 360m + 360n \\
&+ 24m^2 + 54mn + 24n^2 - 468m - 468n \\
&+ 6m + 33n \\
&- 27mn - 24n^2 + 54m + 48n \\
&- 24m^2 - 27mn + 48m + 54n \\
&- 27n
\end{align*}
\]
\[
\begin{align*}
&+ \alpha(-12m - 12n - 234) + \alpha^2(9) \\
&+ \alpha(-8m - 8n + 327) + \alpha^2(\frac{1}{2}m + \frac{1}{2}n - 12) \\
&+ \alpha(-3n - 13) + \alpha^2(1) \\
&+ \alpha(20n - 40) + \alpha^2(-\frac{1}{2}n + 1) \\
&+ \alpha(20m - 40) + \alpha^2(\frac{1}{2}m + 1) \\
&+ \alpha(+3n)
\end{align*}
\]
Verification is \(+33 + 3(-3.2 - 13) + 9.2 = 0.\)
124. Eleventh equation:
\[
\begin{align*}
&= 0 \\
&+ 3(3, 1, 1) \\
&+ 4(2, 2, 1) \\
&+ 3(2, 1, 1, 1) \\
&+\{\text{Supp.}(\bar{1}, 1, 1, 2) - z(\bar{1}, 1, 1, 2) \\
&-(m-\frac{7}{3})(2 \cdot 1, 1, 2) - (/1, 1, 2)\} \\
&+(-n+\frac{7}{3})(\cdot 1, 1, 2) \\
&+(-m+\frac{7}{3})(/1, 1, 2) \\
&+n(3(3, 1, 1) + 2(2, 2, 1))
\end{align*}
\]
\[
\begin{align*}
&- \frac{3}{2}m^3 - 30m^2n - 30mn^2 - \frac{3}{2}n^3 \\
&+ 18m^3 + 90m^2n + 90mn^2 + 18n^3 \\
&- \frac{3}{2}m^3 - \frac{3}{2}m^2n - 6mn^2 - 3n^3 \\
&- 24m^2n - 36mn^2 - 12n^3 \\
&- 12m^3 - 36m^2n - 24mn^2 \\
&+ \frac{3}{2}m^3n + 6mn^2 + \frac{3}{2}n^3
\end{align*}
\]
\[
\begin{align*}
(1) & \quad + \frac{3}{2}m^2 + 348mn + \frac{3}{2}n^2 - 1302m - 1302n + \alpha \\
(2) & \quad + 96m^2 + 216mn + 96n^2 - 1872m - 1872n + \alpha \\
(3) & \quad - 522m^2 - 1044mn - 522n^2 + 3960m + 3960n + \alpha \left( \frac{1}{2}m^3 + 3m^2n + 3mn^2 + \frac{1}{2}n^3 \right) \\
(4) & \quad + \frac{3}{2}m^2 - \frac{3}{2}mn + 18m^2 - 2m - 191n + \alpha \\
(5) & \quad + 56m^2 + 252mn + 196n^2 - 392m - 392n + \alpha \left( -m^2n - 2mn^2 - \frac{1}{2}n^3 \right) \\
(6) & \quad + 196m^2 + 252mn + 56n^2 - 392m - 392n + \alpha \left( -\frac{1}{2}m^3 - 2m^2n - mn^2 \right) \\
(7) & \quad - \frac{1}{2}mn - \frac{1}{2}n^2 + 189n + \alpha \\
(1) & \quad \frac{9}{2}m^2 + 18mn + \frac{9}{2}n^2 - \frac{207}{2}m - \frac{207}{2}n + 873 + \alpha^2 \left( -\frac{27}{2} \right) \\
(2) & \quad - 32m - 32n + 1308 + \alpha^2 \left( 2m + 2n - 48 \right) \\
(3) & \quad - \frac{4}{3}m^2 - 78mn - \frac{4}{3}n^2 + 358m + 358n - 2880 + \alpha^2 \left( -\frac{3}{2}m - \frac{3}{2}n + 84 \right) \\
(4) & \quad - \frac{4}{3}mn - 2n^2 + \frac{2}{3}m + \frac{2}{3}n + 55 + \alpha^2 \left( m + n - \frac{3}{2} \right) \\
(5) & \quad + \frac{7}{3}m^2 + \frac{8}{3}mn + \frac{4}{3}n^2 - \frac{175}{3}m - \frac{1081}{6}n + 322 + \alpha^2 \left( \frac{3}{2}m - \frac{7}{2} \right) \\
(6) & \quad + \frac{4}{3}m^2 + \frac{8}{3}mn + \frac{7}{3}n^2 - \frac{1031}{6}m - \frac{175}{3}n + 322 + \alpha^2 \left( \frac{3}{2}n - \frac{7}{2} \right) \\
(7) & \quad 2mn + 2n^2 + \frac{6}{2}n \\
\end{align*}
\]
Verification is \(4(-\frac{3}{2}-\frac{3}{2}-6-3)+2(\frac{3}{2}-\frac{3}{2}+18)-2-191\)
\[+3((-4-\frac{3}{2})4+(\frac{2}{3}+\frac{2}{3}+\frac{5}{3})2+55)+9((1+1)4-\frac{3}{2}.2)=0.\]
125. Twelfth equation:
\[
\begin{align*}
&=0= \\
2(\bar{2}, 1, 1, 1) \\
+5(1, 1, 1, 1) \\
+ \left\{ \text{Supp.} (\bar{1}, 1, 1, 1) - z(\bar{1}, 1, 1, 1) \right\} \\
-(m-\frac{8}{3})(2 \cdot 1, 1, 1, 1) - (/1, 1, 1, 1) \\
+(-n+\frac{8}{3})(\cdot 1, 1, 1, 1) \\
+(-m+\frac{8}{3})(/1, 1, 1, 1) \\
+2n(\bar{2}, 1, 1, 1)
\end{align*}
\]
\[
\begin{align*}
(1) & \quad \frac{1}{2}m^5 + \frac{5}{2}m^4n + \frac{5}{3}m^3n^2 + \frac{5}{3}m^2n^3 + \frac{5}{2}mn^4 + \frac{1}{2}n^5 \\
(2) & \quad - \frac{1}{2}m^4n - \frac{2}{3}m^3n^2 - mn^3 - \frac{1}{3}mn^4 - \frac{1}{2}n^5 \\
(3) & \quad - \frac{1}{6}m^4 - \frac{4}{3}m^3n - \frac{1}{3}m^2n^2 - 3mn^3 - \frac{1}{2}n^4 + 4m^3 + \frac{2}{3}m^2n + \frac{6}{3}mn^2 + 9n^3 \\
(4) & \quad + \frac{2}{9}m^4 + \frac{4}{18}m^3n + \frac{1}{7}m^2n^2 + \frac{2}{9}mn^3 + \frac{1}{3}n^4 - \frac{4}{3}m^3 + \frac{8}{3}m^2n + \frac{4}{7}mn^2 + \frac{2}{24}n^3 \\
(5) & \quad + \frac{1}{3}m^4 + \frac{2}{9}m^3n + \frac{1}{3}m^2n^2 + \frac{4}{18}mn^3 + \frac{2}{9}n^4 + \frac{2}{24}m^3 + \frac{4}{7}m^2n + \frac{8}{5}mn^2 - \frac{4}{3}n^3 \\
(6) & \quad \frac{1}{3}m^3n + 2m^2n^2 + 2mn^3 + \frac{1}{3}n^4 - 5m^2n - 16mn^2 - 5n^3
\end{align*}
\]
\begin{align*}
(1) & \quad -348m^2 - 696mn - 348n^2 + 2640m + 2640n + \alpha \left( \frac{1}{3}m^2 + 2m^2n + 2mn^2 + \frac{1}{3}n^3 \right) \\
(2) & \quad + \frac{6335}{12}m^2 + \frac{2965}{3}mn + \frac{6335}{12}n^2 - 3159m - 3159n + \alpha \left( -\frac{5}{4}m^3 - \frac{15}{2}m^2n - \frac{15}{2}mn^2 - \frac{5}{4}n^3 \right) \\
(3) & \quad - \frac{27}{2}m^2 - 14mn - \frac{239}{6}n^2 - \frac{13}{3}m + \frac{437}{3}n + \alpha \left( \frac{1}{6}m^3 + m^2n + mn^2 + \frac{1}{6}n^3 \right) \\
(4) & \quad - \frac{362}{9}m^2 - \frac{302}{3}mn - \frac{4543}{36}n^2 + \frac{764}{3}m + \frac{806}{3}n + \alpha \left( \frac{3}{2}m^2n + 3mn^2 + \frac{3}{4}n^3 \right) \\
(5) & \quad - \frac{4543}{36}m^2 - \frac{303}{3}mn - \frac{362}{9}n^2 + \frac{806}{3}m + \frac{764}{3}n + \alpha \left( \frac{3}{4}m^3 + 3m^2n + \frac{2}{3}mn^2 \right) \\
(6) & \quad + \frac{74}{3}mn + \frac{74}{3}n^2 - 150n + \alpha \left( \right)
\end{align*}
\begin{align*}
(1) & \quad -15m^2 - 52mn - 15n^2 + \frac{716}{3}m + \frac{716}{3}n - 1920 + \alpha^2 \left( -3m - 3n + 56 \right) \\
(2) & \quad + \frac{145}{4}m^2 + 115mn + \frac{145}{4}n^2 - \frac{1685}{4}m - \frac{1685}{4}n + 2430 + \alpha^2 \left( \frac{4}{5}m + \frac{4}{5}n - 75 \right) \\
(3) & \quad - \frac{3}{2}m^2 - mn + \frac{3}{2}n^2 - \frac{3}{2}m - \frac{89}{8}n - 34 + \alpha^2 \left( -\frac{3}{2}m - \frac{3}{2}n + 13 \right) \\
(4) & \quad -4m^2 - \frac{59}{2}mn - \frac{63}{4}n^2 + \frac{172}{3}m + \frac{1511}{12}n - 238 + \alpha^2 \left( -\frac{9}{8}n + 3 \right) \\
(5) & \quad - \frac{63}{4}m^2 - \frac{59}{2}mn - 4n^2 + \frac{1591}{12}m + \frac{172}{3}n - 238 + \alpha^2 \left( -\frac{9}{8}m + 3 \right) \\
(6) & \quad -3mn - 3n^2 + 29n
\end{align*}
Verification is
\[-\frac{1}{6} - \frac{4}{3} - \frac{10}{3} - 3 - \frac{1}{2}8 + (4 + \frac{28}{3} + \frac{61}{3} + 9)4 + (-\frac{27}{2} - 14 - \frac{229}{6})2 + (-\frac{13}{3} + \frac{437}{3})\]
\[+ 3((\frac{1}{6} + 1 + 1 + \frac{1}{6})8 + (-\frac{3}{2} - 1 + \frac{3}{2})4 + (-\frac{3}{2} - \frac{89}{8})2 - 34) + 9((-3 - \frac{3}{2})4 + 13.2) = 0.\]
126. It will be observed that in the eighth and following equations, viz. those wherein the expression of the Supplement contains the symbol (I), I have included along with the Supplement within the \{ \}, the terms \(-(m - \frac{5}{3}(2 \cdot 4) - (/4))\) &c., viz. these are \(-(m - \frac{5}{3})\) into number of point-pairs (4), &c.: this is for convenience only; it simplifies the calculation, both from the symmetrical form under which the remaining terms present themselves in the several equations, and because the expressions of the terms in question, (these terms being mere multiples of a number of point-pairs) are by Zeuthen's theory known in terms of the Capitals. It is to be noticed that for any equation, to find the system to which the Capitals belong, we diminish by unity the barred number and then remove the bar; thus for the seventh equation, where we have Supp. (2, 1, 1, 1), the Capitals belong to the system (1, 1, 1, 1).
127. Referring to Nos. 41 to 47 of the First Memoir, for convenience I collect the capitals which belong to a single curve, giving the values in terms of \( m, n, \alpha \) as follows.
\[
\begin{align*}
(1, 1, 1, 1) \\
(1) & \quad A = \frac{1}{2}d(d-1) = \frac{1}{8}m^4 - \frac{1}{4}m^3 + 2m^2n - \frac{1}{8}m^2 - 2mn + 8n^2 + \frac{1}{4}m - 2n \\
& \quad + \alpha(-\frac{3}{2}m^2 + \frac{3}{4}m - 6n + \frac{3}{4}) + \frac{9}{8}\alpha^2; \\
(2) & \quad B = d(n-4)(m-4) = \frac{1}{8}m^3n - 2m^3 - \frac{5}{2}m^2n + 4mn^2 + 10m^2 - 14mn - 16n^2 - 8m + 64n \\
& \quad + \alpha(-\frac{3}{2}mn + 6m + 6n - 24); \\
(4) & \quad C = r.\frac{1}{2}(m-4)(m-5) = \frac{1}{4}m^2n^2 + 2m^3 - \frac{1}{4}m^2n - \frac{9}{4}mn^2 - 18m^2 + \frac{9}{4}mn + 5n^2 + 40m - 5n \\
& \quad + \alpha(-\frac{3}{4}m^2 + \frac{27}{4}m - 15); \\
(3) & \quad D = i.\frac{1}{2}(m-3)(m-4) = -\frac{3}{2}m^3 + \frac{2}{2}m^2 - 18m \\
& \quad + \alpha(\frac{1}{2}m^2 - \frac{7}{2}m + 6).
\end{align*}
\]
\[
\begin{align*}
(2, 1, 1) \\
(3) & \quad E = d(n-4) = \frac{1}{2}m^2n - 2m^2 - \frac{1}{2}mn + 4n^2 + 2m - 16n \\
& \quad + \alpha(-\frac{3}{2}n + 6); \\
(3) & \quad F = 2d(m-3) = m^3 - 4m^2 + 8mn + 3m - 24n \\
& \quad + \alpha(-3m + 9); \\
(6) & \quad G = 2r(m-4) = mn^2 + 8m^2 - mn - 4n^2 - 32m + 4n \\
& \quad + \alpha(-3m + 12); \\
(2) & \quad D[i.\frac{1}{2}(m-3)(m-4) \text{ supra}];
\end{align*}
\]
\[
\begin{align*}
(1) & \quad H = dz = -\frac{3}{2}m^2n + \frac{3}{2}mn - 12n^2 \\
& \quad + \alpha(\frac{1}{2}m^2 - \frac{1}{2}m + \frac{7}{2}n) - \frac{3}{2}\alpha^2; \\
(2) & \quad I = r(n-3)(m-4) = -3mn^2 + 9mn + 12n^2 - 36n \\
& \quad + \alpha(mn - 3m - 4n + 12); \\
(5) & \quad J = i(m-3) = -3m^2 + 9m + \alpha(m-3).
\end{align*}
\]
\[
\begin{align*}
(2, 2) \\
(9) & \quad K = r = \frac{1}{2}n^2 + 4m - \frac{1}{2}n + \alpha(-\frac{3}{2}); \\
(3) & \quad L = r(n-3) = -3n^2 + 9n + \alpha(n-3); \\
(1) & \quad M = \frac{1}{2}r(r-1) = \frac{9}{2}n^2 + \frac{3}{2}n + \alpha(-3n - \frac{1}{2}) + \frac{1}{2}\alpha^2; \\
(2) & \quad N = i = -3m + \alpha(1); \\
(1) & \quad O = z = -3n + \alpha(1).
\end{align*}
\]
(3, 1)
\[
\begin{align*}
(2) \quad P &= 2\delta = m^2 - m + 8n + \alpha(-3); \\
(2) \quad Q &= 2\tau = n^2 + 8m - n + \alpha(-3); \\
(5) \quad J &= i(m-3) \text{ suprā}; \\
(4) \quad R &= z(m-3) = -3mn + 9n + \alpha(m-3).
\end{align*}
\]
(4)
\[
\begin{align*}
(4) \quad N &= i \text{ suprā}; \\
(2) \quad O &= z \text{ suprā}.
\end{align*}
\]
128. I make the following calculations, serving to express in terms of Zeuthen's Capitals, the terms in \( \{ \} \) contained in the twelve equations respectively.
\[
N = \frac{-3m + \alpha}{-3m + \alpha} \quad \text{(first equation)}.
\]
\[
\begin{align*}
2J &= -6m^2 + 18m + \alpha(2m-6) \\
+ R &= -3mn + 9n + \alpha(m-3) \\
&= -6m^2 - 3mn + 18m + 9n + \alpha(3m-9) \quad \text{(second equation)}.
\end{align*}
\]
\[
\begin{align*}
6K &= 3n^2 + 24m - 3n + \alpha(-9) \\
+ L &= -3n^2 + 9n + \alpha(n-3) \\
+ 3N &= -9m + \alpha(3) \\
+ 2O &= -6n + \alpha(2) \\
&= 15m + \alpha(n-7) \quad \text{(third equation)}.
\end{align*}
\]
\[
\begin{align*}
E &= \frac{1}{3}m^2n - 2m^2 - \frac{1}{3}mn + 4n^2 + 2m - 16n + \alpha(-\frac{3}{2}n + 6) \\
+ F &= m^2 - 4m^2 + 8mn + 3m - 24n + \alpha(-3m + 9) \\
+ 2G &= 2mn^2 + 16m^2 - 2mn - 8n^2 - 64m + 8n + \alpha(-6m + 24) \\
+ D &= -\frac{3}{2}m^3 + \frac{2}{3}m^2 - 18m + \alpha(\frac{1}{2}m^2 - \frac{3}{2}m + 6) \\
+ 3J &= -9m^2 + 27m + \alpha(3m - 9) \\
+ J' &= -3m^2 + 9n + \alpha(n-3) \\
&= -\frac{1}{2}m^3 + \frac{1}{2}m^2n + 2mn^2 + \frac{3}{2}m^2 + \frac{1}{2}mn - 7n^2 - 50m - 23n + \alpha(\frac{1}{2}m^2 - \frac{1}{2}m - \frac{1}{2}n + 33) \\
&\quad \text{(fourth equation)}.
\end{align*}
\]
\[ Q = \frac{n^2 + 8m - n - 3\alpha}{n^2 + 8m - n - 3\alpha} \text{ (fifth equation).} \]
\[ 3G = 3mn^2 + 24m^3 - 3mn - 12n^3 - 96m + 12n + \alpha(-9m + 36) \]
\[ + I = -3mn^2 + 9mn + 12n^2 - 36n + \alpha(mn - 3m - 4n + 12) \]
\[ + 4J = -12m^2 + 36m + \alpha(4m - 12) \]
\[ + 2J' = -6n^2 + 18n + \alpha(2n - 6) \]
\[ 12m^2 + 6mn - 6n^2 - 60m - 6n + \alpha(mn - 8m - 2n + 30) \] \text{ (sixth equation).}
\[ B = \frac{1}{3}m^3n - 2m^3 - \frac{5}{2}m^2n + 4mn^2 + 10m^2 - 14mn - 16n^2 - 8m + 64n \]
\[ + 4C = m^2n^2 + 8m^3 - m^2n - 9mn^2 - 72m^2 + 9mn + 20n^2 + 160m - 20n \]
\[ + 4D = -6m^3 + 42m^2 - 72m \]
\[ + D' = -\frac{3}{2}n^3 + \frac{3}{2}n^2 - 18n \]
\[ \frac{1}{2}m^3n + m^2n^2 - \frac{7}{2}m^2n - 5mn^2 - \frac{3}{2}n^3 - 20m^2 - 5mn + \frac{9}{2}n^2 + 80m + 26n \] \text{ (seventh equation).}
\[ -\frac{1}{3}N = m - \frac{1}{3}\alpha \]
\[ + \frac{4}{3}O = -4n + \frac{4}{3}\alpha \]
\[ m - 4n + \alpha \text{ (eighth equation).} \]
\[ (\overline{2}, 3) = -4m - 4n - 6 + 3\alpha \]
\[ + 2(4, 1) = 2m + 2n - 12 \]
\[ -2m - 2n - 18 + 3\alpha \text{ (used infra)} \]
\[ -2P = -2m^2 + 2m - 16n + \alpha(6) \]
\[ -Q = -n^2 - 8m + n + \alpha(3) \]
\[ -2R = 6mn - 18n + \alpha(-2m + 6) \]
\[ + J' = -3n^2 + 9n + \alpha(n - 3) \]
\[ \times ((\overline{2}, 3) + 2(4, 1)) = 6mn + 6n^2 + 54n + \alpha(-2m - 11n - 18) + 3\alpha^2 \]
\[ -2m^2 + 12mn + 2n^2 - 6m + 30n + \alpha(-4m - 10n - 6) + 3\alpha^2 \] \text{ (ninth equation).}
CURVES WHICH SATISFY GIVEN CONDITIONS.
\[3L = -9n^2 + 27n + \alpha(3n - 9)\]
\[+2M = 9n^2 + 3n + \alpha(-6n - 1) + \alpha^2\]
\[-2N = +6m + \alpha(-2)\]
\[-O = 3n + \alpha(-1)\]
\[6m + 33n + \alpha(-3n - 13) + \alpha^2\] (tenth equation).
\[x(\bar{2}, 2, 1) = -18mn - 18n^2 - 162n\]
\[-\frac{1}{3}D = \frac{1}{2}m^3 - \frac{7}{2}m^2 + 6m\]
\[-2E = m^2n + 4m^2 + 1mn - 8n^2 - 4m + 32n\]
\[-2F = -2m^3 + 8m^2 - 16mn - 6m + 48n\]
\[-G = -mn^2 - 8m^2 + 1mn + 4n^2 + 32m - 4n\]
\[\frac{1}{3}H = -\frac{1}{2}m^2n + \frac{1}{2}mn - 4n^2\]
\[\frac{5}{3}I = -5mn^2 + 15mn + 20n^2 - 60n\]
\[-\frac{1}{3}J = +10m^2 - 30m\]
\[+2D' = -3n^3 + 21n^2 - 36n\]
\[-J' = 3n^2 - 9n\]
\[-\frac{3}{2}m^3 - \frac{3}{2}m^2n - 6mn^2 - 3n^3 + \frac{21}{2}m^2 - \frac{33}{2}mn + 18n^2 - 2m - 191n\] (eleventh equation).
\[(1) + \alpha(-3mn - 3n^2 + 6m + 51n + 54) + \alpha^2(m + n - 15)\]
\[(2) + \alpha(-\frac{1}{6}m^2 + \frac{7}{6}m - 2)\]
\[(3) + \alpha(3n - 12)\]
\[(4) + \alpha(6m - 18)\]
\[(5) + \alpha(3m - 12)\]
\[(6) + \alpha(\frac{1}{6}m^2 - \frac{1}{6}m + \frac{17}{6}n) + \alpha^2(-\frac{1}{2})\]
\[(7) + \alpha(\frac{5}{3}mn - 5m - \frac{20}{3}n + 20)\]
\[(8) + \alpha(-\frac{1}{3}m + 10)\]
\[(9) + \alpha(1n^2 - 7n + 12)\]
\[(10) + \alpha(-n + 3)\]
\[(11) + \alpha(-\frac{4}{3}mn - 2n^2 + \frac{23}{3}m + \frac{25}{3}n + 55) + \alpha^2(m + n - \frac{31}{2})\]
\[ z(2, 1, 1, 1) = -\frac{1}{2}m^2n - 3m^2n^2 - 3mn^2 - \frac{1}{2}n^4 + \frac{1}{2}m^2n + 24mn^2 + \frac{1}{2}n^3 - 37mn - 37n^2 \]
\[ -\frac{4}{3}A = -\frac{1}{6}m^4 + \frac{1}{3}m^3 - \frac{8}{3}m^2n + \frac{1}{6}m^2 + \frac{3}{2}mn - \frac{3}{2}n^2 \]
\[ -\frac{5}{3}B = -\frac{5}{6}m^3n + \frac{1}{3}m^3 + \frac{2}{3}m^2n - \frac{2}{3}mn^2 - \frac{5}{3}m^2 + \frac{7}{3}mn + \frac{5}{3}n^2 \]
\[ -\frac{4}{3}C = -\frac{1}{3}m^2n^2 - \frac{8}{3}m^3 + \frac{1}{3}m^2n + 3mn^2 + 24m^2 - 3mn - \frac{2}{3}n^2 \]
\[ -2D = 3m^3 - 21m^2 \]
\[ D' = \frac{3}{2}n^3 - \frac{3}{2}n^2 \]
\[ -\frac{1}{6}m^4 - \frac{5}{3}m^3n - \frac{1}{3}m^2n^2 - 3mn^3 - \frac{1}{2}n^4 + 4m^3 + \frac{2}{3}m^2n + \frac{6}{3}mn^2 + 9n^3 - \frac{2}{3}m^2 - 14mn - \frac{2}{3}n^2 \]
\[ (1) + 225n + \alpha(\frac{1}{6}m^3 + m^2n + mn^2 + \frac{1}{6}n^3 - \frac{5}{2}m^2 - \frac{7}{3}mn + 2n^2 + \frac{3}{7}m - \frac{18}{7}n - 75) + \alpha^2(-\frac{3}{2}m - \frac{3}{2}n + \frac{2}{3}) \]
\[ (2) - \frac{1}{3}m + \frac{8}{3}n + \alpha(r^2 - m + 8n - 1) + \alpha^2(-\frac{3}{2}) \]
\[ (3) + \frac{4}{3}m - \frac{3}{2}n + \alpha(r^2 + \frac{5}{3}mn - 10m - 10n + 40) \]
\[ (4) - \frac{16}{3}m + \frac{2}{3}n + \alpha(m^2 - 9m + 20) \]
\[ (5) + 36m + \alpha(-m^2 + 7m - 12) \]
\[ (6) + 18n + \alpha(-\frac{1}{2}n^2 + \frac{7}{2}n - 6) \]
\[ (7) - \frac{1}{3}m + \frac{4}{3}n + \alpha(\frac{1}{6}m^3 + m^2n + mn^2 + \frac{1}{6}n^3 - \frac{3}{2}m^2 - mn + \frac{3}{2}n^2 - \frac{2}{3}m - \frac{8}{3}n - 34) + \alpha^2(-\frac{3}{2}m - \frac{3}{2} + 13) \]
(twelfth equation)
129. We have consequently, by means of the results just obtained,
\[ \text{Supp. } (5) = z(5) + N \] (first equation)
\[ \text{Supp. } (4, 1) = z(4, 1) + 2J + R \] (second equation)
\[ \text{Supp. } (3, 2) = z(3, 2) + 6K + L + 3N + 2O \] (third equation)
\[ \text{Supp. } (3, 1, 1) = z(3, 1, 1) + D + E + F + 2G + 3J + J' \] (fourth equation)
\[ \text{Supp. } (2, 3) = z(2, 3) + Q \] (fifth equation)
\[ \text{Supp. } (2, 2, 1) = z(2, 2, 1) + 3G + I + 4J + 2J' \] (sixth equation)
\[ \text{Supp. } (2, 1, 1, 1) = z(2, 1, 1, 1) + B + 4C + 4D + D' \] (seventh equation)
Supp. (I, 4) = \( z(I, 4) + (m - \frac{5}{3})(4N + 2O) \)
\[-\frac{1}{3}N + \frac{4}{3}O \ldots \ldots \text{(eighth equation)}\]
Supp. (I, 1, 3) = \( z(I, 1, 3) + z(2, 3) + z(2, 4, 1) \)
\[(m - 2)(2P + 2Q + 5J + 4R) \]
\[-2P - Q - 2R + J' \ldots \ldots \text{(ninth equation)}\]
Supp. (I, 2, 2) = \( z(I, 2, 2) \)
\[(m - 2)(9K + 3L + M + 2N + O) \]
\[+ 3L + 2M - 2N - O \ldots \ldots \text{(tenth equation)}\]
Supp. (I, 1, 1, 2) = \( z(I, 1, 1, 2) + z(2, 2, 1) \)
\[(m - \frac{7}{3})(3E + 3F + 6G + 2D + H + 2I + 5J) \]
\[-2E - 2F - G - \frac{1}{3}D + \frac{1}{3}H + \frac{5}{3}I - \frac{1}{3}J + 2D' - J' \]
\[\text{(eleventh equation)}\]
Observe that
\[G - 2E' = 0, \quad G' - 2E = 0,\]
and
\[3G + I + 8J = 3G' + I' + 8J',\]
relations which may be used to modify the form of the last preceding result.
Supp. (I, 1, 1, 1, 1) = \( z(I, 1, 1, 1, 1) + z(2, 1, 1, 1) \)
\[(m - \frac{8}{3})(A + 2B + 4C + 3D) \]
\[-\frac{4}{3}A - \frac{5}{3}B - \frac{4}{3}C - D' \ldots \ldots \text{(twelfth equation)}\]
130. We may in these equations introduce on the right-hand sides in place of a symbol such as \( p \) the symbol \( p \bar{z} \): for example, in the fifth equation, writing
\[(2, 3) = (2zI, 3) + [(2, 3) - (2zI, 3)],\]
and therefore also
\[z(2, 3) = z(2zI, 3) + z[(2, 3) - (2zI, 3)],\]
the second term \( z[(2, 3) - (2zI, 3)] \) can be expressed in terms of Zeuthen's Capitals. The remark applies to all the twelve equations; only as regards the first four of them, inasmuch as \((5zI) = 0, \ldots (3zI, 1, 1) = 0\), it is the whole original terms \( z(5) \ldots z(3, 1, 1) \) which are thus expressible by means of Zeuthen's Capitals. By the assistance of the formulæ (First Memoir, Nos. 69 and 73) we readily obtain
Referring to
\[z(5) = z = 0. \ldots \ldots \ldots \ldots \ldots \ldots \text{(first equation)}\]
\[z(4, 1) = z(m + n - 6)\]
\[= R + J' \ldots \ldots \ldots \ldots \ldots \ldots \text{(second equation)}\]
\[ z(3, 2) = z(-9 + \alpha) = z(3(n-3) + z-1 + 1) \]
Referring to
\[ = 3L + 2M + O. . . . . . . . . . . . (third equation) \]
\[ z(3, 1, 1) = z\left(\frac{1}{2}m^2 + 2mn + \frac{1}{2}n^2 - \frac{1}{2}m - \frac{1}{2}n + 27 - \frac{3}{2}\alpha\right) \]
\[ = H + 2I + D' + J'. . . . . . . . . . . . (fourth equation) \]
viz. \( z^{-1}H = \frac{1}{2}m^2 - \frac{1}{2}m + 4n - \frac{3}{2}\alpha \)
\[ z^{-1}I = 2mn - 6m - 8n + 24 \]
\[ z^{-1}D' = \frac{1}{2}n^2 - \frac{7}{2}n + 6 \]
\[ z^{-1}J' = n - 3 \]
\[ \frac{1}{2}m^2 + 2mn + \frac{1}{2}n^2 - \frac{1}{2}m - \frac{1}{2}n + 27 - \frac{3}{2}\alpha. \]
\[ z(2, 3) = z(2z1, 3). . . . . . . . . . . . . . . . . . (fifth equation) \]
\[ z(2, 2, 1) = z(2z1, 2, 1) + z(n-3) \]
\[ = z(2z1, 2, 1) + J'. . . . . . . . . . . . . . . . . (sixth equation) \]
\[ z(2, 1, 1, 1) = z(2z1, 1, 1, 1) + z\left(\frac{1}{2}(n-3)(n-4)\right) \]
\[ = z(2z1, 1, 1, 1) + D'. . . . . . . . . . . . . . . . . (seventh equation) \]
\[ z(1, 4) = z(1z1, 4) + z \]
\[ = z(1z1, 4) + O. . . . . . . . . . . . . . . . . . (eighth equation) \]
\[ z(1, 1, 3) + z(2, 3) + z(2z1, 4, 1) \]
\[ = z(1z1, 1, 3) + z(2z1, 3) + z(n-3) \]
\[ + z(2z1, 3) \]
\[ + z(2m + 2n - 6) \]
\[ = z(1z1, 1, 3) + 2z(2z1, 3) + 2R + 3J' . . . . . . (ninth equation) \]
\[ z(1, 2, 2) = z(1z1, 2, 2) + z\{3(n-3) + z-1\} \]
\[ = z(1z1, 2, 2) + 3L + 2M . . . . . . . . . . . . (tenth equation) \]
\[ z(1, 1, 1, 2) + z(2, 2, 1) \]
\[ = z(1z1, 1, 1, 2) + z(2z1, 2, 1) + z\left(\frac{1}{2}(n-3)(n-4) + \delta + 2 n - 3 m - 4\right) \]
\[ + z(2z1, 2, 1) + z(n-3) \]
\[ = z(1z1, 1, 1, 2) + 2z(2z1, 1, 2) \]
\[ + D' + H + 2I + J'. . . . . . . . . . . . (eleventh equation) \]
CURVES WHICH SATISFY GIVEN CONDITIONS.
\[ z(1, 1, 1, 1, 1) + z(2, 1, 1, 1) \]
Referring to
\[ = z(1z1, 1, 1, 1, 1) + z(2z1, 1, 1, 1) \]
\[ + z(2z1, 1, 1, 1) + z. \frac{1}{3}(n-3)(n-4) \]
\[ = z(1z1, 1, 1, 1, 1) + 2z(2z1, 1, 1, 1) + D' \quad \ldots \ldots \quad \text{(twelfth equation)} \]
131. Hence, substituting in the expressions of the several Supplements, we have
Supp. (5) \(= O\)
\[ + N \quad \ldots \ldots \quad \ldots \ldots \quad \text{(first equation)} \]
Supp. (4, 1) \(= R + J'\)
\[ + 2J + R \quad \ldots \ldots \quad \ldots \ldots \quad \text{(second equation)} \]
Supp. (3, 2) \(= 3L + 2M + O\)
\[ + 6K + L + 3N + 2O \quad \ldots \ldots \quad \ldots \ldots \quad \text{(third equation)} \]
Supp. (3, 1, 1) \(= H + 2I + D' + J'\)
\[ + E + F + 2G + D + 3J + J' \quad \ldots \ldots \quad \text{(fourth equation)} \]
Supp. (2, 3) \(= z(2z1, 3)\)
\[ + Q \quad \ldots \ldots \quad \ldots \ldots \quad \text{(fifth equation)} \]
Supp. (2, 2, 1) \(= z(2z1, 1, 1) + J'\)
\[ + 3G + I + 4J + 2J' \quad \ldots \ldots \quad \ldots \ldots \quad \text{(sixth equation)} \]
Supp. (2, 1, 1) \(= z(2z1, 1, 1, 1) + D'\)
\[ + B + 4C + 4D + D' \quad \ldots \ldots \quad \ldots \ldots \quad \text{(seventh equation)} \]
Supp. (1, 4) \(= z(1z1, 4) + O\)
\[ + (m - \frac{5}{3})(4N + O) \]
\[ - \frac{1}{3}N + \frac{4}{3}O \quad \ldots \ldots \quad \ldots \ldots \quad \text{(eighth equation)} \]
Supp. (1, 1, 3) \(= z(1z1, 1, 3) + 2z(2z1, 3) + 2R + 3J'\)
\[ + (m - 2)(2P + 2Q + 5J + 4R) \]
\[ - 2P - Q - 2R + J' \quad \ldots \ldots \quad \text{(ninth equation)} \]
Supp. (1, 2, 2) \(= z(1z1, 2, 2) + 3L + 2M\)
\[ + (m - 2)(9K + 3L + M + 2N + O) \]
\[ + 3L + 2M - 2N - O \quad \ldots \quad \text{(tenth equation)} . \]
Supp. \(\bar{1}, 1, 1, 2\) = \(z(1\bar{z}1, 1, 1, 2) + 2z(2\bar{z}1, 1, 2)\)
+ H + 2I + D' + J'
+ \((m - \frac{3}{5})(E + 3F + 6G + 2D + H + 2I + 5J)\)
- 2E - 2F - G - \(\frac{1}{3}D + \frac{1}{3}H + \frac{5}{3}I - \frac{1}{3}J + 2D' - J'\).
(eleventh equation)
Supp. \(\bar{1}, 1, 1, 1, 1\) = \(z(1\bar{z}1, 1, 1, 1, 1) + 2z(2\bar{z}1, 1, 1, 1) + D'\)
+ \((m - \frac{8}{9})(A + 2B + 4C + 3D)\)
- \(\frac{4}{3}A - \frac{5}{3}B - \frac{4}{3}C - 2D - D'\).
(twelfth equation)
132. Hence finally, merely collecting the terms, we have the following expressions of the Supplements in the twelve equations respectively.
\(Supp. (\bar{5}) = N + O . . . . . . . . . . . . . . . . . . . (first equation)\)
\(Supp. (\bar{4}, 1) = 2J + 2R + J' . . . . . . . . . . . . . . . (second equation)\)
\(Supp. (\bar{3}, 2) = 6K + 4L + 2M + 3N + 3O . . . . . . . . . . . . (third equation)\)
\(Supp. (\bar{3}, 1, 1) = D + E + F + 2G + H + 2I + 3J + D' + 2J' . . . . . . (fourth equation)\)
\(Supp. (\bar{2}, 3) = z(2\bar{z}1, 3) + Q . . . . . . . . . . . . . . . . . . . (fifth equation)\)
\(Supp. (\bar{2}, 2, 1) = z(2\bar{z}1, 2, 1) + 3G + I + 4J + 3J' . . . . . . . (sixth equation)\)
\(Supp. (\bar{2}, 1, 1, 1) = z(2\bar{z}1, 1, 1, 1) + B + 4C + 4D + 2D' . . . . . . . (seventh equation)\)
\(Supp. (\bar{1}, 4) = z(1\bar{z}1, 4) + (4m - 7)N + (2m - 1)O . . . . . . . (eighth equation)\)
\(Supp. (\bar{1}, 1, 3) = z(1\bar{z}1, 1, 3) + 2z(2\bar{z}1, 3)\)
+ \((2m - 6)P + (2m - 5)Q + (5m - 10)J + (4m - 8)R + 4J' . . . . . . . (ninth equation)\)
\(Supp. (\bar{1}, 2, 2) = z(1\bar{z}1, 2, 2)\)
+ \((9m - 18)K + 3mL + (m + 2)M + (2m - 6)N + (m - 3)O . . . . (tenth equation)\)
\(Supp. (\bar{1}, 1, 1, 2) = z(1\bar{z}1, 1, 1, 2) + 2z(2\bar{z}1, 1, 2)\)
+ \((2m - 5)D + (3m - 9)E + (3m - 9)F + (6m - 15)G\)
+ \((m - 1)H + (2m - 1)L + (5m - 15)J + 3D' . . . . . . (eleventh equation)\)
\(Supp. (\bar{1}, 1, 1, 1, 1) = z(1\bar{z}1, 1, 1, 1, 1) + 2z(2\bar{z}1, 1, 1, 1)\)
+ \((m - 4)A + (2m - 7)B + (4m - 12)C + (3m - 10)D, . . . (twelfth equation)\)
where I recall the remark, ante, No. 126, that in each equation the Capitals belong to the system obtained by diminishing the barred number by unity and removing the bar; (4) for the first equation, (3, 1) for the second, and so on.
133. These are, I think, the true theoretical forms of the Supplements, viz. (attending to the signification of the Capitals) the expressions actually exhibit how the Supplement arises, whether from proper conics passing through or touching at a cusp, or from point-pairs (coincident line-pairs) or line-pairs (including of course in these terms line-pair-points). Thus, for instance, Supp. (5)=N+O. Referring to the explanations, First Memoir, Nos. 41 to 47, N(=i) is the number of the line-pair-points described as “infexion tangent terminated each way at inflexion,” and O(=z) the number of the line-pair-points described as “cuspidal tangent terminated each way at cusp,” or in what is here the appropriate point of view, we have as a coincident line-pair each inflexion tangent and each cuspidal tangent. Reverting to the generation of the first equation, when the point P is a point in general of the given curve, the curve Θ is the conic (5), having with the curve 5 intersections at P, and besides meeting it in the 2m−5 points P'. When the point P is at an inflexion, the curve Θ becomes the coincident line-pair formed by the tangent taken twice, the number of intersections at P is therefore =6, and the inflexion is therefore (specially) a united point. Similarly, when the point P is at a cusp, the curve Θ becomes the coincident line-pair formed by the tangent taken twice, the number of intersections at P is therefore =6, and the cusp is thus (specially) a united point: we have thus the total number of special united points =z+i, agreeing with the foregoing à posteriori result, Supp. (5)=N+O.
134. Or to take another example; for the fifth equation we have
\[ \text{Supp.} (\bar{2}, 3)=z(\bar{2}z1, 3)+Q; \]
Q(=2r) is the number of the line-pair-points described as “double tangent terminated each way at point of contact,” or, in the point of view appropriate for the present purpose, we have each double tangent as a coincident line-pair in respect to the one of its points of contact, and also as a coincident line-pair in respect to the other of its points of contact. Reverting to the generation of the equation, when the point P is a point in general on the given curve, the curve Θ is the system of conics (2, 3) touching the curve at P, and having besides with it a contact of the third order; since for each conic the number of intersections at P is =2, the total number of intersections at P is =2(2, 3), and the remaining (2m−2)(2, 3) intersections are the points P'. Suppose that the point P is taken at the point of contact of a double tangent; of the (2, 3) conics, 1 (I assume this is so) becomes the coincident line-pair formed by the double tangent taken twice, and gives therefore 4 intersections at P, the remaining (2, 3)—1 conics are proper conics, giving therefore 2(2, 3)—2 intersections at P, or the total number of intersections at P is 2(2, 3)+2 intersections; or there is a gain of 2 intersections. As remarked (No. 96), this does not of necessity imply that the point in question is to be considered as being (specially) 2 united points; I do not know how to decide à priori whether it is to be regarded as being 2 united points or as 1 united point, but it is in fact to be regarded as being (specially) only 1 united point; and as the points in question are the 2r points of contact of the double tangents, we have thus the number 2r of special united points.
Again, when the point P is at a cusp, all the \((2z_1, 3) = (2, 3)\) conics remain proper conics ((\(2z_1, 3) = (2, 3)\), First Memoir, No. 73), but each of these (qua conic touching the cuspidal tangent) has with the given curve at the cusp not 2 but 3 intersections, so that the total number of intersections at P is \(3(2z_1, 3) = 3(2, 3)\), and there is a gain of \((2, 3) = (2z_1, 3)\) intersections. Each cusp counts (specially) as \((2z_1, 3)\) united points, and together the cusps count as \(z(2z_1, 3)\) united points; we have thus the total number \(z(2z_1, 3) + 2\sigma\) of special united points, agreeing with the expression Supp. \((2, 3) = z(2z_1, 3) + Q\).
135. As appears from the preceding example, or generally from the remark, ante, No. 96, I have not at present any \textit{à priori} method of determining the proper numerical multipliers of the Capitals contained in the expressions of the several Supplements. I will only further remark, that the reason is obvious why (while in the first seven equations the multipliers are mere numbers) in the eighth and following equations the multipliers are linear functions of \(m\); in fact in these last equations the barred symbol is \(\bar{T}\), that is, when P is a point in general on the given curve, each of the conics which make up the curve \(\Theta\) has with the given curve not a contact of any order, but an ordinary intersection at P. Imagine a position of P for which one of these conics becomes a coincident line-pair; this regarded as a single line has with the given curve \((m - \alpha)\) ordinary intersections (\(\alpha\) a number, \(=4\) at most, depending on the contacts which the line may have with the curve); for each of the \(m - \alpha\) points, taken as a position of P, one of the conics which make up the curve \(\Theta\) becomes the coincident line-pair, and there are in respect of this conic two intersections at P instead of one intersection only. We have thus in respect of the particular coincident line-pair a group of \((m - \alpha)\) special united points, viz. these are the \(m - \alpha\) ordinary intersections of the coincident line-pair regarded as a single line with the given curve, and we thus understand in a general way how it is that the order \(m\) of the given curve enters into the expressions of the multipliers of the several Capitals in the last five equations. The object of the present Memoir was, however, the \textit{à posteriori} derivation of the expressions (ante, No. 132) of the twelve Supplements; and having accomplished this, but being unable to discuss the results with any degree of completeness, I abstain from a further discussion of them.