Il cerchio che rotola si quadra da solo

Ricordate quando nella terza parte della breve storia del pi greco provavo a raccontarvi sommariamente la quadratura attraverso il rotolamento del cerchio? Ebbene l'immagine qui sotto, che fa parte delle dimostrazioni senza parole, fa riferimento proprio a quel metodo di quadratura ed è stata proposta alcuni anni fa da Thomas Elsner. Ho realizzato l'immagine utilizzando i pacchetti tikz e tikz-euclide. Quest'ultimo in particolare permette di utilizzare la matematica per realizzare i disegni in maniera abbastanza semplice. Trovate su github sia il codice sorgente sia il pdf.