Nestas notas apresentaremos as frmulas da geometria plana para o clculo da rea de um tringulo e de um quadriltero cclico (inscrito numa circunferncia)

em funo do comprimento de seus lados e de seu semipermetro. Para o tringulo esta conhecida como a frmula de Heron de Alexandria, embora escritores rabes afirmem que esta foi descoberta por Arquimedes. Para os quadrilteros cclicos h uma generalizao natural da frmula de Heron, to importante, que considerada como a mais notvel descoberta da geometria hindu, feita por BRAHMAGUPTA. Originalmente a prova de Brahmagupta faz uso do conhecido Teorema de Ptolomeu para quadrilteros cclicos. Aqui, estas duas frmulas so deduzidas, elementarmente, da Lei dos co-senos para um tringulo.

Seja ABC um tringulo cujos lados medem a, b e c indicados na figura abaixo, ento a medida da rea deste tringulo dada pela frmula:
S= p( p a )( p b)( p c)

onde p =

________________________________________________________________________________ O autor agradece o apoio pesquisa da Universidade Estadual de Maranho (UEMA) e o saudvel ambiente de trabalho do DEMATI-CECEN

x APPi)Diyw

v qtiu igrqpiEag de 5b` YW h tsa h f caX

1 ( a + b + c) o semi-perimetro do ABC . 2
B a h c C b A

U S Q IH C F 8 C 4 846 &42 1 0 (&$ VTRPG2 DECD%B A@93)7'53$ !)'%# "        !

Todos sabem que a rea de um tringulo calculada pela frmula 1 S = bh. Nas condies aqui tratadas sabemos que a altura relativa ao lado CA 2 dada por h = a senC , donde podemos escrever para a rea: S= 1 ab senC (*) 2

tambm muito conhecida a Lei dos co-senos para um tringulo. E, pela figura acima, esta pode ser escrita como: c 2 = a 2 + b 2 2ab cos C (**) Com efeito, elevando ao quadrado S na expresso (*) temos que: 4 S 2 = a 2 b 2 sen 2 C = a 2 b 2 (1 cos 2 C ) = ab(1 cos C ) ab(1 + cos C ) = = (ab ab cos C )(ab + ab cos C ) Multiplicando este ltimo resultado por 4, obtemos: 16 S 2 = (2ab 2ab cos C )(2ab + 2ab cos C ) no qual podemos completar quadrados e adequar os fatores para o uso da Lei dos co-senos (**) temos:
16S 2 = [a 2 b 2 + 2ab + a 2 + b 2 2ab cosC][a 2 + b 2 + 2ab a 2 b 2 + 2ab cosC] = = [(a b) 2 + c 2 ][(a + b) 2 c 2 ] = [c 2 (a b) 2 ][(a + b) 2 c 2 ]

fatorando as diferenas de quadrados, podemos escrever: 16 S 2 = (c + a b)(c a + b)(a + b + c)(a + b c) = (a + b + c)(a + b + c)(a b + c)(a + b c) Aonde, dividindo por 16: 1 1 1 1 S 2 = (a + b + c) (a + b + c 2a ) (a + b + c 2b) (a + b + c 2c) 2 2 2 2

f e d g3P

Portanto: 1 1 1 1 S 2 = (a + b + c) ( a + b + c) a (a + b + c) b ( a + b + c) c 2 2 2 2 1 substituindo o semi-permetro p = (a + b + c), conclumos que: 2 S = p( p a )( p b)( p c) , a conhecida frmula de Heron. De uma certa analogia da frmula acima demonstrada deduzimos, a seguir, o resultado principal destas notas.

A medida da rea de um quadriltero cclico de lados a, b, c, d cujo semipermetro denotado por p a seguinte: K = ( p a )( p b)( p c)( p d )
D

Os seguintes fatos elementares so considerados na prova: I. Seja um quadriltero tal que seus ngulos opostos internos sejam suplementares: na figura temos B + D = 180 (esta relao vale para os quadrilteros cclicos). As reas dos tringulos S1 e S 2 so dadas pelas relaes: 1 1 S1 = ab senB e S 2 = cd senD 2 2

II.

ml k i x bhPjPrP!g)hg!byg
onde p =
d A a b B x C c

1 (a + b + c + d ) 2 1 ( p a) = ( a + b + c + d ) 2 1 ( p b) = ( a b + c + d ) 2 1 ( p c) = (a + b c + d ) 2 1 ( p d ) = (a + b + c d ) 2

III.

A diagonal x, indicada na figura anterior, pela Lei dos co-senos aplicada aos tringulos S1 e S 2 verifica a relao: a 2 + b 2 2ab cos B = x 2 = c 2 + d 2 2cd cos D

De I. obtemos que cos( B + D) = 1, que implica a igualdade senB senD = 1 + cos B cos D (*). Com efeito, seja K a medida da rea do quadriltero cclico dada por: K = S1 + S 2 , Substituindo II. Obtemos a igualdade 2 K = ab senB + cd senD . Elevando ao quadrado obtemos: 4 K 2 = a 2 b 2 sen 2 B + 2 abcd senB senD + c 2 d 2 sen 2 D substituindo (*) no produto de senos temos: 4 K 2 = a 2 b 2 (1 cos 2 B) + 2abcd (1 + cos B cos D) + c 2 d 2 (1 cos 2 D) ou melhor,
4K 2 2 2 2 2 2 2 = a b (1 cos B ) + abcd (1 + cos B cos D ) + abcd (1 + cos B cos D ) + c d (1 cos D )

Multiplicando, adequadamente, por 4 os dois membros, 16K 2 = 2[ab (1 cos B) + cd (1 + cos D)] 2 [ab (1 + cos B) + cd (1 cos D)] 16K 2 = [2ab cos B 2ab 2cd cos D 2cd][2ab cos B + 2ab + 2cd cos D 2cd cos D] Substituindo a relao III. obtemos: 16 K 2 = [a 2 + b 2 2ab (c 2 + d 2 ) 2cd ][a 2 + b 2 + 2ab (c 2 + d 2 ) + 2cd ] 16 K 2 = [(a b) 2 (c + d ) 2 ][(a + b) 2 (c d ) 2 ] 16 K 2 = [(a b) (c + d )][(a b) + (c + d )][(a + b) (c d )][(a + b) + (c d )] por tanto temos que: 1 1 1 1 K 2 = (a + b + c + d ) ( a b + c + d ) (a + b c + d ) (a + b + c d ) 2 2 2 2 da, imediato ver que:

f e d g3P

4 K 2 = a 2 b 2 (1 cos B)(1 + cos B ) + ab (1 + cos D )cd (1 + cos B) + c 2 d 2 (1 cos D )(1 + cos D )

K 2 = ( p a )( p b)( p c)( p d ) permitindo concluir que, K = ( p a )( p b)( p c)( p d ) concluindo a prova. Como observao final, a frmula acima demonstrada no pode ser mais geral do que foi provado por BRAHMAGUPTA. De fato, a frmula vale exatamente para os quadrilteros cclicos. Em geral, se o quadriltero no for cclico, sua rea estritamente menor que ( p a )( p b)( p c)( p d ) , pois nesse caso senB senD < 1 + cos B cosD , o que pode ser usado como na prova acima para provar nossa afirmao.

E.W. Hobson, A Treatise on Plane Trigonometry (NY); Macmillan Company, 4a ed., (1902), pg. 204.

PA3gA pon