Esta é a fórmula de duplicação de arcos. Eu estou aprendendo a calcular por essa forma ( além de ser bem limitada usando os ângulos diretamente proporcionais a 30 45 e 60). Lembrando que o que sai do centro e encontra o lado perpendicularmente é o apótema.
CDEF É UM QUADRADO INSCRITO A CIRCUNFERÊNCIA E PORTANTO LN = 4
Desculpe mais a relação que você tirou com o cosseno de 22,5 eu não entendi, poderia me explicar de forma mais didática como você encontro o cosseno, pois é nele que eu me embolo .