t = cos(x)  dt = - sen(x)dx

Observação 6.2: Outra forma de calcular as integrais 1) 2) e 3) é usando as fórmulas

que deduziremos a seguir a partir das fórmulas da soma e subtração de seno e cosseno
de dois arcos.

sen(mx + nx) = sen(mx)cos(nx) + sen(mx)cos(nx) (a)

sen(mx - nx) = sen(mx)cos(nx) - sen(mx)cos(nx) (b)

De (a) + (b) temos

sen(mx + nx) + sen(mx - nx) =2.sen(mx)cos(nx)

 sen(mx)cos(nx) = [sen((m + n)x) + sen((m – n)x)]/2

cos(mx + nx) = cos(mx)cos(nx) - sen(mx)sen(nx) (a)

cos(mx - nx) = cos(mx)cos(nx) + sen(mx)sen(nx) (b)

De (a) + (b) temos

cos(mx + nx) + cos(mx - nx) = 2. cos(mx)cos(nx)

 cos(mx)cos(nx) = [cos((m + n)x) + cos((m– n)x)]/2

Ainda de (b) - (a) temos

cos(mx - nx) - cos(mx + nx) = 2. sen(mx)sen(nx)

 sen(mx)sen(nx) = [cos((m - n)x) - cos((m + n)x)]/2

sen(2x + 3x) = sen(2x)cos(3x) + sen(3x)cos(2x) (a)

sen(2x - 3x) = sen(2x)cos(3x) - sen(3x)cos(2x) (b)

De (a) + (b) temos

sen(2x + 3x) + sen(2x - 3x) =2.sen(2x)cos(3x) 

 sen(2x)cos(3x) = [sen(5x) + sen(-x)]/2 = [sen(5x) - sen(x)]/2