Teorema de Van Aubel, um

resultado geométrico
surpreendente
Postado por ^DiAmOnD^ | 19 de dezembro de
2011 | Carnaval de
matemática, demonstrações, geometria, teorema
s | 17  |         

Algumas semanas atrás, em uma das minhas muitas incursões nas entranhas da
internet matemática, me deparei com um resultado geométrico que não tinha
ouvido falar. Este teorema respondeu ao nome de Van Aubel de teorema e sua
declaração é surpreendente, para dizer o mínimo. Aí vai ele:

Teorema de Van Aubel: Dado qualquer quadrilátero em um avião, de

cada lado desenhamos um quadrado apoiado nele. Em seguida, os
segmentos que se juntam aos centros de praças localizados em lados opostos
têm o mesmo comprimento e também são perpendiculares.

O fato de o anel inicial não ter qualquer tipo de restrição é um dos detalhes que
dão a este resultado a capacidade de deixar quem não o conhece com a boca
aberta. Aqui está uma imagem para você ver:
Você não vai me negar que é certamente surpreendente, pelo menos em primeira
instância, certo? Mas podemos ir mais longe...

...eu não vou. Repetimos: não há restrição no anel inicial. Por exemplo,

poderia ser não convexo e o teorema de Van Aubel continuaria a ser verdade:
Y los lados podrían cortarse entre ellos y el teorema se seguiría cumpliendo:
Esse resultado soa familiar? Certamente muitos de vocês terão achado
semelhante ao desafio que propus para a série de desafios RSME-El País. Bem,
sim, claro que são parecidos. Na verdade, encontrar o teorema de Van Aubel foi
o que sugeriu que eu representasse este desafio. Caso alguém não se lembre,
vou me lembrar daqui:

A partir de qualquer triângulo de VÉRTICES ABC, pegamos dois de seus

lados, AB e AC, por exemplo, e desenhamos quadrados apoiados neles.
Chamamos de Eu e J os centros dos dois quadrados e H o ponto médio do
lado do triângulo onde não suportamos nenhum quadrado (o BC neste
caso).

O desafio desta semana é demonstrar que os segmentos HI e HJ têm o

mesmo comprimento e também formam um ângulo de 90º. A situação
inicial pode ser vista nesta figura:

Neste link você pode ver um vídeo com a solução de desafio, juntamente com
alguns comentários sobre as soluções recebidas. Mas acho que pode ser
interessante comentar a solução aqui apresentada. Vamos a isso:

Vamos chamar K o ponto médio do lado AB e L o ponto médio do lado AC, e

desenhar os triângulos HKJ e HLI. Também representamos o
segmento KL em uma linha tracejada, como mostrado na Figura 1:

Como el segmento LH une los puntos medios de los lados AC y BC, entonces

es paralelo al otro lado, el AB. Lo mismo ocurre con el segmento KL, que
como une los puntos medios de los lados AB y AC será paralelo al otro lado,
el BC. Esto nos dice que BHLK es un paralelogramo, por lo que, en
particular, los segmentos KB y LH son iguales. Pero KB y JK también son
iguales, por lo que obtenemos que JK=LH. El mismo razonamiento nos sirve
para llegar a que ALHK es un paralelogramo, por lo que, en particular, los
segmentos AL y KH son iguales. Pero AL y LI también lo son, por lo que
ahora se obtiene que KH=LI.

Por otro lado, los triángulos KBH y LHC tienen sus lados iguales y paralelos,

por lo que el ángulo BKH y el ángulo HLC son iguales.

Recapitulemos. Tenemos que los triángulo JKH y el HLI, pintados de rojo y

verde respectivamente en la siguiente imagen (Figura 2)
 eles têm dois lados iguais (KJ=LH e KH=LI) e também têm o mesmo ângulo
formado por esses lados (o ângulo JKH é 90º+BKH, e o HLI é 90º+HLC, que
já vimos antes que é igual ao BKH). Com isso podemos concluir que ambos
os triângulos são iguais, e o fato de serem iguais nos garante que os
segmentos HI e HJ têm o mesmo comprimento.

Resta mostrar que esses dois segmentos formam um ângulo de 90º. Mas isso
é simples: JK forma um ângulo de 90º com AK, que é paralelo ao LH.
Portanto, JK e LH formam um ângulo de 90º. Da mesma forma, o LI forma
um ângulo de 90º com AL, que é paralelo ao KH. Portanto, LI e KH formam
um ângulo de 90º. Como os triângulos são os mesmos, tudo isso nos garante
que os segmentos HI e HJ formam um ângulo de 90º.

Aqui você tem um applet GeoGebra onde você pode ver que os comprimentos
são sempre os mesmos e que o ângulo é sempre 90º (você pode mover os
pontos A, B e C):

Como isso se relaciona com o teorema de Van Aubel? Bem, muito

simples: podemos usar o resultado que foi solicitado para ser provado no
desafio para provar o teorema de Van Aubel. Neste applet GeoGebra, além de
poder jogar com a forma do anel e assim ver que os dois segmentos são sempre
do mesmo comprimento, você pode ver uma prova deste teorema com base na
demonstração do desafio selecionando a caixa de seleção demonstração:

A demonstração é muito semelhante à do desafio em si. A ideia é desenhar uma

das diagonais do quadrilátero inicial, AC neste caso, e marcar seu ponto
médio, Q. Então, em ambos os lados dessa diagonal podemos aplicar o que é
mostrado no desafio 39, concluindo assim a prova do teorema de Van Aubel.

Para concluir, quero comentar que aparentemente este resultado foi publicado
por Van Aubel em 1878 em H. H. Van Aubel, Nota concernant les centres des
carrés construits sur les côtés d'un polygon quelconque, Nouv. O Corresp.
Matemática.,4(1878), 40-44. Infelizmente não consegui encontrar mais
informações sobre ele. Atualização: nosso colaborador e comentarista Fede nos
dá informações sobre Van Aubel neste comentário.