Dimostrazioni senza parole: la formula di Strassnitzky

$$\frac{\pi}{4} = \arctan \frac{1}{2} + \arctan \frac{1}{5} + \arctan{1}{8}$$ Leopold Karl Schulz von Strassnitzky, matematico austriaco, nel 1884 fornì questa formula, una variazione su quella di John Machin, al collega tedesco Zacharias Dahse che quello stesso anno riuscì così a calcolare 200 cifre decimali, tutte corrette, per $\pi$.

---

L'immagine è realizzata con LaTeX e il pacchetto tickz: il codice sorgente su github

---

Nelsen, R. B. (2013). Proof without words: The formulas of Hutton and Strassnitzky. Mathematics Magazine, 86(5), 350-350. doi:10.4169/math.mag.86.5.350 (jstor)