Dokazati da je za bilo koji cijeli broj A valjan: Ako je ^ 2 višekratnik od 2, onda je A također višekratnik od 2?

Dokazati da je za bilo koji cijeli broj A valjan: Ako je ^ 2 višekratnik od 2, onda je A također višekratnik od 2?
Anonim

Odgovor:

Koristite contraposition: Ako i samo ako # A-> B # je istina, # NotB-> Nota # također je istina.

Obrazloženje:

Možete dokazati problem pomoću kontrapozicija.

Ovaj je prijedlog jednak:

Ako # S # nije više od #2#, onda Broj u katalogu A ^ 2 # nije više od #2.# (1)

Dokažite tvrdnju (1) i gotovi ste.

pustiti # A = 2k + 1 # (# K #: integer). Sada # S # je neparan broj.

Broj u katalogu A ^ 2 = (2k + 1) ^ 2-4k ^ 2 + 4k + 1 = 2 (2k ^ 2 + 2k) + 1 #

je također čudno. Prijedlog (1) je dokazan i kao izvorni problem.