Nombre del Descripción en Ejemplo del método Condiciones del método

método palabras del

método
1. Se quiere demostrar
Se produce una Asuma que queremos demostrar p. Entonces, que una afirmación P
contradicción si encontráramos una contradicción q tal que ￢ es verdadera.
cuando afirmamos p → q es cierto, podríamos concluir que p es
Demostración Por algo totalmente cierto ¿Por qué? 2. Se debe asumir que P
Contradicción diferente y opuesto Esto es lo que llamamos demostración por es falsa.
a lo que hemos contradicción.
expresado sobre la 3. Se muestran las
misma cuestión. Ejemplo: consecuencias del
Demuestre por contradicción que √2 es hecho de que P sea
irracional. Recuerde que un número x es falsa.
racional si y solo si existen dos enteros m y n
tal que n ≠ 0 and x = m/n. 4. Se llega a un absurdo
o imposibilidad.
Asuma por contradicción que √2 es irracional.
Luego √2 = a/b, donde a y b son enteros sin 5. Como la afirmación P
factores en común y b ≠ 0. es verdadera o falsa, y
Por tanto, 2 = a² / b² y 2b² = a² ya se demostró que no
Se sigue que a² es par. Pero entonces a también puede ser falsa ya que
es par esto conlleva a
(Demostración por contradicción) incongruencias
Luego a = 2c, para algún entero c, y b² = 2c² . matemáticas, se
Por tanto b² es par y por lo mencionado prueba así que P debe
anteriormente, b también lo es. ser verdadera.
Luego, 2 es factor común de a y b
Contradicción.