Dopo aver pranzato, digerito e poltrito, il massimo che sono riuscito a fare è quanto segue:
dove, una volta determinate le coordinate dei punti d'intersezione rossi e determinato l'angolo viola:
\[
A = 4\left(A_q + A_s - A_t\right) = 4\left[\left(\frac{\sqrt{3}-1}{2}r\right)^2 + \frac{1}{2}\,\frac{\pi}{6}\left(\sqrt{2}\,r\right)^2 - \frac{1}{2}\left(\sqrt{3}-1\right)r\left(r+\frac{\sqrt{3}-1}{2}r\right)\right]
\] che semplificata porta a quanto scritto qualche ora fa:
\[
A = 2\left(1-\sqrt{3}+\frac{\pi}{3}\right)r^2\,.
\] Mi turba l'aver risolto delle equazioni per trovare i punti d'intersezione ma non mi viene in mente altro.