But Hippasus proved that there was no fraction whose square was exactly 2. This length would have to be expressed by a new sort of number. The proof uses one of the classic tools in the mathematician’s arsenal: proof by contradiction. Hippasus began by assuming that there was a fraction whose square was 2. By some deft manipulation this always led to the contradictory statement that there was a number that was both odd and even.
