מתי הנתונים אינם מספיקים
דוגמה נגד אחת יכולה להפיל טענת חפיפה
מה נבנה כאן
מהי דוגמה נגד וכוחה במתמטיקה
במתמטיקה, כדי להוכיח שטענה תמיד נכונה צריך הוכחה אוניברסלית. אבל כדי להוכיח שטענה לא תמיד נכונה - מספיקה דוגמה אחת שבה היא נכשלת. זה נקרא דוגמה נגד, והיא כלי עוצמתי. אם אני מוצא משולש אחד שבו שלוש זוויות שוות לאחר אך הם לא חופפים - הוכחתי שז.ז.ז לא יכולה להיות משפט חפיפה.
עיקרון בחשיבה מתמטית:
- כדי להוכיח שטענה תמיד נכונה: צריך הוכחה כללית.
- כדי להוכיח שטענה לא תמיד נכונה: מספיקה דוגמה אחת שמראה שזה לא עובד.
דוגמה נגדית אחת היא לא "מקרה חריג" - היא הוכחה שהטענה אינה משפט.
לא כל נתון יפה הוא משפט
כאן לא לומדים עוד משפט חפיפה, אלא לומדים לזהות גבול: נתונים שנראים חזקים יכולים להשאיר חופש לשנות גודל או צורה. המטרה היא לדעת מתי לעצור ולא להפוך רמז בציור לנימוק.
לא כל נתון יפה הוא משפט
בגאומטריה משפט חייב לעבוד תמיד. אם מוצאים דוגמה אחת שבה הנתונים מתקיימים אבל המסקנה לא, הטענה אינה משפט חפיפה. במודול הזה נכיר ארבעה מצבים נפוצים שבהם 'נראה' שיש מספיק מידע - אבל בעצם אין: AAA (שלוש זוויות), SSA (שתי צלעות וזווית לא כלואה), שטח שווה, והיקף שווה.
שומר על זוויות ולכן על צורה, אבל המשולשים יכולים להיות בגדלים שונים - זה היסוד של דמיון. גם שאינה כלואה (SSA) אינה אחד ממשפטי החפיפה הבסיסיים בפרק. בנוסף, נתונים על שטח או היקף בלבד לא מספיקים. המשפטים שכן עובדים הם רק שלושה: צ.ז.צ, ז.צ.ז, וצ.צ.צ.
השאלה החשובה היא לא כמה נתונים יש, אלא אילו נתונים ומה היחסים ביניהם. שלושה נתונים יכולים להיות 'מצופפים נכון' (משפט חפיפה) או 'רחוקים מדי' (לא משפט). השוני בין השניים יכול להיות זווית אחת או צלע אחת - הבדל קטן בנתונים, הבדל ענק בתוצאה.
AAA - שלוש זוויות שוות (דמיון, לא חפיפה)
המקרה הראשון של 'נראה כמו משפט אבל לא': שלוש זוויות מתאימות שוות (AAA - Angle Angle Angle). אם , , ו-, האם ? התשובה: לא! המשולשים יהיו דומים אבל לא בהכרח חופפים. הסיבה: הזוויות קובעות את צורת המשולש, אבל לא את גודלו.
דוגמה מספרית מפורטת - AAA לא חפיפה
שלב 1 מתוך 5המשולש הראשון: ישר זווית, עם זווית ישרה בקודקוד ושתי זוויות חדות. הצלעות: .
AAA = דמיון, לא חפיפה
אז AAA הוא לא משפט חפיפה - אבל הוא גם לא חסר ערך. בכיתה ט תלמדו שAAA הוא משפט דמיון: אם שני משולשים בעלי שלוש זוויות שוות, הם משולשים דמויים, ויחסי הצלעות שלהם שווים.
ההבדל המכריע: דמיון אומר שיש לנו אותה צורה, חפיפה אומרת אותה צורה ואותו גודל. AAA נותן צורה - לא גודל.
SSA - 'המקרה הדו-משמעי'
המקרה השני (והמסוכן יותר!) של 'נראה כמו משפט אבל לא': שתי צלעות וזווית שאינה ביניהן (SSA). הוא נקרא 'המקרה הדו-משמעי' כי בהינתן שלושת הנתונים, יכולים להיות 0, 1, או 2 משולשים שונים שעונים להם!
המקרה הדו-משמעי - מתי 0, 1, או 2 משולשים?
| מצב | מתי | כמה משולשים |
|---|---|---|
| טווח הדו-משמעיות | 2 משולשים | |
| מקרה גבול (משיק) | 1 משולש (מקרה גבול) | |
| צלע ארוכה ממש | 1 משולש | |
| קצרה מדי - אין פתרון | 0 משולשים |
דוגמה מפורטת - SSA יוצר 2 משולשים
שלב 1 מתוך 7מתחילים מ-. הזווית קובעת קרן יוצאת מ-.
למה SSA כל כך חשוב להכיר
SSA הוא הטעות הכי שכיחה בבעיות חפיפה. תלמיד רואה שתי צלעות וזווית, וקופץ ל-צ.ז.צ - אבל הזווית לא בין הצלעות! זוהי הסיבה שאנחנו תמיד אומרים 'הזווית הכלואה' ולא רק 'זווית כלשהי'.
במציאות, SSA יכול להיות מסוכן: דמיינו רובוט שמתכנן מסלול. אם הוא קיבל נתונים בצורת SSA, יש לו שתי אפשרויות לצורה הסופית - והוא חייב לבחור באמצעות מידע נוסף. זוהי הסיבה שטוב להבין למה SSA אינו משפט: זה לא רק שאלה תיאורטית.
שטח שווה ≠ חפיפה
המקרה השלישי: שני משולשים בעלי שטח זהה. נראה הגיוני שאם הם 'גדולים אותו דבר', הם חופפים. אבל זה לא ככה - שטח אחד יכול להתקבל מאלפי צירופי בסיס וגובה.
היקף שווה ≠ חפיפה
המקרה הרביעי: שני משולשים בעלי היקף זהה. אם הסכום של כל הצלעות שווה - האם המשולשים חופפים? לא! ההיקף לא נותן מידע על אורכי הצלעות הספציפיים.
טבלת מאסטר - מה מספיק ומה לא
להלן הטבלה המקיפה של כל הצירופים שתפגשו: אילו נתונים מבטיחים חפיפה ואילו לא, ולמה. זוהי 'תעודת זהות' של כל הקומבינציות:
מסטר מצבים: 3 נתונים = חפיפה?
| נתונים | סוג | חפיפה? | הסיבה |
|---|---|---|---|
| צ.צ.צ (3 צלעות) | SSS | כן ✓ | שלוש צלעות קובעות משולש יחיד |
| צ.ז.צ (2 צלעות + זווית כלואה) | SAS | כן ✓ | הזווית 'נועלת' את הקודקוד השלישי |
| ז.צ.ז (2 זוויות + צלע כלואה) | ASA | כן ✓ | הזוויות קובעות כיוונים, הצלע - גודל |
| ז.ז.צ (2 זוויות + צלע לא כלואה) | AAS | כן ✓ | שקול ל-ז.צ.ז (סכום 180 קובע את הזווית השלישית) |
| SSA (2 צלעות + זווית לא כלואה) | SSA | לא ✗ | מקרה דו-משמעי: 0, 1, או 2 משולשים |
| AAA (3 זוויות) | AAA | לא ✗ | דמיון בלבד - אין מידע על גודל |
| שטח שווה | אין | לא ✗ | אינסוף משולשים עם אותו שטח |
| היקף שווה | אין | לא ✗ | אינסוף משולשים עם אותו היקף |
| שטח + היקף שווים | אין | לא ✗ | עדיין יש משולשים שונים - שני נתונים מספריים אינם קובעים משולש |
| צלע אחת + שטח | אין | לא ✗ | חסר מידע על זוויות וצלעות אחרות |
| צלע אחת + היקף | אין | לא ✗ | חסר מידע מספיק |
| שתי זוויות בלי צלע | AA | לא ✗ | דמיון - בלי גודל |

