"Imagine que √2 seja um número do tipo qp, considerando p e q inteiros e primos entre
si. Então, p2=2q2. Logo, o quadrado de p seria um número par e, consequentemente,
p também seria par, p=2m, com m inteiro. Assim, (2m)2=2q2 ou q2=2m2 e, pelo
mesmo raciocínio, q também seria par".
(Adaptado de: GARBI, Gilberto Geraldo. A rainha das ciências: um passeio histórico pelo maravilhoso
mundo da matemática. São Paulo, SP: Livraria da Física, 2009.)