Em Polya há uma descrição do significado de demonstração por absurdo e de demonstração indireta, que são procedimentos diferentes, porém correlatos. No primeiro caso, deve-se mostrar a falsidade de uma suposição derivando dela um absurdo flagrante e, no segundo, deve- -se estabelecer a verdade de uma afirmativa por revelar a falsidade da suposição oposta.
Uma demonstração matemática que tradicionalmente é feita na escola básica por absurdo é a
