Patunayan na para sa anumang integer A ay may-bisa: Kung A ^ 2 ay isang maramihang ng 2, pagkatapos ay A ay isang maramihang ng 2?

Patunayan na para sa anumang integer A ay may-bisa: Kung A ^ 2 ay isang maramihang ng 2, pagkatapos ay A ay isang maramihang ng 2?
Anonim

Sagot:

Gamitin ang contraposition: Kung at tanging kung # A-> B # ay totoo, # notB-> notA # ay totoo rin.

Paliwanag:

Maaari mong patunayan ang paggamit ng problema contraposition.

Ang panukalang ito ay katumbas ng:

Kung # A # ay hindi isang maramihang ng #2#, pagkatapos # A ^ 2 # ay hindi isang maramihang ng #2.# (1)

Patunayan ang panukala (1) at tapos ka na.

Hayaan # A = 2k + 1 # (# k #: integer). Ngayon # A # ay isang kakaibang numero. Pagkatapos, # A ^ 2 = (2k + 1) ^ 2 = 4k ^ 2 + 4k + 1 = 2 (2k ^ 2 + 2k) + 1 #

ay kakaiba din. Ang Proposisyon (1) ay napatunayang at kaya ang orihinal na problema.