Na demonstração acima provamos que [i]sen(a-b[/i])=[i]sen(a).cos(b) -sen(b).cos(a)[br][/i]Tomando [b]b=-d[/b] e substituindo teríamos que[br][br][i]*sen(a+d)=sen(a)cos(-d) -sen(-d)cos(a)[br][/i][br]Mas[b] a função seno é uma função ímpar[/b], portanto [i]sen(-d)= -sen(d)[br][/i]e [b]a função cosseno é uma função par[/b], portanto [i]cos(-d)=cos(d)[br][br][/i]substuindo em *[br][i]sen(a+d)=sen(a).cos(d) + sen(d).cos(a) [/i][u]Desta forma também demonstramos a soma de seno.[br][br][/u]Ainda assim, faremos uma demonstração utilizando o Teorema de Ptolomeu.