הוכחה שגויה

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

דוגמאות
שימו לב: ה"הוכחות" המופיעות כאן אינן נכונות מבחינה מתמטית. בכולן ישנה טעות באחד או יותר משלבי ההוכחה, ולכן השימוש במילה "הוכחה" בהמשך אינו נאמן להגדרתו הלוגית.

אלגברה
נפוצות מספר רב של הוכחות, לכאורה, המבוססות על פעולות אלגבריות שגויות (אסורות בנסיבות מסוימות). המשותף להוכחות בתחום זה הוא שלאורך ההוכחה מתבצעת פעולה שגויה, אך היא מוחבאת, כך שמקריאת רצף ההוכחה קשה להבחין בה. להלן מספר דוגמאות לפעולות שגויות כאלו ולשימוש בהן בהוכחות שגויות:

 הוצאת שורש: באלגברה, לכל מספר ממשי חיובי  יש שני שורשים: , ואולם לפונקציית השורש הריבועי יש רק ערך אחד – חיובי. תוך ניצול עובדה זו באופן שגוי, ניתן להוכיח, לדוגמה, כי:  (בפועל, , משום ש־ תמיד אי־שלילי עבור  ממשי).להלן הוכחה שגויה נוספת הקשורה בשורש ריבועי:

הטעות הראשונה בהוכחה נמצאת במעבר הלוגי מהשורה השלישית לשורה הרביעית. כאשר אנו נמצאים בתחום המספרים הממשיים, פונקציית השורש (הריבועי) אינה מוגדרת על מספרים שליליים. לכן, פעולת הוצאת השורש הריבועי לכל אחד משני אגפי השוויון אינה תקפה ואינה חוקית.אף על פי שדי במציאת טעות אחת בהוכחה כדי להפריכה, טעות ברורה נוספת נמצאת במעבר בין השורה הלפני־אחרונה לשורה האחרונה. כל מספר ריבועי (בתחום המספרים הממשיים) הוא אי־שלילי, ולכן, לא הגיוני בעליל ש־ (וזאת, מבלי להיכנס בכלל לכך, שהביטוי  אינו מוגדר בתחום המספרים הממשיים).
אילו היינו נמצאים בתחום המספרים המרוכבים, הטעות הראשונה בהוכחה הייתה המעבר הלוגי מהשורה הרביעית לשורה החמישית – שכן חוקי חֲזָקות ושורשים אינם נכונים באופן כללי כאשר הבסיס אינו מספר ממשי חיובי, ולכן אין להניח שהשורש של המנה שווה לִמנת השורשים.

 זהויות שגויות: ישנן זהויות הנכונות למקרים פרטיים מוכרים, אך לא למקרה הכללי. לדוגמה, הזהות  עבור  ממשי, נכונה רק כאשר  ו־ ממשיים חיוביים (בגלל התלות בענף הלוגריתם המוגדר).

 חלוקה באפס: הכפלה של כל מספר ב־0 היא 0, ולכן הפעולה ההפוכה של חילוק באפס איננה מוגדרת (היא אינה חד־ערכית). אחרת, ניתן היה להסיק שכל שני מספרים שווים – , מכיוון שכאשר כופלים את שני צדי השוויון ב־0 מתקבל השוויון , שהוא נכון (פסוק אמת – טאוטולוגיה). גם במקרה זה, בהוכחות שקריות, נהוג להסוות את פעולת החלוקה באפס, כדי שהשגיאה בהוכחה לא תהיה ברורה מאליה; לדוגמה, בהוכחה הבאה לכך ש־:

 ניקח שני מספרים שווים .
 
 
 
 
 
 
 מכיוון ש־:
 
 
 

הטעות הראשונה בהוכחה נמצאת במעבר הלוגי מהשורה החמישית לשורה השישית. מאחר שהתחלנו וקבענו מראש ש־, אזי , ולכן, הצמצום / החלוקה ב־ היא חלוקה אסורה ב־0.אף על פי שדי במציאת טעות אחת בהוכחה כדי להפריכה, טעות ברורה נוספת נמצאת במעבר בין השורה הלפני־אחרונה לשורה האחרונה. מהשורה הלפני־אחרונה ניתן להסיק באופן מיידי, על ידי העברת אגפים, ש־, ויחד עם זאת, אנחנו מחלקים בו (שוב, חלוקה אסורה ב־0).

