Prove que, para qualquer inteiro, A é válido: Se A ^ 2 é um múltiplo de 2, então A também é um múltiplo de 2?

Prove que, para qualquer inteiro, A é válido: Se A ^ 2 é um múltiplo de 2, então A também é um múltiplo de 2?
Anonim

Responda:

Use a contraposição: se e somente se # A-> B # é verdade, # notB-> notA # também é verdade.

Explicação:

Você pode provar o problema usando contraposição.

Esta proposição é equivalente a:

E se #UMA# não é um múltiplo de #2#, então # A ^ 2 # não é um múltiplo de #2.# (1)

Prove a proposição (1) e pronto.

Deixei # A = 2k + 1 # (#k #: inteiro). Agora #UMA# é um número ímpar.

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

também é estranho. Proposição (1) é comprovada e assim como o problema original.