{
  "id": "031b68208b1c2ce09ebd19095d9b0ba8c100c4e2",
  "text": "IX. On the Comparison of Hyperbolic Arcs. By Charles W. Merrifield.\n\nCommunicated by the Rev. Dr. Booth, F.R.S.\n\nReceived March 3,—Read March 31, 1859.\n\nAn application of Jacobi's second theorem—the imaginary transformation—has led me to a formula which reduces the comparison of the arcs of hyperbolas to the same facility as that of elliptic arcs. The transformation is so easy and obvious, that I have had some hesitation in publishing it; but I observe that my result was not noticed by Legendre, or by Professor Moseley, or in any more recent work which I have seen. Some of its applications, too, are worthy of remark.\n\nI shall use the ordinary notations:\n\n\\[ \\Delta(\\theta, \\phi) = (1 - \\sin^2 \\theta \\sin^2 \\phi)^{\\frac{1}{2}}, \\quad F(\\theta, \\phi) = \\int \\frac{d\\phi}{\\Delta(\\theta, \\phi)}, \\quad E(\\theta, \\phi) = \\int \\Delta(\\theta, \\phi) d\\phi. \\]\n\nThe functional equation\n\n\\[ F\\phi_1 + F\\phi_2 - F\\phi_3 = 0 \\]  \n\n(A.)\n\nis satisfied, as is well known, by either of the three trigonometrical equations—\n\n\\[ \\cos \\phi_3 = \\cos \\phi_1 \\cos \\phi_2 - \\sin \\phi_1 \\sin \\phi_2 \\sqrt{(1 - \\sin^2 \\theta \\cdot \\sin^2 \\phi_3)} \\quad \\ldots \\quad (1.) \\]\n\\[ \\cos \\phi_2 = \\cos \\phi_1 \\cos \\phi_3 + \\sin \\phi_1 \\sin \\phi_3 \\sqrt{(1 - \\sin^2 \\theta \\cdot \\sin^2 \\phi_2)} \\quad \\ldots \\quad (2.) \\]\n\\[ \\cos \\phi_1 = \\cos \\phi_2 \\cos \\phi_3 + \\sin \\phi_2 \\sin \\phi_3 \\sqrt{(1 - \\sin^2 \\theta \\cdot \\sin^2 \\phi_1)}. \\quad \\ldots \\quad (3.) \\]\n\nDividing each of these by \\( \\cos \\phi_1 \\cdot \\cos \\phi_2 \\cdot \\cos \\phi_3 \\), and transposing, they become\n\n\\[ \\sec \\phi_3 = \\sec \\phi_1 \\sec \\phi_2 + \\tan \\phi_1 \\tan \\phi_2 \\sqrt{(1 + \\cos^2 \\theta \\cdot \\tan^2 \\phi_3)} \\quad \\ldots \\quad (4.) \\]\n\\[ \\sec \\phi_2 = \\sec \\phi_1 \\sec \\phi_3 - \\tan \\phi_1 \\tan \\phi_3 \\sqrt{(1 + \\cos^2 \\theta \\cdot \\tan^2 \\phi_2)} \\quad \\ldots \\quad (5.) \\]\n\\[ \\sec \\phi_1 = \\sec \\phi_2 \\sec \\phi_3 - \\tan \\phi_2 \\tan \\phi_3 \\sqrt{(1 + \\cos^2 \\theta \\cdot \\tan^2 \\phi_1)}. \\quad \\ldots \\quad (6.) \\]\n\nIt will be noticed, that we might pass from one set to the other, directly, by substituting \\( \\sec \\phi \\) for \\( \\cos \\phi \\), \\( \\sqrt{-1} \\tan \\phi \\) for \\( \\sin \\phi \\), and \\( \\cos \\theta \\) for \\( \\sin \\theta \\). These substitutions constitute Jacobi's second theorem. They convert\n\n\\[ \\frac{d\\phi}{(1 - \\sin^2 \\theta \\cdot \\sin^2 \\phi)^{\\frac{1}{2}}} \\text{ into } \\frac{\\sqrt{-1} \\cdot d\\phi}{(1 - \\sin^2 \\theta \\cdot \\sin^2 \\phi)^{\\frac{1}{2}}}, \\]\n\nand\n\n\\[ (1 - \\sin^2 \\theta \\cdot \\sin^2 \\phi)^{\\frac{1}{2}} d\\phi \\text{ into } \\frac{\\sqrt{-1} \\cdot d\\phi}{\\cos^2 \\phi}(1 - \\sin^2 \\theta \\cdot \\sin^2 \\phi)^{\\frac{1}{2}}. \\]\n\nNow, calling \\( \\int (1 - \\sin^2 \\theta \\cdot \\sin^2 \\phi)^{\\frac{1}{2}} d\\phi \\), \\( E\\phi \\), we know that\n\n\\[ E\\phi_1 + E\\phi_2 - E\\phi_3 = \\sin^2 \\theta \\sin \\phi_1 \\cdot \\sin \\phi_2 \\cdot \\sin \\phi_3. \\quad \\ldots \\quad (7.) \\]\nIf, therefore, we make the above substitutions in this equation, and divide by $\\sqrt{-1}$, we have, making $H\\varphi = \\int \\frac{d\\varphi}{\\cos^2 \\varphi} (1 - \\sin^2 \\theta \\cdot \\sin^2 \\varphi)^{\\frac{1}{2}}$,\n\n$$H\\varphi_1 + H\\varphi_2 - H\\varphi_3 = -\\cos^2 \\theta \\cdot \\tan \\varphi_1 \\cdot \\tan \\varphi_2 \\cdot \\tan \\varphi_3.$$  \n\nMoreover, since we also have\n\n$$F\\varphi_1 + F\\varphi_2 - F\\varphi_3 = 0,$$\n\nit is evident that these equations remain true, if we put for\n\n$$E\\varphi, \\quad E\\varphi + k \\cdot F\\varphi,$$\n\nor for\n\n$$H\\varphi, \\quad H\\varphi + k \\cdot F\\varphi,$$\n\n$k$ being any constant whatever.\n\nIf we make $k = -\\sin^2 \\theta$, $U\\varphi = H\\varphi - \\sin^2 \\theta \\cdot F\\varphi$ represents the arc of a hyperbola.\n\nIn fact, if $\\frac{x^2}{\\sin^2 \\theta} - \\frac{y^2}{\\cos^2 \\theta} = 1$ be the equation to a hyperbola, and we make the ordinate $y = \\cos^2 \\theta \\cdot \\tan \\varphi$, we have the abscissa $x = \\frac{\\sin \\theta}{\\cos \\varphi} \\sqrt{(1 - \\sin^2 \\theta \\cdot \\sin^2 \\varphi)}$. From these we may obtain by differentiation,\n\n$$\\int \\sqrt{(dx^2 + dy^2)} = \\int \\frac{\\cos^2 \\theta}{\\cos^2 \\varphi} \\frac{d\\varphi}{\\sqrt{(1 - \\sin^2 \\theta \\cdot \\sin^2 \\varphi)}}$$\n\n$$= \\int \\frac{1 - \\sin^2 \\theta \\cdot \\sin^2 \\varphi}{\\cos^2 \\varphi \\sqrt{(1 - \\sin^2 \\theta \\cdot \\sin^2 \\varphi)}} \\cdot d\\varphi - \\int \\frac{\\sin^2 \\theta \\cdot d\\varphi}{\\sqrt{(1 - \\sin^2 \\theta \\cdot \\sin^2 \\varphi)}},$$\n\nor $U\\varphi = H\\varphi - \\sin^2 \\theta \\cdot F\\varphi$.\n\nIf we make $\\sin \\tau = \\sin \\theta \\cdot \\sin \\varphi$, $\\tau$ is the angle which the normal of the hyperbola makes with the axis of $x$. If we change the variable from $\\varphi$ to $\\tau$, we have\n\n$$U = \\sin^2 \\theta \\cdot \\cos^2 \\theta \\cdot \\int \\frac{d\\tau}{(\\sin^2 \\theta - \\sin^2 \\tau)^{\\frac{3}{2}}}$$\n\nan equation which bears a remarkable analogy to the arc of the ellipse referred to its tangent,\n\n$$E_1 - E = \\cos^2 \\theta \\cdot \\int \\frac{d\\tau}{(1 - \\sin^2 \\theta \\cdot \\sin^2 \\tau)^{\\frac{3}{2}}}.$$\n\nIt may be worth while to remark, that $\\theta$, the angle of the modulus, represents, in the ellipse, the eccentricity, while in the hyperbola it represents the angle between the asymptote and the ordinate.\n\nFor the comparison of hyperbolic arcs, therefore, we have the equation\n\n$$U\\varphi_1 + U\\varphi_2 - U\\varphi_3 = -\\cos^2 \\theta \\cdot \\tan \\varphi_1 \\cdot \\tan \\varphi_2 \\cdot \\tan \\varphi_3,$$\n\nanswering to the equation for elliptic arcs,\n\n$$E\\varphi_1 + E\\varphi_2 - E\\varphi_3 = \\sin^2 \\theta \\cdot \\sin \\varphi_1 \\cdot \\sin \\varphi_2 \\cdot \\sin \\varphi_3.$$\n\nFormula (8.) may be derived from the equations (4.), (5.), (6.) in exactly the same way that formula (7.) is derived from the equations (1.), (2.), (3.).*\n\n* For the details, see Legendre, 'Fonctions Elliptiques,' vol. i. p. 43, or Moseley \"On Definite Integrals,\" Encyclopaedia Metropolitana, 'Pure Mathematics,' vol. ii. p. 497.\nIn particular, if $\\varphi_3 = \\frac{1}{2}\\pi$, we have, for the complementary functions, $U\\varphi_1 + U\\varphi_2 = \\infty$, as it ought to be, since the whole length of the curve is infinite.\n\nFor duplication, making $\\varphi_1 = \\varphi_2 = \\omega$, we have\n\n$$U\\varphi_3 - 2U\\omega = (\\cos \\theta \\cdot \\tan \\omega)^2 \\tan \\varphi_3.$$  \n\nThe same formula serves for bisection, if we obtain $\\omega$ from $\\varphi_3$ by the help of the elliptic equations.\n\nEquation (8.) is easily verified at the extremes, making $\\theta = 0$,\n\n$$H\\varphi = \\int \\frac{d\\varphi}{\\cos^2 \\varphi} = \\tan \\varphi,$$\n\nand we have the known theorem\n\n$$\\tan \\alpha + \\tan \\beta - \\tan (\\alpha + \\beta) = -\\tan \\alpha \\cdot \\tan \\beta \\cdot \\tan (\\alpha + \\beta).$$\n\nIf we make\n\n$$\\theta = \\frac{\\pi}{2}, \\quad \\Delta \\varphi = \\cos \\varphi, \\quad \\text{and} \\quad H\\varphi = \\int \\frac{d\\varphi}{\\cos \\varphi},$$\n\nwhence\n\n$$\\int \\frac{d\\varphi_1}{\\cos \\varphi_1} + \\int \\frac{d\\varphi_2}{\\cos \\varphi_2} - \\int \\frac{d\\varphi_3}{\\cos \\varphi_3} = 0, \\quad \\ldots \\ldots \\ldots \\ldots \\quad (10.)$$\n\nwhich is also a particular case of $F\\varphi_1 + F\\varphi_2 - F\\varphi_3 = 0$, depending on the particular equation\n\n$$\\sec \\varphi_3 = \\sec \\varphi_1 \\sec \\varphi_2 + \\tan \\varphi_1 \\tan \\varphi_2, \\quad \\ldots \\ldots \\ldots \\ldots \\quad (11.)$$\n\nwhich I should call the meridional equation, from its connexion with the common formula for meridional parts, and with certain curves on Mercator's Chart, which I have discussed elsewhere.\n\nI have taken the trouble of deducing (8.) from (4.), (5.), (6.) directly, but the process is so exactly parallel to Mr. Moseley's work, at vol. ii. p. 497 of the work above cited, that it would be unnecessary to insert it here.\n\nA simpler verification may be found as follows: differentiating with regard to $\\varphi$ the expression $\\tan \\varphi \\cdot \\Delta \\varphi$, we have\n\n$$\\frac{d}{d\\varphi} (\\tan \\varphi \\cdot \\Delta \\varphi) = \\frac{\\Delta \\varphi}{\\cos^2 \\varphi} - \\frac{\\sin^2 \\theta \\sin^2 \\varphi}{\\Delta \\varphi} = \\frac{\\Delta \\varphi}{\\cos^2 \\varphi} + \\Delta \\varphi - \\frac{1}{\\Delta \\varphi};$$\n\nwhence, by integration (no constant needed, since each term vanishes with $\\varphi$),\n\n$$\\tan \\varphi \\cdot \\Delta \\varphi = H\\varphi + E\\varphi - F\\varphi. \\quad \\ldots \\ldots \\ldots \\ldots \\quad (12.)$$\n\nIf we now add the equations (7.) and (8.) and subtract the equation\n\n$$F\\varphi_1 + F\\varphi_2 - F\\varphi_3 = 0,$$\n\nwe should have, substituting (12.),\n\n$$\\tan \\varphi_1 \\cdot \\Delta \\varphi_1 + \\tan \\varphi_2 \\cdot \\Delta \\varphi_2 - \\tan \\varphi_3 \\cdot \\Delta \\varphi_3 = \\sin^2 \\theta \\cdot \\sin \\varphi_1 \\cdot \\sin \\varphi_2 \\cdot \\sin \\varphi_3 - \\cos^2 \\theta \\cdot \\tan \\varphi_1 \\cdot \\tan \\varphi_2 \\cdot \\tan \\varphi_3. \\quad (13.)$$\n\nThis equation may be easily verified by using the values of $\\Delta \\varphi_1$, $\\Delta \\varphi_2$, and $\\Delta \\varphi_3$ obtained directly from the equations (1.), (2.), (3.), and clearing by means of the quadratic to which they all lead,\n\n$$1 + 2 \\cos \\varphi_1 \\cdot \\cos \\varphi_2 \\cdot \\cos \\varphi_3 = \\cos^2 \\varphi_1 + \\cos^2 \\varphi_2 + \\cos^2 \\varphi_3 + \\sin^2 \\theta \\cdot \\sin^2 \\varphi_1 \\cdot \\sin^2 \\varphi_2 \\cdot \\sin^2 \\varphi_3. \\quad \\ldots \\quad (14.)$$\nEquation (8.) leads to a formula for the direct reduction of the logarithmic integral of the third kind, whose parameter is negative and greater than unity. It is the exact analogue of Legendre's formula for the reduction of the same integral where the parameter is negative and less than unity, pp. 153, 154 of his third volume on Elliptic Functions. The reduction is of some importance, because on it depends the possibility of tabulating those functions, which would otherwise require a table of treble entry, too cumbrous to attempt.\n\nLet $\\omega_1$ and $\\omega_2$ be two amplitudes, such that, for the common modulus $\\theta$, we have\n\n$$F\\omega_1 = F\\varphi + F\\alpha \\quad \\ldots \\quad (a).$$\n\n$$F\\omega_2 = F\\varphi + F\\alpha \\quad \\ldots \\quad (b).$$\n\nWe must have simultaneously\n\n$$H\\omega_1 + H\\alpha - H\\varphi = -\\cos^2 \\theta \\tan \\alpha \\tan \\varphi \\tan \\omega_1 \\quad \\ldots \\quad (c),$$\n\n$$H\\varphi + H\\alpha - H\\omega_2 = -\\cos^2 \\theta \\tan \\alpha \\tan \\varphi \\tan \\omega_2 \\quad \\ldots \\quad (d),$$\n\nand also, putting for shortness $\\delta \\varphi$ for $\\sqrt{1 + \\cos^2 \\theta \\tan^2 \\varphi}$,\n\n$$\\tan \\omega_1 = \\frac{\\tan \\varphi \\cos \\alpha \\delta \\alpha - \\tan \\alpha \\cos \\varphi \\delta \\alpha}{1 - \\cos^2 \\theta \\tan^2 \\alpha \\tan^2 \\varphi} \\quad \\ldots \\quad (e).$$\n\n$$\\tan \\omega_2 = \\frac{\\tan \\varphi \\cos \\alpha \\delta \\alpha + \\tan \\alpha \\cos \\varphi \\delta \\alpha}{1 + \\cos^2 \\theta \\tan^2 \\alpha \\tan^2 \\varphi} \\quad \\ldots \\quad (f).$$\n\nLet us next consider the function\n\n$$\\Omega = V\\omega_2 - V\\omega_1 = \\int_{\\Delta \\omega_2}^{d\\omega_2} H\\omega_2 - \\int_{\\Delta \\omega_1}^{d\\omega_1} H\\omega_1.$$\n\nIf we regard $\\alpha$ as constant, we obtain from equations (a),\n\n$$\\frac{d\\omega_2}{\\Delta \\omega_2} = \\frac{d\\varphi}{\\Delta \\varphi} = \\frac{d\\omega_1}{\\Delta \\omega_1},$$\n\nwhence\n\n$$\\Omega = \\int_{\\Delta \\varphi}^{d\\varphi} (H\\omega_2 - H\\omega_1).$$\n\nNow formulae (b.) and (c.) give\n\n$$H\\omega_2 - H\\omega_1 = 2H\\alpha + \\cos^2 \\theta \\tan \\alpha \\tan \\varphi (\\tan \\omega_2 + \\tan \\omega_1),$$\n\nand\n\n$$\\tan \\omega_2 + \\tan \\omega_1 = \\frac{2 \\tan \\varphi \\cos \\alpha \\Delta \\alpha}{1 - \\cos^2 \\theta \\tan^2 \\alpha \\tan^2 \\varphi};$$\n\nwhence\n\n$$\\frac{1}{2} \\Omega = \\int_{\\Delta \\varphi}^{d\\varphi} \\left[ H\\alpha + \\frac{\\cos^2 \\theta \\sin \\alpha \\tan^2 \\varphi \\delta \\alpha}{1 - \\cos^2 \\theta \\tan^2 \\alpha \\tan^2 \\varphi} \\right],$$\n\nand, after a few reductions, we find\n\n$$\\frac{1}{2} \\Omega = \\left( H\\alpha - \\frac{\\cos^2 \\theta \\tan \\alpha}{\\Delta \\alpha} \\right) F\\varphi + \\frac{\\cos^2 \\theta \\tan \\alpha}{\\Delta \\alpha} \\int_{1/(1 + \\cos^2 \\theta \\tan^2 \\alpha)}^{1/(1 + \\cos^2 \\theta \\tan^2 \\alpha)} \\frac{1}{\\sin^2 \\varphi} \\cdot d\\varphi;$$\n\nor, transposing,\n\n$$\\int_{1/(1 + \\cos^2 \\theta \\tan^2 \\alpha)}^{1/(1 + \\cos^2 \\theta \\tan^2 \\alpha)} \\frac{1}{\\sin^2 \\varphi} \\cdot d\\varphi = \\frac{\\Delta \\alpha}{\\cos^2 \\theta \\tan \\alpha} \\left( \\frac{1}{2} (V\\omega_2 - V\\omega_1) - H\\alpha \\cdot F\\varphi \\right).$$\n\nNo constant is needed, since $V\\varphi$ is an even function of $\\varphi$.\nOne lesson we may learn from this process is, that the proper expression for the negative parameter greater than unity is \\(- (1 + \\cos^2 \\theta \\tan^2 \\alpha)\\). In geometrical researches this remark will probably lead to simplicity. Legendre has deliberately avoided the discussion of this form of the parameter*. His reason was, that the complete integral presents itself in the form of \\( \\infty - \\infty \\).\n\nThe tabulation of the function \\( V\\omega \\) would only require a table of double entry.\n\nIt may be as well to notice that the equations \\((a.), (b.), (c.)\\) are solved by auxiliary arcs as follows:\n\nAssume\n\n\\[ \\tan \\eta_2 = \\tan \\phi \\Delta \\alpha, \\quad \\tan \\eta_1 = \\tan \\alpha \\Delta \\phi, \\]\n\nthen\n\n\\[ \\omega_1 = \\eta_2 - \\eta_1, \\quad \\omega_2 = \\eta_2 + \\eta_1. \\]\n\nIt is needless to remark that Jacobi's transformation does not enable us to reduce the integral of the circular form. The difficulty which we here encounter, is exactly analogous to that which presents itself in the reduction of the cubic equation of ordinary algebra. In fact, if we were to apply Jacobi's transformation to one only of \\( \\alpha \\) or \\( \\phi \\), the auxiliary arcs just mentioned would give values of \\( \\omega \\) of the form \\( \\eta \\pm \\eta' \\sqrt{-1} \\), and the difficulty would depend upon the interpretation of \\( F(\\eta \\pm \\eta' \\sqrt{-1}) \\).\n\n* See Fonctions Elliptiques, vol. i. p. 71. sect. 53.",
  "source": "olmocr",
  "added": "2026-01-12",
  "created": "2026-01-12",
  "metadata": {
    "Source-File": "/home/jic823/projects/def-jic823/royalsociety/pdfs/108695.pdf",
    "olmocr-version": "0.3.4",
    "pdf-total-pages": 6,
    "total-input-tokens": 9914,
    "total-output-tokens": 5037,
    "total-fallback-pages": 0
  },
  "attributes": {
    "pdf_page_numbers": [
      [
        0,
        0,
        1
      ],
      [
        0,
        2850,
        2
      ],
      [
        2850,
        5764,
        3
      ],
      [
        5764,
        9031,
        4
      ],
      [
        9031,
        12082,
        5
      ],
      [
        12082,
        13495,
        6
      ]
    ],
    "primary_language": [
      "en",
      "en",
      "en",
      "en",
      "en",
      "en"
    ],
    "is_rotation_valid": [
      true,
      true,
      true,
      true,
      true,
      true
    ],
    "rotation_correction": [
      0,
      0,
      0,
      0,
      0,
      0
    ],
    "is_table": [
      false,
      false,
      false,
      false,
      false,
      false
    ],
    "is_diagram": [
      false,
      false,
      false,
      false,
      false,
      false
    ]
  },
  "jstor_metadata": {
    "identifier": "jstor-108695",
    "title": "On the Comparison of Hyperbolic Arcs",
    "authors": "Charles W. Merrifield",
    "year": 1859,
    "volume": "149",
    "journal": "Philosophical Transactions of the Royal Society of London",
    "page_count": 6,
    "jstor_url": "https://www.jstor.org/stable/108695"
  }
}