Demonstrao Algbrica das Frmulas de Soma e Subtrao dos Arcos Trigonomtricos.

Rodrigo R. Gonalez
ABSTRACT: Due to the great difficulty by the students of Basic Education in understanding the demonstration of such relationships by rotating the Cartesian Axes, thought to be important to conduct such a demonstration using tools that are simpler and principle common to High School students: Law of Cosines and the Pythagorean Theorem. Here's the proposal.

1. Introduo. Devido grande dificuldade por parte dos alunos da educao bsica em compreender a demonstrao de tais relaes mediante a rotao dos eixos cartesianos, pensei ser importante realizar tal demonstrao utilizando ferramentas que a princpio so mais simples e comuns a alunos do Ensino Mdio: Lei dos Cossenos e o Teorema de Pitgoras. Eis a proposta. 2. O Ciclo Trigonomtrico e Relaes Algbricas em Tringulos. Seja o ciclo trigonomtrico de raio unitrio OA OB 1, conforme figura abaixo.

Figura 1.

Temos as seguintes relaes:

sen

b ; cos

a ; sen (

) d ; cos(

) c (I )

Seja o tringulo OAB conforme a figura abaixo. Vemos claramente que se trata de um tringulo issceles, pois OA OB 1. Chamemos o segmento AB x . Vamos aplicar a Lei dos Cossenos a esse tringulo em relao ao ngulo .

Figura 2.

( AB) (OA) (OB) 2 (OA) (OB) cos x 1 1 2.1.1.cos x 2 2.cos ( II )

Tomemos agora o tringulo CAB , o qual retngulo em C . Pela figura, observamos que a hipotenusa do tringulo x , e os catetos medem respectivamente, AC a c e BC d b :

Figura 3. Vamos aplicar o Teorema de Pitgoras neste tringulo:

( AB) ( AC) ( BC) x (a c) (d b) x a 2.a.c c d 2.b.d b x a b c d 2.a.c 2.b.d

De (I), podemos fazer:

x a b c d 2.a.c 2.b.d x cos sen cos ( ) sen(

) 2.cos .cos cos 1

2.sen .sen

Da relao fundamental da trigonometria : sen x [cos sen ] [cos ( ) sen( x 1 1 2.cos .cos( ) 2.sen .sen ( x 2 2.cos .cos(

)] 2.cos .cos( ) ) ( III )

) 2.sen .sen (

) 2.sen .sen (

Agora, basta fazermos a intercesso de (II) e (III):

2 2.cos 2.cos cos

2 2.cos .cos( 2.cos .cos(

) 2.sen .sen ( ) 2.sen .sen ( ) )

) . 1 2

cos .cos(

) sen .sen ( cos ( ).

Sabemos que cos Seja ( ) ( cos [ Podemos fazer

). Logo : ( e (1) cos( )] cos .cos( . Ento : ) cos .cos sen . sen ) sen . sen ( )

Eis a primeira relao. Para encontrarmos as demais relaes, vamos apenas fazer algumas substituies nos prprios ngulos dados.

3. Obtendo as demais relaes por substituio de arcos.

Substituindo em (1)

por

, temos:

cos[

)] cos .cos(

) sen . sen( )

) sen . Ento : sen . sen

Sabemos que cos(

) cos e sen( (2) cos(

) cos .cos
por

Vamos, agora, substituir em (1)

. Temos:

cos

cos

.cos

sen

. sen

Mas, sabemos que :

cos

sen

sen

cos

Essas relaes so facilmente demonstradas em tringulos retngulos. Fazendo :

cos

cos

cos

sen (

Ento : (3) sen ( ) sen .cos sen .cos

Agora, basta substituirmos em (3)

por

sen y

sen .cos(

) sen( ) cos )

).cos e sen( sen .cos ) sen . Logo :

Novamente, temos que cos( (4) sen (

sen .cos

Eis, assim, as quatro relaes em termos do seno e do cosseno da soma e da diferena de dois arcos:

(1) cos ( (2) cos ( (3) sen ( (4) sen (

) cos cos ) cos cos ) ) sen sen

5

sen sen

sen sen

cos cos

sen cos sen cos


Podemos, atravs dessas quatro relaes, obter todas as demais. Por exemplo, a tangente da soma e a tangente da diferena dos arcos.

tg (

sen ( cos(

) )

sen .cos cos .cos

sen .cos sen .sen

Dividindo o numerador e o denominador por cos .cos :

tg (

sen cos cos cos

.cos .cos .cos .cos

sen cos sen cos

.cos .cos . sen .cos

sen sen cos cos sen sen 1 . cos cos tg tg 1 tg .tg

tg tg 1 tg .tg

tg (

Da mesma forma, obtemos : tg tg 1 tg .tg

tg (

BIBLIOGRAFIA CARMO, Manfredo P., MORGADO, Augusto C., WAGNER, Eduardo. Trigonometria e os Nmeros Complexos. Coleo do Professor de Matemtica, 3 ed.. Rio de Janeiro. Sociedade Brasileira de Matemtica, 1993.