Demonstrao de Nmero Irracional

Um marco na Histria da Matemtica foi a descoberta da existncia dos nmero irracionais. Um nmero irracional todo nmero que no pode ser escrito em forma de frao do tipo:

Para esta prova, vamos considerar o quadrado de lado 1 abaixo:

Pelo Teorema de Pitgoras, sua diagonal ser 2. Demonstrao pelo absurdo:

Daqui, conclumos que p par, pois se p2 = 2q2, qualquer nmero multiplicado por 2 ser par e logo, se 2q2 par p2 ser par. Ento, se p par, p = 2k.

Daqui, conclumos que q par, pois se q2 = 2 k2, qualquer nmero multiplicado por 2 ser par e logo, se 2 k2 par, q2 ser par. Camos numa contradio onde p e q so pares, no satisfazendo a condio de existncia inicial:

Conclumos ento que 2 irracional.