גאומטריה

בחידות חיתוך והרכבה, העוסקות בחיתוך צורה אחת והרכבתה לצורה אחרת, מתקיים "חוק שימור השטח": השטח של הצורה המקורית חייב להיות שווה לשטחה של הצורה החדשה. יחד עם זאת, ישנם חיתוכים רבים שבהם לכאורה חוק זה לא מתקיים. בספרות שעשועי המתמטיקה מתייחסים לחיתוכים אלו בתור "קסמים" או פרדוקסים – כלומר, הוכחות הסותרות את חוק שימור השטח, אך בחינה מדוקדקת של החיתוכים מראה שלמעשה אלו הוכחות שקריות – הן מבוססות על טעות (קשה לזיהוי) בחישוב השטחים.

באיור משמאל ניתן לראות דוגמה קלאסית לחיתוכים מסוג זה, שהומצאה על ידי סם לויד. החיתוך מראה כיצד לחלק ריבוע 8x8 לארבעה חלקים (שני משולשים ושני טרפזים) שמהם ניתן, לכאורה, להרכיב מלבן בגודל 5x13. אולם, שטח הריבוע המקורי הוא 64 יח' ושטח המלבן הוא 65 יח' – ומכאן, שעל ידי חיתוך והרכבה הצלחנו, לכאורה, להגדיל את שטח הצורה. הטעות בחיתוך היא, שהשיפועים של המשולש ושל הטרפז אינם זהים. השיפוע של המשולש הוא 0.375=3/8, ואילו שיפוע הטרפז הוא 0.4=2/5. מכאן שהטרפז והמשולש לא "מתחברים" באופן חלק כדי ליצור מלבן (יש "חור" דקיק לאורך כל אלכסון המלבן, שאינו שייך לאף צורה, ושטחו שווה בדיוק לשטח (המזויף) שהתווסף למלבן של 1 יח') .

באיור ניתן לראות גם הרכבה נוספת של אותם חיתוכים ממש, שנתגלתה על ידי בנו של סם לויד, היוצרת צורה, שלכאורה, השטח שלה הוא 63 יח'. גם כאן, הסיבה נעוצה בהבדלי השיפועים של הצורות המרכיבות את הצורה.

טורים
במתמטיקה, טור אינסופי הוא סכום עם מספר אינסופי של מחוברים. קיימים טורים אינסופיים שסכומם מספר סופי. לדוגמה, הטור :  . טורים אינסופיים נעדרים מספר תכונות אינטואיטיביות המיוחסות לסכומים (כמו שתמיד הסכום הוא קבוע אחד ויחיד), ולכן, הם עומדים בבסיסן של הוכחות שגויות רבות.
סכום מופרך: הסכום של טור אינסופי של מספרים אינו בהכרח מספר (סופי או אינסופי). ייחוס תוצאה מספרית לסכום הטור והפעלת כלים אלגבריים פשוטים ומוכרים מעולם המספרים עליהם, עשוי להוביל לתוצאות מופרכות. לדוגמה:

נסמן: . אז:

(ראו גם סכום המספרים הטבעיים). 

קיבוציות: תכונה מוכרת ומאפיינת של פעולת החיבור היא תכונת הקיבוציות. כאשר נתון סכום סופי של מספרים, אין צורך לחברם לפי סדר הופעתם, אלא ניתן לחבר את האיברים לפי איזה סדר שנחפוץ בו. כלל זה לא בהכרח תקף לסכומים אינסופיים, ושימוש בו עלול להוביל לתוצאות שגויות. לדוגמה:
מצד אחד:

מצד שני:

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

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

ראו גם 
 פרדוקס
 כשל לוגי
 פרדוקס הסוס
 טרחן כפייתי

קישורים חיצוניים 

 הוכחות שגויות באתר Cut-the-knot 
 הוכחות שגויות באתר AhaJokes.com 
 הוכחות שגויות באתר Jokes-funblog.com 
 

הוכחה
כשלים לוגיים