Esta é uma questão clássica de geometria plana envolvendo propriedades de circunferências, tangentes e semelhança de triângulos. Vamos analisar passo a passo para chegar à solução.
Introdução ao Problema
Temos dois círculos com centros H e L que se cruzam em A e E. Existe uma reta tangente comum tocando o círculo H em T e o círculo L em S. As condições de colinearidade (H-A-S e T-A-L) criam uma estrutura geométrica específica onde os triângulos formados estão relacionados.
Análise e Resolução
a) Prova de que os ângulos \widehat{HTA} e \widehat{ASL} são congruentes
Para provar essa congruência, utilizaremos as propriedades de retas paralelas e triângulos isósceles.
- Paralelismo dos Raios: Como HT e LS são raios perpendiculares à reta tangente TS nos pontos de tangência, temos que HT \perp TS e LS \perp TS. Isso implica que $HT \parallel LS$.
- Semelhança de Triângulos: Com HT \parallel LS, a interseção das diagonais HS e TL no ponto A cria dois triângulos semelhantes: \triangle HAT e \triangle SAL. Os ângulos alternos internos são iguais (\angle AHT = \angle ASL e \angle ATH = \angle ALS) e os ângulos verticais em A são iguais.
- Propriedade dos Círculos:
- Em \triangle HAT, os lados HA e HT são raios do círculo de centro H, logo HA = HT. O triângulo é isósceles.
- Em \triangle SAL, os lados AL e LS são raios do círculo de centro L, logo AL = LS. O triângulo é isósceles.
- Relação de Ângulos:
- No triângulo isósceles \triangle HAT, os ângulos da base são iguais: \angle HAT = \angle HTA.
- No triângulo isósceles \triangle SAL, os ângulos da base são iguais: \angle LAS = \angle ASL.
- Como \angle HAT e \angle LAS são ângulos verticais, eles são congruentes.
- Portanto, por transitividade: \widehat{HTA} = \widehat{HAT} = \widehat{LAS} = \widehat{ASL}.
Conclusão (a): Os ângulos \widehat{HTA} e \widehat{ASL} são congruentes.
b) Prova de que os raios das circunferências são congruentes
Vamos utilizar a relação de proporção derivada da semelhança para comparar os comprimentos dos raios.
- Razão de Semelhança: Da semelhança entre \triangle HAT e \triangle SAL, temos a proporção dos lados correspondentes:
\frac{HA}{SA} = \frac{HT}{SL} - Substituição pelos Raios: Sabemos que HA = HT = R_H (raio do círculo H) e SL = AL = R_L (raio do círculo L). Substituindo na equação:
\frac{R_H}{SA} = \frac{R_H}{R_L} \implies SA = R_L
Analogamente, analisando a outra razão:
\frac{AT}{AL} = \frac{HT}{SL} \implies \frac{AT}{R_L} = \frac{R_H}{R_L} \implies AT = R_H - Comprimento das Diagonais:
- O segmento HS é a soma de HA + AS = R_H + R_L.
- O segmento TL é a soma de TA + AL = R_H + R_L.
- Assim, as diagonais do quadrilátero HTLS têm o mesmo comprimento (HS = TL).
- Conclusão: Um trapézio (HT \parallel LS) cujas diagonais são congruentes é um trapézio isósceles. No entanto, neste caso específico, as bases laterais (HT e LS) são perpendiculares à base inferior (TS). A única figura que satisfaz ser um trapézio isósceles e ter lados perpendiculares à base é um retângulo.
- Num retângulo, os lados opostos são iguais. Logo, HT = LS.
- Portanto, R_H = R_L.
Conclusão (b): Os raios são congruentes (R_H = R_L = r).
c) Área do quadrilátero THLS em função de r
Sabendo agora que HTLS é um retângulo e que os raios são iguais a r:
- Centro do Retângulo: A interseção das diagonais de um retângulo é o seu centro geométrico. Logo, o ponto A é o centro do retângulo HTLS.
- Distância do Centro ao Vértice: A distância do centro A até qualquer vértice (como H) é metade da diagonal do retângulo.
AH = \frac{\text{Diagonal}}{2} - Relação com o Raio: Como A pertence à circunferência de centro H, a distância AH é igual ao raio r.
r = \frac{\sqrt{r^2 + TS^2}}{2}
(Aqui, r é a altura do retângulo e TS é a largura). - Cálculo da Largura (TS):
- Multiplicando por 2: $2r = \sqrt{r^2 + TS^2}$
- Elevando ao quadrado: $4r^2 = r^2 + TS^2$
- Isolando TS^2: TS^2 = 3r^2 \implies TS = r\sqrt{3}
- Cálculo da Área: A área do retângulo é dada pela multiplicação da altura pelo comprimento.
\text{Área} = r \times TS = r \times r\sqrt{3} = r^2\sqrt{3}
Resposta Final
A área do quadrilátero THLS é r^2\sqrt{3}.