הוכחה ודוגמה, הוכחה בשלילה

הוכחה בדרך השלילה (reductio ad absurdum) היא טכניקת הוכחה עקיפה. היא מניחה ששלילת הטענה שיש להוכיח נכונה, ואז גוזרת סתירה לוגית מהנחה זו, ובכך קובעת את אמיתות הטענה המקורית. שאלות דורשות יישום שיטה זו.

• שאלה

  פרש שח יצא מהמשבצת `a1` והגיע למשבצת `h8`. האם יתכן שבדרך הוא ביקר בכל משבצות הלוח בדיוק פעם אחת?

  הצגת רמז

  התחברו כאן לאתר על מנת לקבל את הרמז
  נושאים:

  קומבינטוריקה -> ספירה כפולה קומבינטוריקה -> אינווריאנטים קומבינטוריקה -> תורת הגרפים לוגיקה -> הגיון תורת המספרים -> חלוקה -> זוגיות הוכחה ודוגמה -> הוכחה בשלילה קומבינטוריקה -> צביעות -> צביעת שחמט

• שאלה

  כל בן אדם שחי אי פעם בכדור ארץ, ביצע מספר מסוים של לחיצות ידיים (כולל 0). הוכיחו כי כמות האנשים שביצעו מספרים אי-זוגיים של לחיצות ידיים – זוגית.

  נושאים:

  קומבינטוריקה -> ספירה כפולה קומבינטוריקה -> תורת הגרפים תורת המספרים -> חלוקה -> זוגיות הוכחה ודוגמה -> הוכחה בשלילה

• שאלה

  בקודקודים של קובייה רשומים המספרים `1`, `2`, `3`, ..., `8`. הוכיחו כי קיים מקצוע של הקובייה שההפרש בין המספרים שעומדים בקצותיו לפחות `3`.

  נושאים:

  גאומטריה -> גאומטריה במרחב קומבינטוריקה -> עקרון שובך היונים קומבינטוריקה -> תורת הגרפים לוגיקה -> הגיון הוכחה ודוגמה -> הוכחה בשלילה

• טעות בתרגיל

  הוכיחו שבתרגיל הכפל הבא נפלה טעות

  \(\begin{array}& & & * & * & * & 2 & 7 \\ \times & & & & & * & * \\ \hline & * & * & * & * & * & 6 \\ + & * & * & * & * & * & \\ \hline & * & * & * & * & 4 & 6 \end{array}\)

  נושאים:

  אריתמטיקה לוגיקה -> הגיון הוכחה ודוגמה -> הוכחה בשלילה תורת המספרים -> חלוקה חידות ורבוסים -> שחזרו את התרגיל
  מקורות:
  • אולימפיאדת בנו ארבל, 2013, כיתה ז שאלה 4

• שאלה

  האם מכפלתם של שני מספרים טבעיים עוקבים יכולה להיות שווה למכפלה של שני מספרים זוגיים עוקבים?

  נושאים:

  תורת המספרים אלגברה -> אי שוויונים קומבינטוריקה -> בדיקת מקרים -> תהליכים הוכחה ודוגמה -> הוכחה בשלילה

• שאלה

  האם קיים מרובע קמור שכל אחד מהאלכסונים שלו מחלק אותו לשני משולשים חדי זוויות?

  נושאים:

  הוכחה ודוגמה -> הוכחה בשלילה גאומטריה -> גאומטריה במישור -> חשבון זוויות

• שאלה

  הוכיחו כי אם `n!+1` מתחלק ב-`n+1`, אז `n+1` ראשוני.

  נושאים:

  תורת המספרים -> מספרים ראשוניים הוכחה ודוגמה -> הוכחה בשלילה

• מחוגים מאונכים

  מספר פעמים ביממה מחוג השעות ומחוג הדקות נמצאים על ישר אחד ויוצרים זווית של `180^@`. האם בין כל הישרים האלה יש ישרים שמאונכים זה לזה?

  נושאים:

  לוגיקה הוכחה ודוגמה -> הוכחה בשלילה גאומטריה -> גאומטריה במישור -> חשבון זוויות

• שאלה

  האם קיים מספר טבעי שאם נחלק אותו בסכום ספרותיו עם שארית, נקבל `2017` גם בתור מנה, גם בשארית?

  נושאים:

  תורת המספרים -> חשבון השאריות -> סימני חלוקה -> סימני חלוקה ב-3 וב-9 הוכחה ודוגמה -> הוכחה בשלילה

• אורנים ביער

  היַעֲרָן סופר אורנים ביער. הוא עשה הליכה לאורך כל אחד המעגלים שבתמונה, ובתוך כל מעגל הוא ספר `3` אורנים בדיוק. הוכיחו כי היערן בוודאות טעה בספירה.

  

  נושאים:

  לוגיקה -> הגיון תורת הקבוצות הוכחה ודוגמה -> הוכחה בשלילה