Um raio

Em https://cpaulof2.blogspot.com/2014/03/da-equacao-da-bissectriz-as-coordenadas.html eu partilhei uma fórmula para deduzir as coordenadas do incentro de um triângulo.
No momento em que escrevo estas linhas, estou acamado, no hospital Nélio Mendonça com movimentos mínimos (tenho uma vértebra partida).
Nem consigo levantar-me ou sentar-me... :'(
Deparei-me com este problema, que obviamente, não é para resolver com aquilo, mas dadas as minhas limitações, espero que fechem os olhos e aceitem a minha solução, que em vez de dar valores aproximados vai dar a solução exacta, se estiver correcta.

Com os dados apresentados, se a origem do referêncial for o ponto de tangência da circunferência com o lado [AC] temos:

$A=(-4,0)$, $B=\left(0, 4 \tan 30^o\right)=\left(0, \frc{4\sqrt{3}}{3}\right)$ e  $C=(4,0)$

O perímetro é $p=8+2\times\frc{4}{\cos 30^o}=8+2\times\frc{8}{\sqrt{3}}$

E o raio da circunferência não é mais do que a ordenada do incentro:

\[r=\frc{ay_A+by_B+cy_C}{p}=\frc{8\times\frc{4\sqrt{3}}{3} }{8+\frc{16}{\sqrt{3}}}=8-4\sqrt{3}\]

Indo à calculadora

Portanto, $1.07$
Sem nada disto, pensando como alguém que acabou de aprender trigonometria, e tem apenas uma calculadora científica, ou uma tabela(!), como se faz?
[Resposta em Novembro, aqui, neste post, para terem tempo de pensar no assunto ]