להוכיח כי עבור כל מספר שלם תקף: אם A ^ 2 הוא מספר של 2, אז A הוא גם מספר של 2?

להוכיח כי עבור כל מספר שלם תקף: אם A ^ 2 הוא מספר של 2, אז A הוא גם מספר של 2?
Anonim

תשובה:

השתמש contraposition: אם ורק אם # A-> B # נכון, # notB-> לא # הוא גם נכון.

הסבר:

אתה יכול להוכיח את הבעיה באמצעות ניגוד.

הצעה זו שקולה ל:

אם # A # אינו מכפיל של #2#, לאחר מכן # A ^ ^ 2 # אינו מכפיל של #2.# (1)

להוכיח את ההצעה (1) וסיימת.

תן # A = 2k + 1 # (# k #: מספר שלם). עכשיו # A # הוא מספר מוזר. לאחר מכן, # 2 = (2k + 1) ^ 2 = 4k ^ 2 + 4k + 1 = 2 (2k ^ 2 + 2k) + 1 #

הוא גם מוזר. ההצעה (1) הוכחה וכך גם הבעיה המקורית.