md a»-f<a+oh, b+ok)=[(/.§ c+k%>"f(x, y)]z L A
+9 ry-b+0k

The last expression is the remainder after n terms, and in it 0 denotes some particular number between 0 and I. The results for three or more variables can be written in the same form. The extension of Taylor's theorem was given by Lagrange (1797); the form written above is due to Cauchy (1823). For the validity of the theorem in this form it is necessary that all the differential coefficients up to the nth should be continuous in a region bounded by x=a=I=h, y=b=*=k. When all the differential coefficients, no matter how high the order, are continuous in such a region, the theorem leads to an expansion of the function in a multiple power series. Such expansions are just as important in analysis, geometry, and mechanics as expansions of functions of one variable. Among the problems which are solved by means of such expansions are the problem of maxima and minima for functions of more' than one variable (see MAXIMA and l/IINIMA

).

46. In treatises on the differential calculus much space is usually Mane devoted to the differential geometry of curves and am, es surfaces. A few remarks and results relating to the differential geometry of plane curves are set down here. (i,) If rp denotes the angle which the radius vector drawn from the origin makes with the tangent to a curve at a point whose polar coordinates are r, 0 and if p denotes the perpendicular from the origin to the tangent, then

cos p=dr/ds, sin ll/=7d0/dS=p/f,

where ds denotes the element of arc. The curve may be determined by an equation connecting p with r.

(ii) The locus of the foot of the perpendicular let fall from the origin upon the tangent to a curve at a point is called the pedal of the curve with respect to the origin. The angle l» for the pedal is the same as the angle ip for the curve. Hence the (p, r) equation of the pedal can be deduced. If the pedal is regarded as the primary curve, the curve of which it is the pedal is the “ negative pedal " of the primary. We may have pedals of pedals and so on, also negative pedals of negative pedals and so on. Negative pedals are usually determined as envelopes.

(iii.) If ¢ denotes the angle which the tangent at any point makes with a fixed line, we have

(iv.) The average curvature " of the arc As of a curve between T' = P'+(<i1>/d¢)”two

points is measured by the quotient

|921

As I

where the upright lines denote, as usual, that the absolute value of the included expression is to be taken, and 4> is the angle which the tangent makes with a fixed line, so that A4> is the angle between the tangents (or normals) at the points. As one of the points moves up to coincidence with the other this average curvature tends to a limit which is the " curvature " of the curve at the point. It is denoted by

ds

Vfil

Sometimes the upright lines are omitted and a rule of signs is iven:- Let the arc s of the curve be measured from some point along tuhe curve in a chosen sense, and let the normal be drawn towards that side to which the curve is concave; if the normal is directed towards the left of an observer looking along the tangent in the chosen sense of description the curvature is reckoned positive, in the contrary case negative. The differential d4> is often called the “angle of continence." in the 14th century the size of the angle between a curve and its tangent seems to have been seriously debated, and thelname " angle of continence " was then given to the supposed an e.

fv.) The curvature of a curve at a point is the same as that of a certain circle which touches the curve at the point, and the “ radius of curvature" p is the radius of this circle. We have 5-The centre of the circle is called the " centre of curvature "; it is the limiting position of the point of intersection of the normal at the point and the normal at a neighbouring point, when the second point moves up to coincidence with the first. If a circle is described to intersect the curve at the point P and at two other points, and one of these two points is moved up to coincidence with P, the circle touches the curve at the point P and meets it in another point; the centre of the circle is then on the normal. As the third point now moves up to coincidence with P, the centre of the circle moves to the centre of curvature. The circle is then said to “ osculate ” the curve, or to have “ contact of the second order ” with it at P. (vi) The following rare formulae for the radius of curvature:- x dy) 2 %-idk

p llI+(dx dx2

dr dgp

" l'd1>l"lp+d¢*

li

(vii.) The points at which the curvature vanishes are points of inflection." lf P is a point of inflection and Q a neighbouring point, then, as Q moves up to coincidence with P, the distance from P to the point of intersection of the normals at P and Q becomes greater than any distance that can be assigned. The equation which gives the abscissae of the points in which a straight line meets the curve being expressed in the form f(x) =0, the function f(x) has a factor (x-x0)“, where xo is the abscissa of the point of inflection P, and the line is the tangent at P. When the factor (x—xo) occurs (n-l-1) times in f(x), the curve is said to have “ contact of the nth order ” with the lilrie. Thcire is an obvious modification when the line is parallel to t e axis o y.

(viii.) The locus of the centres of curvature, or envelope of the normals, of a curve is called the “ evolute." A curve which has a given curve as evolute is called an “ involute ” of the given curve. All the in volutes are “ parallel ” curves, that is to say, they are such that one is derived from another by marking off a constant distance along the normal. The in volutes are “ orthogonal trajectories ” of the tangents to the common evolute.

(ix.) The equation of an algebraic curve of the nth degree can be expressed in the form u0+1l1+u2+ . +u, ,= 0, where no is a cpnsltantla alnd u, is svliomolgeneous rational integral function of x, y o the rt egree. ien the origin is on the curve, ug vanishes, and ui =0 represents the tangent at the origin. If ul also vanishes, the origin is a double point and 142 =o represents the tangents at the origin. If u, has distinct factors, or is of the form a(y-p1x)(y-pgx)-, the value of y on either branch of the curve can be expressed (for points sufficiently near the origin) in a power series, which is either p1x+§ q, x'+ . ., or pzx-l-§ q2x'+ . .,

where qi, . .and qi, are determined without ambiguity. If pl and p2 are real the two branches have radii of curvature pi, pi determined by the formulae

5;= (I 'l'P12);q1l, i=I(I'i'P22)'g qz .

When pr and pg are imaginary the origin is the real oint of intersection of two imaginary branches. In the real figure of) the curve it is an isolated point. If ug is a square, a(y-px)', the origin is a cusp, and in general there is not a series for y in integral powers of x, which is valid in the neighbourhood of the origin. The further investigation of cusps and multiple points belongs rather to analytical geometry and the theory of algebraic functions than to differential calculus. (x.) When the equation of a curve is given in the form u0+u1+ +u, , 1-|»u, ,=o where the notation is the same as that in (ix.), the factors of u., determine the directions of the asymptotes. If these factors are all real and distinct, there is an asymptote corresponding to each factor. If u, ,=L1L2 . L, ., where L1, . . . are linear in x, y, we may resolve un-, /un into partial fractions according to the formula A A

un-1 1 A2 n

un L1+L2+. ' '+R

and then L1-{-A, =O, L2-I-A2=0, . . are the equations of the asymptotes. When a real factor of u, , is repeated we may have two parallel asymptotes or we may have a “ parabolic asymptote.”' Sometimes the parallel asymptotes coincide, as in the curve x2(x2-l-y”-a') =a', where x = 0 is the only real asymptote. The whole theory of asymptotes belongs properly to analytical geometry and the theory of algebraic functions.

47. The formal definition of an integral, the theorem of the existence of the integral for certain classes of functions, a list of classes of “ integrable " functions, extensions of the notion Integral of integration to functions which become infinite or in- “k, uIus determinate, and to cases in which the limits of integration become infinite, the definitions of multiple integrals, and the possibility of defining functions by means of definite integrals-all these matters have been considered in FUNCTION. The definition of integration has been explained in § 5 above, and the results of some of the simplest integrations have been given in § 12. A few theorems relating to inte rations have been noted in §§ 34, 35, 36 above. 48. The chief methods for the evaluation of indefinite Methods of integrals are the method of integration by parts, and the, me “Iam introduction of new variables. g gr

From the equation d(uv) =ud'v +vdu we deduce the equation u@ dx = uv - 11% dx

dx dx

or, as it may be written

uwdx =uf'wdx -fig; i fu/dx § dx.

This is the rule of “ integration by parts." < As an example we have

e“' e" x r

xe”dx =x- - —dx = <- -q) e'".

a a a a

When we introduce a new variable z in place of x, by means of an equation giving x in terms of z, we express f(x) in terms of z. Let ¢(z) denote the function of z into which f(x) is transformed. Then from the equation d

x

dx = Edz