Доведіть, що для будь-якого цілого числа A є дійсним: якщо A ^ 2 кратна 2, то A також кратна 2?

Доведіть, що для будь-якого цілого числа A є дійсним: якщо A ^ 2 кратна 2, то A також кратна 2?
Anonim

Відповідь:

Використовуйте contraposition: Якщо і тільки якщо # A-> B # правда, # notB-> notA # також вірно.

Пояснення:

Ви можете довести цю проблему за допомогою contraposition.

Ця пропозиція еквівалентна:

Якщо # A # не кратна #2#, потім # A ^ 2 # не кратна #2.# (1)

Доведіть пропозицію (1) і все готово.

Дозволяє # A = 2k + 1 # (# k #: integer). Тепер # A # це непарне число.

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

також незвичайний. Пропозиція (1) доведена і так само, як і вихідна задача.