Dokaži, da je za katerokoli celo število A veljavno: Če je A ^ 2 večkratnik 2, potem je tudi A večkratnik 2?

Dokaži, da je za katerokoli celo število A veljavno: Če je A ^ 2 večkratnik 2, potem je tudi A večkratnik 2?
Anonim

Odgovor:

Uporabite nasprotno besedilo: Če in samo če # A-> B # je res, # notB-> notA # tudi res.

Pojasnilo:

Težavo lahko dokažete z uporabo nasprotju.

Ta predlog je enak:

Če # A # ni večkratnik #2#, potem # A ^ 2 # ni večkratnik #2.# (1)

Dokažite predlog (1) in končali ste.

Let # A = 2k + 1 # (# k #: integer). Zdaj # A # je liho število.

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

je tudi čudno. Predlog (1) je dokazan in tako kot izvirni problem.