Dados 3 pontos $A_1, A_2, A_3$ não colineares, há quatro circunferências tangentes às retas $A_1A_2$, $A_2A_3$ e $A_3A_1$: a de centro $I$ (incentro) a que chamamos inscrita e outras de exincentros $I_i$ a que chamamos exinscritas.
|
O enunciado do Teorema de Feuerbach é:
A circunferência de nove pontos é tangente às quatro circunferências inscrita e exinscritas Com recurso à inversão, vamos demonstrar este resultado. A nossa construção parte do triângulo $A_1A_2A_3$, do qual construímos o circuncírculo e a circunferência de nove pontos (tal como fizemos na entrada anterior com notas sobre a circunferência de nove pontos). |
|
Arsélio Martins, 22 outubro 2013, Criado com GeoGebra Com os botões de navegação ao fundo da janela de visualização, pode seguir os passos da construção, fixando cada parte que lhe interesse. |
Demonstração.:
- Debruçamo-nos sobre o triângulo $A_1A_2A_3$, a circunferência $(I)$ nele inscrita e a exinscrita $(I_1)$ (de centros $I$ e $I_1$ sobre a bissetriz interior $A_11 I$). Os resultados para as restantes $(I_2)$ e $(I_3)$ serão obtidos de modo análogo.
- Tomemos as quatro tangentes a estas duas circunferências $(I)$ e $(I_1)$ que determinam duas homotetias de uma na outra: por um lado, a homotetia de centro $A_1$ definida pelas duas tangentes exteriores $A_1A_2$ e $A_1A_3$; por outro a homotetia de centro $K$ na interseção de $II_1$ com $A_2A_3$,já que esta última é tangente interior comum a $(I)$ e $(I_1)$.
- $A_2A_3$ e $XX_1$ têm o mesmo ponto médio (ver a entrada em que esse resultado é abordado.
- Do triângulo $A_1KA_3$ e do triângulo retângulo $IA_3 I_1$, considerando segmentos orientados, retiramos que $(A_1K;II_1) =-1$ (ver inversão de círculos de apolónio). Como $H_1, X, X_1$ são os pés das perpendiculares a $A_2A_3$, tiradas por $A_1, I, I_1$ e a projeção preserva a razão dupla, então $(H_1K; XX_1)=-1$, ou $$\displaystyle\frac{\displaystyle\frac{H_1X}{XK}}{\displaystyle\frac{H_1X_1}{X_1K}} =-1$$ Considerando comprimentos dos segmentos: $$\frac{H_1X}{XK}= \frac{H_1X_1}{X_1K}$$ e, como $H_1X=H_1M_1-M_1X, \; H_1X_1=H_1M_1+M_1X_1 , \;XK=XM_1-M_1K , \; X_1K=X_1M_1+M_1K$, podemos escrever $$\frac{H_1M_1-M_1X}{XM_1-M_1K}= \frac{H_1M_1+M_1X_1}{X_1M_1+M_1K}$$ equivalente a $$(H_1M_1-M_1X) \times (X_1M_1+M_1K)= (XM_1-M_1K)\times (H_1M_1+M_1X_1)$$ que desenvolvendo fica $$\;\;\;H_1M_1\times X_1M_1 +H_1M_1\times M_1K - XM_1\times X_1 M_1 - M_1X\times M_1K =$$ $$= XM_1\times H_1 +XM_1\times M_1X_1-M_1K\times H_1M_1 - M_1K\times M_1X_1$$ e, por ser $M_1 X=M_1X_1$, se simplifica em $$2H_1M_1 \times M_1K = 2MX^2$$ $$M_1K \times M_1H_1=M_1X^2=M_1X_1^2$$
-
Tomemos agora a circunferência de centro em $M_1$ e raio $M_1X_1$ para circunferência de inversão.
- O resultado anterior é prova de que $H_1$ é o correspondente de $K$ pela inversão $I(M_1, M_1X^2)$
- Os círculos $(I)$ e $(I_1)$ invertem-se em si mesmos já que são ortogonais à circunferência de inversão: $I_1X_1$, raio de $(I_1)$, é tangente a $(M_1)$ e perpendicular ao seu raio $M_1X_1$ que é tangente a $(I_1)$.
- Como a circunferência dos nove pontos $(N)$ passa por $M_1$, centro da inversão, tem para inversa um reta $(N)'$ que passa por $K$ (inverso de $H_1$ que é ponto de $(N)$) e é paralela à tangente a $(N)$ no ponto $M_1$.
- A inversa de $(N)$ contém uma corda comum a $(M_1)$ e a $(N)$, logo perpendicular a $M_1N$, paralela a $H_2H_3$.
- $H_2$ é um ponto da circunferência de diâmetro $A_2A_3$ (centro em $M_1$) já que $A_2H_2 \perp H_2A_3$. $H_3$ pertence à mesma circunferência de diâmetro $A_2A_3$, já que $A_3H_3 \perp H_3A_2$.
- Quer dizer que $H_2, H_3, A_2, A_3$ estão sobre uma circunferência (concícliicos), sendo por isso $\angle A_1A_2A_3+ \angle H_3H_2A_3 =180^o$ e $\angle A_1A_3A_2+ \angle A_2H_3H_2 = 180^o$, situação que se mantém para qualquer reta paralela a $H_2H_3$
- Ora $(N)'$ é paralela à tangente a $N$ em $M_1$ e paralela a $H_2H_3$, tal como é a reta tangente a $(I)$ tirada por $K$. E por $K$ só passa uma paralela a $H_2H_3$.
- A inversa de $(N)$, $(N)'$, é, pois, a tangente a $(I)$ e a $(I_1)$ tirada por $K$, ou seja, $EF$,
- Como $EF$ é tangente a $(I)$ e $(I_1)$, inversas de si mesmas por $I(M_1, M_1X^2)$, e $(N)$, inversa de $EF$, também é tangente a $(I)$ e $(I_1)$ (cada uma inversa de si mesma). $\hspace{1cm} \square$
Sem comentários:
Enviar um comentário