Fermat's Enigma

by Simon Singh

In particular Euclid exploited a logical weapon known as reductio ad absurdum, or proof by contradiction.