הוכחה שגויה – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
←‏טורים: תיקון לשוני
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
אין תקציר עריכה
שורה 50: שורה 50:
===טורים===
===טורים===
במתמטיקה, [[טור (מתמטיקה)#טורים אינסופיים|טור אינסופי]] הוא [[סכום]] עם מספר [[אינסוף|אינסופי]] של מחוברים. קיימים טורים אינסופיים שסכומם [[מספר]] סופי. לדוגמה, הטור <math>\sum_{i=1}^\infty {\frac{1}{2^i}}</math>: <math>\frac12+\frac14+\frac18+\frac{1}{16}+\cdots=1</math>. טורים אינסופיים נעדרים מספר תכונות [[אינטואיציה|אינטואיטיביות]] המיוחסות לסכומים (כמו שתמיד הסכום הוא קבוע אחד ויחיד), ולכן, הם עומדים בבסיסן של הוכחות שגויות רבות.
במתמטיקה, [[טור (מתמטיקה)#טורים אינסופיים|טור אינסופי]] הוא [[סכום]] עם מספר [[אינסוף|אינסופי]] של מחוברים. קיימים טורים אינסופיים שסכומם [[מספר]] סופי. לדוגמה, הטור <math>\sum_{i=1}^\infty {\frac{1}{2^i}}</math>: <math>\frac12+\frac14+\frac18+\frac{1}{16}+\cdots=1</math>. טורים אינסופיים נעדרים מספר תכונות [[אינטואיציה|אינטואיטיביות]] המיוחסות לסכומים (כמו שתמיד הסכום הוא קבוע אחד ויחיד), ולכן, הם עומדים בבסיסן של הוכחות שגויות רבות.
*'''סכום מופרך''': בניגוד לסכומים רגילים, התוצאה של טור אינסופי אינה בהכרח מספר (סופי). ייחוס תוצאה סופית לטורים והפעלת כלים [[אלגברה|אלגבריים]] פשוטים ומוכרים מעולם המספרים עליהם, עשוי להוביל לתוצאות מופרכות. לדוגמה:
*'''סכום מופרך''': הסכום של טור אינסופי של מספרים אינו בהכרח מספר (סופי או אינסופי). ייחוס תוצאה מספרית לסכום הטור והפעלת כלים [[אלגברה|אלגבריים]] פשוטים ומוכרים מעולם המספרים עליהם, עשוי להוביל לתוצאות מופרכות. לדוגמה:


::נסמן: <math>\ 1+2+4+8\cdots=S</math>. אז:
::נסמן: <math>\ 1+2+4+8\cdots=S</math>. אז:
שורה 58: שורה 58:
::<math>\ S=-1</math>
::<math>\ S=-1</math>
::<math> 1+2+4+8\cdots=-1</math>
::<math> 1+2+4+8\cdots=-1</math>
(ראו גם [[סכום המספרים הטבעיים]]).

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


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

גרסה מ־13:24, 20 ביולי 2018

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

דוגמאות

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

אלגברה

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

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


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


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

גאומטריה

הדגמה של ריבוע ששטחו 64 יח', שבעזרת חלוקתו ושינוי סדר הצורות המרכיבות אותו, שטחו גדֵל או קטֵן ב-1 ל-65 יח' ו-63 יח', בהתאמה.

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

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

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

טורים

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

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

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

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

ראו גם

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