Bewijs dat voor elk geheel getal A geldig is: als A ^ 2 een veelvoud van 2 is, dan is A ook een veelvoud van 2?

Bewijs dat voor elk geheel getal A geldig is: als A ^ 2 een veelvoud van 2 is, dan is A ook een veelvoud van 2?
Anonim

Antwoord:

Gebruik de contrapositie: zo en alleen als # A-> B # is waar, # NotB-> Nota # is ook waar.

Uitleg:

Je kunt het probleem bewijzen met tegenstelling.

Deze propositie is gelijk aan:

Als #EEN# is geen veelvoud van #2#, dan # A ^ 2 # is geen veelvoud van #2.# (1)

Bewijs de propositie (1) en je bent klaar.

Laat # A = 2k + 1 # (# K #: integer). Nu #EEN# is een oneven nummer.

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

is ook vreemd. Propositie (1) is bewezen en dus als het oorspronkelijke probleem.