Probar que para cualquier entero A es válido: si A ^ 2 es un múltiplo de 2, entonces A es también un múltiplo de 2?

Probar que para cualquier entero A es válido: si A ^ 2 es un múltiplo de 2, entonces A es también un múltiplo de 2?
Anonim

Responder:

Usa la contraposición: si y solo si # A-> B # es verdad, # notB-> notA # También es cierto.

Explicación:

Puedes probar el problema usando contraposición.

Esta proposición es equivalente a:

Si #UNA# no es un múltiplo de #2#, entonces # A ^ 2 # no es un múltiplo de #2.# (1)

Prueba la proposición (1) y listo.

Dejar # A = 2k + 1 # (# k #: entero). Ahora #UNA# es un número impar.

# A ^ 2 = (2k + 1) ^ 2 = 4k ^ 2 + 4k + 1 = 2 (2k ^ 2 + 2k) + 1 #

También es extraño. La Proposición (1) está probada y el problema original.