Geht vielleicht auch so:
Wenn man die drei Mittelpunkte verbindet entsteht
(etwas verwackelt) ein gleichseitiges Dreieck mit
den (roten) Seiten 2t.
Das gesuchte (blaue) r ist t plus Umkreisradius des
gleichseitigen Dreiecks, also
r = t + (2t/3) *√3
also t = (2√3 - 3 ) * r