אותן זוויות, גדלים שונים
הזוויות יכולות להיות שוות, אבל המשולשים אינם באותו גודל.
זוויות שוות אינן מספיקות לחפיפה
מה מספיק ומה לא
| נתונים | האם משפט חפיפה בפרק? | הסיבה |
|---|---|---|
| צ.ז.צ | כן | זווית כלואה בין שתי צלעות |
| ז.צ.ז | כן | צלע כלואה בין שתי זוויות |
| צ.צ.צ | כן | שלוש צלעות מתאימות |
| ז.ז.ז | לא | שומר צורה, לא גודל - דמיון |
| צ.צ.ז לא כלואה | לא | הזווית אינה בין הצלעות - אפשרי >1 משולש |
| צלע + שטח | לא | שטח לא קובע צורה |
| היקף | לא | אורכים לא ידועים בנפרד |
| שתי זוויות בלבד (בלי צלע) | לא | אין מידע על גודל - דמיון |
דוגמה - ז.ז.ז אינה חפיפה
כאן בונים דוגמה נגד מסודרת: משאירים את הנתונים שהטענה מבטיחה, משנים משהו שמותר עדיין לשנות, ובודקים אם החפיפה נכשלת.
שני מצבים שמפילים טענה
ז.ז.ז
כל הזוויות שוות, אבל אפשר להגדיל או להקטין את המשולש.
צ.צ.ז לא כלואה
יש שתי צלעות וזווית, אבל הזווית אינה בין הצלעות, ולכן זה לא צ.ז.צ.
שלד בדיקה לפני דוגמה נגד
איך בונים דוגמה נגד
שינוי גודל
קחו משולש והגדילו אותו פי 2. הזוויות נשארות, החפיפה נעלמת. דוגמה נגד לז.ז.ז.
הזווית הלא נכונה
בחרו שתי צלעות ואז סמנו זווית שאינה בין שתיהן. זו אינה כליאה - דוגמה נגד לצ.צ.ז (לא כלואה).
שטח עם צורות שונות
משולש דק וארוך מול משולש רחב ונמוך - אותו שטח, צורות שונות.
היקף עם צורות שונות
משולש (3,4,5) ומשולש שווה צלעות (4,4,4) - אותו היקף 12, אך לא חופפים.
בדיקות אבחון
האם זה משפט?
ספרו: צ או ז?
בדקו: כליאה?
האם זה צ.ז.צ, ז.צ.ז או צ.צ.צ?
אם לא - לחפש דוגמה נגד
מה יכול להשתנות?
גודל? צורה?
בנו דוגמה ספציפית.
ז.ז.ז = דמיון
שלוש זוויות = צורה.
אין נתון על גודל.
הגדלה היא דוגמה נגדית.
צ.צ.ז לא כלואה = שני אפשרויות
הקרן יכולה לחתוך מעגל בשתי נקודות.
מתקבלים שני משולשים שונים.
פרט: לפעמים אין משולש כלל.
תרגול מדורג
תרגול 1 - ניתוח נימוק חשודה (אתגר)
תלמיד כתב: נתון , ו-, לכן . האם הנימוק תקף?
תרגול 2 - האם ז.ז.ז מספיק (בינוני)
שני משולשים בעלי זוויות . האם בהכרח הם חופפים?
תרגול 3 - מה חסר כדי לתקן (בינוני-גבוה)
יש לנו שתי זוויות שוות בשני משולשים. איזה נתון נוסף יכול להפוך את המידע למשפט ז.צ.ז?
ההיסטוריה: איך מתמטיקאים שללו את AAA
ההבחנה בין דמיון לחפיפה היא לא חדשה - היא חוזרת לאאוקלידס במאה ה-3 לפני הספירה. בספר היסודות (Elements), אאוקלידס הקדיש את הספר השישי כולו לדמיון, ובו הוכיח שAAA הוא בדיוק תנאי הדמיון. הוא לא קרא לזה 'דוגמה נגדית' - אבל הוא הבחין באופן ברור: 'משולשים בעלי אותן זוויות הם דמויים, יחס הצלעות שלהם שווה'.
ההיסטוריה של ההבחנה
אאוקלידס (300 לפני הספירה)
בספר השישי של היסודות, אאוקלידס הוכיח שמשולשים בעלי אותן זוויות יוצרים יחס קבוע של צלעות. הוא ניסח זאת באופן הפוך: דמיון מובל ליחס. אבל ההבחנה שלו עדיין נלמדת באלפיים שנה אחרי.
תאלס ממילטוס (600 לפני הספירה)
תאלס מדד את גובה הפירמידה בעזרת דמיון - השווה את הצל שלו לצל הפירמידה. למעשה, הוא השתמש בצורה אינטואיטיבית בכך שAAA = דמיון, ולכן יחסי הצלעות שווים.
הילברט (1899)
במאה ה-19, מתמטיקאים החלו לבדוק את היסודות של אאוקלידס. דוד הילברט פרסם 'יסודות הגאומטריה' שבו ניסח מחדש את כל הגאומטריה באקסיומות מודרניות. הוא הראה ש-צ.ז.צ (SAS) הוא אקסיומה - אי אפשר להוכיח אותו מהיסודות, אבל ממנו אפשר להוכיח את שאר משפטי החפיפה.
AAS / ASS / AAA - מה ההבדל?
בספרות הגאומטריה הבינלאומית, יש כמה ראשי תיבות שעלולים לבלבל. הנה המדריך המלא:
- SSS (Side-Side-Side) = צ.צ.צ. כן, משפט.
- SAS (Side-Angle-Side) = צ.ז.צ. כן, משפט.
- ASA (Angle-Side-Angle) = ז.צ.ז. כן, משפט.
- AAS (Angle-Angle-Side) = ז.ז.צ (לא כלואה). כן, משפט (דרך סכום 180).
- SSA (Side-Side-Angle) = צ.צ.ז (לא כלואה). לא משפט - מקרה דו-משמעי.
- AAA (Angle-Angle-Angle) = ז.ז.ז. לא משפט - דמיון בלבד.
כלל זהב: כשיש זווית, בדקו אם היא כלואה בין שני צדדים אחרים. אם כן - יש סיכוי שזה משפט. אם לא - בדקו עוד פעם.
שאלת הבקרה
ברגע שנתון לא מתאים בדיוק לצ.ז.צ, ז.צ.ז או צ.צ.צ, לא כותבים חפיפה מתוך הרגל. מחפשים מה עוד יכול להשתנות למרות שהנתונים נשארים נכונים.
מפת מצבים שאינם מספיקים
| מצב | למה לא מספיק | מה אפשר עדיין להסיק |
|---|---|---|
| שלוש זוויות בלבד (ז.ז.ז) | אין נתון על גודל - אפשר הגדלה | המשולשים דומים (לא חופפים) |
| שתי צלעות + זווית לא כלואה | ייתכנו 2 משולשים שונים על הקרן | כלום בוודאות - תלוי בנתונים |
| אורך + שטח | שטח לא קובע צורה | כלום על צלעות נוספות |
| היקף בלבד | אורכים אינם ידועים בנפרד | סכום אורכים בלבד |
| זווית אחת + צלע אחת | חסר נתון | כלום על צלעות וזוויות אחרות |
| שתי זוויות בלי צלע | צ.ז.ז = ז.ז.ז = דמיון | המשולשים דומים, לא חופפים |
שאלת הבקרה
אחרי שמצאתם נתונים, שאלו: האם זה אחד משלושת המשפטים של הפרק בדיוק, צ.ז.צ, ז.צ.ז או צ.צ.צ?
- אם כן, נמקו לפי המשפט.
- אם לא, חפשו דוגמה נגד.
- אל תמציאו משפט חדש מהציור.
- אם נראה שיש מספיק נתונים, בדקו האם יש כליאה.
קישור ללמידה
המקום של מודול זה בפרק
מהמודולים הקודמים
הכרנו שלושה משפטי חפיפה: צ.צ.צ, צ.ז.צ, ז.צ.ז. עכשיו לומדים מתי הם לא פועלים.
במודול הנוכחי
חשיבה ביקורתית: זיהוי מצבים בהם הנתונים אינם מספיקים, שימוש בדוגמאות נגד.
במודולים הבאים
נעבור למשולש שווה שוקיים ולתיכון - מצבים שבהם החפיפה היא כלי, לא מטרה.
שאלות לחשיבה עמוקה
שאלה לחשיבה
למה דוגמה נגד אחת מספיקה כדי להראות שטענה אינה משפט?
משפט גאומטרי אמור להיות נכון בכל מצב שמתאים לתנאים שלו. אם מצאנו מצב אחד שבו התנאים מתקיימים אבל המסקנה נכשלת, הטענה אינה נכונה תמיד. לכן דוגמה נגד אחת היא כלי חזק מאוד בחשיבה מתמטית.
שאלה לחשיבה
ראיתם בכיתה ז: סכום זוויות במשולש = . עכשיו: ז.ז.ז (שלוש זוויות שוות) אינו משפט חפיפה. למה לא? הרי שלוש זוויות לכאורה קובעות הכל!
זה בדיוק המוקד של ההבחנה: שלוש זוויות אכן קובעות את צורת המשולש (אם זווית אחת ידועה ועוד שתיים, השלישית מובטחת בעצם בסכום 180). אבל הם לא קובעים גודל. הצורה היא איך נראה המשולש (חד, ישר, קהה זווית), והגודל הוא אורכי הצלעות. שני משולשים יכולים להיות באותה צורה (כל הזוויות שוות) אבל בגדלים שונים - זה דמיון, לא חפיפה. לכן ז.ז.ז יוצר רק דמיון.
שאלה לחשיבה
במציאות, מודד קרקע מודד שתי זוויות וצלע. הוא יודע שיש לו ז.צ.ז ולכן משולש יחיד. אבל אם הוא היה מודד שתי זוויות בלבד (בלי הצלע), מה היה הבעיה?
ללא הצלע, יש לו רק את צורת המשולש (זוויות) אבל לא את גודלו. הוא יוכל לדעת את היחסים בין הצלעות (משולש דמוי), אבל לא את האורכים בפועל. למעשה, יכלו להיות אינסוף משולשים בכל הגדלים שמתאימים לזוויות שמדד. בלי לפחות אורך אחד, אין לו דרך לקבע את גודל המשולש. זו הסיבה שכל מודד צריך לפחות 'מד-בסיס' אחד - אורך אחד שיודע במדויק.