Page:Encyclopædia Britannica, Ninth Edition, v. 6.djvu/761

CURVE 725 the same circuit, or else touches the curve in two imaginary points, the number of the double tangents of the first kind of a non-singular quartic is = 4 ; it follows that the quartic has at most 8 real inflexions. The forms of the non- singular quartics are very numerous, but it is not necessary to go further into the question. We may consider in relation to a curve, not only the line infinity, but also the circular points at infinity ; assuming the curve to be real, these present themselves always con jointly ; thus a circle is a conic passing through the two circular points, and is thereby distinguished from other conies. Similarly a cubic through the two circular points is termed a circular cubic ; a quartic through the two points is termed a circular quartic, and if it passes twice through each of them, that is, has each of them for a node, it is termed a bicircular quartic. Such a quartic is of course binodal (m = 4, 8-= 2, * = 0) ; it has not in general, but it may have, a third node, or a cusp. Or again, we may have a quartic curve having a cusp at each of the circular points : such a curve is a " Cartesian," it being a complete definition of the Cartesian to say that it is a bicuspidal quartic curve (m = 4, 8 = 0, K = 2), having a cusp at each of the circular points. The circular cubic and the bicircular quartic, together with the Cartesian (being in one point of view a particular case thereof), are interesting curves which have been much studied, generally, and in reference to their focal properties. The points called foci presented themselves in the theory c f the conic, and were well known to the Greek geometers, but the general notion of a focus was first established by Pliicker (in the memoir " Ueber solche Puncte die bei Curven einer hoheren Ordnung den Brennpuncten der Kegelschnitte entsprechen " (Crelle, t. x., 1833). We may from each of the circular points draw tangents to a given curve ; the intersection of two such tangents (belonging of course to the two circular points respectively) is a focus. There will be from each circular point X tangents (X, a number depending on the class of the curve and its relation to the line infinity and the circular points, = 2 for the general conic, 1 for the parabola, 2 for a circular cubic, or bicircular quartic, &c.) ; the X tangents from the one circular point and those from the other circular point intersect in X real foci (viz., each of these is the only real point on each of the tangents through it), and in X 2 - X imaginary foci ; each pair of real foci determines a pair of imaginary foci (the so called antipoints of the two real foci), and the |X (X - 1) pairs of real foci thus determine the X 2 - X imagin ary foci. There are in some cases points termed centres, or singular or multiple foci (the nomenclature is unsettled), whichare the intersections of improper tangents from the two circular points respectively ; thus, in the circular cubic, the tangents to the curve at the two circular points respectively (or two imaginary asymptotes of the curve) meet in a centre. The notions of distance and of lines at right angles are connected with the circular points ; and almost every con struction of a curve by means of lines of a determinate length, or at right angles to each other, and (as such) mechanical constructions by means of liukwork, give rise to curves passing the same definite number of times through the two circular points respectively, or say to circular curves, and in which the fixed centres of the construction present themselves as ordinary, or as singular, foci. Thus the general curve of three bar-motion (or locus of the vertex of a triangle, the other two vertices whereof move on fixed circles) is a tricircular sextic, having besides three nodes ( m = 6, 8 = 3 + 3 + 3, =9), and having the centres of the fixed circles each for a singular focus ; there is a third singular focus, and we have thus the remarkable theorem (due to Mr S. Roberts) of the triple generation of the curve by means of the three several pairs of singular foci. Again, the normal, qua line at right angles to the tangent, is connected with the circular points, and these accordingly present themselves in the before-mentioned theories of evolutes and parallel curves. We have several recent theories which depend on the notion of correspondence : two points whether in the same plane or in different planes, or en the same curve or in different curves, may determine each other in such wise that to any given position of the first point there correspond a positions of the second point, and to any given position of the second point a positions of the first point ; the two points have then an (a,a ) correspondence ; and if a,a are each =1, then the two points have a (1, 1) or rational correspondence. Connecting with each theory the author s name, the theories in question are Eiemann, the rational transformation of a plane curve ; Cremona, the rational transformation of a plane ; and Chasles, correspondence of points on the same curve, and united points. The theory first referred to, with the resulting notion of Geschlecht, or deficiency, is more than the other two an essential part of the theory of curves, but they will all be considered. Riemann s results are contained in the memoirs on " Abelian Integrals," &c. (Crelle, t. liv., 1857), and we have next Clebsch, " Ueber die Singularitaten algebraischer Curven" (Crelle, t. kv., 1865), and Cayley, "On the Transformation of Plane Curves" (Proc. Loud. Math. Soc., t. L, 1865). The fundamental notion of the rational transformation is as follows : Taking u, X,Y,Z to be rational and integral functions (X,Y,Z all of the same order) of the coordinates (x,y,z), and u , X ,Y ,Z rational and integral functions (X ,Y ,Z all of the same order) of the coordinates (x ,y ,z r ), we transform a given curve -u O, by the equations x 1 : y : z 1 = X : Y : Z, thereby obtaining a transformed, curve u = 0, and a converse set of equations x : y: z = X : Y :Z ; viz., assuming that this is so, the point (x,y,z) on the curve u Q and the point (^ ,?/,z ) on the curve u will be points having a (1,1) correspondence. To show how this is, observe that to a given point (x,y,z) on the curve u~-Q there corresponds a single point (x .T/X) determined by the equations d :y :z -X:Y :Z ; from these equations and the equation u eliminating x,y,z, we obtain the equation u Q of the transformed curve. To a given point (x ,y ,z ) notonthe curve u there corresponds, notasingle point, but the system of points (x,y,z) given by the equations x r :y > ^.z = X : Y : Z, viz., regarding x ,^/,^ as constants (and to fix the ideas, assuming that the curves X = 0,Y = 0,Z = have no common inter sections), these are the points of intersection of the curves X : Y : Z y! : ij -.z 1 , but no one of these points is situate on the curve u = Q. If, however, the point (x ,y ,z ) is situate on the curve u =0, then one point of the system of points in question is situate on the curve u = 0, that is, to a given point of the curve u = Q there corresponds a single point of the curve w = ; and hence also this point must be given by a system of equations such as x : y :z-X. : Y : Z . It is an old and easily proved theorem that, for a curve of the order m, the number 8 + K of nodes and cusps is at most = (m - l)(m - 2) ; for a given curve the deficiency of the actual number of nodes and cusps below this maximum number, viz., |(m - !)(* - 2) - 8 - K, is the " Geschlecht," or " deficiency," of the curve, say this is = D. When D = 0, the curve is said to be unicursal, when = 1, bicursal, and so on. The general theorem is that two curves corresponding rationally to each other have the same deficiency. [In particular a curve and its reciprocal have this rational or (1,1) correspondence, and it has been already seen that a curve and its reciprocal have the same deficiency.] A curve of a given order can in general be rationally transformed into a curve of a lower order ; thus a curve of any order for which D = 0, that is, a unicursal ourye, can be transformed into a line ; a curve of any order having the deficiency 1 or 2 can be rationally transformed into a curve of the order D + 2, deficiency D ; and a curve of any order deficience = or >3 can be rationally transformed iutoacurve. of the order D + 3, deficiency D.

Taking x ,y , z as coordinates of a point of the transformed curve,