Dokážte, že pre každé celé číslo A platí: Ak A ^ 2 je násobkom 2, potom A je tiež násobkom 2?

Dokážte, že pre každé celé číslo A platí: Ak A ^ 2 je násobkom 2, potom A je tiež násobkom 2?
Anonim

odpoveď:

Použite kontrapozíciu: Ak a len ak # A-> B # je pravda, # NotB-> NOTA # je tiež pravda.

vysvetlenie:

Problém môžete dokázať pomocou obrat negáciou.

Tento návrh je ekvivalentný:

ak # A # nie je násobkom #2#, potom # A ^ 2 # nie je násobkom #2.# (1)

Dokážte návrh (1) a máte hotovo.

nechať # A = 2k + 1 # (# K #: integer). teraz # A # je nepárne číslo.

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

je tiež nepárne. Propozícia (1) je dokázaná a tak aj pôvodný problém.