{ "id": "136dbbbbaa617db7831500f26506aa43469405c0", "text": "XII. On the K-partitions of the R-gon and R-ace.\n\nBy the Rev. Thomas P. Kirkman, A.M., F.R.S., Rector of Croft with Southworth.\n\nCommunicated by Arthur Cayley, Esq., F.R.S.\n\nReceived November 13,—Read December 11, 1856.\n\nI. By the k-partitions of an r-gon, I mean the number of ways in which it can be divided by \\(k-1\\) diagonals, of which none crosses another; two ways being different only when no cyclical permutation or reversion of the numbers \\(1\\ 2\\ 3\\ldots r\\) at the angles can make them alike: and by the k-partitions of an r-ace (a pencil of \\(r\\) rays in space or a plane), I mean the number of ways in which it can be divided into \\(k\\) smaller pencils, by the introduction of \\(k-1\\) connecting lines, of which none enclose a space; two ways being different only when by no cyclical permutation or reversion of the numbers \\(1\\ 2\\ 3\\ldots r\\) in the angular spaces of the r-ace they can be made identical. The polygon here considered is the section of a pyramid, and its discussion includes that of the polyace.\n\nThe enumeration of the partitions of the polygon and polyace is indispensable in the theory of the polyedra. In a memoir “On the x-edra which have an \\((x-1)\\)-gonal base, and all their Summits Triedral,” in the Transactions of the Royal Society, 1856, page 399, I have investigated the \\((r-2)\\)-partitions of the r-ace, or the r-gon; for the number of x-edra there determined is exactly that of these \\((r-2)\\)-partitions. What follows may be considered as a completion of the investigation in that memoir begun; yet not properly a continuation, inasmuch as the results there obtained are here deduced by a different and more general method.\n\nII. A partition of an r-gon is reversible or irreversible: reversible, when it is symmetrical about a diameter or bisector of the figure, so that the configuration is unaltered by a semirevolution about that line, which is called an axis of reversion, of which axes there may be one or many; and irreversible, when it is reversible about no axis. An irreversible is about no axis its own reflexion.\n\nAn axis of reversion is always a bisector of the r-gon, and is agonal, monogonal, or diagonal, according as it passes through no angle, one angle only, or two angles of the r-gon; and the polygon is said to be about that axis, agonally, monogonally, or diagonally reversible.\n\nA diagonal axis may be drawn or undrawn; a monogonal or agonal axis is always undrawn.\n\nIII. A partition is said to be m-ly reversible when it has \\(m\\) axes of reversion. The simple \\(2n\\)-gon \\((k=1)\\) is \\(2n\\)-ly reversible, having \\(n\\) agonal and \\(n\\) diagonal axes; and its sides may be so loaded with polygons, that this number of axes shall be either retained or diminished. The simple \\((2n+1)\\)-gon has \\(2n+1\\) monogonal axes, on which an r-gon\nmay be built to have the same or a smaller number. To help our conceptions, we may always suppose our $r$-gon regularly inscribed in a circle; but it is evident that the sympyty of two identically-partitioned $r$-gons in no wise depends on such symmetry, but may remain after any distortion of either $r$-gon which does not change the angles on any diagonal. So that, if we wish to build an $r'$-gon on an inscribed $r$-gon, we need not fear exceeding the limits of the circle by our additions, while we may suppose these all contained within it.\n\nA partition is said to be $m$-ly irreversible, when it has an irreversible sequence of configuration $m$ times repeated in the circuit of the $r$-gon. This sequence will occupy $\\frac{r}{m}$ angles; and, from whatever angle we begin to read, we shall see a sequence of $\\frac{r}{m}$ sides irreversible, such that through the mid-point of it no axis of reversion can be drawn.\n\nObs. 1. Hence a $2m$-ly irreversible has an irreversible sequence, simple if $m=1$, and $m$-ple if $m>1$, occupying half the circuit of the $r$-gon; but a $(2m+1)$-ly irreversible has no repeated sequence occupying half its circuit.\n\nIV. Theorem A. Every reversible $(1+k)$-partition of an $r$-gon has two reversible sequences of configuration which are bisected by alternate and equidistant axes of reversion, and has not more than two, whatever be the number of these axes.\n\nFor, first, let there be only one axis of reversion in the $r$-gon: there must be two aspects of configuration observable from opposite ends of that axis, otherwise the figure would be reversible about a perpendicular to that axis, i.e. there would be two axes, contrary to hypothesis.\n\nSecondly, let there be more axes of reversion than one; any axis $a$ bisects an aspect $A$, because the figure is unchanged by a semirevolution about that axis; and the axis $b$ next in order to $a$ along the circumference bisects an aspect $B$. This $B$ is different from $A$; for if not, the series of configurations read from $a$ to $b$ will be that read from $b$ to $a$, and there will be either a vertex or a side centrally placed between $a$ and $b$, having on both sides the same aspect, or an axis of reversion can be drawn between $a$ and $b$; but $b$ is the next in order to $a$, which is absurd; therefore $B$ is not $A$. Now $b$ bisecting the aspect $B$ must have the axial termination $a$ at the same distance on either side of it, and for the same reasons $a$ must have the axial termination $b$ at the same distance on either side of it; so that the terminations of the axes must recur at equal distances in the order $..abaaba...$ bisecting the aspects $..ABAAB..$. And this series of aspects has as many terms as there are axial terminations, viz. $4m$ terms, if the number of axes is even, and $4m+2$ if it be odd. Wherefore no aspect different from $A$ and $B$ can be bisected by any axis, and $A$ and $B$, different reversible aspects or sequences, are bisected by alternate equidistant axes. Q. E. D.\n\nWe may call $A$ and $B$ the two axial configurations.\n\nV. Obs. 2. A reversible partition of the $r$-gon having more than one axis of reversion, has both reversible and irreversible sequences repeated in the circuit of the $r$-gon, which occupy an interval equal to that between alternate axes; those being reversible sequences\nwhich begin and end with a side or angle carrying an axial termination, and those being irreversible which begin and end at any other side or angle.\n\nObs. 3. But a singly reversible partition has no sequence repeated in the circuit of the $r$-gon; for if it had a repeated sequence reversible as read from no point, the $r$-gon would not be reversible; and if it had a reversible sequence repeated in the circuit of the $r$-gon, it would not be singly reversible.\n\nObs. 4. A $2m$-ly reversible $r$-gon, if $r > 2m$, has beginning at any angle of the $r$-gon which is not the termination of an axis, an irreversible sequence, simple, if $m = 1$, and $m$-ple, if $m > 1$, occupying half the circuit of the $r$-gon, and repeated in the other half.\n\nVI. Theorem B. When the number of axes of reversion is odd in any partitioned $r$-gon, none is perpendicular to another; and when that number is even, every one is perpendicular to some other.\n\nFor when the number is odd, there is on each side of any one $a$ an equal number of terminations of other axes, all equidistant from $a$ and from each other. And when that number is even, there is an odd number there of such terminations. Whence the truth of the proposition is evident.\n\nVII. Theorem C. When the axes of reversion are odd in any partitioned $r$-gon, each one bisects both axial configurations; and when they are even in number, each bisects but one, read on it alike at either end, and half the axes carry one, and half the other, axial configuration.\n\nThis is very evident from what is proved in Theorem A, that the axial configurations present themselves alternately upon the axes in order.\n\nCor. 1. If there be both agonial and diagonal axes, there is an equal number of each kind; and, as this number is even or odd, so is each axis perpendicular to one of its own or of the other kind.\n\nObs. 5. A $(2m+1)$-ly reversible partition never has an irreversible sequence occupying half the circuit of the $r$-gon and repeated in the other half; for this would require that every axis of reversion should carry the same configuration at both ends, which are points in those two sequences.\n\nVIII. Theorem D. If a diagonal be perpendicular to an axis of reversion in any $h$-ly reversible $r$-gon, it is one of a system of not fewer than $h$ diagonals symmetrically placed about the centre. And all diagonals not perpendicular to that axis form pairs making each an angle bisected by that axis, or that produced.\n\nFor if $h$ be odd, every axis carries the same perpendicular; and if $h$ be even, at least $\\frac{1}{2}h$ axes carry that perpendicular on opposite sides of the centre; and these axes are equidistant from each other: whence the first part of the theorem is evident. The second part follows from the definition of an axis of reversion.\n\nCor. The intersection of two produced diagonals equidistant from the centre, in any reversibly partitioned $r$-gon, is upon an axis of reversion.\n\nIX. Theorem E. No $(2m+1)$-gon has an agonial or diagonal, and no $(2m)$-gon has a monogonal, axis of reversion.\nFor a monogonal axis must have an equal number of vertices of the $r$-gon on each side of it, besides the vertex through which it passes; hence $r$ is odd. And a diagonal axis must have an equal number of vertices on either side, besides the two through which it passes. And an agonal axis, which passes through no angles, must have an equal number of vertices on either side. Hence, in these two latter cases, $r$ is even.\n\n**X. Theorem F.** If one axis of reversion is monogonal in a partitioned $r$-gon, all its axes of reversion are monogonal and odd in number.\n\nFor $r$ is odd, and the $r$-gon cannot have either a diagonal or an agonal axis; and as each axis bisects two aspects, A and B, A must be opposite to B in the circle ..ABABAB.. of axial configurations; i.e. the number of its terms is $2(2m+1)$, wherefore the axes are odd in number.\n\n**XI. Theorem G.** If there be a drawn axis of reversion, a, in a $(1+k)$-partitioned $r$-gon, there cannot be more than one other axis. If there be another, b, it is undrawn, and perpendicular to the former, a, and is either agonal or diagonal, as $r=4m+2$, or $r=4m$.\n\nFor, if there be a second axis, b, it cannot meet the drawn one, and must be undrawn. And all the $k$ diagonals are symmetrically placed about or upon this b; therefore a, meeting it and bisecting it in the centre of the $r$-gon, meets it at right angles; otherwise (Theorem D) two diagonals would meet b in the centre, which is impossible. And no line besides b can so meet a; wherefore a and b are the only axes. As a is not a monogonal axis, neither is b (Theorem F). If $r=4m$, a has on either side an even number of sides of the $r$-gon, and b, bisecting that system, is diagonal; if $r=4m+2$, a has on either side an odd number of sides of the $r$-gon bisected by b, which is therefore an agonal axis. Q. E. D.\n\n**XII. Theorem H.** If there be more than one undrawn axis of reversion in a partitioned $r$-gon, the $r$-gon is built regularly on a polygonal nucleus ($Q$), which is reversible about all the axes of reversion of the $r$-gon, and has no drawn diagonal.\n\nFor consider the symmetry of the $r$-gon about any one of its axes, a, which are all undrawn (Theorem G). We see, on each side of a, $f$ marginal faces, limited each by one diagonal $d$ and certain sides of the $r$-gon, the $2f$ diagonals $d$ forming pairs making angles bisected by a. Let these $2f$ faces be erased: the $2f$ lines $d$ are now sides of an $r'$-gon, ($r' 2$), which have (Theorem C)\n\n- $R_{2h.agdi}(r,k)_n$, h agonal and h diagonal,\n- $R_{h.ag}(r,k)_n$, h agonal only,\n- $R_{h.di}(r,k)_n$, h diagonal only, and\n- $R_{h.mo}(r,k)_n$, h monogonal axes only, of reversion.\n\nWe shall denote those having all their axes clear by c subscript to R; those having no clear axes by zero subscript to R; those of the second and third classes which have half their axes, bearing one configuration, clear, by $\\frac{1}{2}c$ subscript, and those of the first, which have half their axes clear, the agonal or the diagonal ones, by ac or dc subscript to R. We write\n\n$$R_{2h.agdi}(r,k)_n = R_{c.agdi}(r,k)_n + R_{ac.agdi}(r,k)_n + R_{dc.agdi}(r,k)_n + R_{0.agdi}(r,k)_n,$$\n\n$$R_{h.ag}(r,k)_n = R_{c.ag}(r,k)_n + R_{ac.ag}(r,k)_n + R_{dc.ag}(r,k)_n,$$\n\n$$R_{h.di}(r,k)_n = R_{c.di}(r,k)_n + R_{ac.di}(r,k)_n + R_{dc.di}(r,k)_n,$$\n\n$$R_{h.mo}(r,k)_n = R_{c.mo}(r,k)_n + R_{ac.mo}(r,k)_n.$$\n\nIn the second and third lines the second subclass is of course nothing when $h$ is odd. In the fourth class the number of axes of reversion is always odd. And in all those equations we suppose $n \\leq 3$.\nXXI. Before we can proceed to investigate formulæ for the determination of these numbers, it is necessary,—\nProblem a. To find the k-divisions of the r-gon or r-ace.\n\nBy the (1+k)-divisions of an r-gon I mean the entire number of ways in which k diagonals can be drawn in it, none crossing another, all ways being different which occupy different angles 12..r of the r-gon. Thus there are five 3-divisions, but only one 3-partition of the pentagon made by drawing a pair of diagonals. And there are five 3-divisions of a pentace made by breaking it into three triaces, but these are all the same 3-partition.\n\nIf we call the number sought of (1+k)-divisions of the r-gon D(r, k), we can express it in terms of D(r', k'), r' 0 \\), for every value of \\( r \\) from \\( r = 3 \\) to \\( r = k - 2 \\); for no \\((k-2)\\)-gon has \\( k \\) diagonals none crossing another. Hence \\((r-k-2)^{k!}\\) is a factor of \\( D(r, k) \\). Therefore\n\n\\[ D(r, k) = (r-k-2)^{k!}(A' r^k + B' r^{k-1} + \\ldots + L' r + M'), \\]\n\\[ D(k+3, k) = 1.2\\ldots k(A'(k+3)^k + B'(k+3)^{k-1} + \\ldots + L'(k+3) + 0), \\]\n\\[ \\frac{(k+3)^{k!}}{(k+2)(k+1)} = A'(k+3)^k + B'(k+3)^{k-1} + \\ldots + L'(k+3), \\]\n\\[ \\frac{(k+3+1)(k+3+2)\\ldots(k+3+k-1)}{(k+2)(k+1)} = A'(k+3)^{k-1} + B'(k+3)^{k-2} + \\ldots + L'. \\]\n\nHence\n\n\\[ A' = \\frac{1}{(k+2)(k+1)}, \\]\n\\[ I' = \\frac{1.2.3.(k-1)}{(k+2)(k+1)}; \\]\n\nconsequently\n\n\\[ D(r, k) = (r-k-2)^{k!} \\times \\frac{(r+1)(r+2)\\ldots(r+k-1)}{(k+2)(k+1)}, \\text{ and } D(r, k) = \\frac{r^{k!}}{(k+2)(k+1)} \\cdot \\frac{(r-k-2)^{k!}}{(k+1)}; \\text{ Q. E. D.} \\]\n\n**XXIII. Theorem U.** Every m-ly irreversible k-partition of an r-gon occurs \\( \\frac{2r}{m} : m \\) times among the k-divisions, and every m-ly reversible k-partition of it is found \\( r : m \\) times among the k-divisions.\n\nFor any m-ly irreversible k-partition has a different configuration about \\( r : m \\) successive angles (III.), and is nowhere its own reflexion; so that \\( r : m \\) more configurations the reflexions of the former are read on the reversed face of the r-gon. And as all these configurations are found among the k-divisions separately enumerated about the same angle, this partition is counted \\( 2r : m \\) times among them.\n\nAnd any m-ly reversible k-partition of the r-gon has \\( r : m \\) different configurations in the interval between the termination of any axis A and its repetition, that is, about \\( r : m \\) angles if A be an agonal axis, and about \\( r : m \\) sides if it be diagonal. The central configuration of these \\( r : m \\) is about the axis alternate with A; the others form pairs of configurations reflecting each other. All these are constructed and counted separately among the k-divisions about the same point of the r-gon; i.e., this partition is counted \\( r : m \\) times among the k-divisions. Q. E. D.\n\nLet \\( R^m(r, k) \\) denote the entire number of m-ly reversible \\((1+k)\\)-partitions of the r-gon about all nuclei, and all kinds of axes, and let \\( I^m(r, k) \\) stand for the complete number of m-ly irreversible \\((1+k)\\)-partitions.\n\nThe theorem U may be thus expressed:\n\n\\[ D(r, k) = \\Sigma_m \\left\\{ \\frac{r}{m} \\cdot R^m(r, k) + \\frac{2r}{m} \\cdot I^m(r, k) \\right\\}, \\text{ or, } (m > 0), \\]\n\\[2r \\cdot I(r, k) = D(r, k) - \\Sigma_m \\left\\{ \\frac{r}{m} R^m(r, k) + \\frac{2r}{m+1} I^{m+1}(r, k) \\right\\};\\]\n\nwhich shows that, if we can find \\(R^m(r, k)\\) and \\(I^{m+1}(r, k)\\) for all values of \\(m > 0\\), we can obtain the most numerous of all the classes, \\(I(r, k)\\), by a simple subtraction and division.\n\nXXIV. Our first step towards the actual solution of our problem of partitions, which, after all these tedious prolegomena, we may now think of taking, is to find the numbers in (XX.). We begin with\n\n\\[R_{2hagdi}(r, k)_n = R_{c_{2hagdi}}(r, k)_n + R_{ac_{2hagdi}}(r, k)_n + R_{dc_{2hagdi}}(r, k)_n + R_{o_{2hagdi}}(r, k)_n.\\]\n\nProblem b. To find \\(R_{c_{2hagdi}}(r, k)_n\\), the number of \\((1+k)\\)-partitioned \\(r\\)-gons, built on the \\(n\\)-gonal nucleus, and having \\(h\\) agonal and \\(h\\) diagonal axes of reversion, all clear.\n\nThere are, in every one of these, \\(2h\\) equidistant terminations of diagonal axes, between which intervene \\(\\frac{n}{2h}\\) sides of the \\(n\\)-gon; the central side of these \\(\\frac{n}{2h}\\) is bisected by an agonal axis, wherefore \\(\\frac{n}{2h}\\) is an odd number.\n\nIf we mark this central side as the \\(n\\)th of the \\(n\\)-gon, we see on either side of it \\(\\frac{1}{2} \\left( \\frac{n}{2h} - 1 \\right)\\) sides between it and a termination of a diagonal axis. This \\(n\\)th side is one of \\(2h\\) equidistant sides of the \\(n\\)-gon, bisected by terminations of agonal axes, namely the\n\n\\[\\frac{n}{2h}, \\frac{2n}{2h}, \\frac{3n}{2h}, \\ldots n\\text{th sides},\\]\n\nwhich are all unloaded, being sides both of the \\(r\\)-gon and the \\(n\\)-gon. The \\(\\frac{1}{2} \\left( \\frac{n}{2h} - 1 \\right)\\) sides on either side of the \\(n\\)th are loaded, the first and \\((n-1)\\)th with a certain \\(e_1\\)-partitioned \\((2+a_1)\\)-gon, so as to form a configuration bisected by the agonal axis between them; the second and \\((n-2)\\)th by a \\(e_2\\)-partitioned \\((2+a_2)\\)-gon placed in like reversible manner, and so on; in such a way as to satisfy the equations following,\n\n\\[\n\\begin{align*}\n r &= n + 4h(a_1 + a_2 + \\ldots + a_{n-2h}), \\\\\n k &= n - 2h + 4h(e_1 + e_2 + \\ldots + e_{n-2h}),\n\\end{align*}\n\\]\n\nwhere \\(a_m \\geq 0\\), and \\(e_m \\geq a_m - 1\\), since no \\((2+a_m)\\)-gon can have more than \\(a_m - 1\\) diagonals drawn none crossing another; wherefore if \\(a_m = 0\\), \\(e_m = -1\\).\n\nThese \\(\\frac{n-2h}{4h}\\) polygons \\(a_1, a_2, \\ldots\\) are laid on in the same manner to correspond about the \\(\\frac{n}{2h}\\) th \\(\\frac{2n}{2h}\\) th, &c. sides; i.e. they fill up the \\(4h\\) intervals between agonal and diagonal axes, making a configuration reversible about any one of them.\n\nXXV. The equations (A.) must be satisfied, because the \\(n\\) summits of the \\(n\\)-gon, with the \\(a_1\\) summits added \\(4h\\) times in the \\((2+a_1)\\)-gon, and the \\(a_m\\) summits added \\(4h\\) times in\nthe \\((2+a_m)\\)-gon, must make up the \\(r\\) summits of the \\(r\\)-gon. And, supposing that \\(a_m\\) everywhere > 0, the \\(n-2h\\) loaded sides of the \\(n\\)-gon, with the \\(e_m\\) diagonals of every \\((2+a_m)\\)-gon \\(4h\\) times laid on, must make up the \\(k\\) diagonals of the \\(r\\)-gon. And if \\(a_m=0\\), in which case the \\(m\\)th and \\((n-m)\\)th sides of the \\(n\\)-gon are unloaded, whereby \\(4h\\) sides besides the \\(2h\\) above-mentioned remain sides common to the \\(r\\)-gon and the \\(n\\)-gon, the appearance of \\(e_m=-1\\) corrects the error made by counting those \\(4h\\) sides for diagonals of the \\(r\\)-gon, and the second equation still remains true, however many of the numbers \\(a_1, a_2, \\&c.\\) = 0. But these equations are impossible, and \\(R_{shagdi}(r, k)_n=0\\), unless \\(r=n, n-2h,\\) and \\(k-n+2h\\) are all multiples of \\(4h\\).\n\nConsider any single solution of the equation (A.), and let \\(N\\) be an \\(r\\)-gon bearing, on the \\(m\\)th side everywhere reckoned in both directions from the one bisected by an agonal axis, a \\((2+a_m)\\)-gon having \\(e_m\\) diagonals. Whatever be the posture of those \\(e_m\\) diagonals, and whatever be the character of the \\((2+a_m)\\)-gon, the figure is reversible at least about \\(h\\) agonal and \\(h\\) diagonal axes. And let \\(C\\) be the configuration read in \\(N\\) about the agonal axis through the \\(n\\)th side of the \\(n\\)-gon.\n\nXXVI. Let, next, any disturbance be made in the arrangement of the \\(e_m\\) diagonals in one or more of these imposed \\(\\frac{n-2h}{4h}\\) polygons, so that the reversible character about the \\(2h\\) axes be preserved, and the diagonals of the \\((2+a_m)\\)-gon on both sides of any axis shall form pairs making angles bisected by the intervening axis of reversion. The solution before us of (A.) being undisturbed in both values and order of the numbers \\(a_1, e_1, a_2, e_2, \\&c.\\), we can combine every \\((1+e_m)\\)-division of the \\((2+a_m)\\)-gon in the interval with every \\((1+e_p)\\)-division of the \\((2+a_p)\\)-gon, \\&c.; that is, we can make \\(C\\) take\n\n\\[D(2+a_1, e_1) \\cdot D(2+a_2, e_2) \\cdot D(2+a_3, e_3) \\cdots D(2+a_{n-2h}, e_{n-2h}) = \\Delta_{n-2h}^{4h}\\]\n\ndifferent forms, by mere variation of arrangement of diagonals, the same variation being made about every agonal axis, and consequently the same variation occurring about every diagonal axis. Of these \\(\\Delta_{n-2h}^{4h}\\) configurations no two can be alike; for the intervals of \\(\\frac{n-2h}{4h}\\) sides between two adjoining axes are irreversible configurations, if we look at the axes which limit them, because one is an agonal and the other a diagonal axis; so that, in fact, no disturbance of one or more diagonals of \\(N\\) can produce \\(N'\\) a repetition of \\(N\\). If the limiting axes were alike, it might possibly occur that \\(N'\\) should be a reflexion of \\(N\\), the configuration of one read from right to left in the interval being that of the other read from left to right.\n\nIt is to be observed here, and in all products that we may handle of the form of \\(\\Delta_{n-2h}^{4h}\\), that when \\(a_m=0\\) and consequently \\(e_m=-1\\), \\(D(2+a_m, e_m)\\) is either to be omitted, or counted unity, so that \\(\\Delta 0\\) is always = 1.\n\nXXVII. Next, let us make a variation in our solution of equation (A.), either by altering two or more values of \\(a_1, a_2, \\&c.\\) or of \\(e_1, e_2, \\&c.\\) or of both; or by exchanging the places of certain values without altering them. It is evident that \\(C'\\), the result of such\ndisturbance of the solution, must differ from every C that we have before regarded about\nthe axis through the nth side of the n-gon; for it has no longer the same polygons in\nthe same places of the interval between the axes. We have either changed the order of\nthe imposed polygons, or we have in certain places put a \\((1 + e_p)\\)-partitioned \\((2 + a_p)\\)-gon\nwhich was not employed in the construction of C, for a \\((1 + e_m)\\)-partitioned \\((2 + a_m)\\)-gon,\nwhich was. Whatever be the solution we work from, we shall be able to produce from\nit, by mere disturbances of diagonals in the imposed polygons, \\(D_{n-2h}\\) distinct configura-\ntions, all different from the \\(D_{n-2h}\\) counted before; and all the r-gons thus produced will\nhave the property of being reversible about h agonal and h diagonal axes. And it is\nevident, that every configuration about an agonal axis of any \\((1 + k)\\)-partitioned r-gon,\nhaving h agonal and h diagonal axes of reversion, will be produced from some solution\nof equations (A.), and some arrangement of diagonals in the imposed polygons.\n\nIf, then, we denote by \\(S.D_{n-2h}\\) the sum of the products \\(D_{n-2h}\\) made from every solu-\ntion of equations (A.), every change, either in value or order, of \\(a_1, e_1, a_2, e_2, \\&c.\\) being\ncounted as a solution, we find that \\(S.D_{n-2h}\\), many terms of which will be equal numbers,\nis the exact number of configurations about an agonal axis which can be seen on any\n\\((1 + k)\\)-partitioned r-gon having h agonal and h diagonal clear axes of reversion.\n\nNow no ago-diagonally reversible has two configurations about agonal axes; and\nevery \\((1 + k)\\)-partitioned r-gon having \\(i\\)h agonal and \\(i\\)h diagonal axes, is reversible about\n\\(h\\) agonal and \\(h\\) diagonal axes, whatever positive number \\(i\\) may be; for it has \\(h\\) equi-\ndistant agonal axes, and between every pair of these \\((i - 1)\\) more agonal axes, and it has\n\\(h\\) diagonal axes, because \\(i\\)h diagonal axes bisect the angles between the \\(i\\)h agonal ones.\nHence it follows that\n\n\\[ S.D_{n-2h} = S.R_{2ihagdi}(r, k)_n, \\]\n\nwhere \\(i\\) is every whole number giving \\(\\frac{n-2ih}{4ih}, \\frac{r-n}{4ih}, \\text{and } \\frac{k-n+2ih}{4ih}\\) positive integers; con-\nditions necessary to the existence of equations (A.).\n\nXXVIII. Consequently \\((i > 0)\\),\n\n\\[ R_{2h.agdi}(r, k)_n = S.D_{n-2h} - S.R_{(i+1)h.agdi}(r, k)_n, \\]\n\nfor all values of \\((i+1)h = h'\\), which make \\(n-2h', r-n, \\text{and all multiples of } 4h'\\).\n\nAs \\(r > n, n-2h > 0\\) in equations (A.); hence \\(n < 6h, \\text{and if } 2h > \\frac{n}{3}, R_{2h} = 0; \\text{i.e.} \\)\n\n\\[ R_{n.agdi}(r, k)_n = R_{n.agdi}(r, k)_n = 0. \\]\n\nIf \\(n = 6h\\), the equations (A.) become\n\n\\[ r-n = \\frac{2n}{3}a_1, \\]\n\\[ k-\\frac{2n}{3} = \\frac{2n}{3}e_1, \\]\n\\[2 + a_1 = \\frac{3r + n}{2n}, \\quad e_1 = \\frac{3k - 2n}{2n}\\]\n\n\\[\\Delta_{n-2h}^{4h} = D(2 + a_1, e_1) = D\\left(\\frac{3r + n}{2n}, \\frac{3k - 2n}{2n}\\right),\\]\n\nand this is \\(\\Sigma \\Delta_{n-2h}^{4h}\\), as there is no other solution of (A.). Wherefore\n\n\\[R_{c}^{n_{agdi}}(r, k) = D\\left(\\frac{3r + n}{2n}, \\frac{3k - 2n}{2n}\\right).\\]\n\nNext let \\(\\frac{n - 2h}{4h} = 2\\), or \\(2h = \\frac{n}{5}\\); we obtain\n\n\\[R_{c}^{n_{agdi}}(r, k) = \\Sigma \\Delta_{n-2h}^{4h} - R_{c}^{n}(r, k),\\]\n\nwhich is a given number. Here, as before, \\(\\Sigma \\Delta\\) has as many terms as there are solutions of\n\n\\[r = n + \\frac{2n}{5}(a_1 + a_2)\\]\n\n\\[k = \\frac{4n}{5} + \\frac{2n}{5}(e_1 + e_2).\\]\n\nFor an example, let \\(r = 78, k = 48, n = 30; \\frac{n}{5} = 6\\): to find \\(R_{c}^{6_{agdi}}(78, 48)_{30}\\), we form the solutions of\n\n\\[4 = a_1 + a_2 \\quad (a_m > 0, \\quad e_m > a_m - 1)\\]\n\n\\[2 = e_1 + e_2,\\]\n\nof which there are five, namely,\n\n\\[4 = 4 + 0 = 0 + 4 = 3 + 1 = 1 + 3 = 2 + 2\\]\n\n\\[2 = 3 - 1 = -1 + 3 = 2 + 0 = 0 + 2 = 1 + 1;\\]\n\nwhence, disregarding the negative \\(-1\\), we obtain\n\n\\[2.D(6, 3) + 2.D(5, 2).D(3, 0) + D(4, 1).D(4, 1) = \\Sigma \\Delta_{n-2h}^{4h},\\]\n\nor\n\n\\[\\Sigma \\Delta_{n-2h}^{4h} = 2.14 + 2.5 + 2^2 = 42;\\]\n\nand\n\n\\[R_{c}^{6_{agdi}}(78, 48)_{30} = 42 - R_{c}^{10_{agdi}}(78, 48)_{30} = 42,\\]\n\nbecause \\(\\frac{78 - 30}{20}\\) is not a whole number.\n\nWe may then put \\(\\frac{30 - 2h}{4h} = 7\\), the next possible integral value after 2 of that subindex; and thus finding \\(h = 1\\), proceed to enumerate \\(R_{c}^{2_{agdi}}(78, 48)_{30}\\). The equations (A.) become\n\n\\[\\frac{78 - 30}{4} = 12 = a_1 + a_2 + \\ldots + a_7\\]\n\n\\[\\frac{48 - 28}{4} = 5 = e_1 + e_2 + \\ldots + e_7,\\]\n\nand the solutions are already numerous. The sum of products \\(\\Delta_7\\) being found, we obtain\n\n\\[R_{c}^{2_{agdi}}(78, 48)_{30} = \\Sigma \\Delta_7 - 42.\\]\nThus it is evident that we can register $R_{\\text{agdi}}^2(r, k)_n$, from $h = \\frac{n}{3}$ to $h = 1$, for all values that make $r - n$, $n - 2h$, and $k - n + 2h$, multiples of $4h$.\n\nFor a simple and complete example, to be carried out through all our investigation, we may take the partitions of the octagon. Here we are to seek $R_{\\text{agdi}}^2(8, k)_n$. Evidently $n < 8$ (if $k > 0$), and $= 6$ or $= 4$.\n\nWhen $n = 6$, $\\frac{6 - 2h}{4h} = 1$, the only value, gives $h = 1$, and $R_{\\text{agdi}}^2(8, k)_6 = 0$ whatever be $k$, because $\\frac{8 - 6}{4}$ is not integer.\n\nWhen $n = 4$, $\\frac{4 - 2h}{4h}$ has no integer value $> 0$; wherefore, since $r > n$, $R_{\\text{agdi}}^2(8, k)_4 = 0$, for all values of $k$. Hence\n\n$$R_{\\text{agdi}}^2(8, k) = 0,$$\n\nwhatever be the nucleus, except that\n\n$$R_{\\text{agdi}}^2(8, 0) = 1 \\quad (\\text{art. III}).$$\n\nXXIX. Problem c. To find $R_{\\text{de agdi}}^2(r, k)_n$, the number of $(1 + k)$-partitioned $r$-gons, built on an $n$-gonal nucleus, having $h$ loaded agonals, and $h$ clear diagonal axes of reversion.\n\nThe investigation to be made differs from that in the five preceding articles in that the $2h$ sides of the $n$-gon, bisected by the agonal axes, are all loaded with a certain $(1 + \\varepsilon_0)$-partitioned $(4 + 2a_0)$-gon $A_0$, having at least one agonal axis of reversion (Theorem G.). This must be so posited that its agonal axis shall be in a line with that of the $n$-gon (Theorem N.), and must be placed alike on the $2h$ equidistant sides, since all agonal axes of the $r$-gon must bisect the same configuration at each end (Theorem C.).\n\nThe remaining sides of the $n$-gon may be loaded, the $m$th from $A_0$, with any $(1 + e_m)$-partitioned (or divisioned) $(2 + a_m)$-gon so as to form a figure reversible about the $2h$ axes, and so that the equations following be satisfied:\n\n$$r = n + 2h(2 + 2a_0) + 4h(a_1 + a_2 + \\ldots + a_{n-2h})$$\n\n$$k = n + 2h\\varepsilon_0 + 4h(e_1 + e_2 + \\ldots + e_{n-2h});$$\n\nwhere $a_m \\geq 0$, $e_m \\neq a_m - 1$; and $e_m = -1$, if $a_m = 0$;\n\nthe numbers $a_0$ and $\\varepsilon_0$ being any that we may select from our register of polygons having at least one agonal axis, which is supposed complete for values of $(2 + 2a_0)$ not greater than $\\frac{r - n}{2h}$. All that is said of the loading of the $\\frac{n - 2h}{4h}$ sides between the axes, and about the import and necessity of equations (A.), applies to equations (A').\n\nThe sides being thus loaded, we have an $r$-gon which has only clear diagonal axes, and is reversible about $2h$ equidistant and alternate agonal and diagonal axes. Leaving now the $2h$ agonally reversible $(1 + 2a_0)$-gons undisturbed, we can vary the positions of the diagonals, exactly as in (XXVI.), so as to produce about the agonal axis through the $n$th side of the $r$-gon\n\n$$D(2 + a_1, e_1) \\cdot D(2 + a_2, e_2) \\cdots D(2 + a_{n-2h}, e_{n-2h}) = \\Delta_{n-2h}.$$\ndifferent configurations, the numbers \\(a_1, e_1, \\&c.\\) here being those of a solution of equations (A'). And every one of these may be varied again by changing the posture of the \\((4+2\\alpha_0)\\)-gon, if it has a second configuration about an agonial axis, so that this axis shall come into a line with that of the \\(n\\)-gon, or by exchanging the \\((4+2\\alpha_0)\\)-gon for any other that is also \\((1+\\varepsilon_0)\\)-partitioned and has an agonial axis. The number of variations in our power by disturbance of the \\((4+2\\alpha_0)\\)-gons alone, is\n\n\\[\n\\Sigma_m \\{2R_{mag}(4+2\\alpha_0, \\varepsilon_0) + R_{magdi}(4+2\\alpha_0, \\varepsilon_0)\\} = H,\n\\]\n\nbecause each \\(m\\)-agonally reversible has two configurations about agonial axes and thus admits of two postures, while each ago-diagonally reversible has only one; whatever be the number \\(m\\) of agonial axes (Theorem A.).\n\nThus we see, that for every solution of equations (A') that we can write down, all values and orders of the numbers counting in the solution, we can make\n\n\\[\nH \\cdot \\Delta_{n-2h}^{4h}\n\\]\n\ndifferent configurations about the axis through the \\(n\\)th side of the \\(n\\)-gon. The proof that there are no two of them alike need not be repeated here from art. XVI.\n\nIf then\n\n\\[\n\\Sigma H \\cdot \\Delta_{n-2h}^{4h}\n\\]\n\ndenote the sum of those products \\(H\\Delta\\) made from every solution of equations (A'), this number is that of the \\(r\\)-gons \\((1+k)\\)-partitioned, and having \\(h\\) agonial and \\(h\\) diagonal axes of reversion, the latter only being clear axes, which are constructible on the \\(n\\)-gonal nucleus. This is shown exactly as in art. XXVII. And by the reasoning of that article we obtain\n\n\\[\n\\Sigma \\cdot H \\cdot \\Delta_{n-2h}^{4h} = \\Sigma R_{de}^{2h \\cdot agdi}(r, k)_n,\n\\]\n\n\\(h'\\) being any number \\(h'\\) such that\n\n\\[\n\\frac{n-2h'}{4h'}, \\frac{r-n-2h' \\cdot (2+2\\alpha_0)}{4h'} \\text{ and } \\frac{k-n-2h'\\varepsilon_0}{4h'}\n\\]\n\nare positive integers, for some values of \\(\\alpha_0\\) and \\(\\varepsilon_0\\) that are found in our register of \\((1+\\varepsilon_0)\\)-partitioned \\((2+2\\alpha_0)\\)-gons, having an agonial axis of reversion.\n\nHence \\((i > 0)\\),\n\n\\[\nR_{de}^{2h \\cdot agdi}(r, k)_n = \\Sigma H \\cdot \\Delta_{n-2h}^{4h} - \\Sigma R_{de}^{2h(i+1) \\cdot agdi}(r, k)_n.\n\\]\n\nXXX. The highest value of \\(h\\) in equations (A') gives \\(\\frac{n-2h}{4h} = 0\\), or \\(2h = n\\). In this case \\(A_0\\) is the only imposed polygon, and the equations (A') become\n\n\\[\n\\frac{r-3n}{n} = 2\\alpha_0, \\quad \\frac{k-n}{n} = \\varepsilon_0,\n\\]\n\n\\[\nH = \\Sigma_m \\{2R_{mag}\\left(\\frac{r+n}{n}, \\frac{k-n}{n}\\right) + R_{magdi}\\left(\\frac{r+n}{n}, \\frac{k-n}{n}\\right)\\},\n\\]\n\nwhich \\(= 0\\) of course if the fractions are irreducible, or if no such values are in our register of reversible polygons with an agonial axis. \\(\\Delta_{n-2h}^{4h} = \\Delta_0\\) is here to be considered\nunity; wherefore\n\n\\[ R_{n}^{m.agdi}(r, k) = \\sum_{m} \\left[ 2R_{m.ag} \\left( \\frac{r+n}{n}, \\frac{k-n}{n} \\right) + R_{2m.agdi} \\left( \\frac{r+n}{n}, \\frac{k-n}{n} \\right) \\right], \\]\n\nwhich is a number given in our register, or else \\(=0\\).\n\nThe next step is to put the subindex \\( \\frac{n-2h}{4h} = 1 \\), or \\( \\frac{n}{3} = 2h \\), and find\n\n\\[ R_{n}^{agdi}(r, k) = 0, \\]\n\nbecause \\( 2h = \\frac{n}{2} \\) does not give an integer \\( \\frac{n-2h}{4h} \\).\n\n\\[ R_{n}^{agdi}(r, k) = \\Sigma H.\\Delta_1 - R_{n}^{agdi}(r, k), \\]\n\na number readily obtained, and so on through all integer values of \\( \\frac{n-2h}{4h} \\), from \\( 2h = \\frac{n}{2} \\) to \\( 2h = 2 \\).\n\nXXXI. For an example take\n\n\\[ r = 22, \\ k = 12, \\ n = 6, \\ h = 1, \\text{ and seek } R_{n}^{agdi}(22, 12). \\]\n\nBy equations (A') we have\n\n\\[ 22 = 6 + 4 + 4\\alpha_0 + 4\\alpha_1 \\]\n\nor\n\n\\[ \\alpha_0 \\geq 2, \\ 4 + 2\\alpha_0 \\geq 8. \\]\n\nOur register as far as \\( r = 8 \\) contains, under \\( R_{n}^{agdi} \\),\n\n\\[ R_{8}^{agdi}(8, 0) = 1, \\ R_{6}^{agdi}(6, 0) = 1, \\ R_{2}^{agdi}(6, 1) = 1, \\ R_{2}^{agdi}(6, 2) = 1, \\ R_{4}^{agdi}(4, 0) = 1, \\]\n\nwhere\n\n\\[ \\alpha_0 = 2, \\quad \\alpha_0 = 1, \\quad \\alpha_0 = 1, \\quad \\alpha_0 = 2, \\quad \\alpha_0 = 0 \\]\n\n\\[ \\varepsilon_0 = 0, \\quad \\varepsilon_0 = 0, \\quad \\varepsilon_0 = 1, \\quad \\varepsilon_0 = 2, \\quad \\varepsilon_0 = 0. \\]\n\nBut as \\( \\frac{12-6-2\\varepsilon_0}{4} \\) is integer, \\( \\varepsilon_0 = 1 = \\alpha_0 \\); and the only solution of (A') is\n\n\\[ 22 = 6 + 2.(2+2.1) + 4.2 \\]\n\n\\[ 12 = 6 + 2.1 + 4.1, \\]\n\nwhere\n\n\\[ a_1 = 2, \\ e_1 = 1. \\]\n\n\\[ D(2+2, 1) = 2 = \\Sigma \\Delta_1, \\quad \\Sigma H = R_{2}^{agdi}(6, 1) = 1 \\]\n\n\\[ R_{2}^{agdi}(22, 12) = \\Sigma H\\Delta_1 - R_{2}^{agdi}(22, 12) \\]\n\n\\[ = 2 - 0, \\]\n\nbecause \\( \\frac{r+n}{n} = \\frac{22+6}{6} \\), in \\( R_{n}^{agdi}(r, k) \\), is not integer.\n\nWe proceed with our partitions of the octagon, and seek \\( R_{2}^{agdi}(8, k) \\).\n\nNow \\( R_{6}^{agdi}(8, k) = 0 \\), because \\( \\frac{r+n}{n} \\) here is not integer: let \\( n = 4 \\); then, \\( \\frac{n-2h}{4h} = 0 \\), the only integer value, and \\( R_{4}^{agdi}(8, k) = 0 \\), because \\( \\frac{8+4}{4} = 3 \\), a value of \\( r \\) not found in our register under \\( R_{ag} \\) or \\( R_{agdi} \\). Therefore \\( R_{2}^{agdi}(8, k) = 0 \\).\n\nMDCCCLVII.\nXXXII. Problem d. To find $R_{ac}^{2h, agdi}(r, k)_n$, the number of $(1+k)$-partitioned $r$-gons built on an $n$-gonal nucleus, to have $h$ loaded diagonal and $h$ clear agonial axes of reversion.\n\nAll the axes are agonial axes of the nucleus (Theorems M, N). There are $2h$ unloaded sides, carrying the agonial axes, and midway between each pair of these, a side loaded with a $(1+\\varepsilon_n)$-partitioned $(3+2\\alpha_n)$-gon, having at least one monogonal axis (Theorem N), which is laid alike on the $\\frac{n}{4h}$th, $\\frac{3n}{4h}$th, $\\ldots \\frac{2h-1}{4h}$nth sides of the nucleus; $\\alpha_n$ and $\\varepsilon_n$ being numbers selected from our register of monogonally reversibles. And on the $m$th side, counted from the unloaded one in both directions, is laid any $(1+\\varepsilon_m)$-partitioned $(2+\\alpha_m)$-gon, once in every interval between an agonial and a diagonal axis.\n\nThe equations to be satisfied are\n\n$$\n\\begin{align*}\n r &= n + 4h(\\alpha_1 + \\alpha_2 + \\ldots + \\alpha_{n-4h}) + 2h(2\\alpha_n + 1) \\\\\n k &= n - 2h + 4h(e_1 + e_2 + \\ldots + e_{n-4h}) + 2h\\varepsilon_n,\n\\end{align*}\n$$\n\n$$\na_m \\geq 0, \\quad e_m > a_m - 1;\n$$\n\nfor reasons sufficiently given in art. XXV. These cannot exist unless\n\n$$\nr = n - 2h(2\\alpha_n + 1) \\quad \\text{and} \\quad k = n - 2h(\\varepsilon_n - 1)\n$$\n\nare divisible by $4h$. Every $r$-gon constructed by loading the sides of the $n$-gon as above described will be $(1+k)$-partitioned and reversible about $h$ clear agonial and $h$ loaded diagonal axes.\n\nLeaving now undisturbed the $(3+2\\alpha_n)$-gons, we can change the arrangements of diagonals in the $(2+\\alpha_1)$-gon, $(2+\\alpha_2)$-gon, &c. in\n\n$$\nD(2+\\alpha_1, e_1) \\cdot D(2+\\alpha_2, e_2) \\cdot \\ldots \\cdot D(2+\\alpha_{n-4h}, e_{n-4h}) = \\Delta_{n-4h}\n$$\n\ndifferent ways, without altering at all our solution of equations (A''). And we can combine each of these arrangements of diagonals with every $(1+\\varepsilon_n)$-partitioned $(3+2\\alpha_n)$-gon in our list of monogonally reversibles, of which there are\n\n$$\nM = \\Sigma_m R_{m, mo}^{3+2\\alpha_n, \\varepsilon_n};\n$$\n\nso that the entire number of $(1+k)$-partitioned $r$-gons, having not fewer than $h$ clear agonial and $h$ loaded diagonal axes, constructible from a single solution of (A''), is the product $M\\Delta_{n-4h}$; and a similar product being formed from every solution of (A''), counting every change of value or order of $\\alpha_1, e_1, \\alpha_2, e_2, \\&c.$ as a solution, we obtain the result\n\n$$\n\\Sigma \\cdot M \\cdot \\Delta_{n-4h} = \\Sigma_i R_{ac}^{2h, agdi}(r, k)_n,\n$$\n\nthe number of products on the left under $\\Sigma$ being that of those solutions; or\n\n$$\nR_{ac}^{2h, agdi}(r, k)_n = \\Sigma \\cdot M \\cdot \\Delta_{n-4h} - \\Sigma_i R_{ac}^{2h(i+1)agdi}(r, k)_n; \\quad (i > 0).\n$$\nXXXIII. In equations (A''). \\( \\frac{n-4h}{4h} \\) may have any value \\( \\geq 0 \\). When \\( n = 4h \\), we have\n\n\\[\nr - n = \\frac{n}{2} \\cdot (2a_1 + 1),\n\\]\n\n\\[\nk - \\frac{n}{2} = \\frac{n}{2};\n\\]\n\n\\[\n3 + 2a_1 = \\frac{2r}{n}; \\quad \\varepsilon_1 = \\frac{2k-n}{n};\n\\]\n\nhence\n\n\\[\nR_{ac}^{n, agdi}(r, k)_n = 0;\n\\]\n\nand as \\( \\Delta_0 = 1 \\),\n\n\\[\nR_{ac}^{n, agdi}(r, k)_n = \\Sigma_m R_{m, mo}^{\\left( \\frac{2r}{n}, \\frac{2k-n}{n} \\right)};\n\\]\n\nwhich of course \\( = 0 \\) if the fractions are irreducible, and also (IX.), if \\( r \\) is divisible by \\( n \\).\n\nFrom this we obtain, putting the subindex \\( \\frac{n-4h}{4h} = 1 \\), or \\( 2h = \\frac{n}{2} \\),\n\n\\[\nR_{ac}^{n, agdi}(r, k)_n = \\Sigma M \\Delta_1 - \\Sigma_m R_{m, mo}^{\\left( \\frac{2r}{n}, \\frac{2k-n}{n} \\right)},\n\\]\n\nand thus \\( R_{ac}^{2hagdi}(r, k) \\) can be found in succession for every whole value of \\( \\frac{n}{4h} \\) from \\( 2h = \\frac{n}{2} \\) to \\( 2h = 2 \\), which gives\n\n\\[\nr - n - 2h(2a_n + 1) \\quad \\text{and} \\quad k - n - 2h(\\varepsilon_n - 1)\n\\]\n\ndivisible by \\( 4h \\).\n\nWe proceed with our partitions of the octagon, by finding \\( R_{ac}^{2hagdi}(8, k)_n \\).\n\n\\( R_{ac}^{2hagdi}(8, k)_6 = 0 \\), because the subindex \\( \\frac{6-4h}{4h} \\) is not integer.\n\nIf \\( n = 4 \\), \\( \\frac{4-4h}{4h} = 0 \\) and \\( h = 1 \\); when (A'') becomes \\( 8 = 4 + 2(2a_1 + 1) \\), which is absurd;\n\n\\[\n\\therefore \\quad R_{ac}^{2hagdi}(8, k) = 0, \\quad \\text{for any nucleus}.\n\\]\n\nXXXIV. Problem e. To find \\( R_{o}^{2hagdi}(r, k)_n \\), the number of \\((1+k)\\)-partitioned \\( r \\)-gons having an \\( n \\)-gonal nucleus and \\( h \\) diagonal and \\( h \\) agonal axes of reversion, of which none are clear.\n\nThe construction is like the preceding, with the exception that \\( 2h \\) equidistant sides, viz. the\n\n\\[\n\\text{nth, } \\frac{n}{2h} \\text{th, } \\frac{2n}{2h} \\text{th, } \\ldots \\frac{2h-1}{2h} \\text{nth},\n\\]\n\nare all loaded with the same \\((1+\\varepsilon_0)\\)-partitioned \\((4+2a_0)\\)-gon, having at least one agonal axis of reversion, \\( \\varepsilon_0 \\) and \\( a_0 \\) being any numbers in our register of agonally reversibles, \\( \\varepsilon_n \\) and \\( a_n \\) being found as in XXXII.\n\nThe equations to be satisfied are,\n\n\\[\n\\begin{align*}\nr &= n + 2h(2 + 2a_0) + 4h(a_1 + a_2 + \\ldots + a_{n-4h}) + 2h(2a_n + 1) \\\\\nk &= n + 2h\\varepsilon_0 + 4h(e_1 + e_2 + \\ldots + e_{n-4h}) + 2h\\varepsilon_n\n\\end{align*}\n\\]\n\nwhere \\( a_m \\geq 0 \\), and \\( e_m \\neq a_m - 1 \\).\nAn $r$-gon so constructed from any one solution has $k$ diagonals, and is reversible about at least $h$ agonals and $h$ diagonal axes, all loaded.\n\nWe can, as before, make the product\n\n$$D(2+a_1, e_1)D(2+a_2, e_2)\\ldots D(2+a_{n-4h}, e_{n-4h}) = \\Delta_{n-4h}$$\n\nwith the numbers $a_1, a_2, \\&c.$ in our solution of $(A''')$, which is the number of variations of diagonals that can be made in the $(2+a_i)$-gon, $(2+a_j)$-gon, $\\&c.$, while the $4h$ reversible polygons upon the axes are undisturbed. We can also disturb these polygons alone, varying the $2h$ agonally reversibles, in\n\n$$\\Sigma_m (2R^{mag}(4+2\\alpha_0, \\varepsilon_0) + R^{magdi}(4+2\\alpha_0, \\varepsilon_0)) = H$$\n\ndifferent ways, as in XXIX., and the $2h$ monogonally reversibles in\n\n$$\\Sigma_m R^{m.mo}(3+\\alpha_n, \\varepsilon_n) = M$$\n\ndifferent ways, as in XXXII., wherefore the entire number of $r$-gons $(1+k)$-partitioned and having $h$ equidistant agonals and as many diagonal axes of reversion all loaded, that can be formed by one solution of $(A''')$, is the product\n\n$$H.M.\\Delta_{n-4h}$$\n\nall the numbers $\\alpha_0, \\varepsilon_0, a_1, e_1, \\&c.$ appearing in the product being those found in that one solution. The sum of these products, one for every possible solution of equation $(A''')$, all orders and values of the quantities $\\alpha, \\varepsilon, a, e, \\&c.$ counting as solutions, is the total number of $(1+k)$-partitioned $r$-gons, built on the $n$-gonal nucleus, to have $h$ agonals and $h$ diagonal axes of reversion none of them clear, i.e.\n\n$$\\Sigma_i R^{2hi.agdi}(r, k) = \\Sigma H.M.\\Delta_{n-4h};$$\n\nthe number of products under $\\Sigma$ on the right being that of the solutions of $(A''')$.\n\nWherefore\n\n$$R^{2h.agdi}(r, k) = \\Sigma H.M.\\Delta_{n-4h} - \\Sigma_i R^{2h(i+1)agdi}(r, k) (i > 0);$$\n\nfor whatever be the value of $i$, there must be $h$ equidistant agonals and as many diagonal axes bisecting the intervals between them.\n\nXXXV. The highest value of $h$ in $(A''')$ gives $n-2h=0$, $2h=\\frac{n}{2}$. The equations become in this case\n\n$$\\frac{2r-5n}{2n} = \\alpha_0 + \\alpha_1,$$\n\n$$\\frac{2k-2n}{n} = \\varepsilon_0 + \\varepsilon_1,$$\n\nwhich have of course no solution if the fractions are irreducible; and $\\Sigma \\Delta_0 = 1$: wherefore\n\n$$R^{n.agdi}(r, k) = 0,$$\n\n$$R^{n.agdi}(r, k) = \\Sigma \\left\\{ \\Sigma_m (2R^{mag}(4+2\\alpha_0, \\varepsilon_0) + R^{magdi}(4+2\\alpha_0, \\varepsilon_0)) \\Sigma_m R^{m.mo}(3+\\alpha_1, \\varepsilon_1) \\right\\} = \\Sigma HM\\Delta_0,$$\na sum of products easily obtained from our register of reversibles, a different product for every solution of the two equations just written in \\( \\alpha_0, \\alpha_1, \\varepsilon_0, \\varepsilon_1 \\).\n\nWe next put \\( \\frac{n-4h}{4h} = 1 \\), or \\( 2h = \\frac{n}{4} \\), and find\n\n\\[\nR_{n_{agdi}}^0(r, k)_n = \\Sigma HM \\Delta_i - R_{n_{agdi}}^2(r, k)_n,\n\\]\n\n\\( H, M \\) and \\( \\Delta_i \\) being properly determined from the numbers that satisfy\n\n\\[\nr = n + \\frac{n}{4}(2 + 2\\alpha_0) + \\frac{n}{2}\\alpha_1 + \\frac{n}{4}(2\\alpha_2 + 1),\n\\]\n\n\\[\nk = n + \\frac{n}{4}\\varepsilon_0 + \\frac{n}{2}\\varepsilon_1 + \\frac{n}{4}\\varepsilon_2.\n\\]\n\nIn like manner we can obtain \\( R_{2h_{agdi}}^0(r, k)_n \\) for every value of \\( 2h \\) that gives, in equations (A'''), \\( n, r - 6h, \\) and \\( k - n - 2h(\\varepsilon_0 + \\varepsilon_n) \\),\n\neach divisible by \\( 4h; \\alpha_0, \\varepsilon_0, \\alpha_n \\) and \\( \\varepsilon_n \\) being numbers in our register of reversibles.\n\nIt is easily seen that\n\n\\[\nR_{2h_{agdi}}^0(8, k)_6 = 0 = R_{2h_{agdi}}^0(8, k)_4,\n\\]\n\nwhence by what precedes we obtain, for \\( k > 0 \\),\n\n\\[\nR_{2h_{agdi}}^0(8, k) = 0,\n\\]\n\nor the octagon has no partition ago-diagonally reversible, except itself.\n\nThus we have determined the four numbers\n\n\\[\nR_{2h_{agdi}}^0(r, k)_n + R_{2h_{agdi}}^0(r, k)_n + R_{2h_{agdi}}^0(r, k)_n + R_{2h_{agdi}}^0(r, k)_n = R_{2h_{agdi}}^0(r, k)_n.\n\\]\n\nXXXVI. The next step is to obtain\n\n\\[\nR_{h_{ag}}^0(r, k)_n = R_{h_{ag}}^0(r, k)_n + R_{h_{ag}}^0(r, k)_n + R_{h_{ag}}^0(r, k)_n + R_{h_{ag}}^0(r, k)_n.\n\\]\n\nProblem f. To find \\( R_{h_{ag}}^0(r, k)_n \\), the number of \\((1+k)\\)-partitioned \\( r \\)-gons built on the \\( n \\)-gonal nucleus, to be reversible about \\( h \\) agonal axes, all clear.\n\nWhether \\( n \\) be odd or even, \\( 2h \\) sides of the \\( n \\)-gon, viz.—the \\( nth, \\frac{n}{h}th, \\frac{2n}{h}th \\ldots \\frac{h-1}{h}nth \\) sides,\n\nand the \\( \\frac{n}{2h}th, \\frac{3n}{2h}th \\ldots \\frac{2h-1}{2h}nth \\) sides,\n\nwhich are equidistant from pairs of the preceding \\( h \\), are unloaded, and the sides between the \\( nth \\) and \\( \\frac{n}{2h}th \\) are loaded, the \\( mth \\) with a \\((1+\\varepsilon_m)\\)-partitioned \\((2+\\alpha_m)\\)-gon, &c., the configuration of this interval being reversed in the two adjoining intervals of \\( \\frac{n-2h}{2h} \\) sides each, so as to make a figure reversible about all the axes. And the equations following will be true:—\nThe above construction from every solution of this equation gives an \\( r \\)-gon \\( k \\)-partitioned end reversible about at least \\( h \\) clear agonial axes bisecting \\( 2h \\) equidistant sides, both of the \\( r \\)-gon and \\( n \\)-gon (Theorems B, N). And with this solution, i.e. without changing the weight or order of the imposed loads, we can, by disturbing the arrangement of the \\( e_m \\) diagonals of the \\((2+a_m)\\)-gon in any way whatever, produce a new configuration about the axis bisecting the \\( n \\)th side; and the entire number of configurations so brought into view by such disturbances will be\n\n\\[\nD(2+a_1, e_1)D(2+a_2, e_2)\\ldots D\\left(2+\\frac{a_{n-2h}}{2h}, \\frac{e_{n-2h}}{2h}\\right) = \\Delta_{\\frac{n-2h}{2h}};\n\\]\n\nand a like expression for the number of configurations generable from every solution of equation (B.), i.e. for every change in the weight or order of imposed loads, being added to the above, we obtain \\( \\Sigma \\Delta_{\\frac{n-2h}{2h}} \\) different configurations about the axis through the \\( n \\)th side, the number of terms under \\( \\Sigma \\) being that of the solutions. Among these will be found once, and once only, every aspect of any \\((1+k)\\)-partitioned \\( r \\)-gon about a clear agonial axis, which has \\( 2h \\) equidistant sides in common with the \\( n \\)-gon, bisected by agonial axes of reversion. Now two of these configurations are found on every one of \\( R_{\\text{diag}}(r, k)_n \\), for each has \\( i \\times 2h \\) such equidistant sides of the \\( n \\)-gon; one will be found on each of \\( R_{\\text{diagdi}}(r, k)_n \\) for the same reason, and one will be found on each of \\( R_{\\text{diagdi}}(r, k)_n \\) and on each of \\( R_{\\text{diagdi}}(r, k)_n \\) for the same reason (Theorem C); that is \\( (i > 0) \\),\n\n\\[\n\\Sigma \\Delta_{\\frac{n-2h}{2h}} = \\Sigma_i \\{2R_{\\text{diag}}(r, k)_n + R_{\\text{diagdi}}(r, k)_n + R_{\\text{diagdi}}(r, k)_n + R_{\\text{diagdi}}(r, k)_n\\}, \\quad \\text{and}\n\\]\n\n\\[\nR_{\\text{diagdi}}(r, k)_n = \\frac{1}{2} \\left\\{ \\Sigma \\Delta_{\\frac{n-2h}{2h}} - \\Sigma_i (2R_{\\text{diagdi}}(r, k)_n + R_{\\text{diagdi}}(r, k)_n + R_{\\text{diagdi}}(r, k)_n + R_{\\text{diagdi}}(r, k)_n) \\right\\}.\n\\]\n\nXXXVII. Before we proceed with the discussion of this formula, it is necessary,\n\nProblem g. To find \\( R_{\\text{diag}}(r, k)_n \\), the number of \\((1+k)\\)-partitioned \\( r \\)-gons having \\( h \\) clear and \\( \\frac{h}{2} \\) loaded agonial axes, and built on the \\( n \\)-gonal nucleus.\n\nThese \\( r \\)-gons have all on \\( h \\) sides of the \\( n \\)-gon, the \\( n \\)th, \\( \\frac{n}{h} \\)th, \\( \\frac{2n}{h} \\)th, \\( \\ldots \\) \\( \\frac{h-1}{h} \\)nth sides,\n\na \\((1+\\varepsilon_0)\\)-partitioned \\((4+2\\varepsilon_0)\\)-gon having an agonial axis, and nothing on the \\( \\frac{n}{2h} \\)th, \\( \\frac{3n}{2h} \\)th, \\( \\ldots \\) \\( \\frac{2h-1}{2h} \\)nth sides.\n\nThe equations to be satisfied are\n\n\\[\nr = n + h(2 + 2\\varepsilon_0) + 2h(a_1 + a_2 + \\ldots + a_{n-2h});\n\\]\n\n\\[\nk = n - h + h\\varepsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-2h});\n\\]\n\n\\( \\alpha_0 \\) and \\( \\varepsilon_0 \\) being any number in our list of reversibles about an agonial axis.\nThe configurations producible about the loaded agonal axis through the \\( n \\)th side of the \\( n \\)-gon, from any one solution of (B'), are the product \\( H\\Delta_{n-2h}^{2h} \\), of\n\n\\[ H = \\Sigma_m \\{ 2R^{\\text{mag}}(4 + 2a_0, e_0) + R^{\\text{magdi}}(4 + 2a_0, e_0) \\}, \\]\n\nand\n\n\\[ \\Delta_{n-2h}^{2h} = D(2 + a_1, e_1) \\cdot D(2 + a_2, e_2) \\ldots D(2 + a_{n-2h}, e_{n-2h}); \\]\n\nand the sum of these products, one for every solution of (B'), all values and orders of the quantities counting among the solutions, is the sum of the configurations bisected by the loaded agonal axes of all \\((1+k)\\)-partitioned \\( r \\)-gons built on the \\( n \\)-gonal nucleus, to have \\( \\frac{1}{2}h \\) loaded agonal axes, and \\( \\frac{1}{2}h \\) clear agonal axes bisecting the equal intervals between the loaded ones.\n\nNow the whole number of these \\( r \\)-gons is that of these configurations, since no such \\( r \\)-gon has more than one; and these \\( r \\)-gons are in number exactly\n\n\\[ \\Sigma_i R_{\\text{ag}}^{(2i+1)h}(r, k)_n = \\Sigma H \\cdot \\Delta_{n-2h}^{2h}, (i > 0); \\]\n\nfor all these have \\((2i+1) \\times \\frac{1}{2}h\\) loaded agonal axes, and among these are \\( \\frac{h}{2} \\) equidistant ones, in the intervals of which lie an odd number \\((2i+1)\\) of clear agonal axes. But \\( R_{\\text{ag}}^{(2i+1)h}(r, k)_n \\) is not in the number of these \\( r \\)-gons, because in the intervals of any \\( \\frac{1}{2}h \\) equidistant loaded axes of these, lies an even number of clear axes. Wherefore, \\((i > 0)\\)\n\n\\[ R_{\\text{ag}}^{(2i+1)h}(r, k)_n = \\Sigma(H\\Delta_{n-2h}^{2h}) - \\Sigma R_{\\text{ag}}^{(2i+1)h}(r, k)_n. \\]\n\nXXXVIII. The highest value of \\( h \\) in (B') gives \\( n-2h=0 \\); which reduces them to\n\n\\[ \\frac{2r-2n}{n} = 2 + 2a_0, \\quad \\frac{2k-n}{n} = e_0, \\quad \\Delta_0 = 1; \\]\n\nwherefore\n\n\\[ R_{\\text{ag}}^{n}(r, k)_n = 0 \\]\n\n\\[ R_{\\text{ag}}^{n}(r, k)_n = \\Sigma_m \\left\\{ 2R^{\\text{mag}}\\left(\\frac{2r}{n}, \\frac{2k-n}{n}\\right) + R^{\\text{magdi}}\\left(\\frac{2r}{n}, \\frac{2k-n}{n}\\right) \\right\\}. \\]\n\nWe can next put \\( \\frac{n-2h}{2h} = 1 \\) in equations (B') and find \\( R_{\\text{ag}}^{n}(r, k)_n \\), and thus every number \\( R_{\\text{ag}}^{n}(r, k)_n \\), for any even value of \\( h \\), so that\n\n\\[ n, r, \\text{ and } k-h(e_0-1) \\]\n\nshall be multiples of \\( 2h \\), \\( e_0 \\) being some number of diagonals on our list of agonally reversibles.\n\nIn XXXVI., equations (B.), the highest value of \\( h \\) gives \\( \\frac{n-2h}{2h} = 1 \\), or \\( h = \\frac{n}{4} \\), when those equations become\n\n\\[ \\frac{2r-2n}{n} = a_1, \\quad \\frac{2k-n}{n} = e_1, \\]\n\nso that \\( r \\) is divisible by \\( n \\): \\( D(2 + a_1, e_1) = \\Sigma \\Delta_1. \\)\n\nHence\n\n\\[ R_{\\text{agdi}}^{n}(r, k)_n = 0; \\]\nand since \\( R_{n}^{agdi}(r, k) = 0 \\), by XXVIII.,\n\nand \\( R_{2}^{agdi}(r, k) = 0 \\), by XXXIII.,\n\nwhen \\( r \\) is divisible by \\( n \\),\n\n\\[\nR_{n}^{ag}(r, k) = \\frac{1}{2} \\left[ D(2 + a_1, e_1) - R_{2}^{ag}(r, k) \\right]\n\\]\n\n\\[\n= \\frac{1}{2} \\left[ D\\left(\\frac{2r}{n}, \\frac{2k-n}{n}\\right) - \\sum_{m} \\left\\{ 2R_{mag}(2r, \\frac{2k-n}{n}) + R_{magdi}(2r, \\frac{2k-n}{n}) \\right\\} \\right].\n\\]\n\nIf now we put in (B.) \\( \\frac{n-2h}{2h} = 2 \\), we can obtain \\( R_{6}^{ag}(r, k) \\), and every number \\( R_{e}^{ag}(r, k) \\)\n\nin which \\( n, r, \\) and \\( k \\) are multiples of \\( 2h \\), including the case of \\( h = 1 \\).\n\nWe shall now find \\( R_{e}^{ag}(8, k) \\) and \\( R_{2e}^{ag}(8, k) \\).\n\nFor \\( n = 6 \\) in equations (B.), we can only put \\( \\frac{6-2h}{2h} = 2 \\), \\( h = 1 \\), and \\( k = 2 \\); then\n\n\\[\nr = 8 = 6 + 2.1(1+0) = 6 + 2.1(0+1)\n\\]\n\n\\[\nk = 2 = 6 - 2 + 2.1(0-1) = 6 + 2.1(-1+0)\n\\]\n\n\\[\n\\Delta = 2D(3, 0) = 2\n\\]\n\n\\[\nR_{e}^{ag}(8, 2) = \\frac{1}{2} = 1.\n\\]\n\nIf \\( n = 4 \\), \\( \\frac{4-2h}{2n} \\) integer gives only \\( (r > n) \\) \\( h = \\frac{n}{4} \\), and \\( \\frac{2k-4}{4} \\) being integer in the formula\n\nfor \\( R_{4}^{ag} \\), gives \\( k = 2 \\), or else \\( k = 4 \\). Also, by the same formula,\n\n\\[\nR_{e}^{ag}(8, 2) = \\frac{1}{2} \\left[ D(4, 0) - R_{tagdi}(4, 0) \\right] = \\frac{1}{2}(1-1) = 0\n\\]\n\n\\[\nR_{e}^{ag}(8, 4) = \\frac{1}{2} \\left[ D(4, 1) - 2(R_{ag}(4, 1) + R_{agdi}(4, 1)) \\right] = \\frac{1}{2}(2-0) = 1;\n\\]\n\nfor the only entries in our register for \\( r = 4 \\) are\n\n\\[\nR_{agdi}(4, 0) = 1 \\quad \\text{and} \\quad R_{agdi}(4, 1) = 1.\n\\]\n\nWhen \\( n = 6 \\) in equations (B'), \\( \\frac{n-2h}{2h} \\) is not integer for an even value of \\( h \\); but when\n\n\\( n = 4 \\), \\( h = 2 = \\frac{n}{2} \\), and by the formula for \\( R_{2e}^{agdi}(r, k) \\),\n\n\\[\nR_{2e}^{ag}(8, 2) = R_{agdi}(4, 0) = 1;\n\\]\n\nfor \\( k = 2 \\) is the only value that finds \\( \\frac{2k-n}{n} \\) integer in our register.\n\nXXXIX. Problem h. To find \\( R_{0}^{ag}(r, k) \\), the number of \\((1+k)\\)-partitioned \\( r \\)-gons having \\( h \\) agonal axes only of reversion, all loaded axes.\n\nIn any one of these there are \\( 2h \\) equidistant sides, the \\( n \\)th, the \\( \\frac{n}{2h} \\)th, the \\( \\frac{2n}{2h} \\)th, &c. of the \\( n \\)-gon loaded, half with a \\((1+\\varepsilon_0)\\)-partitioned \\((4+2\\varepsilon_0)\\)-gon, and the rest, alternating with these, loaded with a \\((1+\\varepsilon_n)\\)-partitioned \\((4+2\\varepsilon_n)\\)-gon, all having at least one agonal axis of reversion, which is also one in the \\( n \\)-gon. The numbers \\( \\alpha_0, \\varepsilon_0 \\), as well as \\( \\alpha_n, \\varepsilon_n \\),\nwhich may be the same or not with the former, are any that we choose from our register of agonally reversibles. The intervals are loaded as before, so as to satisfy\n\n\\[ r = n + h(2 + 2\\alpha_0) + 2h(a_1 + a_2 + \\ldots + a_{n-2h}) + h(2 + 2\\alpha_n) \\]\n\n\\[ k = n + h\\varepsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-2h}) + h\\varepsilon_n; \\quad (B''). \\]\n\nwhere \\( a_m > 0, \\quad e_m > a_m - 1. \\)\n\nHaving chosen any solution of these equations, and posited the polygons, we can, without disturbing the first-named \\( 2h \\) polygons on the axes, make\n\n\\[ D(2 + a_1, e_1) \\cdot D(2 + a_2, e_2) \\ldots D(2 + a_{n-2h}, e_{n-2h}) = \\Delta_{n-2h} \\]\n\nvariations of the \\( e_1, e_2 \\ldots \\) diagonals, and produce about the axis through the \\( n \\)th side as many configurations. And with each of these variations we can combine any \\((4 + 2\\alpha_0)\\)-gon in our register which has \\( \\varepsilon_0 \\) diagonals and an agonal axis, and also any \\((4 + 2\\alpha_n)\\)-gon having \\( \\varepsilon_n \\) diagonals and an agonal axis, and in any posture giving \\( h \\) agonal axes of the \\( r \\)-gon. That is, we can, without altering our solution of \\((B'')\\), produce about the axis through the \\( n \\)th side \\( H \\cdot H' \\cdot \\Delta_{n-2h} \\) different configurations reversible about \\( h \\) agonal axes all loaded as described, where\n\n\\[ H = \\Sigma_m \\{ 2 \\cdot R^{\\text{mag}}(4 + 2\\alpha_0, \\varepsilon_0) + R^{\\text{magdi}}(4 + 2\\alpha_0, \\varepsilon_0) \\} \\]\n\n\\[ H' = \\Sigma_m \\{ 2 \\cdot R^{\\text{mag}}(4 + 2\\alpha_n, \\varepsilon_n) + R^{\\text{magdi}}(4 + 2\\alpha_n, \\varepsilon_n) \\}. \\]\n\nIf then \\( \\Sigma HH' \\Delta \\) denote the sum of these products made from every solution of \\((B'')\\), obtained by every change of value or order in the numbers \\( \\alpha \\alpha \\varepsilon \\varepsilon \\), this will denote the entire number of such configurations.\n\nNow two of these are found in each of\n\n\\[ R^{hi, ag}(r, k); \\]\n\none of them, namely, about the loaded axes, in each of\n\n\\[ R^{2hi, ag}(r, k); \\]\n\nand these are among the configurations obtained with \\( \\alpha_0 = \\alpha_n \\) and \\( \\varepsilon_0 = \\varepsilon_n; \\)\n\nalso one of them is in each of\n\n\\[ R^{2hi, agdi}(r, k); \\]\n\nand one of them in each of\n\n\\[ R^{2hi, agdi}(r, k); \\]\n\nfor both these have \\( h \\) equidistant agonal axes loaded, of course alike \\((\\alpha_0 = \\alpha_n \\text{ and } \\varepsilon_0 = \\varepsilon_n). \\)\n\nNor is there anything to prevent the \\( 2hi \\) terminations of axes in some of \\( R^{hiag}(r, k) \\) being loaded all alike; for this cannot hinder the configurations about alternate axes from being different. Therefore\n\n\\[ \\Sigma H \\cdot H' \\cdot \\Delta_{n-2h} = \\Sigma_i (2R^{hi, ag}(r, k) + R^{2hi, ag}(r, k) + R^{2hi, agdi}(r, k) + R^{2hi, agdi}(r, k)), \\text{ or} \\]\n\n\\[ R^{hiag}(r, k) = \\frac{1}{2} \\left[ \\Sigma H \\cdot H' \\cdot \\Delta_{n-2h} - \\Sigma_i (2R^{hi+1ag}(r, k) + R^{2hiag}(r, k) + R^{2hi, agdi}(r, k) + R^{2hi, agdi}(r, k)) \\right]. \\]\nXL. The highest value of \\( h \\) in (B''). comes from \\( n - 2h = 0 \\), the case when there are no intervals to load. Then,\n\n\\[\n\\frac{r - 3n}{n} = \\alpha_0 + \\alpha_1 \\\\\n\\frac{k - n}{n} = \\varepsilon_0 + \\varepsilon_1 \\\\\n\\Delta_0 = 1 = \\Sigma \\Delta_0; \\text{ so that} \\\\\nR_{ag}(r, k)_n = 0,\n\\]\n\nand since\n\n\\[\nR_{agdi}(r, k)_n = 0 \\quad \\text{(by XXIV.)} = R_{ag}(r, k)_n \\quad \\text{by XXVII.,}\n\\]\n\n\\[\nR_{ag}(r, k)_n = \\frac{1}{2} \\left( \\sum H.H' - R_{agdi}(r, k)_n \\right),\n\\]\n\n\\( H \\) and \\( H' \\) being given functions of \\( \\alpha_0 \\varepsilon_0 \\) and \\( \\alpha_1 \\varepsilon_1 \\) expressed in the preceding article, of course both \\( = 0 \\), if \\( r \\) and \\( k \\) are not multiples of \\( n \\).\n\nWe next put \\( n - 2h = 2h \\) in (B''), and readily deduce \\( R_{ag}(r, k)_n \\); and thus in order we obtain \\( R_{ag}(r, k)_n \\) for every value of \\( h > 1 \\), which makes\n\n\\[\nn, r, \\text{ and } k - h(\\varepsilon_0 + \\varepsilon_1) \\text{ divisible by } 2h;\n\\]\n\nconditions necessary for the solution of equations (B''). We cannot find \\( R_{ag}(r, k)_n \\) by this formula (\\( h = 1 \\)), for there is no such division reducible to a nucleus (K, XIII.).\n\nWe are to proceed with our partitions of the octagon. In equation (B'') \\( r - n < 4 \\),\n\n\\[\n\\therefore n > 4. \\quad \\text{When } n = 4, \\quad \\frac{4 - 2h}{2h} = 1 \\text{ or } = 0, \\text{ giving } h = 1 \\text{ or } h = 2, \\text{ the latter of which is inadmissible, since } 8 - 4 < 2h.2. \\quad \\text{Therefore}\n\\]\n\n\\[\nr = 8 = 4 + 1.2 + 2.0 + 1.2; \\quad \\text{or } \\alpha_0 = \\alpha_n = \\alpha_1 = 0,\n\\]\n\n\\[\nk = 2 = 4 + 2. - 1,\n\\]\n\nand \\( D(2, -1) \\) is to be considered unity \\( = \\Delta_1 \\);\n\n\\[\nR_{ag}(8, 2)_4 = \\frac{1}{2} \\left( R_{agdi}(4, 0).R_{agdi}(4, 0) - R_{ag}(8, 2)_4 \\right)\n\\]\n\n\\[\n= \\frac{1}{2}(1.1 - 1) = 0.\n\\]\n\nThus we have found (XXXVI. XXXVII. XXXIX.),\n\n\\[\nR_{ag}(r, k)_n = R_{ag}(r, k)_n + R_{ag}(r, k)_n + R_{ag}(r, k)_n.\n\\]\n\nXLI. We have to investigate next, formulae for\n\n\\[\nR_{hd}(r, k)_n + R_{hd}(r, k)_n + R_{hd}(r, k)_n = R_{hd}(r, k)_n.\n\\]\n\nProblem i. To find \\( R_{hd}(r, k)_n \\), the number of \\((1+k)\\)-partitioned \\( r \\)-gons having diagonal axes only of reversion, all loaded, and built on an \\( n \\)-gonal nucleus.\n\nEach \\( r \\)-gon of this number has a \\((1+\\varepsilon_0)\\)-partitioned \\((3+2\\varepsilon_0)\\)-gon laid on \\( h \\) equidistant sides, the \\( n \\)th, the \\( \\frac{n}{h} \\)th, the \\( \\frac{2n}{h} \\)th, &c. of the \\( r \\)-gon, and a \\((1+\\varepsilon_0)\\)-partitioned \\((3+2\\varepsilon_0)\\)-gon laid on \\( h \\) sides each equidistant from two of the other \\( h \\), all being polygons reversible\nabout at least one monogonal axis, which is an agonal axis of the \\( n \\)-gon (Theorem N), bisecting the side on which the polygon is placed. The intervals of \\( \\frac{n-2h}{2h} \\) sides being loaded as in the previous constructions, the equations of condition are\n\n\\[\nr = n + h(1 + 2\\alpha_0) + 2h(a_1 + a_2 + \\ldots + a_{n-2h}) + h(1 + 2\\alpha_n) \\\\\nR = n + h\\epsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-2h}) + h\\epsilon_n \\\\\na_m = 0, \\quad e_m > a_m - 1,\n\\]\n\nand both \\( \\alpha, \\epsilon \\) are chosen from our register of monogonally reversibles. Leaving undisturbed the \\( 2h \\) polygons on the axes, we have in our power, from any one solution of equations (C.),\n\n\\[\nD(2+a_1, e_1)D(2+a_2, e_2)\\ldots D(2+a_{n-2h}, e_{n-2h}) = \\Delta_{n-2h}\n\\]\n\nvariations of arrangement of the \\( e_1, e_2, \\ldots \\) diagonals in the intervals, producing as many configurations about the axis through the \\( n \\)th side of the \\( n \\)-gon, and all reversible about at least \\( h \\) monogonal axes. With any one of these variations we can combine any polygon of the number\n\n\\[\nM = \\Sigma_m R^{m.mo}(3+2\\alpha_n, \\epsilon_n),\n\\]\n\nand any one of\n\n\\[\nM' = \\Sigma_m R^{m.mo}(3+2\\alpha_n, \\epsilon_n);\n\\]\n\nso that we obtain \\( MM'\\Delta_{n-2h} \\) configurations from this one solution of (C.).\n\nIf we form this product for every possible solution, in every order of values of \\( \\alpha, \\epsilon, e, \\ldots \\), we shall produce about the axis through the \\( n \\)th side of the \\( n \\)-gon,\n\n\\[\n\\Sigma MM'\\Delta_{n-2h}\n\\]\n\ndifferent configurations.\n\nNow two of these are seen in each of \\( R^{hi.di}(r, k)_n \\),\n\none of them in each of \\( R^{2hi.di}(r, k)_n \\),\n\none in each of \\( R^{2hi.agdi}(r, k)_n \\),\n\nand one in each of \\( R^{2hi.agdi}(r, k)_n \\);\n\nfor every one of the last three classes has \\( h \\times i \\) terminations of agonal axes of the \\( n \\)-gon loaded with monogonally reversible polygons. Therefore\n\n\\[\n\\Sigma M.M'.\\Delta_{n-2h} = \\Sigma_i \\{2R^{hi.di}(r, k)_n + R^{2hi.di}(r, k)_n + R^{2hi.agdi}(r, k)_n + R^{2hi.agdi}(r, k)_n\\},\n\\]\n\nand (\\( i > 0 \\)),\n\n\\[\nR^{hi.di}(r, k)_n = \\frac{1}{2} \\left\\{ \\Sigma MM'\\Delta_{n-2h} - \\Sigma_i \\{2R^{hi.di}(r, k)_n + R^{2hi.di}(r, k)_n + R^{2hi.agdi}(r, k)_n + R^{2hi.agdi}(r, k)_n\\} \\right\\}.\n\\]\n\nThis result is useless until \\( R^{hi.di}(r, k)_n \\) is known.\n\nXLII. Problem k. To find \\( R^{hi.di}(r, k)_n \\), the number of \\((1+k)\\)-partitioned \\( r \\)-gons built on an \\( n \\)-gonal nucleus, to have \\( \\frac{1}{2}h \\) loaded and \\( \\frac{1}{2}h \\) clear axes only, all diagonal axes.\n\nA clear diagonal axis of the \\( r \\)-gon is a diagonal of the nucleus, evidently. These\n\\( r \\)-gons will have only \\( n \\) sides of the \\( n \\)-gon loaded with \\((1+\\varepsilon_0)\\)-partitioned \\((3+2\\alpha_0)\\)-gons monogonally reversible, namely the \\( n \\)th, the \\( \\frac{n}{h} \\)th, the \\( \\frac{2n}{h} \\)th, &c. sides. And half the interval between the \\( n \\)th and \\( \\frac{n}{h} \\)th, namely \\( \\frac{n-h}{2h} \\) sides, will be loaded, the \\( m \\)th with a \\((1+\\varepsilon_m)\\)-partitioned \\((2+a_m)\\)-gon, which will be placed also on the \\( \\left(\\frac{n}{h}-m\\right) \\)th side, so as to form a figure reversible about the diagonal bisecting that interval.\n\nOur equations of condition are now\n\n\\[\nr = n + h(1 + 2\\alpha_0) + 2h(a_1 + a_2 + \\ldots + a_{n-h}) \\\\\nk = n + h\\varepsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-h}) \\\\\na_m = 0, \\quad e_m > a_m - 1,\n\\]\n\nwhere \\( \\alpha_0 \\) and \\( \\varepsilon_0 \\) are any numbers we select from our list of monogonally reversibles.\n\nReasoning as in the previous constructions, we deduce that the entire sum, made from every solution of \\((C')\\), of products \\( M \\Delta \\) of\n\n\\[\nM = \\Sigma_m R^{m.mo}(3+2\\alpha_0, \\varepsilon_0),\n\\]\n\nand\n\n\\[\n\\Delta_{n-h} = D(2+a_1, e_1).D(2+a_2, e_2) \\ldots D(2+a_{n-h}, e_{n-h}),\n\\]\n\nis the complete number of configurations about a loaded axis, of \\( r \\)-gons having \\( \\frac{h}{2} \\) equidistant loaded, and bisecting the intervals between these, \\( \\frac{h}{2} \\) clear, diagonal axes of reversion.\n\nNow one of these configurations about a loaded axis is seen in each of \\( R^{(2i+1)h.di}(r, k)_n \\); for it has in the intervals of any equidistant \\( \\frac{h}{2} \\) loaded axis \\( 2i+1 \\) clear ones, one of them bisecting each interval. But none of the class \\( R^{2ih.di}(r, k)_n \\) has that configuration, because in the equal intervals of \\( \\frac{h}{2} \\) loaded axes it has an even number of clear ones, and none bisecting an interval. And no ago-diagonally reversible can have this configuration, because the diagonal axes are in these all clear or all loaded.\n\nWherefore\n\n\\[\n\\Sigma M \\Delta_{n-h} = \\Sigma_i R^{(2i+1)h.di}(r, k)_n,\n\\]\n\nand\n\n\\[\nR^{2ih.di}(r, k)_n = \\Sigma M \\Delta_{n-h} - \\Sigma R^{(2i+3)h.di}(r, k)_n; \\quad (i > 0),\n\\]\n\nwhere \\((2i+3)h\\) is a value \\( h' \\) that makes \\( \\frac{n-h'}{2h'} \\) integer.\n\nXLIII. The greatest value of \\( h \\) in \\((C')\\) is \\( h=n \\), when there is no interval between the axes. Then,\n\n\\[\n\\frac{r-2n}{n} = 2\\alpha_0, \\quad \\frac{k-n}{n} = \\varepsilon_0,\n\\]\n\n\\[\n\\Delta_0 = 1 = \\Sigma \\Delta_0, \\quad M = \\Sigma M,\n\\]\n\nand\n\n\\[\nR^{ndi}(r, k)_n = \\Sigma_m R^{m.mo}\\left(\\frac{r+n}{n}, \\frac{k-n}{n}\\right),\n\\]\n\nwhich \\(=0\\), if \\( r \\) and \\( k \\) are not multiples of \\( n \\).\nNext putting \\( \\frac{n-h}{2h} = 1 \\), we find \\( R_{ae}^{n,di}(r, k)_n \\), and so on for every even value of \\( h > 0 \\) that makes \\( n-h, r-n-h(1+2\\alpha_0) \\), and \\( k-n-h\\epsilon_0 \\), all divisible by \\( 2h \\).\n\nThe greatest value of \\( h \\) in equation (C.), XLI., is \\( h = \\frac{1}{2}n \\). Those equations become\n\n\\[\n\\frac{r-2n}{n} = \\alpha_0 + \\alpha_1 \\\\\n\\frac{2k-2n}{n} = \\epsilon_0 + \\epsilon_1 ;\n\\]\n\nand\n\n\\[\n\\Delta_0 = 1 = \\Sigma \\Delta_0 ,\n\\]\n\nwherefore,\n\n\\[\nR_{ae}^{n,di}(r, k) = 0 ,\n\\]\n\nand because (XXXIII., XXXV.)\n\n\\[\nR_{ae}^{n,agdi}(r, k)_n = 0 = R_{ae}^{n,agdi}(r, k)_n ,\n\\]\n\n\\[\nR_{ae}^{n,di}(r, k)_n = \\frac{1}{2} \\Sigma M . M' - \\frac{1}{2} R_{ae}^{n,di}(r, k)_n ,\n\\]\n\nor\n\n\\[\nR_{ae}^{n,di}(r, k)_n = \\frac{1}{2} \\Sigma \\left\\{ \\Sigma_m (R_{m,mo}(3+2\\alpha_0, \\epsilon_0)) \\cdot \\Sigma_m R_{m,mo}(3+2\\alpha_1, \\epsilon_1) \\right\\} - \\frac{1}{2} \\Sigma_m \\left( R_{m,mo}(r+n, k-n) \\right) ;\n\\]\n\nthe number of products \\( MM' \\) under the first \\( \\Sigma \\) being that of the solutions of the above equations in \\( \\alpha_0, \\alpha_1, \\epsilon_0, \\epsilon_1 \\), every order of values counting for a solution. From this \\( R_{ae}^{n,di}(r, k)_n \\) can be found for every value of \\( h > 1 \\) in equation (C.), XLI., that makes \\( n, r, \\) and \\( k-h(\\epsilon_0+\\epsilon_n) \\) divisible by \\( 2h \\), conditions imposed by those equations. But we cannot attempt by these formulae to find \\( R_{ae}^{n,di}(r, k)_n, (h=1) \\), because (XIII.) this subclass reduces to no nucleus.\n\nXLEIV. We proceed with our partitions of the 8-gon, to find \\( R_{ae}^{n,di}(8, k)_n \\) and \\( R_{ae}^{n,di}(8, k)_n \\).\n\nIn equations (C'), \\( n = 6 \\) or \\( n = 4 \\), for \\( r = 8 \\); and \\( \\frac{6-h}{2h} = \\text{integer} \\) gives only \\( h = 2 \\). Hence\n\n\\[\nr = 8 = 6 + 2(1+0) + 4.0 ,\n\\]\n\n\\[\nk = 2 = 6 + 2.0 + 4.-1 ,\n\\]\n\nthe only value of \\( k \\), because \\( \\epsilon_0 > 1 + 2\\alpha_0 - 1 \\). Wherefore\n\n\\[\nR_{ae}^{n,di}(8, 2)_6 = R_{m,mo}(3, 0)\\Delta_1 = 1 .\n\\]\n\nNext, if \\( n = 4, \\frac{4-h}{2h} = \\text{integer}, = 0 \\), gives \\( h = 4 \\),\n\n\\[\nr = 8 = 4 + 4(1+0)\n\\]\n\n\\[\nk = 4 = 4 + 4.0 ,\n\\]\n\nthe only value of \\( k \\);\n\n\\[\nR_{ae}^{n,di}(8, 4)_4 = R_{m,mo}(3, 0)\\Delta_0 = 1 .\n\\]\n\nNext, in equations (C.), \\( r = 8 \\) gives \\( n = 6 \\), or \\( n = 4 \\), of which the first, putting \\( \\frac{6-2h}{2h} = \\text{integer} \\), gives only \\( h = 1 \\), the value above forbidden. But \\( \\frac{4-2h}{2h} = \\text{integer} = 0 \\), gives \\( h = 2 \\); whence \\( k = 4 \\), and by the formula for \\( R_{ae}^{n,di}(r, k)_n \\) we obtain \\( (\\alpha_0 = \\epsilon_0 = 0) \\),\n\n\\[\nR_{ae}^{n,di}(8, 4)_4 = \\frac{1}{2} \\{ R(3, 0) \\cdot R(3, 0) - R_{ae}^{n,di}(8, 4)_4 \\} = \\frac{1}{2} \\{ 1 - 1 \\} = 0 .\n\\]\nXLV. Problem 1. To find $R_{c}^{h,\\text{di}}(r, k)_n$, the number of $(1+k)$-partitioned $r$-gons built on the $n$-gonal nucleus, which have $h$ clear diagonal axes of reversion, and none others.\n\nIn these all the axes are diagonal axes of the nucleus, and terminate at $2h$ equidistant angles of it. The interval of $\\frac{n}{2h}$ sides between any two, as the 1st, 2nd, ..., $\\frac{n}{2h}$th sides of the $n$-gon, is loaded, the $m$th side with a $(1+e_m)$-partitioned $(2+a_m)$-gon, as in the previous constructions, so that all shall be reversible about every axis. We have to solve\n\n$$r = n + 2h(a_1 + a_2 + \\ldots a_{\\frac{n}{2h}}),$$\n$$k = n + 2h(e_1 + e_2 + \\ldots e_{\\frac{n}{2h}}),$$\n$$a_m > 0, \\quad e_m > a_m - 1.$$\n\nThe sum of products, one for every solution, all orders of the values counted among solutions,\n\n$$\\Sigma \\Delta_{\\frac{n}{2h}} = \\Sigma D(2+a_1, e_1)D(2+a_2, e_2)\\ldots D(2+a_{\\frac{n}{2h}}, e_{\\frac{n}{2h}}),$$\n\nis the entire number of configurations about a clear diagonal axis, if $r$-gons have $h$ equidistant clear diagonal axes, and built on this nucleus.\n\nNow of these configurations\n\ntwo are seen on each of $R_{hi,\\text{di}}(r, k)_n$,\none is seen on each of $R_{hi,\\text{agdi}}(r, k)_n$,\nnamely, that about the clear axes in these,\none is seen on each of $R_{hi,\\text{agdi}}(r, k)_n$,\nand one on each of $R_{hi,\\text{agdi}}(r, k)_n$,\nnamely, that about the diagonal axes in these. Therefore ($i > 0$),\n\n$$\\Sigma \\Delta_{\\frac{n}{2h}} = \\Sigma_i \\{2R_{hi,\\text{di}}(r, k)_n + R_{hi,\\text{agdi}}(r, k)_n + R_{hi,\\text{agdi}}(r, k)_n + R_{hi,\\text{agdi}}(r, k)_n\\}, \\text{ and}$$\n\n$$2.R_{hi,\\text{di}}(r, k)_n = \\Sigma \\Delta_{\\frac{n}{2h}} - \\Sigma_i \\{2R_{(i+1)hi,\\text{di}}(r, k)_n + R_{hi,\\text{agdi}}(r, k)_n + R_{hi,\\text{agdi}}(r, k)_n + R_{hi,\\text{agdi}}(r, k)_n\\}.$$ \n\nAs $r > n$ in (C''), the greatest value of $h$ gives $\\frac{n}{2h} = 1$. Those equations then become\n\n$$\\frac{r-n}{n} = a_1, \\quad \\frac{k-n}{n} = e_1,$$\n$$\\Delta_i = D\\left(\\frac{r+n}{n}, \\frac{k-n}{n}\\right) = \\Sigma \\Delta_i;$$\n\nhence\n\n$$R_{hi,\\text{di}}(r, k)_n = 0,$$\n\nand since\n\n$$R_{hi,\\text{agdi}}(r, k)_n = 0 \\quad (\\text{XVIII.}),$$\n\n$$R_{hi,\\text{di}}(r, k)_n = \\frac{1}{2}\\left[D\\left(\\frac{r+n}{n}, \\frac{k-n}{n}\\right) - R_{hi,\\text{di}}(r, k)_n - R_{hi,\\text{agdi}}(r, k)_n\\right]$$\n\na given number, by XLIII. and XXX.\n\nAnd we can proceed to find $R_{hi,\\text{di}}(r, k)_n$, for every value of $h$ down to $h = 1$, which gives, in (C''), $r$, $n$, and $k$, divisible by $2h$.\nThus we have completely determined\n\n\\[ R_{h,di}(r, k) = R_{0,di}(r, k) + R_{h,di}(r, k) + R_{c,di}(r, k). \\]\n\nXLVI. When \\( r = 8 \\) in equation (C'), \\( n = 6 \\), or \\( n = 4 \\). If \\( n = 6 \\), \\( \\frac{n}{2h} = 3 \\) and \\( h = 1 \\) are the only values making \\( \\frac{8}{2h} \\) integer. We have then the three solutions\n\n\\[\n\\begin{align*}\nr &= 8 = 6 + 2(1 + 0 + 0) = 6 + 2(0 + 1 + 0) = 6 + 2(0 + 0 + 1), \\\\\nk &= 2 = 6 + 2(0 - 1 - 1) = 6 + 2(-1 + 0 - 1) = 6 + 2(-1 - 1 + 0);\n\\end{align*}\n\\]\n\n\\[ \\Sigma \\Delta_3 = 3D(3, 0) = 3, \\text{ and we obtain} \\]\n\n\\[ R_{c,di}(8, 2)_6 = \\frac{1}{2}\\{3 - R_{gc,di}(8, 2)_6\\} = 1. \\]\n\nIf \\( n = 4 \\), \\( h = 2 \\) or \\( h = 1 \\); for the first of which we obtain by the formula for \\( R_{c,ndi}(r, k)_n \\),\n\n\\[ R_{gc,di}(8, 4)_4 = \\frac{1}{2}\\{D(3, 0) - R_{gc,di}(8, 4)_4\\} = \\frac{1}{2}(1 - 1) = 0, \\]\n\n\\( k = 4 \\) being the only possible value.\n\nIf \\( h = 1 \\), we may have \\( k = 4 \\) or \\( k = 2 \\); for \\( k = 4 \\), we find the three solutions \\( \\left(\\frac{n}{2h} = 2\\right) \\),\n\n\\[\n\\begin{align*}\n8 &= 4 + 2(2 + 0) = 4 + 2(0 + 2) = 4 + 2(1 + 1), \\\\\n4 &= 4 + 2(1 - 1) = 4 + 2(-1 + 1) = 4 + 2(0 + 0);\n\\end{align*}\n\\]\n\n\\[ \\Sigma \\Delta_2 = 2D(4, 1) + D(3, 0) = 4 + 1 = 5, \\]\n\nwhence\n\n\\[ R_{c,di}(8, 4)_4 = \\frac{1}{2}\\{5 - R_{gc,di}(8, 4)_4\\} = 2. \\]\n\nFor \\( k = 2 \\), there are two solutions,\n\n\\[\n\\begin{align*}\n8 &= 4 + 2(2 + 0) = 4 + 2(0 + 2), \\\\\n2 &= 4 + 2(0 - 1) = 4 + 2(-1 + 0);\n\\end{align*}\n\\]\n\ngiving\n\n\\[ \\Sigma \\Delta_2 = 2D(4, 0) = 2, \\]\n\nand\n\n\\[ R_{c,di}(8, 2)_4 = \\frac{1}{2}(2 - 0) = 1; \\]\n\nfor there is nothing in our list under \\( R(8, 2)_4 \\) to subtract in the formula for \\( 2R_{c,di}(r, k)_n \\).\n\nXLVII. Our next step is to determine\n\n\\[ R_{h,mo}(r, k)n = R_{c,mo}(r, k)_n + R_{0,mo}(r, k)_n. \\]\n\nProblem m. To find \\( R_{c,mo}(r, k)_n \\), the number of \\((1+k)\\)-partitioned \\( r \\)-gons, built on the \\( n \\)-gonal nucleus to have \\( h \\) clear monogonal axes of reversion, and none besides.\n\nThe \\( h \\) clear axes (Theorem O) are monogonal axes of the \\( n \\)-gon, bisecting \\( h \\) equidistant sides of it; between which lie \\( h \\) vertices of the \\( n \\)-gon upon those \\( h \\) axes; and \\( n \\) is odd. The interval of \\( \\frac{n-h}{2h} \\) sides between such a vertex and bisected side is loaded the \\( m \\)th from the vertex with a \\((1+e_m)\\)-partitioned \\((2+a_m)\\)-gon, so that all is reversible about the \\( h \\) axes. The equations following are satisfied in the construction:\n\\[ r = n + \\frac{2h}{a_1 + a_2 + \\ldots + a_{n-h}}; \\]\n\\[ k = n - h + 2h(e_1 + e_2 + \\ldots + e_{n-h}); \\]\n\\[ (a_m \\geq 0), \\quad (e_m > a_m - 1). \\]\n\nFor every solution of these equations we can make\n\n\\[ D(2+a_1, e_1)D(2+a_2, e_2) \\times \\ldots D(2+a_{n-h}, e_{n-h}) = \\Delta_{n-h}^{2h} \\]\n\ndifferent arrangements of the \\( e_1, e_2, \\ldots \\) diagonals, giving as many distinct configurations about the monogonal axis through the \\( n \\)-th side of the \\( n \\)-gon. And, as before, we obtain \\( \\Sigma \\Delta_{n-h}^{2h} \\) different configurations in all by adding together as many such products as there are solutions of equations (D.), every order of the quantities counted as a solution; which sum is the entire number of configurations of \\((1+k)\\)-partitioned \\( r \\)-gons built on this nucleus to have \\( h \\) clear monogonal equidistant axes of reversion.\n\nNow one of these configurations is seen on each \\( r \\)-gon of the number \\( R_{c}^{(i+1)h.mo}(r, k)_n \\); for each has \\( h \\) equidistant monogonal axes, and on none besides, because if one monogonal axis is clear, all are clear; otherwise there would be more than two axial configurations, and the axes are odd in number (Theorem F). Therefore\n\n\\[ \\Sigma \\Delta_{n-h}^{2h} = \\Sigma R_{c}^{(i+1)h.mo}(r, k)_n, \\]\n\nand \\((i \\geq 0)\\)\n\n\\[ R_{c}^{h.mo}(r, k)_n = \\Sigma \\Delta_{n-h}^{2h} - \\Sigma R_{c}^{(i+3)h.mo}(r, k)_n. \\]\n\nXLVIII. Since \\( r > n \\) in equations (D.), \\( n > h \\). Let \\( n - h = 2h \\); then \\( h = \\frac{n}{3} \\) is the highest value, and\n\n\\[ r = n + \\frac{2n}{3}a_1, \\quad 2 + a_1 = \\frac{3r + n}{2n}, \\]\n\\[ k = \\frac{2n}{3} + \\frac{2n}{3}e_1, \\quad e_1 = \\frac{3k - 2n}{2n}, \\]\n\\[ \\Delta_1 = \\Sigma \\Delta_1 = D\\left(\\frac{3r + n}{2n}, \\frac{3k - 2n}{2n}\\right), \\]\n\nand\n\n\\[ R_{c}^{n.mo}(r, k)_n = 0, \\]\n\\[ R_{c}^{n.mo}(r, k)_n = D\\left(\\frac{3r + n}{2n}, \\frac{3k - 2n}{2n}\\right), \\]\n\nwhich of course \\( = 0 \\) if the fractions are irreducible.\n\nFrom this we can proceed to find \\( R_{c}^{h.mo}(r, k)_n \\) for every odd value of \\( h \\) down to \\( h = 1 \\) which makes \\( n - h, r - n, \\) and \\( k, \\) divisible by \\( 2h. \\)\n\nThe octagon has no monogonal axis of reversion (Theorem E).\n\nXLIX. Problem n. To find \\( R_{c}^{h.mo}(r, k)_n, \\) the number of \\((1+k)\\)-partitioned \\( r \\)-gons built on the \\( n \\)-gonal nucleus to have \\( h \\) only monogonal axes of reversion, all loaded.\n\nThe axes will be either all monogonal or all agonial axes of the \\( n \\)-gon (Theorem N, O), for every axis of the \\( r \\)-gon carries the same two configurations (Theorem C). Let them first be all monogonal, i.e. let \\( n \\) be odd; this requires that each be loaded at one end\nwith an agonally reversible (about one or more axes) \\((1 + \\varepsilon_0)\\)-partitioned \\((4 + 2\\alpha_0)\\)-gon.\n\nThe intervals of \\(n - h\\) sides will be loaded as in the last preceding construction, to satisfy\n\n\\[\nr = n + h(2 + 2\\alpha_0) + 2h(a_1 + a_2 + \\ldots + a_{n-h}) \\\\\nk = n + h\\varepsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-h})\n\\]\n\n\\((a_m > 0, e_m > a_m - 1), (n = 2m + 1)\\),\n\n\\((4 + 2\\alpha_0)\\) and \\(\\varepsilon_0\\) being numbers selected at pleasure from our register of agonally or ago-diagonally reversibles. Putting, as in XIX.,\n\n\\[\n\\Sigma_m \\{2R^{m, ag}(4 + 2\\alpha_0, \\varepsilon_0) + R^{2magdi}(4 + 2\\alpha_0, \\varepsilon_0)\\} = H,\n\\]\n\nand forming the product \\(\\Delta_{n-h}\\) from a solution of \\((D')\\) which contains those numbers \\(\\alpha_0, \\varepsilon_0\\), we deduce, as before, that \\(\\Sigma H \\cdot \\Delta_{n-h}\\), comprising as many products under \\(\\Sigma\\) as those solutions of \\((D')\\), all orders of the quantities \\(a_i, e_i, \\&c.\\) being counted as solutions, is the total number of axial configurations of \\((1 + k)\\)-partitioned \\(r\\)-gons having \\(h\\) loaded monogonal axes and built on the \\(n\\)-gonal nucleus when \\(n\\) is odd.\n\nAnd as one of these configurations is seen on each \\(r\\)-gon of the number \\(R^{(2i+1)h, mo}(r, k)_n\\), and only one, read from the loaded end of the axis, we obtain\n\n\\[\n\\Sigma(H \\cdot \\Delta_{n-h}) = \\Sigma R^{(2i+1)h, mo}(r, k)_n,\n\\]\n\nand\n\n\\[\nR^{h, mo}(r, k)_n = \\Sigma H \\cdot \\Delta_{n-h} - \\Sigma R^{(2i+3)h, mo}(r, k)_n,\n\\]\n\nwhere \\(n\\) is odd, and \\(i > 0\\).\n\nL. Now let the \\(h\\) axes be agonial axes of the \\(n\\)-gon; i.e. let \\(n\\) be even.\n\nOne end of every axis will carry (Theorem O) the same \\((3 + 2\\alpha_0)\\)-gon \\((1 + \\varepsilon_0)\\)-partitioned and reversible about at least one monogonal axis. The other ends will carry the same \\((2 + 2\\alpha_n)\\)-gon, \\((1 + \\varepsilon_n)\\)-partitioned and reversible about at least one agonial axis, which will be no load if \\(\\alpha_n = 0\\). The interval of \\(n - 2h\\) sides between these reversibles will be loaded, on the \\(m\\)th side from the first, with a \\((1 + e_m)\\)-partitioned \\((2 + \\alpha_m)\\)-gon; and the equations to be satisfied are,\n\n\\[\nr = n + h(1 + 2\\alpha_0) + 2h(a_1 + a_2 + \\ldots + a_{n-2h}) + h\\alpha_n \\\\\nk = n + h\\varepsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-2h}) + h\\varepsilon_n\n\\]\n\n\\((D'')\\)\n\nwhere \\(a_m > 0, e_m > a_m - 1\\), and \\(\\alpha_0, \\varepsilon_0, \\alpha_n, \\varepsilon_n\\) are chosen at pleasure, the first pair from our register of monogonally reversibles, and the second from our agonally or ago-diagonally reversibles.\n\nTaking now any one solution of these equations, the product \\(H''M\\Delta\\) of\n\n\\[\nH'' = \\Sigma_m \\{2R^{m, ag}(2 + \\alpha_n, \\varepsilon_n) + R^{2magdi}(2 + \\alpha_n, \\varepsilon_n)\\},\n\\]\n\nMDCCCLVII.\nwhich is to be considered unity when \\( \\alpha_n = 0 \\), the load being then simply the edge of the \\( n \\)-gon),\n\n\\[\nM = \\Sigma_m R^{m, mo}(3 + \\alpha_0, \\varepsilon_0),\n\\]\n\n\\[\n\\Delta_{n-2h} = D(2 + \\alpha_1, e_1) \\cdot D(2 + \\alpha_2, e_2) \\times \\ldots D(2 + \\alpha_{n-2h}, e_{n-2h}),\n\\]\n\nis the number of configurations that we can produce, about the axis through the \\( n \\)th side of the \\( n \\)-gon, read from that side, of \\((1 + h)\\)-partitioned \\( r \\)-gons built on this nucleus from this one solution, to have \\( h \\) loaded monogonal axes. And the sum of these products belonging to every solution, all orders and values counting as solutions, is the exact number of all such configurations possible. Now one, and only one, of these is seen in each \\( r \\)-gon of the number \\( R^{(2i+1)h, mo}(r, k)_n \\), for \\( n \\) even. That is,\n\n\\[\n\\Sigma(H'' \\cdot M \\cdot \\Delta_{n-2h}) = \\Sigma R^{(2i+1)h, mo}(r, k)_n,\n\\]\n\n\\[\nR^{h, mo}(r, k)_n = \\Sigma(H'' \\cdot M \\cdot \\Delta_{n-2h}) - \\Sigma R^{(2i+2)h, mo}(r, k)_n,\n\\]\n\nwhere \\( n \\) is even, and \\( i = 0 \\); and \\( H'' = 1 \\) whenever \\( \\alpha_n = 0 \\).\n\nLI. In equation (D'), the highest value of \\( h \\) is \\( h = n \\). Then those equations become\n\n\\[\n\\frac{r-n}{n} = 2 + 2\\alpha_0, \\quad \\frac{k-n}{n} = \\varepsilon_0\n\\]\n\n\\[\nH = \\Sigma(H \\Delta_0) = \\Sigma \\left\\{ 2R^{mag} \\left( \\frac{r+n}{n}, \\frac{k-n}{n} \\right) + R^{magdi} \\left( \\frac{r+n}{n}, \\frac{k-n}{n} \\right) \\right\\} = R^{n, mo}(r, k)_n,\n\\]\n\nsince \\( \\Delta_0 = 1 \\), where \\( n \\) is odd; but \\( R^{n, mo}(r, k)_n = 0 \\) of course, if \\( n \\) is even.\n\nFrom this we can proceed to find \\( R^{h, mo}(r, k)_n \\), for all odd values of \\( h > 1 \\), which make, in equations (D'),\n\n\\[\nn-h, r-n-h(2+2\\alpha_0) \\text{ and } k-n-h\\varepsilon_0,\n\\]\n\ndivisible by \\( 2h \\); \\( \\alpha_0 \\) and \\( \\varepsilon_0 \\) being selected from our register of agonally and ago-diagonally reversibles.\n\nIn equations (D''), the greatest value of \\( h \\) gives \\( n-2h = 0 \\), or \\( h = \\frac{1}{2}n \\). Those equations become\n\n\\[\n\\frac{2r-3n}{2n} = \\alpha_0 + \\alpha_1,\n\\]\n\n\\[\n\\frac{2k-2n}{n} = \\varepsilon_0 + \\varepsilon_1,\n\\]\n\n\\[\n\\Delta_0 = \\Sigma \\Delta_0 = 1,\n\\]\n\nwhence, if \\( \\frac{1}{2}n \\) be an odd number (for \\( h \\) is always odd),\n\n\\[\nR^{\\frac{n}{2}, mo}(r, k)_n = \\Sigma H'' \\cdot M,\n\\]\n\n(but this is \\( = 0 \\) if \\( \\frac{n}{2} \\) be even), \\( H'' \\) and \\( M \\) being defined in the preceding article, and the number of products \\( H'' \\cdot M \\) being equal to the number of solutions of the above reduced\nform of equations (D''), made with numbers \\( \\alpha_0, \\varepsilon_0, \\frac{\\alpha_n}{2h}, \\frac{\\varepsilon_n}{2h} \\), selected from our register, as above stated (L.).\n\nFrom this value of \\( R_{\\text{mo}}^n(r, k) \\), we can proceed to find, when \\( n \\) is even, \\( R_{\\text{hmo}}^n(r, k) \\) for all values of \\( h > 1 \\), which make\n\n\\[\nn, r - h(1 + 2\\alpha_0 + \\frac{\\alpha_n}{2h}), \\text{ and } k - h(\\varepsilon_0 + \\frac{\\varepsilon_n}{2h}),\n\\]\n\ndivisible by \\( 2h \\). But we cannot find \\( R_{\\text{mo}}^n(r, k) \\) by these formulæ, there being no such division reducible to a nucleus (VIII.).\n\nThus we have found (XLIX., L.) \\( R_{\\text{hmo}}^n(r, k) \\) for any value of \\( n > 2 \\).\n\nLII. All the numbers \\( R \\) of article XX. have now been determined, for every value of \\( h \\) when the axes are not all loaded, and for every value of \\( h > 1 \\) when they are all loaded, the nucleus being \\( n \\)-gonal, and \\( n < 3 \\). We have next to enumerate the doubly and singly reversibles which are built on the 2-gonal nucleus, that is, upon a line, which is of course a drawn axis of reversion of the \\( r \\)-gon, and also the singly reversibles which have an \\( e \\)-scored axis. These have no proper nucleus (Theorem K).\n\nThese \\( r \\)-gons now to be discussed fall into the classes following,\n\n\\[\nR_{\\text{agdi}}^2(r, k), R_{\\text{agdi}}^2(r, k), R_{\\text{agdi}}^2(r, k), R_{\\text{agdi}}^2(r, k), R_{\\text{agdi}}^2(r, k), R_{\\text{agdi}}^2(r, k);\n\\]\n\nof which the first two have a drawn diagonal axis standing as a perpendicular score upon an undrawn axis (Theorem G); the third has a single drawn diagonal axis (Theorem G); and the fourth, fifth and sixth have a single undrawn and scored axis of reversion (Theorem K). The subscript 2 in the first three symbols shows that the nucleus is a drawn line, which may be considered as a 2-gon reversible about a diagonal and an agonal axis.\n\nProblem o. To find \\( R_{\\text{agdi}}^2(r, k) \\), the \\((1+k)\\)-partitioned \\( r \\)-gons built on a nucleus-line to have a diagonal and an agonal axis of reversion.\n\nIf the drawn diagonal be erased, the figure will be still reversible about the same two axes undrawn, for (Theorem B, VI.) the erasure has not disturbed the symmetry about either axis. But the erasure may have restored the symmetry about some \\( n \\)-gonal nucleus of which that erased line is a clear diagonal axis (Theorem R, XVIII.). And every \\( r \\)-gon which has a clear diagonal axis perpendicular to an agonal one, that is, every one of \\( R_{\\text{agdi}}^{(4h+2)}(r, k-1) \\) and of \\( R_{\\text{agdi}}^{(4h+2)}(r, k-1) \\), whatever \\( h \\) or \\( n \\) may be, if \\( n > 2 \\) (Cor. 1, VII.), will give us one and only one (Theorem G) of \\( R_{\\text{agdi}}^2(r, k) \\), by the drawing of any diagonal axis of reversion; for all these axes bisect the same configuration.\n\nWherefore\n\n\\[\nR_{\\text{agdi}}^2(r, k) = \\sum_h \\left\\{ R_{\\text{agdi}}^{(4h+2)}(r, k-1) + R_{\\text{agdi}}^{(4h+2)}(r, k-1) \\right\\},\n\\]\n\nincluding all values of \\( h \\), and of \\( n > 2 \\) in our register; \\( n \\) of course being even, else it could have no diameter.\n\nAs we have nothing in our register under \\( R_{\\text{agdi}}^{(4h+2)}(8, k) \\), \\( R_{\\text{agdi}}^2(8, k) = 0 \\), whatever \\( k \\) may be.\n\nLIII. Problem p. To find \\( R_{\\text{agdi}}^2(r, k) \\), the number of \\((1+k)\\)-partitioned \\( r \\)-gons built on a line-nucleus, to have two diagonal axes of reversion.\nIf the drawn diagonal axis be erased, the figure still remains reversible about the same axis, as in the preceding article, and we may have restored the symmetry about some \\( n \\)-gonal nucleus of which that erased line is a clear diagonal axis. Every \\( r \\)-gon of the number\n\n\\[\nR_{2di}(r, k-1)_n\n\\]\n\nwill give us two of \\( R_{2di}(r, k)_2 \\), for we can draw a diagonal axis bisecting either of its configurations; and every \\( r \\)-gon of the number\n\n\\[\n(R_{2di} + R_{thagdi} + R_{thagdi})(r, k-1)_n,\n\\]\n\nwhich have all a clear diagonal axis at right angles to a diagonal axis (VI. VII. Cor. 1), will give us one of \\( R_{2di}(r, k)_2 \\), by drawing any diagonal axis of reversion, which can be drawn without meeting diagonals; i.e.\n\n\\[\nR_{2di}(r, k)_2 = \\Sigma_h \\Sigma_n \\{2R_{2di}(r, k-1)_n + R_{4di}(r, k-1)_n + R_{4hagdi}(r, k-1)_n + R_{4hagdi}(r, k-1)_n\\};\n\\]\n\ncomprehending all the values of \\( h > 0 \\) and \\( n > 2 \\) in our register of reversibles.\n\nHence follows (XLIV.), \\( R_{2di}(8, 5)_2 = R_{4di}(8, 4)_4 = 1, \\)\n\n\\( R_{2di}(8, 3)_2 = R_{4di}(8, 2)_6 = 1, \\)\n\n\\( R_{2di}(8, 1)_2 = R_{8agdi}(8, 0)_8 = 1. \\)\n\nLIV. Problem q. To find \\( R_{di}(r, k)_2 \\), the number of \\((1+k)\\)-partitioned singly reversible \\( r \\)-gons having a drawn diagonal axis.\n\nIf this axis be erased, the figure \\( F \\) remains reversible about the same diagonal axis, and the erasure may have restored the symmetry about some \\( n \\)-gonal nucleus of which that erased line is a clear diagonal axis, one of an odd number of axes of reversion in \\( F \\); for if this number were even, there would then be an axis (VI.) perpendicular to the erased one, about which the symmetry would not be disturbed by the erasure, so that the figure before the erasure must have been at least doubly reversible, contrary to hypothesis.\n\nNow every one of the number \\( R_{(2h+1)di}(r, k-1)_n \\) will give one (Theorems B, G), and only one, of \\( R_{di}(r, k)_2 \\), by drawing of any of its axes of reversion, because all these carry the same configuration. Consequently\n\n\\[\nR_{di}(r, k)_2 = \\Sigma_h \\Sigma_n R_{(2h+1)di}(r, k-1)_n,\n\\]\n\ncomprehending all values of \\( h \\) including \\( h = 0 \\), and all of \\( n \\), in our register of \\( k \\)-partitions. Hence we obtain (XLVI.), \\( R_{di}(8, 5)_2 = R_{di}(8, 4)_4 = 2, \\)\n\n\\( R_{di}(8, 3)_2 = R_{di}(8, 2)_6 + R_{di}(8, 2)_4 = 2. \\)\n\nLV. Problem r. To find \\( R_{mo}(r, k) \\), the number of \\((1+k)\\)-partitioned \\( r \\)-gons reversible only about a single scored monogonal axis.\n\nThe number of ways in which \\( e \\) diagonals can be drawn at right angles across an axis\nof one of the \\( r \\)-gons of the division \\( R_{(2h+1)mo}(r, k-e)_2 \\) is \\( \\left( \\frac{n-3}{2} \\right)^{e-1} \\cdot (e+1)^{-1} \\); for any \\( e \\) vertices may be chosen out of \\( \\frac{n-3}{2} \\) on one side of the monogonal axis. The whole number of operations described in Theorems P and S, by which a \\((1+k)\\)-partitioned monogonal can arise, is the above operation performed on every \\((1+k-e)\\)-partitioned monogonal in our register for every value of \\( e, n, \\) and \\( h \\). The results, by Theorems E, P, and S, are all monogonally reversibles. And by Theorem Q we see that every \\((1+k)\\)-partitioned \\((2h+3)\\)-ly reversible about loaded monogonal axes will be among these results, whatever be its nucleus; and every singly reversible with a loaded monogonal axis will be among them; for if this be cleared, we have before us one of our subjects of operation just referred to in our register. Wherefore\n\n\\[\n\\Sigma_h \\Sigma_e \\Sigma_n \\left( \\frac{n-3}{2} \\right)^{e-1} \\cdot (e+1)^{-1} \\cdot R_{(2h+1)mo}(r, k-e)_n = \\Sigma_h R_{(2h+1)mo}(r, k),\n\\]\n\nand\n\n\\[\nR_{mo}(r, k) = \\Sigma_h \\Sigma_e \\Sigma_n \\left( \\frac{n-3}{2} \\right)^{e-1} \\cdot (e+1)^{-1} \\cdot R_{(2h+1)mo}(r, k-e)_n - \\Sigma_h R_{(2h+3)mo}(r, k),\n\\]\n\nwhere the omission of the subscript \\( n \\) shows that all nuclei are included. This is a given number; and as no monogonally reversible can be obtained by scoring any but a monogonal axis, it is the whole number \\( R_{mo}(r, k) \\).\n\nLVI. Problem s. To find \\( R_{ag}(r, k) \\), the number of \\((1+k)\\)-partitioned \\( r \\)-gons singly reversible about a scored agonal axis.\n\n\\( R_{ag}(r, k) \\) and \\( R_{ag}(r, k) \\) are obtained by the operations of Theorems P, R, S, by scoring both \\( 2h \\)-ly and \\((2h+1)\\)-ly reversibles. We write\n\n\\[\nR_{ag}(r, k) = R_{ag}(r, k)' + R_{ag}(r, k)\" ,\n\\]\n\nthe first of the right member denoting the number of those \\( r \\)-gons obtained by scoring one of an odd number, and the second, those by one of an even number, of axes.\n\nThe number \\( R_{ag}(r, k)' \\) is obtained by Theorems P, Q, S, exactly as \\( R_{mo}(r, k) \\) was obtained, except that the number of angles of the nucleus from which on one side of the clear axis \\( e \\) scores can be drawn, is \\( \\frac{n-4}{2} \\) in the first, instead of \\( \\frac{n-3}{2} \\) in the second. That is,\n\n\\[\nR_{ag}(r, k)' = \\Sigma_e \\Sigma_n \\left( \\frac{n-4}{2} \\right)^{e-1} \\cdot (e+1)^{-1} \\cdot R_{(2h+1)ag}(r, k-e)_n - \\Sigma_h R_{(2h+3)ag}(r, k),\n\\]\n\nwhere again the omission of the subscript \\( n \\) shows that constructions upon all nuclei are included.\n\nLVII. We have next to determine \\( R_{ag}(r, k)\" \\), obtained by scoring a clear axis out of an even number of axes (Theorem R).\n\nWhatever \\( e \\) may be, the constructions of Theorem R are enumerated by subtracting the symmetrical arrangements of the \\( e \\) scores from the whole number of arrangements, and dividing the remainder by two; for every unsymmetrical one occurs twice in this remainder, once as read from each end of the scored axis, which readings are the two configurations of the singly reversible about the axis (Theorem C).\nLet \\( e \\) first be even, in constructing \\( R_{ag}(r, k)' \\). The entire number of \\( e \\)-plets eligible from the \\( \\frac{n-4}{2} \\) numerals on one side of the axis is\n\n\\[\n\\left( \\frac{n-4}{2} \\right)^{e-1} \\cdot [e+1]^{-1},\n\\]\n\nand that of the \\( \\frac{e}{2} \\)-plets eligible alike on opposite sides of the centre of the axis is\n\n\\[\n\\left( \\frac{n-4}{4} \\right)^{\\frac{e}{2}-1} \\times \\left[ \\frac{e}{2}+1 \\right]^{-1},\n\\]\n\nwhen \\( n=4m \\), and, when \\( n=4m+2 \\), it is\n\n\\[\n\\left( \\frac{n-6}{4} \\right)^{\\frac{e}{2}-1} \\times \\left[ \\frac{e}{2}+1 \\right];\n\\]\n\nwherefore, using the circulators \\( 4_n \\) and \\( 4_{n-2} \\) and \\( 2_e \\),\n\n\\[\n\\frac{2_e}{2} \\left[ \\left( \\frac{n-4}{2} \\right)^{e-1} \\cdot [e+1]^{-1} - \\left( \\frac{n-4}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\left[ \\frac{e}{2}+1 \\right]^{-1} \\cdot 4_n - \\left( \\frac{n-6}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\left[ \\frac{e}{2}+1 \\right]^{-1} \\cdot 4_{n-2} \\right].\n\\]\n\n(a.)\n\nis the number out of \\( R_{ag}(r, k)' \\), when \\( e \\) is even, that can be made from any \\((1+k-e)\\)-partitioned \\( r \\)-gon having an \\( n \\)-gonal nucleus, \\( 2h \\) clear axes, and clear agonial ones, by scoring any one of these with \\( e \\) parallels at right angles to it.\n\nBut when \\( e \\) is odd, a diameter of the \\( n \\)-gon must be one of the scores if they be symmetrical about the centre, which requires \\( n=4m+2 \\). Hence, if \\( n=4m \\), every odd \\( e \\) scores that can be drawn gives an unsymmetrical arrangement, so that there are thus\n\n\\[\n4_n \\cdot 2_{e-1} \\cdot \\frac{1}{2} \\left( \\frac{n-4}{2} \\right)^{e-1} \\cdot [e+1]^{-1}\n\\]\n\n(b.)\n\nout of \\( R_{ag}(r, k)' \\) obtained by so scoring any clear agonial axis of a \\( 2h \\)-ly reversible.\n\nIf \\( n=4m+2 \\), and \\( e \\) is odd, we are to subtract from the whole number of ways of drawing \\( e \\) scores that of the ways of doing it symmetrically, which, when we have drawn a diameter for one, is that of the ways of drawing \\( \\frac{1}{2}(e-1) \\) scores on one side of it. This difference, divided by two, is\n\n\\[\n4_{n-2} \\cdot 2_{e-1} \\cdot \\frac{1}{2} \\left( \\left( \\frac{n-4}{2} \\right)^{e-1} \\cdot [e+1]^{-1} - \\left( \\frac{n-6}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\left[ \\frac{e}{2}+1 \\right]^{-1} \\right),\n\\]\n\n(c.)\n\nwhich is the number of ways of drawing an odd number \\( e \\) of scores across the agonial axis of a \\((4m+2)\\)-gonal nucleus.\n\nUniting the expressions (a.), (b.), (c.), we find\n\n\\[\n\\frac{1}{2} \\left\\{ \\left( \\frac{n-4}{2} \\right)^{e-1} \\cdot [e+1]^{-1} - 2_e \\left( 4_n \\cdot \\left( \\frac{n-4}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\left[ \\frac{e}{2}+1 \\right]^{-1} + 4_{n-2} \\cdot \\left( \\frac{n-6}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\left[ \\frac{e}{2}+1 \\right]^{-1} \\right) \\right\\}\n\\]\n\nfor the correct number out of \\( R_{ag}(r, k)' \\) that can be made by drawing \\( e \\) diagonals of the\nn-gonal nucleus in any 2h-ly reversible (1+k-e)-partitioned r-gon, across a clear agonal axis.\n\nWhen the axes are all clear and agonal, we can score across either configuration, i.e. upon either of two adjacent axes, and thus obtain twice this number towards $R_{ag}(r, k)'$; but if only half are clear and agonal, we have only one configuration to score, and can obtain this number only. Hence we see that the product under $\\Sigma_e \\Sigma_n$ of the number above written, into\n\n$$\\Sigma_h \\Sigma_e \\Sigma_n \\{2R_{ag}(r, k-e)_n + R_{agdi}(r, k-e)_n + R_{agdi}(r, k-e)_n + R_{agdi}(r, k-e)_n\\},$$\n\nis the entire sum $R_{ag}(r, k)'$, of r-gons in $R_{ag}(r, k)$ obtainable by scoring one of an even number of axes, by the construction of Theorem R.\n\nLVIII. Adding, then, to this entire sum the portion of $R_{ag}(r, k)$ obtained by scoring one of an odd number of axes (LVI.), we express the complete result thus:\n\n$$R_{ag}(r, k) = \\Sigma_h \\Sigma_e \\Sigma_n \\left[ R_{ag}(r, k-e)_n \\cdot \\frac{n-4}{2}^{e-1} \\cdot \\frac{e+1}{2}^{-1} - R_{ag}(r, k-e)_n \\right]$$\n\n$$+ \\frac{1}{2} \\left[ 2R_{agdi}(r, k-e)_n + R_{agdi}(r, k-e)_n + R_{agdi}(r, k-e)_n + R_{agdi}(r, k-e)_n \\right]$$\n\n$$\\times \\left\\{ \\left( \\frac{n-4}{2} \\right)^{e-1} \\cdot \\frac{e+1}{2}^{-1} - 2 \\left( \\frac{n-4}{4} \\right)^{\\frac{e-1}{2}} \\cdot \\frac{e+1}{2}^{-1} + 4 \\left( \\frac{n-6}{4} \\right)^{\\frac{e-1}{2}} \\cdot \\frac{e+1}{2}^{-1} \\right\\}$$\n\n$$- 2 \\left( \\frac{n-6}{4} \\right)^{\\frac{e-1}{2}} \\cdot \\frac{e+1}{2}^{-1} \\right\\} \\right\\},$$\n\ncomprising all the values of e, h and n on our register of (1+k-e)-partitioned reversibles specified in the right member: $(n>2, e>0, h=0)$.\n\nWhen $k=e$, the r-gon scored is the simple r-gon, or $n=r$.\n\nThe only numbers of those in the right member of this expression that our list contains for $r=8$, are\n\n$$R_{agdi}(8, 0)_s = 1, \\quad R_{ag}(8, 2)_s = 1, \\quad R_{ag}(8, 4)_s = 1, \\quad R_{agdi}(8, 2)_s = 1$$\n\n(XXVIII. XXXVIII.), of which the two last disappear by the multiplier $n-4$, since $e$ always > 0. Therefore\n\n$$R_{ag}(8, 1) = \\frac{1}{2} \\left( R_{agdi}(8, 0)_s \\times \\frac{8-4}{2} \\cdot 1 \\right) = 1$$\n\n$$R_{ag}(8, 2) = \\frac{1}{3} \\left[ R_{agdi}(8, 0)_s \\times \\left( \\frac{4}{2} \\right)^{2-1} \\cdot \\frac{3}{2}^{-1} - \\frac{4}{1} \\right] = 0$$\n\n$$R_{ag}(8, 3) = R_{ag}(8, 2)_s \\times \\left( \\frac{6-4}{2} \\cdot 1 \\right) = 1$$\n\n$$R_{ag}(8, 4) = R_{ag}(8, 2)_s \\times \\left( \\frac{6}{2} \\right)^{2-1} \\cdot \\frac{5}{2}^{-1} = 0.$$\n\nLIX. Problem t. To find $R_{di}(r, k)$, the number of (1+k)-partitioned r-gons singly reversible about a scored diagonal axis.\n\nWe write again in the sense of art. LVI.,\n\n$$R_{di}(r, k) = R_{di}(r, k)' + R_{di}(r, k)''.$$\nThe number of angles of the nucleus from which, on one side of a clear diagonal axis, \\( e \\) scores can be drawn, is \\( \\frac{1}{2}(n-2) \\). Wherefore, by the reasoning of LV.,\n\n\\[\nR_e^d(r, k)' = \\Sigma \\left( \\frac{n-2}{2} \\right)^{e-1} \\cdot \\sqrt{e+1}^{-1} \\cdot R_{e}^{(2h+1)d}(r, k-e)_n - \\Sigma R_{e}^{(2h+3)d}(r, k).\n\\]\n\nLX. When the scored axis is a diagonal one out of an even number of axes, the constructions \\( R_e^d(r, k)' \\) of Theorem R are enumerated by a subtraction and division like those of LVII. Let \\( e \\) first be even.\n\nThe entire number of \\( e \\)-plets eligible from the \\( \\frac{n-2}{2} \\) numerals on one side of this diagonal axis, is \\( \\left( \\frac{n-2}{2} \\right)^{e-1} \\times \\sqrt{e+1}^{-1} \\); and that of \\( \\frac{e}{2} \\)-plets eligible alike on opposite sides of the centre of the axis is \\( \\left( \\frac{n-2}{4} \\right)^{\\frac{e}{2}-1} \\times \\sqrt{\\frac{e}{2}+1}^{-1} \\), when \\( n=4m+2 \\), and \\( \\left( \\frac{n-4}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\sqrt{\\frac{e}{2}+1}^{-1} \\), when \\( n=4m \\): wherefore\n\n\\[\n\\frac{1}{2} \\left[ \\left( \\frac{n-2}{2} \\right)^{e-1} \\cdot \\sqrt{e+1}^{-1} - \\left( \\frac{n-2}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\sqrt{\\frac{e}{2}+1}^{-1} \\cdot 4_{n-2} - \\left( \\frac{n-4}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\sqrt{\\frac{e}{2}+1}^{-1} \\cdot 4_n \\right] \\cdot 2_e. \\quad (a.)\n\\]\n\nis the number out of \\( R_e^d(r, k)' \\), when \\( e \\) is even, that can be made by \\( e \\)-scoring a clear diagonal axis of a \\( 2h \\)-ly reversible \\((1+k-e)\\)-partitioned \\( r \\)-gon.\n\nBut when \\( e \\) is odd, a diameter of the \\( r \\)-gon must be one of the \\( e \\) scores, if all is symmetrical about the centre, which requires \\( r=4m \\). Then when \\( n=4m+2 \\), every odd \\( e \\) scores that can be drawn gives an unsymmetrical configuration, so that there are thus\n\n\\[\n4_{n-2} \\cdot 2_{e-1} \\cdot \\left\\{ \\frac{1}{2} \\cdot \\left( \\frac{n-2}{2} \\right)^{e-1} \\cdot \\sqrt{e+1}^{-1} \\right\\}, \\text{out of } R_e^d(r, k)', \\ldots \\ldots \\ldots \\quad (b.)\n\\]\n\nobtained by so scoring a clear diagonal axis of a \\( 2h \\)-ly reversible. And when \\( n=4m \\), we have merely to subtract from this entire number of ways as before, the number of symmetrical ways, which, after drawing a diameter, is that of drawing \\( \\frac{1}{2}(e-1) \\) scores on one side of the centre, and then to divide by two, as before, thus:\n\n\\[\n\\frac{1}{2} \\cdot 2_{e-1} \\cdot 4_n \\left( \\left( \\frac{n-2}{2} \\right)^{e-1} \\cdot \\sqrt{e+1}^{-1} - \\left( \\frac{n-4}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\sqrt{\\frac{e}{2}+1}^{-1} \\right). \\quad \\ldots \\ldots \\quad (c.)\n\\]\n\nThen uniting the expressions \\((a.), (b.), (c.)\\), we find\n\n\\[\n\\frac{1}{2} \\left[ \\left( \\frac{n-2}{2} \\right)^{e-1} \\cdot \\sqrt{e+1}^{-1} - 2_e \\left( 4_{n-2} \\cdot \\left( \\frac{n-2}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\sqrt{\\frac{e}{2}+1}^{-1} + 4_n \\cdot \\left( \\frac{n-4}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\sqrt{\\frac{e}{2}+1}^{-1} \\right) \\right],\n\\]\n\nfor the exact number out of \\( R_e^d(r, k)' \\) that can be made from any one \\( 2h \\)-ly reversible \\((1+k-e)\\)-partitioned \\( r \\)-gon, by drawing \\( e \\) scores upon a clear diagonal axis.\n\nWhen the axes of the \\( r \\)-gon are all clear and diagonal, we obtain twice this number, for we can score an axis carrying either of two configurations; but we obtain it once\nonly, when only half the axes are clear and diagonal. That is, if we multiply this number, under $\\Sigma_e \\Sigma_n$, by\n\n$$\\Sigma_e \\Sigma_n \\{2R_{ehdi}(r, k-e)_n + R_{ehdi}(r, k-e)_n + R_{ehagdi}(r, k-e)_n + R_{ehagdi}(r, k-e)_n\\},$$\n\nwe have the full number $R_0(r, k)'$, out of $R_0(r, k)$, that are made by scoring one of an even number of axes.\n\nLXI. Adding the expression in LIX. to this product, we obtain\n\n$$R_0(r, k) = \\Sigma_e \\Sigma_n \\left[ R_{ehdi}(r, k-e)_n \\cdot \\left( \\frac{n-2}{2} \\right)^{e-1} \\cdot (e+1)^{-1} - R_{ehagdi}(r, k) \\right]$$\n\n$$+ \\frac{1}{2} \\{2R_{ehdi}(r, k-e)_n + R_{ehdi}(r, k-e)_n + R_{ehagdi}(r, k-e)_n + R_{ehagdi}(r, k-e)_n\\}$$\n\n$$\\times \\left\\{ \\left( \\frac{n-2}{2} \\right)^{e-1} \\cdot (e+1)^{-1} - 2e \\left( \\frac{n-4}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\left( \\frac{e}{2} + 1 \\right)^{-1} + 4e \\left( \\frac{n-4}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\left( \\frac{e}{2} + 1 \\right)^{-1} \\right\\}$$\n\n$$- 2e^{-1} \\left( \\frac{n-4}{4} \\right)^{\\frac{e}{2}-1} \\cdot \\left( \\frac{e+1}{2} \\right)^{-1} \\right\\},$$\n\ncomprising all the values of $e$, $h$, and $n$, in our register of $(1+k-e)$-partitioned $r$-gons here specified ($h=0$, $e>0$, $n>2$).\n\nThus we have determined the six classes of doubly and singly reversibles of art. LII., which are not reducible to a polygonal nucleus, and can register them in order as well as the twelve classes of reversibles of art. XX., which are so reducible.\n\nThe only numbers in the right member of the above equation contained in our list are\n\n$$R_{ehagdi}(8, 0)_s = 1, R_{ehdi}(8, 2)_s = 1, R_{eh}(8, 2)_s = 1, R_{eh}(8, 4)_s = 2, R_{ehdi}(8, 4)_s = 1,$$\n\n(XLIV. and XLVI.). Wherefore\n\n$$R_{eh}(8, 1) = \\frac{1}{2} R_{ehagdi}(8, 0)_s \\left( \\frac{8-2}{2} \\cdot 1 - \\left( \\frac{8-4}{4} \\right)^0 \\right) = 1,$$\n\n$$R_{eh}(8, 2) = \\frac{1}{2} R_{ehagdi}(8, 0)_s \\left[ \\frac{3}{2} \\cdot \\frac{8-4}{4} \\right] = 1,$$\n\n$$R_{eh}(8, 3) = R_{eh}(8, 2)_s \\cdot \\frac{6-2}{2} + R_{eh}(8, 2)_s \\cdot \\frac{4-2}{2} + \\frac{1}{2} \\left[ R_{eh}(8, 2)_s \\cdot \\frac{6-2}{2} \\right] = 4,$$\n\n$$R_{eh}(8, 4) = R_{eh}(8, 2)_s \\cdot \\left( \\frac{6-2}{2} \\right)^{2l-1} \\cdot \\frac{1}{2} + \\frac{1}{2} \\left[ R_{eh}(8, 2)_s \\left( \\frac{6-2}{2} \\right)^{2l-1} \\cdot \\frac{1}{2} \\cdot \\frac{6-2}{4} \\right] = 1.1 + 0 = 1,$$\n\n$$R_{eh}(8, 5) = R_{eh}(8, 4)_s \\cdot 1 + \\frac{1}{2} \\cdot R_{ehdi}(8, 4)_s (1 - 0^0) = 2.$$\n\nThis completes our register of reversible partitions of the octagon. Collecting them from XXVIII., XXXVIII., XLIV., XLVI., LIII., LIV., LVIII., we add to those above written,\n\n$$R_{ehagdi}(8, 0)_s = 1, R_{eh}(8, 2)_s = 1, R_{eh}(8, 4)_s = 1, R_{eh}(8, 2)_s = 1,$$\n\n$$R_{eh}(8, 2)_s = 1, R_{ehdi}(8, 4)_s = 1,$$\n\n$$R_{eh}(8, 2)_s = 1, R_{eh}(8, 4)_s = 2, R_{eh}(8, 2)_s = 1,$$\n\n$$R_{eh}(8, 5)_s = 1, R_{eh}(8, 3)_s = 1, R_{eh}(8, 1)_s = 1,$$\n\n$$R_{eh}(8, 5)_s = 2, R_{eh}(8, 3)_s = 2,$$\n\n$$R_{eh}(8, 1)_s = 1, R_{eh}(8, 3)_s = 1.$$\nThat is,\n\\[ R(8, 1) = 2, \\quad R(8, 2) = 4, \\quad R(8, 3) = 7, \\quad R(8, 4) = 4, \\quad R(8, 5) = 4, \\quad R^2(8, 1) = 1, \\quad R^2(8, 2) = 2 \\]\n\\[ R^s(8, 3) = 1, \\quad R^s(8, 5) = 1, \\quad R^s(8, 4) = 1, \\quad R^s(8, 0) = 1. \\]\n\nThe singly reversibles \\( R(r, k) \\) form seven classes,\n\\[ R_{eg}(r, k), \\quad R_{di}(r, k), \\quad R_{mo}(r, k), \\quad R_{di}(r, k), \\quad R_{ag}(r, k), \\quad R_{ei}(r, k), \\quad R_{mo}(r, k). \\]\n\nLXII. We have now to investigate the number of irreversible \\((1+k)\\)-partitions of the \\( r \\)-gon. And when we have determined \\( I^{m+2}(r, k) \\), \\( m \\geq 0 \\), the equations of art. XXIII. will enable us to complete the tedious solution of our problem. It is necessary to demonstrate the theorems following.\n\n**Theorem V.** Every \\( h \\)-ly irreversible partition of an \\( r \\)-gon, if \\( h > 2 \\), and every doubly irreversible partition in which a diameter of the \\( r \\)-gon is not drawn, is regularly built on a polygonal nucleus.\n\nFor in each of the \\( h \\) sequences of configuration (art. III.) in the circuit of the \\( r \\)-gon, we see \\( f \\) marginal faces. These being all erased, we see an \\( r' \\)-gon \\((r' < r)\\) with \\( f'h \\) fewer diagonals, and still \\( h \\) sequences, for those of the \\( r \\)-gon have been treated alike. If this \\( r' \\)-gon is reversibly partitioned, it is not singly reversible, because it has repeated sequences (V.); therefore the theorem is proved by XII.; for there is no drawn diameter by hypothesis. If the \\( r' \\)-gon be still irreversible, it has \\( h' \\) sequences \\((h' < h)\\), from which marginal faces can be removed as before; and thus we shall finally reduce the figure, either to a reversibly-partitioned \\( r'' \\)-gon, or to one having no marginal faces, i.e. to an \\( n \\)-gonal nucleus. And by reversing the process of reduction, the \\( r \\)-gon can be regularly constructed on that nucleus. Q. E. D.\n\n**LXIII. Theorem W.** If the nucleus line of a doubly irreversible \\( r \\)-gon built on it be erased, the figure becomes \\( 2h \\)-ly reversible or else \\( 2h \\)-ly irreversible, and has no drawn diameter.\n\nFor it has still two irreversible sequences, occupying each half the circuit of the \\( r \\)-gon, since the two sequences terminated by the nucleus-line have been treated alike by the erasure; wherefore it can neither be oddly reversible nor oddly irreversible (Obs. 1, 3, IV.; and 5, VII.). And evidently the \\( r \\)-gon cannot have a drawn diameter meeting its nucleus line.\n\n**Cor.** The \\( r \\)-gon, after the erasure, is one of those reducible to a polygonal nucleus.\n\n**Theorem X.** If in any \\( 2m \\)-ly reversible, or \\( 2m \\)-ly irreversible, \\( k \\)-partition of an \\( r \\)-gon, a diameter be drawn which is not an axis of reversion, and which meets no diagonal, the figure becomes a doubly irreversible \\((1+k)\\)-partition of the \\( r \\)-gon, built on that drawn line.\n\nFor such a drawn line disturbs the symmetry about every axis of a reversible, because it is (VI.) perpendicular to none of them; therefore the result is not reversible. And every \\( 2m \\)-ly reversible or \\( 2m \\)-ly irreversible has an irreversible sequence occupying half its circuit (III, V.), beginning at any angle not on an axis of reversion; therefore the result is not singly irreversible. And as there is no other sequence terminated by or exhibiting a drawn diameter, since two cannot be drawn, the result has no sequence\nmore than twice repeated, and is doubly irreversible. And evidently the figure is built on the drawn line, by applying to it the same polygon on both sides, so as not to give a reversible result.\n\nLXIV. Problem u. To find $P_h(r, k)_n$, $(h > 1, n > 2)$, the number of $h$-ly irreversible $(1+k)$-partitions of the $r$-gon, which are built on the $n$-gonal nucleus.\n\nThe construction differs from that of reversibles, in that the $(1+a_m)$-partitioned $(2+a_m)$-gon which is laid on the $m$th side of the $n$-gon in the first interval of $\\frac{n}{h}$ sides, is laid also on the $m$th side of every interval, so that the series of loads imposed is $h$ times repeated, and not reverted. The result will be an $r$-gon in whose circuit a sequence occupying $\\frac{n}{h}$ sides of the nucleus is $h$ times repeated.\n\nThe equations to be satisfied are\n\n$$ r = n + h(a_1 + a_2 + \\ldots + a_n) $$\n\n$$ k = n + h(e_1 + e_2 + \\ldots + e_n) $$\n\n$$ a_m \\geq 0, \\quad e_m \\geq a_m - 1; $$\n\nexactly as in our previous constructions.\n\nWe take any one solution, and lay on the polygons, and then make every possible change in the arrangement of the diagonals of the imposed polygons; this gives us\n\n$$ D(2+a_1, e_1)D(2+a_2, e_2)\\ldots D(2+a_n, e_n) = \\Delta_{\\frac{n}{h}} $$\n\ndifferent sequences read in the $r$-gon upon the first $\\frac{n}{h}$ sides of its nucleus, which are all $h$ times repeated in the same order in the circuit of the $r$-gon. We then take every other solution of (E.) that can arise from changing either the values or order of the numbers $a_1, a_2, \\ldots, e_1, e_2, \\ldots$; and forming a similar product from each solution, products which will some of them be equal to each other, we shall have enumerated in the sum\n\n$$ \\Sigma \\Delta_{\\frac{n}{h}} $$\n\nevery possible sequence that can be read on $\\frac{n}{h}$ successive sides of the $n$-gonal nucleus of any $(1+k)$-partitioned $r$-gon, which has that sequence $h$ times repeated in its circuit. And no two of these sequences can be alike, because they are either made from different solutions of (E.), or have a different arrangement of diagonals in the $\\frac{n}{h}$ imposed polygons.\n\nNow every $hi$-ly irreversible $(1+k)$-partition of the $r$-gon has $\\frac{2n}{hi}$, and no more, of these sequences; for it has a different $i$-ple sequence of $\\frac{n}{h}$ vertices commencing at every one of $\\frac{n}{hi}$ successive vertices, and no more, reading always in one direction, because the sequence beginning at the $\\left(\\frac{n}{hi}+1\\right)$th vertex is identical with that commencing at the first; and this $i$-ple sequence of $\\frac{n}{h}$ vertices is $h$ times repeated in the circuit, because a simple sequence\nis $hi$ times repeated. And as the $hi$-ly irreversible has the same sequences reversed on its other face, giving $\\frac{n}{hi}$ different aspects which we have all constructed as read from the first side of the $n$-gon in one direction, we have had this same $hi$-ly irreversible $2n:hi$ times before us among our results.\n\nAgain, every $hi$-ly reversible $(1+k)$-partitioned $r$-gon has been $\\frac{n}{hi}$ times brought before us in our $\\Sigma \\Delta_n$ constructions. For this has a different $i$-ple sequence reversible or irreversible of $\\frac{n}{h}$ vertices of the $n$-gonal nucleus commencing at any one of $\\frac{n}{hi}$ successive vertices, and we never see a sequence repeated in it till we have read over an interval equal to that between two alternate axes, that is an interval of $\\frac{n}{hi}$ sides of the $n$-gon (art. V.). This $i$-ple sequence is $h$ times repeated in the circuit of the $r$-gon; so that we have counted this $hi$-ly reversible $\\frac{n}{hi}$ times among those constructed from equation (E.).\n\nWherefore\n\n$$\\Sigma \\Delta_n = \\Sigma \\left[ \\frac{2n}{hi} I^{hi}(r, k)_n + \\frac{n}{hi} R^{hi}(r, k)_n \\right], \\text{ and}$$\n\n$$I^h(r, k)_n = \\frac{h}{2n} \\left( \\Sigma \\Delta_n - \\Sigma \\left( \\frac{2n}{h(i+1)} I^{(i+1)h}(r, k)_n + \\frac{n}{hi} R^{hi}(r, k)_n \\right) \\right), \\quad (i > 0).$$\n\nLXV. The highest value of $h$ in (E.) comes from putting the subindex $\\frac{n}{h}=1$, or $h=n$. This gives\n\n$$I^n(r, k)_n = \\frac{1}{2} \\left\\{ D\\left(\\frac{r+n}{n}, \\frac{k-n}{n}\\right) - R^n(r, k)_n \\right\\},$$\n\na given number, since $R^n(r, k)_n$ is found in our register.\n\nNext putting $\\frac{n}{h}=2$, or whatever next factor $n$ may have, we can obtain $I^h(r, k)_n$ for every value of $h>1$ that is a divisor of the three numbers $r$, $k$ and $n$.\n\nSince $h>1$, $n>2$, $r$, $k$ and $n$ are none of them prime; the only values of $I^h(8, k)_n$ that give them all divisible by $h$, and $k\\neq 8-3$, are\n\n$$I^2(8, 2)_6, I^2(8, 2)_4, I^2(8, 4)_4 \\text{ and } I^4(8, 4)_4.$$\n\nBy the last written formula,\n\n$$I^4(8, 4)_4 = \\frac{1}{2} \\{ D(3, 0) - R^4(8, 4)_4 \\} = \\frac{1}{2}(1-1)=0,$$\n\nfor $I^2(8, 2)_6$ we have three solutions, $\\left( \\frac{n}{h}=3 \\right)$\n\n$$8=6+2(1+0+0)=\\&c.$$ $$2=6+2(0-1-1)=\\&c.$$ giving $\\Sigma \\Delta_3 = 3D(3, 0)=3$, and as $R^2(8, 2)_6=1$,\n\n$$I^2(8, 2)_6 = \\frac{3}{8} \\{ 3 - \\frac{6}{3} R^2(8, 2)_6 \\} = \\frac{1}{4}(3-3)=0.$$\nFor $I^2(8, 2)_4$ we have $\\left(\\frac{n}{h} = 2\\right)$,\n\n$$8 = 4 + 2(1 + 1) = 4 + 2(2 + 0) = 4 + 2(0 + 2)$$\n$$2 = 4 + 2(0 - 1) = 4 + 2(-1 + 0)$$\n$$\\Sigma \\Delta_2 = 2D(4, 0) = 2,$$ and $R^2(8, 2)_4 = 1,$\n\n$$\\therefore I^2(8, 2)_4 = \\frac{3}{8}\\left\\{2 - \\frac{4}{2 \\cdot 1} \\cdot 1\\right\\} = 0.$$\n\nFor $I^2(8, 4)_4$ we have $\\left(\\frac{n}{h} = 2\\right)$,\n\n$$8 = 4 + 2(1 + 1) = 4 + 2(0 + 2) = 4 + 2(2 + 0)$$\n$$4 = 4 + 2(0 + 0) = 4 + 2(-1 + 1) = 4 + 2(1 - 1)$$\n$$\\Sigma \\Delta_2 = D(3, 0)D(3, 0) + 2D(4, 1) = 1 + 4 = 5,$$\n\nand $R^2(8, 4)_4 = 1$, whence\n\n$$I^2(8, 4)_4 = \\frac{3}{8}\\left\\{5 - \\frac{4}{2 \\cdot 2} \\cdot 1\\right\\} = 1,$$\n\nwhich is the only form of $I^2(8, k)_n$, for $h > 1$, $n > 2$.\n\nLXVI. Problem w. To find $I^2(r, k)_s$, the doubly irreversible $(1+k)$-partitions of the $r$-gon, which have a nucleus line.\n\nIt is proved in Theorems W and X, that these are all obtained by drawing a diameter $\\delta$ which is not an axis of reversion in one of the $r$-gons $I^{2m}(r, k-1)_n$ and $R^{2m}(r, k-1)_n$; and that any such diameter drawn in any one of these gives us one of $I^2(r, k)_s$. And it is evident that $\\delta$ is a diameter of the nucleus about which all is symmetrical (Cor. LXIII.).\n\nWhen no diameter of the nucleus is a diagonal axis of reversion of the $r$-gon, every diameter that can be drawn is such a line $\\delta$. Now in $I^{2h}(r, k-1)_n$ you may draw $\\delta$ from any one $\\theta$ of $\\frac{n}{2h}$ vertices of the nucleus, and from no more, because the configuration about $\\theta$ is repeated $2h$ times, about a vertex in each of the $2h$ repeated sequences. In a reversible partition no diameter of the nucleus is a diagonal axis of reversion, unless it be a clear axis. Therefore, in\n\n$$R^{2h}_{agdi}(r, k-1)_n + R^{2hagdi}_{ac}(r, k-1)_n + R^{2hag}(r, k-1)_n,$$\n\nwhether the axes be clear or not in the last one, you can draw $\\delta$ from any one of $\\frac{n}{4h}$ vertices of the $r$-gon; for none of the partitions in these classes have a clear diagonal axis, and each vertex $\\varepsilon$ in one of the $4h$ intervals between two adjacent axes begins a different sequence, which does not occur reverted till you come to $\\varepsilon'$, equidistant with $\\varepsilon$ from the axis between them. Wherefore\n\n$$I^2(r, k)_s = \\Sigma_h \\Sigma_n \\left\\{\\frac{n}{2h} I^{2h}(r, k-1)_n + \\frac{n}{4h} \\left(R^{2hagdi}_0 + R^{2hagdi}_{ac} + R^{2hag}\\right)(r, k-1)_n +$$\nAfter the \\(+\\) must come, first,\n\n\\[\n\\frac{n-2h}{4h}(R_{dc}^{2hagdi} + R_{ec}^{2hagdi} + R_{ae}^{2hagdi})(r, k-1)_n,\n\\]\n\nbecause \\(\\delta\\) cannot be drawn from any of the \\(2h\\) terminations of clear diagonal axes, but may be drawn to begin a certain sequence \\(4h\\) times from other vertices, once in the interval between the terminations of every adjacent pair of axes; and secondly,\n\n\\[\n+\\frac{n-4h}{4h}R_{ec}^{2hdhi}(r, k-1)_n\n\\]\n\nmust be added, because, omitting the \\(4h\\) terminations of clear diagonal axes, you can draw \\(\\delta\\) to begin a certain sequence \\(4h\\) times from the remaining vertices of the nucleus.\n\nTherefore, finally,\n\n\\[\nI^2(r, k)_s = \\sum_{n=2}^{n=2h}(r, k-1)_n + \\frac{n}{4h}(R_{dc}^{2hagdi}(r, k-1)_n + R_{ec}^{2hagdi}(r, k-1)_n + R_{ae}^{2hagdi}(r, k-1)_n) \\\\\n+ \\frac{n-2h}{4h}(R_{dc}^{2hagdi}(r, k-1)_n + R_{ec}^{2hagdi}(r, k-1)_n + R_{ae}^{2hagdi}(r, k-1)_n) + \\frac{n-4h}{4h}R_{ec}^{2hdhi}(r, k-1)_n;\n\\]\n\nwhere every value of \\(h > 0\\) and \\(n > 2\\) is included, that is found in our register, filled up by the formulae already given.\n\nLXVII. Hence, since we have found\n\n\\[\nR_{agdi}(8, 0)_s = R_{ag}(8, 2)_4 = R_{agdi}(8, 2)_6 = R_{agdi}(8, 4)_4 = I^2(8, 4)_4 = 1,\n\\]\n\\[\nI^2(8, 1)_2 = 0, R_{agdi}(8, 0)_s = 0,\n\\]\n\\[\nI^2(8, 3)_2 = \\frac{4}{4}R_{ag}(8, 2)_4 + \\frac{6-2}{4}R_{agdi}(8, 2)_6 = 2,\n\\]\n\\[\nI^2(8, 5)_2 = \\frac{4-4}{8}R_{agdi}(8, 4)_4 + \\frac{4}{3}.I^2(8, 4)_4 = 2.\n\\]\n\nLXVIII. Problem x. To find \\(I(r, k)\\), the number of singly irreversible \\((1+k)\\)-partitions of the \\(r\\)-gon.\n\nBy the formula of XXIII. we have\n\n\\[\nI(r, k) = \\frac{1}{2r}\\left\\{D(r, k) - \\sum_m \\left(\\frac{r}{m}.R^m(r, k) + \\frac{2r}{m+1}.I^{m+1}(r, k)\\right)\\right\\},\n\\]\n\nwhich completes the solution of our problem of the \\((1+k)\\)-partitions of the polygon, or of the polyace; for these are analytically and numerically the same. Hence follows,\n\n\\[\nI(8, 0) = \\frac{1}{16}\\{D(8, 0) - 1.R^8(8, 0)\\} = 0,\n\\]\n\\[\nI(8, 1) = \\frac{1}{16}\\{D(8, 1) - \\frac{8}{2}.R^2(8, 1) - 8R(8, 1)\\} = \\frac{1}{16}\\{20 - 4 - 16\\} = 0,\n\\]\n\\[\nI(8, 2) = \\frac{1}{16}\\{D(8, 2) - \\frac{8}{3}.R^3(8, 2) - 8.R(8, 2)\\} = \\frac{1}{16}\\{120 - 4.2 - 8.4\\} = 5,\n\\]\n\\[\nI(8, 3) = \\frac{1}{16}\\{D(8, 3) - \\frac{8}{3}.R^3(8, 3) - 8R(8, 3) - \\frac{1}{2}I^2(8, 3)\\} = \\frac{1}{16}\\{300 - 4.1 - 8.7 - 8.2\\} = 14,\n\\]\n\\[\nI(8, 4) = \\frac{1}{16}\\{D(8, 4) - \\frac{8}{4}.R^4(8, 4) - 8.R(8, 4) - \\frac{1}{2}I^2(8, 4)\\} = \\frac{1}{16}\\{330 - 2.1 - 8.4 - 8.1\\} = 18,\n\\]\n\\[\nI(8, 5) = \\frac{1}{16}\\{D(8, 5) - \\frac{8}{5}.R^5(8, 5) - 8.R(8, 5) - \\frac{1}{2}I^2(8, 5)\\} = \\frac{1}{16}\\{132 - 4.1 - 8.4 - 8.2\\} = 5,\n\\]\n\nwhich, along with the results in LXI., LXV., LXVII., complete the enumeration of the partitions of the octagon.\nLXIX. It may be useful to collect into one view all our formulæ for $R^m(r, k)$ and $I^m(r, k)$.\n\nProblem b. To find $R_{2hagdi}(r, k)_n$ ($n > 2$), we have in XXIV., XXVIII.,\n\n$$r = n + 4h(a_1 + a_2 + \\ldots + a_{n-2h})$$\n$$k = n - 2h + 4h(e_1 + e_2 + \\ldots + e_{n-2h})$$\n\n(A.)\n\n$$a_m \\geq 0, \\quad e_m \\neq a_m - 1,$$\n\nwhich is always to be understood in what follows), for the equations of condition. Here $r - n$ and $k$ are both multiples of $4h$.\n\n$$D(2 + a_1, e_1) \\times \\ldots \\times D(2 + a_{n-2h}, e_{n-2h}) = \\Delta_{n-2h}$$\n\n$$R_{2h.agdi}(r, k)_n = \\Sigma \\Delta_{n-2h} - \\Sigma R_{2h(i+1)agdi}(r, k)_n (i > 0);$$\n\n$$R_{n.agdi}(r, k)_n = 0 = R_{2n.agdi}(r, k)_n;$$\n\n$$R_{3n.agdi}(r, k)_n = D\\left(\\frac{3r + n}{2n}, \\frac{3k - 2n}{2n}\\right).$$\n\nProblem c. To find $R_{2hagdi}(r, k)_n$ (XXIX., XXX.),\n\n$$r = n + 2h(2 + 2\\alpha_0) + 4h(a_1 + a_2 + \\ldots + a_{n-2h})$$\n$$k = n + 2h\\epsilon_0 + 4h(e_1 + e_2 + \\ldots + e_{n-2h})$$\n\n(A'.)\n\n$$H = \\Sigma_m \\{2R^{mag}(4 + 2\\alpha_0, \\epsilon_0) + R^{2magdi}(4 + 2\\alpha_0, \\epsilon_0)\\},$$\n\n$$R_{2hagdi}(r, k)_n = \\Sigma(H.\\Delta_{n-2h}) - \\Sigma R_{2h(i+1)agdi}(r, k)_n (i > 0);$$\n\n$$R_{n.agdi}(r, k)_n = \\Sigma_m \\left\\{2R^{mag}\\left(\\frac{r + n}{n}, \\frac{k - n}{n}\\right) + R^{2magdi}\\left(\\frac{r + n}{n}, \\frac{k - n}{n}\\right)\\right\\},$$\n\n$$R_{n.agdi}(r, k)_n = 0,$$\n\n$$R_{3n.agdi}(r, k)_n = \\Sigma(H.\\Delta_i) - R_{n.agdi}(r, k)_n.$$\n\nProblem d. To find $R_{2h.agdi}(r, k)_n$ (XXXII., XXXIII.),\n\n$$r = n + 4h(a_1 + a_2 + \\ldots + a_{n-4h}) + 2h(2\\alpha_n + 1)$$\n$$k = n - 2h + 4h(e_1 + e_2 + \\ldots + e_{n-4h}) + 2h\\epsilon_n$$\n\n(A''.)\n\n$$M = \\Sigma_m R^{m.mo}(3 + 2\\alpha_n, \\epsilon_n);$$\n\n$$R_{2h.agdi}(r, k)_n = \\Sigma(M.\\Delta_{n-4h}) - \\Sigma R_{2h(i+1)agdi}(r, k)_n (i > 0),$$\n\n$$R_{n.agdi}(r, k)_n = 0,$$\n\n$$R_{2n.agdi}(r, k)_n = \\Sigma_m R^{m.mo}\\left(\\frac{2r}{n}, \\frac{2k - n}{n}\\right),$$\n\n$$R_{4n.agdi}(r, k)_n = \\Sigma M.\\Delta_1 - \\Sigma R^{m.mo}\\left(\\frac{2r}{n}, \\frac{2k - n}{n}\\right).$$\nProblem e. To find $R_{0}^{2hagdi}(r, k)_n$ (XXXIV., XXXV.), \n\n$$r = n + 2h(2 + 2\\alpha_0) + 4h(a_1 + a_2 + \\ldots + a_{n-2h}) + 2h(2\\alpha_n + 1)$$\n\n$$k = n + 2h\\epsilon_0 + 4h(e_1 + e_2 + \\ldots + e_{n-2h}) + 2h\\epsilon_n$$\n\n$$H = \\Sigma_m(2R^m.ag(4 + 2\\alpha_0, \\epsilon_0) + R^2magdi(4 + 2\\alpha_0, \\epsilon_0)),$$\n\n$$M = \\Sigma_mR^m.mv(3 + 2\\alpha_n),$$\n\n$$R_{0}^{2hagdi}(r, k)_n = \\Sigma(H.M.\\Delta_{n-2h}) - \\Sigma_iR_{0}^{2(i+1)h.agdi}(r, k)_n, (i > 0),$$\n\n$$R_{0}^{nagdi}(r, k)_n = 0,$$\n\n$$R_{0}^{4n.agdi}(r, k)_n = \\Sigma(H.M),$$\n\n$$R_{0}^{4n.agdi}(r, k)_n = \\Sigma(HM\\Delta_1) - R_{0}^{4n.agdi}(r, k)_n,$$\n\nProblem f. To find $R_{c}^{h.ag}(r, k)_n$ (XXXVI., XXXVIII.), \n\n$$r = n + 2h(a_1 + a_2 + \\ldots + a_{n-2h})$$\n\n$$k = n - 2h + 2h(e_1 + e_2 + \\ldots + e_{n-2h})$$\n\n$$R_{c}^{hag}(r, k)_n = \\frac{1}{2}\\left[\\Sigma\\Delta_{n-2h}(i > 0) - \\Sigma_i(2R_{c}^{h(i+1)ag}(r, k)_n + R_{c}^{2hi.ag}(r, k)_n + R_{c}^{2hagdi}(r, k)_n + R_{c}^{2hagdi}(r, k)_n)\\right],$$\n\n$$R_{c}^{nag}(r, k)_n = R_{c}^{nag}(r, k)_n = 0,$$\n\n$$R_{c}^{4nag}(r, k)_n = \\frac{1}{2}\\left[D\\left(\\frac{2r}{n}, \\frac{2k-n}{n}\\right) - \\Sigma_m\\left(2R^m.ag + R^2magdi\\right)\\left(\\frac{2r}{n}, \\frac{2k-n}{n}\\right)\\right].$$\n\nProblem g. To find $R_{dc}^{hag}(r, k)_n$ (XXXVII., XXXVIII.), \n\n$$r = n + h(2 + 2\\alpha_0) + 2h(a_1 + a_2 + \\ldots + a_{n-2h})$$\n\n$$k = n - h - h\\epsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-2h})$$\n\n$$H = \\Sigma_m(2R^m.ag(4 + 2\\alpha_0, \\epsilon_0) + R^2magdi(4 + 2\\alpha_0, \\epsilon_0))$$\n\n$$R_{dc}^{hag}(r, k)_n = \\Sigma(H.\\Delta_{n-2h}) - \\Sigma_iR_{dc}^{2(i+1)h.ag}(r, k)_n, (i > 0),$$\n\n$$R_{dc}^{nag}(r, k)_n = 0,$$\n\n$$R_{dc}^{4n.ag}(r, k)_n = \\Sigma_m\\left(2R^m.ag + R^2magdi\\right)\\left(\\frac{2r}{n}, \\frac{2k-n}{n}\\right).$$\n\nProblem h. To find $R_{0}^{hag}(r, k)_n$ (XXXIX. XL.), \n\n$$r = n + h(2 + 2\\alpha_0) + 2h(a_1 + a_2 + \\ldots + a_{n-2h}) + h.(2 + 2\\alpha_n),$$\n\n$$k = n + h\\epsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-2h}) + h\\epsilon_n;$$\n\n$$H = \\Sigma_m(2R^m.ag(4 + 2\\alpha_0, \\epsilon_0) + R^2magdi(4 + 2\\alpha_0, \\epsilon_0)),$$\n\n$$H' = \\Sigma_m\\left(2R^m.ag\\left(\\frac{2r}{n}, \\frac{2k-n}{n}\\right) + R^2magdi\\left(\\frac{4 + 2\\alpha_n}{2h}, \\frac{\\epsilon_n}{2h}\\right)\\right);$$\n\n$$R_{0}^{hag}(r, k)_n = \\frac{1}{2}\\left[\\Sigma(H.H'.\\Delta_{n-2h}) - \\Sigma_i(2R_{0}^{h(i+1)ag}(r, k)_n + R_{dc}^{2hagdi}(r, k)_n + R_{dc}^{2hagdi}(r, k)_n)\\right],$$\nwhere \\( i > 0 \\):\n\n\\[\nR_{nag}^0(r, k)_n = 0,\n\\]\n\n\\[\nR_{nagdi}^0(r, k)_n = \\frac{1}{2} \\left\\{ \\Sigma(H.H') - R_{nagdi}^0(r, k)_n \\right\\}.\n\\]\n\nProblem i. To find \\( R_{hd}^0(r, k)_n \\) (XLII., XLIII.),\n\n\\[\nr = n + h(1 + 2\\alpha_0) + 2h(a_1 + a_2 + \\ldots + a_{n-2h}) + h(1 + 2\\alpha_n),\n\\]\n\n\\[\nk = n + h\\varepsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-2h}) + h\\varepsilon_n;\n\\]\n\nhere \\( r \\) and \\( n \\) are both even.\n\n\\[\nM = \\Sigma_m R_{m.mo}(3 + 2\\alpha_0, \\varepsilon_0),\n\\]\n\n\\[\nM' = \\Sigma_m R_{m.mo}(3 + 2\\alpha_n, \\varepsilon_n).\n\\]\n\n\\[\nR_{hd}^i(r, k)_n = \\frac{1}{2} \\left\\{ \\Sigma(MM'\\Delta_{n-2h}) - \\Sigma_i(2R_{hd}^{(i+1)} + R_{hd}^{2h} + R_{hd}^{2hagdi} + R_{hd}^{2hagdi})(r, k)_n \\right\\}, \\quad (i > 0).\n\\]\n\n\\[\nR_{ndi}^0(r, k)_n = 0\n\\]\n\n\\[\nR_{ndi}^i(r, k)_n = \\frac{1}{2} \\left\\{ \\Sigma_m(R_{m.mo}(3 + 2\\alpha_0, \\varepsilon_0)) \\cdot \\Sigma_m(R_{m.mo}(3 + 2\\alpha_n, \\varepsilon_n)) \\right\\} - \\frac{1}{2} \\Sigma_m R_{m.mo}\\left(\\frac{r+n}{n}, \\frac{k-n}{n}\\right),\n\\]\n\nwhere \\( \\frac{r-2n}{n} = \\alpha_0 + \\alpha_1 \\), and \\( \\frac{2k-2n}{n} = \\varepsilon_0 + \\varepsilon_1 \\).\n\nProblem k. To find \\( R_{hd}^i(r, k)_n \\) (XLII., XLIII.); here \\( h \\) is even, consequently \\( n \\) is even.\n\n\\[\nr = n + h(1 + 2\\alpha_0) + 2h(a_1 + a_2 + \\ldots + a_{n-2h}),\n\\]\n\n\\[\nk = n + h\\varepsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-2h});\n\\]\n\nand \\( r \\) is divisible by \\( 2h \\).\n\n\\[\nM = \\Sigma_m R_{m.mo}(3 + 2\\alpha_0, \\varepsilon_0)\n\\]\n\n\\[\nR_{hd}^i(r, k)_n = \\Sigma(M\\Delta_{n-2h}) - \\Sigma_i R_{hd}^{(i+1)}(r, k)_n, \\quad i \\geq 0.\n\\]\n\n\\[\nR_{ndi}^i(r, k)_n = \\Sigma_m R_{m.mo}\\left(\\frac{r+n}{n}, \\frac{k-n}{n}\\right).\n\\]\n\nProblem l. To find \\( R_{hd}^i(r, k)_n \\) (XLV., XLVI.),\n\n\\[\nr = n + 2h(a_1 + a_2 + \\ldots + a_{n-2h}),\n\\]\n\n\\[\nk = n + 2h(e_1 + e_2 + \\ldots + e_{n-2h});\n\\]\n\nhere \\( r, k \\) and \\( n \\) are all even and divisible by \\( 2h \\).\n\n\\[\nR_{hd}^i(r, k)_n = \\frac{1}{2} \\Sigma \\Delta_{n-2h} - \\frac{1}{2} \\Sigma_i((2R_{hd}^{(i+1)} + R_{hd}^{2h} + R_{hd}^{2hagdi} + R_{hd}^{2hagdi})(r, k)_n); \\quad (i > 0),\n\\]\n\n\\[\nR_{ndi}^0(r, k)_n = 0\n\\]\n\n\\[\nR_{ndi}^i(r, k)_n = \\frac{1}{2} \\left\\{ D\\left(\\frac{r+n}{n}, \\frac{k-n}{n}\\right) - R_{ndi}^i(r, k)_n - R_{nagdi}^i(r, k)_n \\right\\}.\n\\]\nProblem m. To find $R_{hmo}(r, k)_n$ (XLVII., XLVIII.), here $n$, $h$ and $r$ are odd numbers.\n\n$$ r = n + 2h(a_1 + a_2 + \\ldots + a_{n-h}) $$\n\n$$ k = n - h + 2h(e_1 + e_2 + \\ldots + e_{n-h}) $$\n\n$$ R_{hmo}(r, k)_n = \\Sigma \\Delta_{n-h}^{2h} - \\Sigma_i R_{(2i+3)mo}(r, k)_n, (i \\geq 0). $$\n\n$$ R_{rmo}(r, k)_n = 0 $$\n\n$$ R_{simo}(r, k)_n = D\\left(\\frac{3r + n}{2n}, \\frac{3k - 2n}{2n}\\right). $$\n\nProblem n. To find $R_{hmo}(r, k)_n$ (XLIX., L.), for $n$ odd and $n$ even,\n\n$$ r = n + h(2 + 2a_0) + 2h(a_1 + a_2 + \\ldots + a_{n-h}) $$\n\n$$ k = n + h\\varepsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-h}) $$\n\n$$ H = \\Sigma_m \\{2R_{mag}(4 + 2a_0, \\varepsilon_0) + R_{magdi}(4 + 2a_0, \\varepsilon_0)\\} $$\n\n$$ R_{hmo}(r, k)_n = \\Sigma H \\cdot \\Delta_{n-h}^{2h} - \\Sigma_i R_{(2i+3)mo}(r, k)_n, (i \\geq 0), $$\n\nwhen $n$ is odd. And, when $n$ is even,\n\n$$ r = n + h(1 + 2a_0) + 2h(a_1 + a_2 + \\ldots + a_{n-h}) + ha_{n-h} $$\n\n$$ k = n + h\\varepsilon_0 + 2h(e_1 + e_2 + \\ldots + e_{n-h}) + h\\varepsilon_n $$\n\n$$ H'' = \\Sigma_m \\left(2R_{mag} + R_{magdi}\\left(2 + a_{n-h}, \\varepsilon_n\\right)\\right) $$\n\n$$ M = \\Sigma_m R_{rmo}(3 + a_0, \\varepsilon_0); $$\n\n$$ R_{hmo}(r, k)_n = \\Sigma(H''M \\cdot \\Delta_{n-h}^{2h}) - \\Sigma_i R_{(2i+3)hmo}(r, k)_n, (i \\geq 0), $$\n\n$$ R_{nmo}(r, k)_n = \\Sigma_m \\left\\{(2R_{mag} + R_{magdi})\\left(\\frac{r + n}{n}, \\frac{k - n}{n}\\right)\\right\\} (n \\text{ odd}); $$\n\n$$ R_{nmo}(r, k)_n = 0, \\text{ for } n \\text{ even}; $$\n\n$$ R_{simo}(r, k)_n = \\Sigma H''M, \\text{ if } \\frac{n}{2} \\text{ be odd, and } = 0, \\text{ if } \\frac{n}{2} \\text{ be even}. $$\n\nProblem o. To find $R_{magdi}(r, k)_2$ (LII.), $R_{magdi}(r, k)_2 = \\Sigma_h \\Sigma_n \\{R_{(4h+2)agdi}(r, k-1)_n + R_{(4h+2)agdi}(r, k-1)_n\\}$. Here $r$ and $k-1$ are both even, by Problems b, c, as well as $n$.\n\nProblem p. To find $R_{2adi}(r, k)_2$ (LIII.), $R_{2adi}(r, k)_2 = \\Sigma_h \\Sigma_n \\{(2R_{2adi} + R_{2adi} + R_{4hagdi} + R_{4hagdi})(r, k-1)_n\\}$. Here $r$ and $k-1$ are both even (Problems b, c, k, l).\n\nProblem q. To find $R_{adi}(r, k)_2$ (LIV.), $R_{adi}(r, k)_2 = \\Sigma_h \\Sigma_n R_{(2h+1)adi}(r, k-1)_n$. Here $r$ and $k-1$ are both even, by Problem l.\nProblem r. To find $R_0^{mo}(r, k)$ (LV.), \n$$R_0^{mo}(r, k) = \\Sigma_k \\Sigma_e \\left( \\frac{n-3}{2} \\right)^{e-1} \\cdot [e+1]^{-1} \\cdot R_c^{(2h+1)mo}(r, k-e)_n - \\Sigma_k R_0^{(2h+3)mo}(r, k).$$\n\nProblem s. To find $R_0^{ag}(r, k)$ (LVI., LVII.), \n$$R_0^{ag}(r, k) = \\Sigma_k \\Sigma_e \\left[ R_c^{(2h+1)ag}(r, k-e)_n \\cdot \\left( \\frac{n-4}{2} \\right)^{e-1} \\cdot [e+1]^{-1} - R_0^{(2h+3)ag}(r, k) \\right.$$ \n$$+ \\frac{1}{2} \\left\\{ 2R_{2hag}(r, k-e)_n + R_{2hag}(r, k-e)_n + R_{2hag}(r, k-e)_n + R_{2hag}(r, k-e)_n \\right\\}$$ \n$$\\times \\left\\{ \\left( \\frac{n-4}{2} \\right)^{e-1} \\cdot [e+1]^{-1} - 2 \\left( \\frac{n-4}{4} \\right)^{\\frac{e-1}{2}} \\cdot [e+1]^{-1} + 4 \\left( \\frac{n-6}{4} \\right)^{\\frac{e-1}{2}} \\cdot [e+1]^{-1} \\right.$$ \n$$- 2 \\left( \\frac{n-6}{4} \\right)^{\\frac{e-1}{2}} \\cdot [e+1]^{-1} \\right\\} \\left\\} \\right].$$\n\nProblem t. To find $R_0^{di}(r, k)$ (LXI.), \n$$R_0^{di}(r, k) = \\Sigma_k \\Sigma_e \\left[ R_c^{(2h+1)di}(r, k-e)_n \\cdot \\left( \\frac{n-2}{2} \\right)^{e-1} \\cdot [e+1]^{-1} - R_0^{(2h+3)di}(r, k) \\right.$$ \n$$+ \\frac{1}{2} \\left\\{ 2R_{2hdi}(r, k-e)_n + R_{2hdi}(r, k-e)_n + R_{2hdi}(r, k-e)_n + R_{2hdi}(r, k-e)_n \\right\\}$$ \n$$\\times \\left\\{ \\left( \\frac{n-2}{2} \\right)^{e-1} \\cdot [e+1]^{-1} - 2 \\left( \\frac{n-2}{4} \\right)^{\\frac{e-1}{2}} \\cdot [e+1]^{-1} + 4 \\left( \\frac{n-4}{4} \\right)^{\\frac{e-1}{2}} \\cdot [e+1]^{-1} \\right.$$ \n$$- 2 \\left( \\frac{n-4}{4} \\right)^{\\frac{e-1}{2}} \\cdot [e+1]^{-1} \\right\\} \\left\\} \\right].$$\n\nProblem u. To find $I^h(r, k)_n$, $h > 1$, $n > 2$ (LXIV.), \n$$r = n + h(a_1 + a_2 + \\ldots + a_n),$$ \n$$k = n + h(e_1 + e_2 + \\ldots + e_n).$$\n\nHere $h$ divides $r$, $n$, and $k$. \n$$I^h(r, k)_n = \\frac{h}{2n} \\left\\{ \\Sigma_i \\Delta \\frac{n}{h} - \\Sigma_i \\left( \\frac{2n}{h(i+1)} I^{(i+1)h}(r, k)_n + \\frac{n}{hi} R^{hi}(r, k)_n \\right) \\right\\} (i > 0),$$ \n$$I^n(r, k)_n = \\frac{1}{2} \\left\\{ D \\left( \\frac{r+n}{n}, \\frac{k-n}{n} \\right) - R^n(r, k)_n \\right\\}.$$\n\nProblem w. To find $I^2(r, k)_2$ (LXVI.), \n$$I^2(r, k)_2 = \\Sigma_k \\Sigma_e \\left\\{ \\frac{n}{2h} I^{2h}(r, k-1)_n + \\frac{n}{4h} \\left( R_{2hagdi}(r, k-1)_n + R_{2hagdi}(r, k-1)_n + R_{2hagdi}(r, k-1)_n \\right.$$ \n$$+ \\frac{n-2h}{4h} \\left( R_{2hagdi}(r, k-1)_n + R_{2hagdi}(r, k-1)_n + R_{2hagdi}(r, k-1)_n \\right.$$ \n$$+ \\frac{n-4h}{4h} R_{2hagdi}(r, k-1)_n \\right) \\right\\}.$$ \n\nHere $r$ and $k-1$ are both even.\nProblem x. To find $I(r, k)$ (LXVIII.),\n\n$$I(r, k) = \\frac{1}{2r} \\left\\{ D(r, k) - \\sum_m \\left( \\frac{r}{m} R^m(r, k) + \\frac{2r}{m+1} I^{m+1}(r, k) \\right) \\right\\}. $$\n\nLXX. As a further illustration of these formulæ and their use, and for a comparison of methods, it will be worth our while to deduce the seven partitions of the 9-gon, and the eight partitions of the 10-gon, which are obtained by way of example in the memoir referred to, in the first article.\n\nFirst, to find $R^h(9, 6)$ and $I^h(9, 6)$.\n\nAs the 9-gon is divided into triangles, there can be only two nuclei, a triangle or a line. We ask, then, what are $R^h(9, 6)_3$ and $R^h(9, 6)_2$?\n\nBy Theorem E, the axes are monogonal only, and $R^{hmo}(9, 6)_3$ is what we are seeking.\n\nBy Problem m,\n\n$$R^{3mo}(9, 6)_3 = 0,$$\n\n$$R^{1.mo}(9, 6)_3 = D(5, 2) = 5;$$\n\nand by Problem n,\n\n$$R^{2mo}(9, 6)_3 = (2R^{mag} + R^{magdi})(4, 1) = 0,$$\n\n$R^{2adi}(4, 1)_3 = 1$ being the only entry in our register under $(4, 1)$.\n\nFor $R^{mo}(9, 6)_3$, we have, by equations (D'), $\\frac{n-h}{2h} = 1 = h.$\n\n$$9 = 3 + 2 + 2a_0 + 2a_1,$$\n\n$$6 = 3 + e_0 + 2e_1,$$\n\n$$4 + 2a_0 = 8 - 2a_1,$$\n\n$$\\Delta_1 = D(2 + a_1, e_1),$$\n\n$$e_0 = 3 - 2e_1,$$\n\n$$R^{mo}(9, 6)_3 = \\Sigma \\left\\{ \\Sigma (2R^{mag} + R^{magdi})(8 - 2a_1, 3 - 2e_1) \\right\\} D(2 + a_1, e_1).$$\n\nThe only values of $e_1$ are 0 or 1; if $e_1 = 1$, $a_1 \\neq 2$, if $e_1 = 0$, $a_1 \\neq 1$. And as we have nothing in our register under $(R^{mag}$ or $R^{magdi})((4, 1)$ or $(6, 3))$,\n\n$$R^{mo}(9, 6)_3 = 0,$$\n\nand (Problems o, p, q)\n\n$$R(9, 6)_2 = 0;$$\n\nwherefore\n\n$$R(9, 6) = R^{mo}(9, 6)_3 = 5.$$\n\nNext to find $I^h(9, 6)_3$; by Problem u,\n\n$$I^h(9, 6)_3 = \\frac{1}{2} \\left\\{ D(4, 1) - R^3(9, 6)_3 \\right\\} = \\frac{1}{2}(2 - 0) = 1,$$\n\nthe subtracted term having just been proved to be zero. And as 9 is odd (Problem w),\n\n$$I^h(9, 6)_2 = 0,$$\n\ntherefore (Problem x),\n\n$$I(9, 6) = \\frac{1}{18} \\left\\{ D(9, 6) - 9R(9, 6) - \\frac{1}{3} I^3(9, 6) \\right\\} = \\frac{1}{18} \\left\\{ 429 - 9 \\cdot 5 - 6 \\cdot 1 \\right\\} = 21.$$\n\nThis agrees with the results at p. 409 of my former memoir, saving an error of transcription in the seventh line from the bottom, in which $+1.i(8, 2, 0)$ is omitted from the value of $I(10, 2)$ as it stands above (line 14). If the indulgent reader will kindly correct the sixth and seventh lines thus,\n\\[ I(10, 2) = 2 \\cdot \\frac{3}{2} \\{ ii(8, 2, 0), ii(4, 1, 0) \\} + 1 \\cdot ii(8, 2, 0) = 2 \\cdot \\frac{3}{2} (4 - 2) + 4 = 6, \\]\n\nhe will find the sum\n\n\\[ I(10, 2) + I(10, 3) + I(10, 4) = 6 + 13 + 2 = 21, \\]\n\n\\[ I^3(10, 3) = 1, \\]\n\nand\n\n\\[ R(10, 2) + R(10, 4) = 5, \\]\n\nthe 7-partitions of the nonagon, in that notation, as we have just found them: vide (I) of this memoir.\n\nLXXI. We shall for a final example determine the 8-partitions of the decagon. There is no nucleus but 3 and 2; we want then\n\n\\[ R^h(10, 7)_s, R^a(10, 7)_s, R^d(10, 7)_s, R_0(10, 7), I^h(10, 7)_s I^a(10, 7)_s. \\]\n\nBy Theorems M, E (XIV., IX.), no axis can be agonal, or monogonal; we seek then \\( R^{hd}(10, 7)_s, R^{adi}(10, 7)_s, R^d(10, 7)_s, \\) and \\( R^d(10, 7). \\)\n\n\\[ R^{hd}_0(10, 7)_s = 0 \\] by Problem i, because \\( n \\) is odd; and \\( R^{adi}_0(10, 7)_s = 0 \\) for the same reason, as is also \\( R^{hd}_e(10, 7)_s. \\) Therefore \\( R^{hd}_e(10, 7)_s = 0. \\)\n\nBy Problem p,\n\n\\[ R^{adi}_e(10, 7)_s = \\Sigma_h \\Sigma_n \\{ 2R^{hd}_c + R^{adi}_c + R^{hdagdi}_c + R^{hdagdi}_d \\}(10, 6)_n \\} = 0; \\text{ for } \\]\n\n\\[ R^{hd}_e(10, 6)_n = 0, \\text{ because 10 is not a multiple of } 4h \\text{ (Problem l); } \\]\n\n\\[ R^{hd}_c(10, 6)_n = 0, \\text{ for the same reason (Problem k); } \\]\n\n\\[ R^{hdagdi}_c(10, 6)_n = 0, \\text{ because 10 is no multiple of } 8h \\text{ (Problem b); } \\]\n\n\\[ R^{hdagdi}_d(10, 6)_n = 0, \\text{ because } 10 - n, (n > 2) \\text{ is no multiple of } 8h \\text{ (Problem c). } \\]\n\n\\[ R^d(10, 7)_s = \\Sigma_h \\Sigma_n R^{(2h+1)d}(10, 6)_n = R^d(10, 6)_n, \\text{ because 10 is a multiple of } 4h + 2 \\text{ (Problems l, q); } \\]\n\n\\[ R^d_0(10, 7) = \\Sigma_h \\Sigma_e \\Sigma_n \\left[ R^{(2h+1)d}(10, 7-e)_n \\left\\{ \\left( \\frac{n-2}{2} \\right)^{e-1} \\cdot [e+1]^{-1} \\right\\}^2 + &c. \\right] \\text{ (Problem t), } \\]\n\nall the remaining part of the expression vanishing; for we shall presently see that \\( n = 4 \\) only in both these equations; and \\( R^{(2h+3)d}_0(10, 7) \\) has been proved above to be \\( = 0, \\) as have \\( R^{hd}_e(10, 7-e)_n \\) and \\( R^{hd}_c(10, 7-e)_n \\) also; and \\( R^{hdagdi}_c(10, 7-e)_n = 0, \\) because \\( 7 - e \\) and \\( 10 - n \\) are not multiples of \\( 4h, \\) unless \\( h = 1, n = 6; \\) \\( (n > 2), \\) which makes equations (A.)\n\n\\[ \\left( \\frac{n-2h}{4h} = 1 \\right), \\quad 10 = 6 + 4.1, \\text{ and } 7 - e = 6 - 2 + 4. - 1, \\]\n\n\\[ \\therefore e = 7; \\text{ but } R^{2agdi}_0(10, 0)_6 \\text{ has no existence, for if there are no diagonals the nucleus is the 10-gon itself. } R^{hdagdi}_d(10, 7-e)_n = 0; \\text{ for this can only be } R^{hdagdi}_d(10, 7-e)_6, \\text{ for a reason just given; but (Problem c) } 7 - e - 6 \\text{ is even, therefore } e = 1, \\text{ and as } h = 1, = \\frac{n-2a}{4h}. \\]\n\nequations (A') become\n\n\\[ 10 = 6 + .2(2 + 0) + 4.0, \\text{ and } k = 6 = 6 + 2.2 + 4. - 1, \\]\n\ni.e. in H, \\( \\alpha_0 = 0, \\varepsilon_0 = 2, \\) or a 4-gon has two diagonals not crossing, which is absurd.\nTherefore $R_e^{(3h+1)di}(10, 7-e)_n$ is what we have to determine for every value of $h$, $e$, and $n$.\n\nNow in $R_e^{hd}(10, 7-e)_n$ (Problem l), when $h$ is odd, 10, 7—$e$ and $n$ are not all divisible by $2h$ if $n > 6$; for $n < 10$. And in $R_e^{hd}(10, 7-e)_6$, $h$ is either 1 or 3. For $h=3$ the formula for $R_{3ndi}$ gives $R_{3di}(10, 7-e)_6=0$, because $\\frac{10+6}{6}$ is not integer; and for $h=1$, $\\frac{n}{2h}=3$,\n\n$$10 = 6 + 2(a_1 + a_2 + a_3)$$\n\n$$7 - e = 6 + 2(e_1 + e_2 + e_3);$$\n\nthe solutions are\n\n$$\\frac{10-6}{2} = 2 = 1 + 1 + 0, \\text{ or } = 2 + 0 + 0$$\n\n$$1 - e = 2(0 + 0 - 1), \\text{ or } = 2(1 - 1 - 1), \\text{ or } = 2(0 - 1 - 1),$$\n\nthe second line of which is absurd, if $e < 3$. But for $e > 2$, the multiplier $\\left(\\frac{6-2}{2}\\right)^{3l-1}=0$. Therefore $n$ is not 6.\n\nLet then $n=4$, and seek $R_e^{hd}(10, 7-e)_4$, for $h$ odd. If $\\frac{4}{2h}=1$, the formula for $R_{4ndi}$ gives $R_{4di}(10, 7-e)_4=0$, because $\\frac{10+4}{4}$ is not integer. Then $\\frac{4}{2h}=2$, $h=1$, and we have for $e=1$,\n\n$$10 = 4 + 2(2 + 1) = 4 + 2(3 + 0)$$\n\n$$6 = 4 + 2(1 + 0) = 4 + 2(2 - 1),$$\n\ngiving four solutions; and for $e=3$, the multiplier $\\left(\\frac{4-2}{2}\\right)^{el-1}$ vanishes. These four are then the only solutions, and\n\n$$\\Sigma(\\Delta_s)=2D(4, 1)D(3, 0)+2D(5, 2)=2(2+5)=14;$$\n\nwhence $$R_e^h(10, 6)_4=\\frac{1}{2}\\{14-\\Sigma_i(2R_e^{(i+1)di}+R_{4c}^{2di}+R_{4c, agdi}+R_{4c, digdi})(10, 6)_4\\}$$\n\nwhere $(i > 0)$.\n\nNow\n\n$R_e^{(i+1)di}(10, 6)_4=0$ (Problem l), because 10 and 6 and 4 have no common measure $2(i+1)$.\n\n$R_{4c}^{2di}(10, 6)_4=0$ (Problem k), because 10 is not divisible by 4.\n\n$R_{4c, agdi}(10, 6)_4=0$ (Problem b), because 10 is no multiple of $4i$.\n\n$R_{4c, digdi}(10, 6)_4=0$ (Problem c), because 10—4 is no multiple of $4i$.\n\nTherefore $$R_e^d(10, 6)_4=\\frac{1}{2}14=7=R_e^d(10, 7),$$\n\nand $$R(10, 7)=R_{di}(10, 7)_2+R_{6d}(10, 7)=2R_e^{di}(10, 6)_4=14.$$\n\nLXXII. We have next to determine $I^h(10, 7)$, $h > 1$.\n\nThe formulæ for $I^n$ (Problem u) give\n\n$$I^3(10, 7)_3=0,$$ because $\\frac{10+3}{3}$ is no integer.\nAnd (Problem w)\n\n\\[ I^2(10, 7)_2 = \\Sigma_n \\left\\{ \\frac{h}{2h} I^{2h}(10, 6)_n + \\frac{n}{4h} R_{2hagdi}(10, 6)_n \\right\\}, \\]\n\nthe quantities here omitted from the formula being\n\n\\[ R_{2hagdi}(10, 6)_n = 0, \\text{ because } 10 \\text{ is not divisible by } 4h \\text{ (Problem e).} \\]\n\\[ R_{2hag}(10, 6)_n = 0, \\text{ for the same reason (Problems f, g, h).} \\]\n\\[ R_{2hagdi}(10, 6)_n = 0, \\text{ as it has been proved in the preceding article.} \\]\n\\[ R_{2hagdi}(10, 6)_n = 0, \\text{ because } 10 \\text{ is not divisible by } 4h \\text{ (Problem b).} \\]\n\\[ R_{2hagdi} = R_{2hagdi} = 0, \\text{ for the same reason (Problems k, l).} \\]\n\nNow the equations of Problem u for \\( I^{2h}(10, 6)_n \\) are those of Problem l for \\( R_e(10, 6)_n \\), and we have proved in the preceding article that \\( h = 1 \\) and \\( n = 4 \\) are the only values affording a solution; which gives\n\n\\[ \\Sigma(\\Delta_n) = \\Sigma(\\Delta_2) = 14. \\]\n\nWherefore (Problem w) \\((i > 0)\\),\n\n\\[ I^2(10, 6)_4 = \\frac{3}{8} \\left[ 14 - \\Sigma_i \\left( \\frac{8}{2(i+1)} I^{(i+1)2}(10, 6)_4 + \\frac{4}{2i} R^2(10, 6)_4 \\right) \\right]. \\]\n\nThe formula for \\( I^n(r, k)_n \\) shows that \\( I^4(10, 6)_4 = 0 \\), for \\( \\frac{10+4}{4} \\) is not integer, and we have just proved that \\( R^{2h}(10, 6)_n = 0 \\) under every form except \\( R_{2hagdi}(10, 6)_n \\), which remains to be determined.\n\nIn Problem d we see that \\( r - n - 2h \\) is divisible by \\( 4h \\); wherefore \\( n = 4 \\) and \\( h = 1 \\).\n\nTherefore, by the formula for \\( R_{2hagdi} \\),\n\n\\[ R_{2hagdi}(10, 6)_4 = \\Sigma_m R_{m, mo}(5, 2) = R_{mo}(5, 2) = 1, \\]\n\nas is easily verified. Consequently\n\n\\[ I^2(10, 6)_4 = \\frac{3}{8} \\left[ 14 - \\frac{4}{2} R_{2agdi}(10, 6)_4 \\right] = \\frac{14 - 2}{4} = 3, \\]\n\nand\n\n\\[ I^2(10, 7)_2 = I^2(10, 7)_2 = \\frac{4}{3} I^2(10, 6)_4 + \\frac{4}{4} R_{2agdi}(10, 6)_4 = 6 + 1 = 7, \\]\n\nwhence, finally (Problem x),\n\n\\[ I(10, 7) = \\frac{1}{30} \\{ D(10, 7) - \\frac{1}{10} R(10, 7) - \\frac{2}{2} I^2(10, 7) \\} = \\frac{1}{30} (1430 - 10.14 - 10.7) = 61. \\]\n\nAnd this enumeration of the 8-partitions of the 10-gon agrees with that at p. 410 of my memoir mentioned in the first article.\n\nIt is evident that this last example would have caused far less trouble, if we had had our register of partitions filled up for inspection up to the 7-partitions of the 10-gon.\n\nThere is little difficulty, as I have verified to some extent, in framing, by the aid of the results here given, algebraical expressions, containing circulating functions for \\( R^k(r, k) \\) and \\( I^k(r, k) \\), in terms of \\( r \\) and \\( k \\) only, and thence by addition, complete expressions of the \\((1-k)\\)-partitions of the \\( r \\)-gon. But the subject has been pursued far enough for one communication.\nLXXIII. The notation above employed for the partitions of the $r$-gon is applicable, with hardly any change, to express those of the $r$-ace.\n\nAn $h$-ly reversible $(1+k)$-partition of the $r$-ace has $h$ axial planes of reversion, which are achorial, diachorial, or monochorial, according as they cut none, two, or one only of the faces ($\\chi \\omega \\pi \\alpha$) about the $r$-ace. The $k$ partitioning lines may conveniently be called diapipeds, or shorter, diapeds, being each in two planes about the $r$-ace, as a diagonal is in two summits of the $r$-gon.\n\nPutting Ac, Di, and Mo, for achorial, diachorial and monochorial, we have the following account to give, $N$ standing for the nucleus $n$-ace, of the $(1+k)$-partitions of the $r$-ace:\n\n$$R^{2h.Ac.Di}(r,k)_N = R^{2h.ag.di}(r,k)_n,$$\n\n$$R^{h.Ac}(r,k)_N = R^{h.ag}(r,k)_n,$$\n\n$$R^{h.Di}(r,k)_N = R^{h.di}(r,k)_n,$$\n\n$$R^{h.Mo}(r,k)_N = R^{h.mo}(r,k)_n,$$\n\n$$I^h(r,k)_N = I^h(r,k)_n.$$", "source": "olmocr", "added": "2026-01-12", "created": "2026-01-12", "metadata": { "Source-File": "/home/jic823/projects/def-jic823/royalsociety/pdfs/108618.pdf", "olmocr-version": "0.3.4", "pdf-total-pages": 57, "total-input-tokens": 90204, "total-output-tokens": 58900, "total-fallback-pages": 0 }, "attributes": { "pdf_page_numbers": [ [ 0, 0, 1 ], [ 0, 2808, 2 ], [ 2808, 6147, 3 ], [ 6147, 9210, 4 ], [ 9210, 12620, 5 ], [ 12620, 15585, 6 ], [ 15585, 18952, 7 ], [ 18952, 21940, 8 ], [ 21940, 24755, 9 ], [ 24755, 27004, 10 ], [ 27004, 29670, 11 ], [ 29670, 32488, 12 ], [ 32488, 35949, 13 ], [ 35949, 38711, 14 ], [ 38711, 40540, 15 ], [ 40540, 43459, 16 ], [ 43459, 46304, 17 ], [ 46304, 48552, 18 ], [ 48552, 51332, 19 ], [ 51332, 53746, 20 ], [ 53746, 56221, 21 ], [ 56221, 58617, 22 ], [ 58617, 61720, 23 ], [ 61720, 64404, 24 ], [ 64404, 66984, 25 ], [ 66984, 69918, 26 ], [ 69918, 72521, 27 ], [ 72521, 75136, 28 ], [ 75136, 77768, 29 ], [ 77768, 80453, 30 ], [ 80453, 82959, 31 ], [ 82959, 85411, 32 ], [ 85411, 88068, 33 ], [ 88068, 90859, 34 ], [ 90859, 93393, 35 ], [ 93393, 96814, 36 ], [ 96814, 99416, 37 ], [ 99416, 102531, 38 ], [ 102531, 105341, 39 ], [ 105341, 108029, 40 ], [ 108029, 111333, 41 ], [ 111333, 114238, 42 ], [ 114238, 117652, 43 ], [ 117652, 120336, 44 ], [ 120336, 122726, 45 ], [ 122726, 125137, 46 ], [ 125137, 127835, 47 ], [ 127835, 129811, 48 ], [ 129811, 132179, 49 ], [ 132179, 134377, 50 ], [ 134377, 136525, 51 ], [ 136525, 138887, 52 ], [ 138887, 141225, 53 ], [ 141225, 144151, 54 ], [ 144151, 146227, 55 ], [ 146227, 148950, 56 ], [ 148950, 149895, 57 ] ], "primary_language": [ "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en" ], "is_rotation_valid": [ true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true ], "rotation_correction": [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], "is_table": [ false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false ], "is_diagram": [ false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, 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-108618", "title": "On the K-Partitions of the R-Gon and R-Ace", "authors": "Thomas P. Kirkman", "year": 1857, "volume": "147", "journal": "Philosophical Transactions of the Royal Society of London", "page_count": 57, "jstor_url": "https://www.jstor.org/stable/108618" } }