Para o grande matemático Leonhard Euler não houve área da Matemática em que ele não usou o seu intelecto e para mostrar o seu poder de raciocínio, vejamos um teorema de Geometria Plana que Euler demonstrou em seu livro Introductio in analysin infinitorum de Teorema: (Euler) Dado qualquer quadrilátero convexo
Demonstração: Construa
de modo que
e
. Desde que
segue que
. Em seguida, baixe as linhas
,
e
Desde que
segue que
. Em seguida, baixe as linhas
,
e veja os paralelogramos
e
com diagonais
,
e
,
conforme a figura abaixo.

Em seguida, Euler cita a "propriedade do paralelogramo", dada por
em
![ADCF \quad \quad (1) [;ADCF \quad \quad (1);]](http://thewe.net/tex/ADCF%20%5Cquad%20%5Cquad%20%281%29)
em
![BDEF \quad \quad (2) [;BDEF \quad \quad (2);]](http://thewe.net/tex/BDEF%20%5Cquad%20%5Cquad%20%282%29)

Em seguida, Euler cita a "propriedade do paralelogramo", dada por
e
Estas identidades são consequências diretas da Lei dos Cossenos, pois sendo os ângulos
e
, segue que
, de modo que
![\begin{cases}DF^2 &= AD^2 + CD^2 + 2AD\cdot DC\cos(A\hat{D}C)\\AC^2 &= AD^2 + CD^2 - 2AD\cdot CD\cos(A\hat{D}C)\\\end{cases} [;\begin{cases}DF^2 &= AD^2 + CD^2 + 2AD\cdot DC\cos(A\hat{D}C)\\AC^2 &= AD^2 + CD^2 - 2AD\cdot CD\cos(A\hat{D}C)\\\end{cases};]](http://thewe.net/tex/%5Cbegin%7Bcases%7DDF%5E2%20&=%20AD%5E2%20+%20CD%5E2%20+%202AD%5Ccdot%20DC%5Ccos%28A%5Chat%7BD%7DC%29%5C%5CAC%5E2%20&=%20AD%5E2%20+%20CD%5E2%20-%202AD%5Ccdot%20CD%5Ccos%28A%5Chat%7BD%7DC%29%5C%5C%5Cend%7Bcases%7D)
Somando essas duas equações obtemos a equação
. Isolando
em
e substituindo em
, temos:
![2AD^2 + 2CD^2 = 2BD^2 + 2DE^2 + AC^2 - BE^2 \quad \quad (3) [;2AD^2 + 2CD^2 = 2BD^2 + 2DE^2 + AC^2 - BE^2 \quad \quad (3);]](http://thewe.net/tex/2AD%5E2%20+%202CD%5E2%20=%202BD%5E2%20+%202DE%5E2%20+%20AC%5E2%20-%20BE%5E2%20%5Cquad%20%5Cquad%20%283%29)
No paralelogramo
, temos:
Fazendo
, segue que
![2AD^2 + 2CD^2 + 2AB^2 + 2BC^2 = 2BD^2 + 2DE^2 + 2AC^2 [;2AD^2 + 2CD^2 + 2AB^2 + 2BC^2 = 2BD^2 + 2DE^2 + 2AC^2;]](http://thewe.net/tex/2AD%5E2%20+%202CD%5E2%20+%202AB%5E2%20+%202BC%5E2%20=%202BD%5E2%20+%202DE%5E2%20+%202AC%5E2)
donde segue o resultado.
Corolário 2: A soma dos quadrados dos lados de um quadrilátero é maior ou igual a soma dos quadrados das diagonais, isto é,
![AB^2 + BC^2 + CD^2 + AD^2 \quad \geq \quad AC^2 + BD^2 [;AB^2 + BC^2 + CD^2 + AD^2 \quad \geq \quad AC^2 + BD^2;]](http://thewe.net/tex/AB%5E2%20+%20BC%5E2%20+%20CD%5E2%20+%20AD%5E2%20%5Cquad%20%5Cgeq%20%5Cquad%20AC%5E2%20+%20BD%5E2)
donde segue o resultado.
Euler apresenta
corolários que apresento abaixo cuja demonstração são cálculos rotineiros.
Corolário 1: Se o quadrilátero
é um paralelogramo, então
e assim, a soma dos lados é exatamente a soma dos quadrados das diagonais.
Observação: Este mesmo resultado continua válido se
é um retângulo, losando ou quadrado.
Corolário 2: A soma dos quadrados dos lados de um quadrilátero é maior ou igual a soma dos quadrados das diagonais, isto é,
Corolário 3: Sejam
e
os pontos médios das diagonais
e
respectivamente no quadrilátero
, então
e
![AB^2 + BC^2 + CD^2 + AD^2 = AC^2 + BD^2 + 4PQ^2 [;AB^2 + BC^2 + CD^2 + AD^2 = AC^2 + BD^2 + 4PQ^2;]](http://thewe.net/tex/AB%5E2%20+%20BC%5E2%20+%20CD%5E2%20+%20AD%5E2%20=%20AC%5E2%20+%20BD%5E2%20+%204PQ%5E2)
essa descoberta de euler lembra o british flag theorem(teorema da bandeira britanica),que nao é muito conhecido no brasil.há uma prova dele na wikipedia,porque vc nao faz uma postagem sobre ele e ajuda a divulga-lo em nosso país?
ResponderExcluir