Udowodnij, że dla każdej liczby całkowitej A jest ona ważna: jeśli A ^ 2 jest wielokrotnością 2, to A jest również wielokrotnością 2?

Udowodnij, że dla każdej liczby całkowitej A jest ona ważna: jeśli A ^ 2 jest wielokrotnością 2, to A jest również wielokrotnością 2?
Anonim

Odpowiedź:

Użyj kontrapozycji: Jeśli i tylko wtedy # A-> B # jest prawdziwy, # notB-> notA # jest również prawdziwe.

Wyjaśnienie:

Możesz udowodnić problem za pomocą antyteza.

Ta propozycja jest równoważna:

Jeśli #ZA# nie jest wielokrotnością #2#, następnie # A ^ 2 # nie jest wielokrotnością #2.# (1)

Udowodnij propozycję (1) i gotowe.

Pozwolić # A = 2k + 1 # (# k #: liczba całkowita). Teraz #ZA# jest liczbą nieparzystą.

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

jest również dziwne. Twierdzenie (1) jest sprawdzone i podobnie jak pierwotny problem.