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 [...]
