One of Euclid's most famous proofs by contradiction established the existence of so-called irrational numbers. It is suspected that irrational numbers were originally discovered by the Pythagorean Brotherhood centuries earlier, but the concept was so abhorrent to Pythagoras that he denied their existence.引自第47页