Senza parole: un'altra arcotangente

\[\arctan \frac{1}{8} + \frac{\pi}{4} + \arctan \frac{1}{7} + \arctan \frac{4}{7} = \frac{\pi}{2}\]

codice sorgente | pdf