Sabe-se que:
- o raio da circunferência externa é
;
- o declive da recta vermelha é
;
- a área do triângulo verde é
da área do triângulo rectângulo vermelho tangente à circunferência interna.
Qual é o comprimento do seu cateto vertical?
Enunciado adaptado desta questão do MSE de user1131662. A minha resposta, utilizando métodos da geometria analítica, foi esta, em que me limito a verificar analiticamente que o comprimento é 
Haverá uma resolução puramente geométrica?
Edição de 16-02-2012: acrescentado “em que me limito … comprimento é
