Raisonner par l'absurde

Dans cette vidéo, Paul démontre que si a et b sont deux entiers tels que a plus b racine de 2 égal à 0, alors a = b = 0. Il utilise la logique par l'absurde en supposant que a ou b est différent de 0 et montre que cela mène à une contradiction. Ensuite, il démontre que si m plus n racine de 2 égal à p plus q racine de 2 pour des entiers m, n, p et q, alors m = p et n = q. Il utilise le résultat de la première partie et arrive à cette conclusion en rassemblant les termes et en montrant que n moins p et n moins q sont égaux à 0. Cette vidéo est utile pour comprendre la logique impliquée dans les preuves mathématiques.