‘Suma de dngulos sin{at S)yeos(a +9) Para demostrare! seno y el coseno de la sum de dos angulos harémos uso de los nmeros complejos. Para lo denotemos los dos siguientes: El producto de dos nimeros complejos en forma polar se define coms el producto de sus médulos sub Is suina de sus argurrentos. Asimismo: = la ly lave Si exoresamos este ntimera complejo en forma binémica mediante ls férmula d= Moivre tenemos que: lata = cos(er +3) + isin +9) De ls misma forma podemos expresar ambos nimeros za y 22 en su forma bindiica y hacer dicho producto: Sry. mB tg El producto entonces sequiris como: 12 = (ous{a) + isin(a))(eos() + isin(9)) = 3} + tens(a}sin( 3) + tsin(a)eos(3) — #sin(a)sin(A) = eos(a) Nota que i? = —1. ahora si smpificamos y separamos parte real de imaginaria tenemos que = cos(a}09(3) — sin(a)sin(s) + i(sin(a)eos( 3] + sin(a)cos(a)) Joss = cosla +9) + isin(a + 9) iar N Haoakahensta) = cos(eas Neos(a)) [Asi que igualando ests dos identidades; la parte real con la realy la imaginaria con la imaginaria tenemos que: Cédigo de la formula: tanfo + 9). \oxod{si( alpha \beta)=zn(\apha}coe(beta}+sn(\ootacoealpha)) ‘Como Ia tangente do un Sngulo se define come ol cociento entra el seno y el coseno de ese mismo sngulo, podemos decir que: sin(a+ 3) ante B= eB) site(a)eoa(3) + sin(B)eas(a) tomo +9) = a)cos(a) — sin(a)sin(s) Ahora dividimos, tanto el numerador como el denominador, por ens (ie}e0s((3). Y se nos queda en lo siguiente: (smicieei) + (sues) cos(a}eosi3}) * \ cos(a)eos(3)(se) - (st) (st) Grae) tan(a) + tani) tan(o +6 Resta de éngulos sin{ar— 8)y eos(a ~ 9) Para demostrar estas dos identidades sclo tenemos que uttlizar las identidades de le suma de éngulos del ‘sen0 y conseno y veremos camo las signas cambian solos: sin(a — 8) = sin(a + (-3)) = sin(a)cos(—8) + sin(—8)cos(a) sin{a— S)sin{a)cos(3) — sin()cos(a) co8(a — 8) = eos(a + (—9)) = eos(ajeos(—2) — sin(a)sin(—3) tan(a~ 8) Para hacer la tangente de la resta de dos dngulos hacemos lo mismo que hicmos con el seno y coseno; ssustituimos en la ecuacién de la suma de Sngulos de la tengente: _ tan(a) + tan(—3) tan(a — 8) = tana + (—8)) = Tr rncalean(—3) tan(a) — tan(3) tan) ~ TS ranfayian(3)