Saiu mais um pouco!
Seja [tex3]M[/tex3]
a intersecção da reta tangente ao círculo azul no ponto [tex3]L[/tex3]
com o lado [tex3]AB[/tex3]
. Lema: [tex3]M[/tex3]
é o ponto médio de [tex3]AN[/tex3]
. Prova:
Temos que o ângulo [tex3]CLM[/tex3]
é reto devido as tangentes. Também devido as tangentes, temos que [tex3]ML = MN[/tex3]
. A ideia é provar que [tex3]AM = ML[/tex3]
, o que implicaria que [tex3]AM = MN[/tex3]
, satisfazendo o fato de que [tex3]M[/tex3]
é o ponto médio de [tex3]AN[/tex3]
.
Como o triângulo [tex3]CLA[/tex3]
é isósceles, chamarei os ângulos [tex3]CLA = LAC = y[/tex3]
. Segue que [tex3]ALM = 90 - y[/tex3]
e [tex3]LAM = 90 - y[/tex3]
, logo o triângulo [tex3]AML[/tex3]
é isósceles, implicando que [tex3]AM = ML[/tex3]
, como queríamos demonstrar.
Devido a simetria do problema, é fácil perceber que [tex3]N[/tex3]
é o ponto médio de [tex3]AB[/tex3]
, assim [tex3]AM = \dfrac{1}{4}[/tex3]
. Utilizando a lei dos senos nos triângulos [tex3]CLA[/tex3]
e [tex3]ALM[/tex3]
, temos que:
[tex3]\dfrac{AM}{\sin(90 - y)} = \dfrac{AL}{\sin(2y)}[/tex3]
e [tex3]\dfrac{AC}{\sin(y)} = \dfrac{AL}{\sin(180 - 2y)}[/tex3]
.
Substituindo os valores e simplificando termos, temos que:
[tex3]\dfrac{1}{4\cos(y)} = \dfrac{AL}{\sin(2y)}[/tex3]
e [tex3]\dfrac{1}{\sin(y)} = \dfrac{AL}{\sin(2y)}[/tex3]
Fazendo [tex3]AL = AL[/tex3]
temos que:
[tex3]\dfrac{\sin(2y)}{4\cos(y)} = \dfrac{\sin(2y)}{\sin(y)}[/tex3]
[tex3]\sin(y) = 4\cos(y)[/tex3]
[tex3]\sin(y)^2 = 16\cos(y)^2[/tex3]
[tex3]1 - \cos(y)^2 = 16\cos(y)^2[/tex3]
[tex3]\cos(y) = \sqrt{\dfrac{1}{15}}[/tex3]
Sabendo quanto vale o raio da circunferência verde, fica trivial calcular os pontos [tex3]F[/tex3]
e [tex3]G[/tex3]
. Sabendo o cosseno deste ângulo y, então fica trivial calcular [tex3]L[/tex3]
e seu ponto simétrico, e também sai o centro dessa circunferência azul sem muito esforço. Agora eu não faço ideia de como obter informações da circunferência amarela e vermelha sem expandir em um sistema horroroso de equações analíticas.
Figura:
- pt2.png (154 KiB) Exibido 1188 vezes