AULA 2

22 Setembro 2022, 11:30 • Fernando Ferreira

Demonstração, por contrarrecíproco, da proposição que diz que se a soma de dois inteiros é ímpar, então um deles é par. Demonstração por casos de que, para todo o inteiro x, x^2 + x é par. Demonstração, por absurdo, de que não existem inteiros x, y e z com z^2 = x^2 + y^2 e x e y ímpares. Observações sobre o método da demonstração por casos e sobre o método da redução ao absurdo.