[go: up one dir, main page]

4 Elementary FunctionsTrigonometric Functions

§4.21 Identities

Contents
  1. §4.21(i) Addition Formulas
  2. §4.21(ii) Squares and Products
  3. §4.21(iii) Multiples of the Argument
  4. §4.21(iv) Real and Imaginary Parts; Moduli

§4.21(i) Addition Formulas

4.21.1 sin⁡u±cos⁡u=2⁢sin⁡(u±14⁢π)=±2⁢cos⁡(u∓14⁢π).
4.21.1_5 A⁢cos⁡u+B⁢sin⁡u=A2+B2⁢cos⁡(u−ph⁡(A+B⁢i)),
A,B∈ℝ,
4.21.2 sin⁡(u±v) =sin⁡u⁢cos⁡v±cos⁡u⁢sin⁡v,
4.21.3 cos⁡(u±v) =cos⁡u⁢cos⁡v∓sin⁡u⁢sin⁡v,
4.21.4 tan⁡(u±v) =tan⁡u±tan⁡v1∓tan⁡u⁢tan⁡v,
4.21.5 cot⁡(u±v) =±cot⁡u⁢cot⁡v−1cot⁡u±cot⁡v.
4.21.6 sin⁡u+sin⁡v =2⁢sin⁡(u+v2)⁢cos⁡(u−v2),
4.21.7 sin⁡u−sin⁡v =2⁢cos⁡(u+v2)⁢sin⁡(u−v2),
4.21.8 cos⁡u+cos⁡v =2⁢cos⁡(u+v2)⁢cos⁡(u−v2),
4.21.9 cos⁡u−cos⁡v =−2⁢sin⁡(u+v2)⁢sin⁡(u−v2).
4.21.10 tan⁡u±tan⁡v =sin⁡(u±v)cos⁡u⁢cos⁡v,
4.21.11 cot⁡u±cot⁡v =sin⁡(v±u)sin⁡u⁢sin⁡v.

§4.21(ii) Squares and Products

4.21.12 sin2⁡z+cos2⁡z=1,
4.21.13 sec2⁡z=1+tan2⁡z,
4.21.14 csc2⁡z=1+cot2⁡z.
4.21.15 2⁢sin⁡u⁢sin⁡v=cos⁡(u−v)−cos⁡(u+v),
4.21.16 2⁢cos⁡u⁢cos⁡v=cos⁡(u−v)+cos⁡(u+v),
4.21.17 2⁢sin⁡u⁢cos⁡v=sin⁡(u−v)+sin⁡(u+v).
4.21.18 sin2⁡u−sin2⁡v =sin⁡(u+v)⁢sin⁡(u−v),
4.21.19 cos2⁡u−cos2⁡v =−sin⁡(u+v)⁢sin⁡(u−v),
4.21.20 cos2⁡u−sin2⁡v =cos⁡(u+v)⁢cos⁡(u−v).

§4.21(iii) Multiples of the Argument

4.21.21 sin⁡z2=±(1−cos⁡z2)1/2,
4.21.22 cos⁡z2=±(1+cos⁡z2)1/2,
4.21.23 tan⁡z2=±(1−cos⁡z1+cos⁡z)1/2=1−cos⁡zsin⁡z=sin⁡z1+cos⁡z.

In (4.21.21)–(4.21.23) Table 4.16.1 and analytic continuation will assist in resolving sign ambiguities.

4.21.24 sin⁡(−z) =−sin⁡z,
4.21.25 cos⁡(−z) =cos⁡z,
4.21.26 tan⁡(−z) =−tan⁡z.
4.21.27 sin⁡(2⁢z)=2⁢sin⁡z⁢cos⁡z=2⁢tan⁡z1+tan2⁡z,
4.21.28 cos⁡(2⁢z)=2⁢cos2⁡z−1=1−2⁢sin2⁡z=cos2⁡z−sin2⁡z=1−tan2⁡z1+tan2⁡z,
4.21.29 tan⁡(2⁢z)=2⁢tan⁡z1−tan2⁡z=2⁢cot⁡zcot2⁡z−1=2cot⁡z−tan⁡z.
4.21.30 sin⁡(3⁢z) =3⁢sin⁡z−4⁢sin3⁡z,
4.21.31 cos⁡(3⁢z) =−3⁢cos⁡z+4⁢cos3⁡z,
4.21.32 sin⁡(4⁢z) =8⁢cos3⁡z⁢sin⁡z−4⁢cos⁡z⁢sin⁡z,
4.21.33 cos⁡(4⁢z) =8⁢cos4⁡z−8⁢cos2⁡z+1.

De Moivre’s Theorem

When n∈ℤ

4.21.34 cos⁡(n⁢z)+i⁢sin⁡(n⁢z)=(cos⁡z+i⁢sin⁡z)n.

This result is also valid when n is fractional or complex, provided that −π≤ℜ⁡z≤π.

4.21.35 sin⁡(n⁢z)=2n−1⁢∏k=0n−1sin⁡(z+k⁢πn),
n=1,2,3,….

If t=tan⁡(12⁢z), then

4.21.36 sin⁡z =2⁢t1+t2,
cos⁡z =1−t21+t2,
dz =21+t2⁢dt.

§4.21(iv) Real and Imaginary Parts; Moduli

With z=x+i⁢y

4.21.37 sin⁡z=sin⁡x⁢cosh⁡y+i⁢cos⁡x⁢sinh⁡y,
4.21.38 cos⁡z=cos⁡x⁢cosh⁡y−i⁢sin⁡x⁢sinh⁡y,
4.21.39 tan⁡z=sin⁡(2⁢x)+i⁢sinh⁡(2⁢y)cos⁡(2⁢x)+cosh⁡(2⁢y),
4.21.40 cot⁡z=sin⁡(2⁢x)−i⁢sinh⁡(2⁢y)cosh⁡(2⁢y)−cos⁡(2⁢x).
4.21.41 |sin⁡z|=(sin2⁡x+sinh2⁡y)1/2=(12⁢(cosh⁡(2⁢y)−cos⁡(2⁢x)))1/2,
4.21.42 |cos⁡z|=(cos2⁡x+sinh2⁡y)1/2=(12⁢(cosh⁡(2⁢y)+cos⁡(2⁢x)))1/2,
4.21.43 |tan⁡z|=(cosh⁡(2⁢y)−cos⁡(2⁢x)cosh⁡(2⁢y)+cos⁡(2⁢x))1/2.