Let a, b, be the coordinates of a multiple point. It is clear that, since two or more branches pass through the point (a, b), there must be two or more values of y corresponding to the value a ±h of x, where h is indefinitely small, one value for each branch; and that when h = 0, that is, at the point (a, b), all these different values must become equal values; hence it appears that the equation f(a, y) = 0 must contain two or more values of y, each equal to b, and that therefore the equation f(a, y) = 0, its derivative, must (by the theory of equations) contain one or more roots, each equal to b. Similarly, the equation f(x, b) = 0 must contain two or more roots, each equal to a, and its derivative. f(x, b) = 0 must dx f(x, b) contain one or more roots, each equal to a. Hence the values of x and y, which correspond to a multiple point, must satisfy the equations

du

d

dy f(a, y)

du

du

0,

du

dy

d

where and are the partial differential coefficients of u dx dy

hence at a multiple point dy will present itself under the

indeterminate form

dx

Analytical Property of Cusps in Algebraical Curves.

116. The analytical property which we have established in the case of a multiple point holds good also in relation to cusps.

First, let us suppose that the tangent at the cusp is not parallel to either of the coordinate axes. Then it is evident that the very same reasoning is applicable to cusps as to multiple points, in consequence of the common feature which they possess, viz. that the value a+ h or a-h of x corresponds to more than one value of y, and the value b+ k or b-k of y to more than one value of x.

=

Secondly, let the tangent at the cusp be parallel to the axis of y. Then, when y b + k or b−k, x will have more than one value, and therefore, when k is equated to zero, and the values of x are thereby made equal to a, the equation ƒ(x, b) = 0 will have more than one value a of x. It follows, therefore, that at such

but = ∞, since the tangent is parallel to the axis of y; and

dy dx

Hence, at a cusp as well as a multiple point,

Analytical Property of Conjugate Points in Algebraical Curves.

117. The same property may be proved to hold good also for conjugate points.

Let (a, b) be the coordinates of a conjugate point. Then, when x = a+h, or y=b+k, h and k being very small quantities, the values of y and x respectively must, by the nature of a conjugate point, be impossible. But, as we know by the theory of

equations, impossible roots enter rational equations by pairs, and must therefore, on the alteration of the values of the coefficients, by pairs degenerate into possible ones. Hence, when we put = a, the equation f(a, y) = 0 must have at least two equal values b for y; and therefore, by the theory of

x

d

equations, the equation dyfa, y) = 0 must have one of these

d

roots. Similarly, the equations ƒ(x, b) = 0 and 1 f(x, b) = 0,

dx

must have at least one root a in common. Hence, for the existence of a conjugate point it is necessary that, as in the case of multiple points or cusps,

Determination of the Multiplicity and of the Directions of the Tangents at a Multiple Point.

be the equation to a curve free from radicals and negative indices, x1, y1, being the coordinates of any point whatever in the curve. Let (x, y) be a multiple point: then at this point we know that

Let x+h, y+k, be another point of the curve near to the multiple point: then, from (1), putting x+h, y + k, for x, y1, respectively, and expanding f(x+h, y + k) by Taylor's theorem, we have

Suppose that at the point in question the lowest partial differential coefficients of u, of which at any rate all do not vanish, are of the nth order; then the equation (3) is reduced to

Put h=λx', k = λy': then, dividing out by λ" and multiply

n, we get

Now in the limit when h: k:: dx dy, the quantity λ will become less than any assignable quantity, and therefore the equation will ultimately become

This equation, which is homogeneous in x' and y', is equivalent to n linear equations in x' and y', which will represent the tangents to the several branches of the curve, n in number, at the point (x, y), the point (x, y) being considered the origin of coordinates. Thus the degree of plurality of a multiple point is defined by the order of the lowest partial differential coefficients of u which do not vanish.

Ex. 1. To determine the multiplicity of the point x = 0, y = 0, in the curve

u = x* + y* — axy2 = 0.

du

dy

2ay = 0,

==

4x3 – ay2 = 0,

d'u

12x2

= 0,

dx dy

dy

=

=

12y2 - 2ax =

0,

Hence, for the determination of the tangents at the multiple point, which we see is a triple point, we have, substituting for the partial differential coefficients in the equation

which is equivalent to x = 0, and y22 = 0:

the former of which equations shews that the axis of y touches one branch of the curve, and the latter, that the tangents to two branches coincide with the axis of x. The form of the curve is exhibited in the diagram:

Ex. 2. To determine the multiple points of the curve

In this case

(y3 − 1)2 = x2 (2x + 3).

u = (y2 – 1)3 – x3 (2x + 3) = 0,

and, as conditions for a multiple point,