Re: [obm-l] Trigonometria X geometria "cearense"

[Faelccmm@xxxxxxx]

Ola pessoal,

Tenho algumas duvidas no corpo da mensagem. O proprio Fabio ou outro membro poderao responder


Em uma mensagem de 26/7/2003 15:25:51 Hora padr�o leste da Am. Sul, fabio.dias.moreira@terra.com.br escreveu:


> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> Em Saturday 26 July 2003 00:27, Korshinoi@aol.com escreveu:
> > Um quadril�tero convexo est� inscrito em uma circunfer�ncia de raio
> > unit�rio. Demonstre que a diferen�a entre seu per�metro e a soma de suas
> > diagonais � maior do que zero e menor do que dois.
> > [...]
>
> Para provar que a diferen�a � maior que zero, sejam a, b, c, d os lados do 
> quadril�tero e p, q suas diagonais. Ent�o, pela desigualdade trialgular,
>
> b + c > p
> a + d > p
> a + b > q
> c + d > q
>
> a + b + c + d > p + q
>
> Para provar a segunda parte, sejam A, B, C os �ngulos que v�em os lados a, b, 
> c do quadril�tero. Algumas leis dos senos mostram que � necess�rio e 
> suficiente provar que
>
> sen A + sen B + sen C + sen A+B+C < sen A+B + sen B+C + 1 (ISTO EH UMA IDENTIDADE ?)
>
> Mas basta provar que
>
> sen A + sen B + sen C + sen A+B+C < sen A+B + sen B+C + sen C+A 
>
> sen A+B+C < (sen A+B - sen C) + (sen B+C - sen A)  + (sen C+A - sen B)
> Seja 2P = A+B+C. Ent�o
> 2 sen P cos P < 2 cos P (sen P-A + sen P-B + sen P-C) (NAO ENTENDI COMO FOI OBTIDO ESTE SEGUNDO MEMBRO A PARTIR DA DESIGUALDADE ACIMA
. A PARTE EM PARENTESES EU ENTENDI, SOH NAO ENTENDI COMO FOI OBTIDO O FATOR 2*COSP.)

> sen P - sen P-C < sen P-A + sen P-B (ESTA DESIGUALDADE ENTENDI)
> 2 sen C cos A+B < 2 sen C cos A-B (NAO ENTENDI COMO SE CHEGOU NESTA DESIGUALDADE A PARTIR DA ANTERIOR)
> cos A+B < cos A-B 
>
> verdadeiro pois A+B > A-B,  (SE COS A+B < COS A-B ENTAO A+B < A-B, NAO EH VERDADE ? POR QUE FOI DITO O CONTRARIO, A PROVA NAO EH POR ABSURDO.)e, como sem perda de generalidade A-B > 0, 0 < A-B 
> < A+B < pi, pois A+B � um �ngulo de um quadril�tero convexo.




> []s,
>
> - -- 
> F�bio "ctg \pi" Dias Moreira
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.2.2 (GNU/Linux)