Page:EB1911 - Volume 07.djvu/682

From Wikisource
Jump to navigation Jump to search
This page has been proofread, but needs to be validated.
660
CURVE


calls inscribed, circumscribed, ambigene, &c.; or they may belong to the same asymptote, and in this case we have the serpentine form, where the branch cuts the asymptote, so as to touch it at its two extremities on opposite sides, or the conchoidal form, where it touches the asymptote on the same side. The two legs of a parabolic branch may converge to ultimate parallelism, as in the conic parabola, or diverge to ultimate parallelism, as in the semi-cubical parabola y2 = x3, and the branch is said to be convergent, or divergent, accordingly; or they may tend to parallelism in opposite senses, as in the cubical parabola y = x3. As mentioned with regard to a branch generally, an infinite branch of any kind may have cusps, or, by cutting itself or another branch, may have or give rise to a crunode, &c.

11. Classification of Cubic Curves.—We may now consider the various forms of cubic curves as appearing by Newton’s Enumeratio, and by the figures belonging thereto. The species are reckoned as 72, which are numbered accordingly 1 to 72; but to these should be added 10a, 13a, 22a and 22b. It is not intended here to consider the division into species, nor even completely that into genera, but only to explain the principle of classification. It may be remarked generally that there are at most three infinite branches, and that there may besides be a re-entrant branch or oval.

The genera may be arranged as follows:—

1,2,3,4 redundant hyperbolas
5,6 defective hyperbolas
7,8 parabolic hyperbolas
9   hyperbolisms of hyperbola
10   hyperbolisms of ellipse
11   hyperbolisms of parabola
12   trident curve
13   divergent parabolas
14   cubic parabola;

and thus arranged they correspond to the different relations of the line infinity to the curve. First, if the three intersections by the line infinity are all distinct, we have the hyperbolas; if the points are real, the redundant hyperbolas, with three hyperbolic branches; but if only one of them is real, the defective hyperbolas, with one hyperbolic branch. Secondly, if two of the intersections coincide, say if the line infinity meets the curve in a onefold point and a twofold point, both of them real, then there is always one asymptote: the line infinity may at the twofold point touch the curve, and we have the parabolic hyperbolas; or the twofold point may be a singular point,—viz., a crunode giving the hyperbolisms of the hyperbola; an acnode, giving the hyperbolisms of the ellipse; or a cusp, giving the hyperbolisms of the parabola. As regards the so-called hyperbolisms, observe that (besides the single asymptote) we have in the case of those of the hyperbola two parallel asymptotes; in the case of those of the ellipse the two parallel asymptotes become imaginary, that is, they disappear; and in the case of those of the parabola they become coincident, that is, there is here an ordinary asymptote, and a special asymptote answering to a cusp at infinity. Thirdly, the three intersections by the line infinity may be coincident and real; or say we have a threefold point: this may be an inflection, a crunode or a cusp, that is, the line infinity may be a tangent at an inflection, and we have the divergent parabolas; a tangent at a crunode to one branch, and we have the trident curve; or lastly, a tangent at a cusp, and we have the cubical parabola.

It is to be remarked that the classification mixes together non-singular and singular curves, in fact, the five kinds presently referred to: thus the hyperbolas and the divergent parabolas include curves of every kind, the separation being made in the species; the hyperbolisms of the hyperbola and ellipse, and the trident curve, are nodal; the hyperbolisms of the parabola, and the cubical parabola, are cuspidal. The divergent parabolas are of five species which respectively belong to and determine the five kinds of cubic curves; Newton gives (in two short paragraphs without any development) the remarkable theorem that the five divergent parabolas by their shadows generate and exhibit all the cubic curves.

The five divergent parabolas are curves each of them symmetrical with regard to an axis. There are two non-singular kinds, the one with, the other without, an oval, but each of them has an infinite (as Newton describes it) campaniform branch; this cuts the axis at right angles, being at first concave, but ultimately convex, towards the axis, the two legs continually tending to become at right angles to the axis. The oval may unite itself with the infinite branch, or it may dwindle into a point, and we have the crunodal and the acnodal forms respectively; or if simultaneously the oval dwindles into a point and unites itself to the infinite branch, we have the cuspidal form. (See Parabola.) Drawing a line to cut any one of these curves and projecting the line to infinity, it would not be difficult to show how the line should be drawn in order to obtain a curve of any given species. We have herein a better principle of classification; considering cubic curves, in the first instance, according to singularities, the curves are non-singular, nodal (viz. crunodal or acnodal), or cuspidal; and we see further that there are two kinds of non-singular curves, the complex and the simplex. There is thus a complete division into the five kinds, the complex, simplex, crunodal, acnodal and cuspidal. Each singular kind presents itself as a limit separating two kinds of inferior singularity; the cuspidal separates the crunodal and the acnodal, and these last separate from each other the complex and the simplex.

The whole question is discussed very fully and ably by A. F. Möbius in the memoir “Ueber die Grundformen der Linien dritter Ordnung” (Abh. der K. Sachs. Ges. zu Leipzig, t. i., 1852). The author considers not only plane curves, but also cones, or, what is almost the same thing, the spherical curves which are their sections by a concentric sphere. Stated in regard to the cone, we have there the fundamental theorem that there are two different kinds of sheets; viz., the single sheet, not separated into two parts by the vertex (an instance is afforded by the plane considered as a cone of the first order generated by the motion of a line about a point), and the double or twin-pair sheet, separated into two parts by the vertex (as in the cone of the second order). And it then appears that there are two kinds of non-singular cubic cones, viz. the simplex, consisting of a single sheet, and the complex, consisting of a single sheet and a twin-pair sheet; and we thence obtain (as for cubic curves) the crunodal, the acnodal and the cuspidal kinds of cubic cones. It may be mentioned that the single sheet is a sort of wavy form, having upon it three lines of inflection, and which is met by any plane through the vertex in one or in three lines; the twin-pair sheet has no lines of inflection, and resembles in its form a cone on an oval base.

In general a cone consists of one or more single or twin-pair sheets, and if we consider the section of the cone by a plane, the curve consists of one or more complete branches, or say circuits, each of them the section of one sheet of the cone; thus, a cone of the second order is one twin-pair sheet, and any section of it is one circuit composed, it may be, of two branches. But although we thus arrive by projection at the notion of a circuit, it is not necessary to go out of the plane, and we may (with Zeuthen, using the shorter term circuit for his complete branch) define a circuit as any portion (of a curve) capable of description by the continuous motion of a point, it being understood that a passage through infinity is permitted. And we then say that a curve consists of one or more circuits; thus the right line, or curve of the first order, consists of one circuit; a curve of the second order consists of one circuit; a cubic curve consists of one circuit or else of two circuits.

A circuit is met by any right line always in an even number, or always in an odd number, of points, and it is said to be an even circuit or an odd circuit accordingly; the right line is an odd circuit, the conic an even circuit. And we have then the theorem, two odd circuits intersect in an odd number of points; an odd and an even circuit, or two even circuits, in an even number of points. An even circuit not cutting itself divides the plane into two parts, the one called the internal part, incapable of containing any odd circuit, the other called the external part, capable of containing an odd circuit.