Method of Mechanical Theorems is a letter from Archimedes to Eratosthenes, the head of the library of Alexandria and a renowned philosopher in his own right. Most of it is devoted to proving ...