After the first slide shows, navigate with arrow keys.
It shows the Tosafos on Sukkah 8a (D"H Kol). It proves how the Gemara formula for getting the diagonal of a square (times 1.4) is slightly off.