Todista, että mikä tahansa kokonaisluku A on kelvollinen: Jos A ^ 2 on 2-kertainen, niin A on myös 2-kertainen?

Todista, että mikä tahansa kokonaisluku A on kelvollinen: Jos A ^ 2 on 2-kertainen, niin A on myös 2-kertainen?
Anonim

Vastaus:

Käytä ristiriitaa: Jos ja vain jos # A-> B # on totta, # NotB-> NOTA # on myös totta.

Selitys:

Voit todistaa ongelman käyttämällä contraposition.

Tämä ehdotus vastaa:

Jos # A # ei ole moninkertainen #2#sitten # ^ 2 # ei ole moninkertainen #2.# (1)

Todista ehdotus (1) ja olet valmis.

Päästää # A = 2k + 1 # (# K #: kokonaisluku). Nyt # A # on pariton numero.

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

on myös outoa. Ehdotus (1) on todistettu ja niin kuin alkuperäinen ongelma.