Reductio ad absurdum
The phrase can be traced back to the Greek η εις  άτοπον απαγωγή (hê eis átopon apagogê). This phrase means "reduction to the impossible". It was often used by Aristotle. The method is used a number of times in Euclid's Elements.