Demonstração existente no livro Tópicos de Matemática, de Carlos Gomes.
Usaremos: trigonometria, álgebra e uma pequena parte da demonstração da fórmula de Brahmagupta, como forma de encurtar nosso serviço nesse tópico.
Queremos demonstrar que a área de qualquer quadrilátero pode ser expressa em função dos lados e de dois ângulos opostos, todos utilizados na fórmula de Bretschneider: [tex3]S_{ABCD}=\sqrt{(p-a)(p-b)(p-c)(p-d)-abcdcos^2\theta }[/tex3]
DEMONSTRAÇÃO:
Seja ABCD um quadrilátero qualquer, com um par de ângulos opostos dados por alfa e beta e uma diagonal x.
Representa-se:
Define-se: [tex3]\theta =\frac{\alpha+ \beta }{2}[/tex3]
Podemos expressar as áreas dos triângulos ABC e ACD como:
[tex3]S_{ABC}=\frac{absen\alpha }{2}\\
S_{ACD}=\frac{cdsen\beta }{2} [/tex3]
Mas, obviamente, a área do quadrilátero é a soma dessas duas áreas.
[tex3]S_{ABCD}=\frac{absen\alpha }{2}+\frac{cdsen\beta }{2}\\[/tex3]
Multiplicando ambos os lados por 2 e elevando ao quadrado, obteremos:
[tex3]4S_{ABCD}^2=(absen\alpha +cdsen\beta )^2=a^2b^2sen^2\alpha +2abcd.sen\alpha. sen\beta +c^2d^2sen^2\beta [/tex3]
Vamos guardar, a princípio, essa relação.
Podemos aplicar a lei dos cossenos nos triângulos ABC e ACD, pois x é uma diagonal comum a ambos.
[tex3]x^2=a^2+b^2-2abcos\alpha \\
x^2=c^2+d^2-2cdcos\beta\\
\rightarrow 2abcos\alpha -2cdcos\beta =a^2+b^2-c^2-d^2\\
abcos\alpha -cdcos\beta =\frac{a^2+b^2-c^2-d^2}{2} \\[/tex3]
Elevando ambos os lados ao quadrado,
[tex3]a^2b^2cos^2\alpha -2abcd.cos\alpha.cos\beta +c^2d^2cos^2\beta =\frac{(a^2+b^2-c^2-d^2)^2}{4} [/tex3]
Agora basta somar as duas relações que obtivemos (a primeira por área e a segunda pela lei dos cossenos):
[tex3]a^2b^2-2abcd(cos\alpha cos\beta -sen\alpha sen\beta )+c^2d^2=\frac{(a^2+b^2-c^2-d^2)^2}{4}+4S_{ABCD}^2\\[/tex3]
Mas lembre-se que definimos [tex3]\theta =\frac{\alpha+ \beta }{2}[/tex3]
Então podemos substituir aquela expressão trigonométrica por uma mais simples e facilmente calculável.
[tex3]a^2b^2-2abcd.cos(2\theta )+c^2d^2=\frac{(a^2+b^2-c^2-d^2)^2}{4}+4S_{ABCD}^2\\
a^2b^2-2abcd(2cos^2\theta -1)+c^2d^2=\frac{(a^2+b^2-c^2-d^2)^2}{4}+4S_{ABCD}^2\\
a^2b^2-4abcdcos^2\theta -2abcd+c^2d^2=\frac{(a^2+b^2-c^2-d^2)^2}{4}+4S_{ABCD}^2\\
(ab-cd)^2-4abcdcos^2\theta =\frac{(a^2+b^2-c^2-d^2)^2}{4}+4S_{ABCD}^2\\\\
S_{ABCD}^2=\frac{(ab-cd)^2}{4}-\frac{(a^2+b^2-c^2-d^2)^2}{16}-abcdcos^2\theta[/tex3]
Agora é a parte que utilizamos uma fração da demonstração que já fizemos para Brahmagupta, neste tópico: viewtopic.php?f=3&t=93418
Observe: [tex3]S_{ABCD}=\sqrt{\frac{1}{16}[(2ab+2cd)^2-(a^2+b^2-c^2-d^2)^2]}\\
S_{ABCD}=\sqrt{\frac{1}{16}[(2ab+2cd+a^2+b^2-c^2-d^2)(2ab+2cd-a^2-b^2+c^2+d^2)]}\\
S_{ABCD}=\sqrt{\frac{1}{16}[(a^2+2ab+b^2)-(c^2-2cd+d^2)][(c^2+2cd+d^2)-(a^2-2ab+b^2)]}\\
S_{ABCD}=\sqrt{\frac{1}{16}[(a+b)^2-(c-d)^2][(c+d)^2-(a-b)^2]}\\
S_{ABCD}=\sqrt{\frac{1}{16}(a+b+c-d)(a+b-c+d)(-a+b+c+d)(a-b+c+d)}\\
S_{ABCD}=\sqrt{\frac{1}{16}2(p-d)2(p-c)2(p-a)2(p-b)}\\
S_{ABCD}=\sqrt{(p-a)(p-b)(p-c)(p-d)}[/tex3]
A explicação para essa parte está melhor no tópico citado.
A conclusão que precisamos é que
[tex3]\frac{(ab-cd)^2}{4}-\frac{(a^2+b^2-c^2-d^2)^2}{16}=(p-a)(p-b)(p-c)(p-d)[/tex3]
E por fim, chegamos na fórmula de Bretschneider.
[tex3]S_{ABCD}=\sqrt{(p-a)(p-b)(p-c)(p-d)-abcdcos^2\theta }[/tex3]
onde theta é a média aritmética dos ângulos opostos.
Olá, Comunidade!
Vocês devem ter notado que o site ficou um período fora do ar (do dia 26 até o dia 30 de maio de 2024).
Consegui recuperar tudo, e ainda fiz um UPGRADE no servidor! Agora estamos em um servidor dedicado no BRASIL!
Isso vai fazer com que o acesso fique mais rápido (espero )
Já arrumei os principais bugs que aparecem em uma atualização!
Mas, se você encontrar alguma coisa diferente, que não funciona direito, me envie uma MP avisando que eu arranjo um tempo pra arrumar!
Vamos crescer essa comunidade juntos
Grande abraço a todos,
Prof. Caju
Vocês devem ter notado que o site ficou um período fora do ar (do dia 26 até o dia 30 de maio de 2024).
Consegui recuperar tudo, e ainda fiz um UPGRADE no servidor! Agora estamos em um servidor dedicado no BRASIL!
Isso vai fazer com que o acesso fique mais rápido (espero )
Já arrumei os principais bugs que aparecem em uma atualização!
Mas, se você encontrar alguma coisa diferente, que não funciona direito, me envie uma MP avisando que eu arranjo um tempo pra arrumar!
Vamos crescer essa comunidade juntos
Grande abraço a todos,
Prof. Caju
Demonstrações ⇒ Demonstração - Fórmula de Bretschneider
Moderador: [ Moderadores TTB ]
-
- Última visita: 31-12-69
Abr 2021
12
17:38
Re: Demonstração - Fórmula de Bretschneider
Titu Andreescu - Números complexos de A a Z, pág 225, problema 23
"Prove que em qualquer quadrilátero ABCD,
[tex3]AC^2.BD^2=AB^2.CD^2+AD^2.BC^2-2AB.BC.CD.DA.cos(A+C)[/tex3]
(Relação de Bretschneider ou primeira generalização do teorema de Ptolomeu)"
Sejam [tex3]Z_a,Z_b,Z_c,Z_d[/tex3] as coordenadas dos pontos A, B, C, D no plano complexo com origem em A e com o ponto B sobre o eixo real positivo. (Qualquer outra figura pode ser obtida dessa por isometria e homotetia)
Usando a identidade
[tex3](Z_a-Z_c)(Z_b-Z_d)=-(Z_a-Z_b)(Z_d-Z_c)-(Z_a-Z_d)(Z_c-Z_b)\\
\overline{(Z_a-Z_c)(Z_b-Z_d)}=\overline{-(Z_a-Z_b)(Z_d-Z_c)-(Z_a-Z_d)(Z_c-Z_b)}\\
[/tex3]
Desenvolvendo o produto, obtemos [tex3]AC^2.BD^2=AB^2.DC^2+AD.BC^2+z+\overline{z}\\
\text{onde } z=(Z_a-Z_b)(Z_d-Z_c)(\overline{Z_a-Z_d)(Z_c-Z_b)}[/tex3]
Basta provar que [tex3]z+\overline{z}=-2AB.BC.CD.DA.cos(A+C)[/tex3]
Temos [tex3]Z_a-Z_b=AB(cos\pi +isen\pi )\\
Z_d-Z_c=DC[cos(2\pi -B-C)+isen(2\pi -B-C)]\\
\overline{Z_a-Z_d}=DA[cos(\pi -A)+isen(\pi -A)]\\
\overline{Z_c-Z_d}=BC[cos(\pi +B)+isen(\pi +B)][/tex3]
Então
[tex3]z+\overline{z}=2\mathbb{R}(z)=2.AB.BC.CD.DA.cos(5\pi -A-C)=-2.AB.BC.CD.DA.cos(A+C)[/tex3]
"Prove que em qualquer quadrilátero ABCD,
[tex3]AC^2.BD^2=AB^2.CD^2+AD^2.BC^2-2AB.BC.CD.DA.cos(A+C)[/tex3]
(Relação de Bretschneider ou primeira generalização do teorema de Ptolomeu)"
Sejam [tex3]Z_a,Z_b,Z_c,Z_d[/tex3] as coordenadas dos pontos A, B, C, D no plano complexo com origem em A e com o ponto B sobre o eixo real positivo. (Qualquer outra figura pode ser obtida dessa por isometria e homotetia)
Usando a identidade
[tex3](Z_a-Z_c)(Z_b-Z_d)=-(Z_a-Z_b)(Z_d-Z_c)-(Z_a-Z_d)(Z_c-Z_b)\\
\overline{(Z_a-Z_c)(Z_b-Z_d)}=\overline{-(Z_a-Z_b)(Z_d-Z_c)-(Z_a-Z_d)(Z_c-Z_b)}\\
[/tex3]
Desenvolvendo o produto, obtemos [tex3]AC^2.BD^2=AB^2.DC^2+AD.BC^2+z+\overline{z}\\
\text{onde } z=(Z_a-Z_b)(Z_d-Z_c)(\overline{Z_a-Z_d)(Z_c-Z_b)}[/tex3]
Basta provar que [tex3]z+\overline{z}=-2AB.BC.CD.DA.cos(A+C)[/tex3]
Temos [tex3]Z_a-Z_b=AB(cos\pi +isen\pi )\\
Z_d-Z_c=DC[cos(2\pi -B-C)+isen(2\pi -B-C)]\\
\overline{Z_a-Z_d}=DA[cos(\pi -A)+isen(\pi -A)]\\
\overline{Z_c-Z_d}=BC[cos(\pi +B)+isen(\pi +B)][/tex3]
Então
[tex3]z+\overline{z}=2\mathbb{R}(z)=2.AB.BC.CD.DA.cos(5\pi -A-C)=-2.AB.BC.CD.DA.cos(A+C)[/tex3]
Crie uma conta ou entre para participar dessa discussão
Você precisa ser um membro para postar uma resposta
Crie uma nova conta
Ainda não é um membro? Registre-se agora!
Membro pode iniciar seus próprios tópicos e inscrever-se no dos outros para ser notificado sobre atualizações.
É gratuito e leva apenas 1 minuto
Entrar
-
- Tópicos Semelhantes
- Respostas
- Exibições
- Última mensagem
-
- 2 Respostas
- 3314 Exibições
-
Última mensagem por garciax
-
- 1 Respostas
- 1308 Exibições
-
Última mensagem por Cardoso1979
-
- 1 Respostas
- 2124 Exibições
-
Última mensagem por LucasPinafi
-
- 0 Respostas
- 1766 Exibições
-
Última mensagem por snooplammer
-
- 0 Respostas
- 1205 Exibições
-
Última mensagem por PeterJC