f(0) = 0, f'(0) = 1, f'(x) = 9x (1 − x2) ̄‡ + 3.5 x3 (1 − x2) -3, The general derived-function is of too complicated a form to But sin-1 may be more easily expanded by the following artifice, which adapts itself to those functions of which a de rived-function assumes an algebraical form. Differentiating equation (8), Art. 57, we have ƒ'(x) = ƒ'′(0) +ƒ”(0)} +ƒ'”''(0) +f" (0) x2 x3 + 1.2 ...... 1.2.3 whence, equating coefficients of the same power of x in the cos-1, tan-1x, log (1+x), are other functions which may be conveniently expanded by this method; and which the student is recommended to apply the process to. 60.] As many properties of some series which have been expanded in the last article will be required in the sequel of the Treatise, it is most convenient to introduce them here, though they may more properly be considered to belong to analytical trigonometry. By an imaginary or impossible quantity is meant, one of the form, a+b√=1; (23) a and b being symbols of positive or negative possible quantities, and the symbol -1 being that, which, when squared, is equal to -1. Two such expressions, which differ only in the sign of √1, are said to be conjugate to each other; thus a+b√1 and a-b√-1 are called conjugate imaginary expressions; and it is to be observed, that the product of two such conjugate expressions, viz. (a + b √−1) (a−b √ −1) = a2 + b2. (24) Now such an expression as (23) may always be put under the form r (cos +1 sin 0); (25) in which caser is called the modulus of the expression a+b√1. For let and as a and b are possible quantities, a2+b2 is a positive quantity, and therefore r is possible; and as tan 0 passes through all values, from -∞ through 0 to +∞ as increases from π π 2 to +, whatever are the relative signs and magnitudes of a and b, there is always some angle between – and which π π 2 2 therefore the substitutions made for a and b are possible, and therefore a+b√-1 may always be put in the form r (cos + √√—I sin 0). Also, 61.] In series (15), Art. 59, successively write for x, x 2(1– + - ...) 1.2 1.2.3.4 = 2 cos x, by (17), Art. 59; ex√=I_e−x√=I = 2 √√ −1(x-1.2.3 2-1 sin x, by (16), Art. 59; (29) X3 x5 + 1.2.3.4.5 ...) = (30) and taking the Napierian logarithms of both sides of the equation, we have 2x√1 = log (1+√1 tan x) - log (1-√-1 tan x) the series being expanded by equation (18), Art. 59; whence, equating impossible parts, and dividing both sides by 2√-1, we have which is a series useful for the calculation of π. Again, by equation (31), but + √1 (cos x sin y + cos y sin x), (35) e(x+y)= cos (x + y) + √1 sin (x+y); (36) wherefore, equating the possible and impossible parts of the equal quantities (35) and (36), we have the fundamental trigonometrical formulæ, cos (x + y) = cos x cos y sin x sin y, (37) (38) Again, (cos x + √−1 sin x) (cos y + √−1 sin y) (cos z + √−1 sin z)...... = ex√ =1 xey√=1 × e2 √−1...... = ex+y+z+. = cos(x+y+z+...) + √−1 sin (x+y+z+...)...; (39) whence, if x = y = z = ... to m quantities, (cos x + √−1 sin x) = cos mx + √−1 sin mx ; in a similar way it may be shewn that (cos x - √1 sin x)TM and therefore generally, = cos m x √1 sin mx; (cos + √1 sin x)m = cos mx ± √−1 sin mx ; (40) which is De Moivre's Theorem. By these processes therefore the multiplication of a series of factors of the form cos x + √1 sin x, and therefore of all imaginary expressions, is reduced to the addition of the arcs under the circular functions; and the involution of such quantities to the multiplication of the arcs. 62.] Equivalent expression of (cos x)", in terms of the cosines of the multiple arcs. To abbreviate the notation, let us substitute as follows: |