Buktikan bahawa bagi mana-mana integer A sah: Jika A ^ 2 adalah berganda daripada 2, maka A juga berganda daripada 2?

Buktikan bahawa bagi mana-mana integer A sah: Jika A ^ 2 adalah berganda daripada 2, maka A juga berganda daripada 2?
Anonim

Jawapan:

Gunakan contraposition: Jika dan hanya jika # A-> B # betul, # notB-> notA # juga benar.

Penjelasan:

Anda boleh membuktikan masalah menggunakan contraposition.

Cadangan ini bersamaan dengan:

Jika # A # bukannya berganda #2#, kemudian # A ^ 2 # bukannya berganda #2.# (1)

Buktikan cadangan (1) dan anda sudah selesai.

Biarkan # A = 2k + 1 # (# k #: integer). Sekarang # A # adalah nombor ganjil. Kemudian, # A ^ 2 = (2k + 1) ^ 2 = 4k ^ 2 + 4k + 1 = 2 (2k ^ 2 + 2k) + 1 #

juga ganjil. Cadangan (1) terbukti dan sebagai masalah asal.