Demostrar que per a qualsevol enter A és vàlid: Si A ^ 2 és un múltiple de 2, llavors A també és un múltiple de 2?

Demostrar que per a qualsevol enter A és vàlid: Si A ^ 2 és un múltiple de 2, llavors A també és un múltiple de 2?
Anonim

Resposta:

Utilitzeu la contraposició: Si i només si # A-> B # és cert, # notB-> notA # també és cert.

Explicació:

Podeu provar el problema utilitzant contraposició.

Aquesta proposició equival a:

Si # A # no és un múltiple de #2#, llavors # A ^ 2 # no és un múltiple de #2.# (1)

Demostreu la proposició (1) i heu acabat.

Deixar # A = 2k + 1 # (# k #: enter). Ara # A # és un nombre senar.

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

també és estrany. La proposició (1) està provada i, per tant, el problema original.