אמיר:
"דיברנו כבר על מספרים משולשים, ריבועיים ואפילו קובייתיים - כל מיני מספרים שאפשר לבנות מהם צורות בעזרת כדורים."
מאיה:
"נכון, מספרים משולשים יוצרים משולשים שווי-צלעות, מספרים ריבועיים יוצרים ריבועים… אני זוכרת. למה, יש לך רעיון לצורה חדשה?"
אמיר:
"כן!!! את זוכרת שכשעבדנו עם הקוביות אז הרשנו גם לחסר ביניהן? מה אם עכשיו נשחק עם מספרים משולשיים ונרשה לחסר מהראש שלהם משולשים קטנים יותר?
מאיה:
"תן לי רגע לחשוב על זה…? אמממ… נראה לי שהם פשוט יראו כמו משולשים קטומים"
אמיר:
"משולשים כתומים? זה נשמע כמו מספרים שנשכחו יותר מידי זמן בשמש וקיבלו קצת צבע. איך זה בדיוק קשור לחיסור משולשים?"
מאיה:
"אוי, אמיר. קטום - עם קו"ף וטי"ת. זה אומר שחתכו את הקצה שלו.
הרעיון שלך נשמע טוב, אבל רגע - אני חושבת שצריך להוסיף תנאי חשוב: אם נרשה לחסר שני משולשים, נוכל פשוט לקבל שורה בכל אורך שנרצה - ואז כל מספר יהיה משולש קטום. וזה לא מעניין בכלל."
אמיר:
"אוקיי, את עושה לי הרבה היגיון! אז מספרים קטומים הם בעצם תוצאה של חיסור בין משולש גדול למשולש קטן, אבל צריכות להיות לפחות לתוצאה שתי שורות לפחות."
מאיה:
"בדיוק. ואפשר גם לחשוב על זה אחרת, פשוט אוסף של שורות כדורים, ככה שבכל שורה יש כדור אחד פחות מהשורה שמתחתיה. וזה מעלה את השאלה - מה דעתך על מספרים משולשיים? גם אותם נכלול כקטומים?"
אמיר:
"הממ… למה לא? אפשר להגיד עליהם שהם קטומים 'באופן ריק', זה ביטוי שאמא שלי המתמטיקאית כל הזמן אומרת. את חושבת שהוא מתאים כאן?"
מאיה:
"כן, טוב יאללה - אז 3 ו-6 הם משולשיים קטומים (אפילו שהם לא באמת קטומים), וגם 5 ו-7 שקל לבדוק. אבל אני לא מצליחה לסדר בתור משולשים קטומים את המספרים 2 ו-4. רגע… אני חושבת שזה… המממ… כן! זה בלתי אפשרי!"
אמיר:
"מה, באמת?! את בטוחה? אם ככה אז אולי יש עוד כאלה? תני לי רגע לחשוב. נראה לי שאני יכול לשכנע את עצמי בקלות שכל מספר אי-זוגי הוא משולש קטום"
מאיה:
"אתה צודק. כי כל משולש קטום הוא סכום של מספרים עוקבים, ובאמת כל מספר אי-זוגי אפשר להציג כסכום של שניים כאלה.
אבל השאלה שלך על מספרים בלתי אפשריים… זו יכולה להיות החידה שלנו להיום!
מספרים שאי אפשר לסדר אותם בתור משולשים קטומים. אפשר להתחיל ממספרים קטנים - ואולי נחפש את המספר הכי גדול בין 1,000 ל-2,000 שאי אפשר להציג ככה, אם בכלל יש כזה?"
אמיר:
"אוקיי, אז צריך להבין איך המספרים האלה עובדים? ומה נעשה אם לא קיים כזה?"
מאיה:
"אה… לגבי הקיום - אל תדאג. יש לי קשרים בהפקה של התחרות, והם הבטיחו לי שבין 1,000 ל-2,000 יש בידיוק אחד כזה! ועכשיו אנחנו צריכים לחשוב איזו תכונה מתמטית גורמת למספר להיות יוצא דופן. האם זה קשור להיותו זוגי? ראשוני? כמה מחלקים יש לו? אולי למבנה הבסיסי של המספרים האלה? ואתה יודע למה אני די בטוחה שזה יכול להיות קשור?"
אמיר:
"אל תגידי לי… שנשתמש במשפט היסודי של האריתמטיקה שוב?"
מאיה:
"שנשתמש במשפט היסודי של האריתמטיקה! שוב!"
________________
מוזמנות ומוזמנים לפתור את החידמטיקה בתמונה המצורפת.
כל הכבוד לכל מי שהשקיעו בפתרון ובנימוק ושלחו אלינו את תשובותיהם!
נדב, תלמיד התוכנית בקבוצת ו׳ בהרצליה, ראה שכל מספר עם מחלק אי-זוגי הוא בעצם משולש קטום. הוא נעזר בידע שנתנו כדי למצוא את התשובה הנכונה, אך כמו מתמטיקאי מקצועי - ממשיך לעבוד כדי להוכיח לעצמו את נכונותה:
"התגלית המרכזית שלנו הייתה שאפשר לקבל כל מספר שהוא כפולה של מספר אי-זוגי מטרפז עם מספר אי-זוגי של שורות. למשל אפשר לקבל כל מספר שמתחלק ב-3 (החל מ-6) מטרפז עם 3 שורות, כל מספר שמתחלק ב-5 (החל מ-15) מטרפז עם 5 שורות, וכן הלאה…
כלומר המספרים היחידים שנשארים הם חזקות של 2! ויש רק מספר אחד כזה בין 1,000 ל-2,000 שהוא 10²=1024, וזה חייב להיות המספר המבוקש.
אנחנו עדיין מנסים להוכיח שאי אפשר לקבל אותו משום טרפז, אבל זאת חייבת להיות התשובה הנכונה…"
_________________________
הילה, תלמידת התוכנית בקבוצת ז' בחיפה, בעזרת שיטת חישוב בהשראת גאוס, הוכיחה שכל משולש קטום זוגי חייב שיהיה לו גורם אי-זוגי, מה שמסביר בדיוק למה 1,024 הוא יוצא הדופן היחיד:
"בהתחלה בדקתי אם אפשר לכתוב כל מספר עד 16 כסכום של כדורים כמו בשאלה וגיליתי שאפשר לכתוב את כל המספרים חוץ מהחזקות של 2 שהן: 2, 4, 8, ו-16. לכן הבנתי שיש פה משהו עם חזקות של 2.
כדי לחשב סכום של מספרים עוקבים, אפשר להשתמש בשיטה שגם גאוס השתמש בה כשהיה ילד. אני אסביר אותה בשתי דוגמאות:
נניח שרוצים לדעת מהו 4+5+6+7+8. רושמים את כל המספרים בסדר ההפוך 8+7+6+5+4 ואז רואים שפעמיים הסכום שווה ל-12+12+12+12+12, וזה באמת יוצא 30.
עוד דוגמה: נניח שרוצים לדעת מהו 5+6+7+8. כותבים בסדר הפוך 8+7+6+5, מחברים ומקבלים שפעמיים הסכום הוא 13+13+13+13, וזה באמת יוצא 26.
לכן אפשר תמיד לכתוב פעמיים סכום מספרים עוקבים כמכפלה של שני מספרים: אחד מהם הוא מספר המחוברים, והשני הוא סכום המספר הראשון והאחרון.
עכשיו מה שחשוב הוא שתמיד אחד המספרים האלה אי-זוגי: או שיש מספר אי-זוגי של מחוברים, או שיש מספר זוגי של מחוברים ואז סכום הראשון והאחרון הוא אי-זוגי.
הדרך היחידה לכתוב חזקה של 2 (וגם פעמיים שלה) כמכפלה של מספר אי-זוגי במספר אחר היא שהמספר האי-זוגי הזה יהיה 1, אבל לא הרשינו סכומים כאלה בשאלה. לכן אי אפשר לכתוב את 1,024 (שהוא החזקה היחידה של 2 בין 1,000 ל-2,000) כסכום של לפחות שני מספרים עוקבים.
אבא שלי בדק גם במחשב, וראה שאת שאר המספרים בין 1,000 ל-2,000 כן אפשר לכתוב"
_________________________
אייל, תלמיד התוכנית בקבוצת ו׳ במודיעין -רעות, הציג את האופן שבו ניתן ליצור משולש קטום מכל מספר שיש לו גורם אי-זוגי, כך הוא מצא את המספר היחיד שלא עונה על התנאים:
"קודם הבנתי שכל מספר אי-זוגי אפשר להרכיב משני מספרים עוקבים, ולכן משולשי קטום של שתי שורות, לדוגמא: 1201=600+601. לכן התשובה לא יכולה להיות מספר אי-זוגי.
על אותו רעיון, הבנתי שכל מספר שמתחלק ב-3 אפשר להרכיב ב-3 שורות של מספרים עוקבים (שליש מהמספר + אחד מעל + אחד מתחת), ואז הבנתי שאפשר להכליל את זה לעוד מספרים אי-זוגיים, וזה הוביל אותי לחפש מספר שאין לו מחלק אי-זוגי (חוץ מ-1), המספר היחיד בין 1,000 ל 2,000 שאין לו מחלק אי-זוגי הוא 1,024 שהוא חזקה של 2.
כדי לבדוק אם אני צודק חיפשתי סכום של סדרה חשבונית של מספרים עוקבים (ההפרש הוא 1), שזה בעצם משולשי קטום, שיהיה 1,024, ולא מצאתי (בחנתי בשיטה זאת גם את 1,028 כניסוי ומצאתי שאפשר ב-8 שורות). בגלל שלפי השאלה יש מספר אחד שעונה להגדרה, עצרתי את החיפושים :-)"
_________________________
ברק, תלמיד התוכנית בקבוצת ז׳ בפתח תקוה, התחיל מחקר משולשים קטומים קטנים, וכך מצא איך להכליל את ההצגה של כל מספר עם גורם אי-זוגי כמשולש קטום, כלומר המספרים היחידים שנשארים מחוץ למשחק הם חזקות של 2:
"התחלתי לנסות ליצור משולשים קטומים ממספרים קטנים.
הדבר הראשון ששמתי לב אליו זה שממספרים אי-זוגיים תמיד אפשר ליצור משולש קטום כי אפשר לעשות פשוט חצי מהמספר בעיגול למעלה ושורה מעליו בעיגול למטה וזה יוצא המספר.
אחרי זה ראיתי שגם כל מספר שאפשר לחלק אותו במספר אי-זוגי הוא משולשי קטום כי אם מחלקים אותו במספר האי-זוגי הזה ואז מוסיפים שורות למעלה ולמטה אז יוצא המספר.
לאחר מכן הבנתי שהמספר היחיד שאי אפשר לחלק אותו במספר אי-זוגי הוא מספר שכל גורמיו הראשוניים הם זוגיים, כלומר הוא חייב להיות חזקה של 2.
1,024 הוא החזקה היחידה של 2 בין 1,000 ל-2,000, לפניו יש את 512 ואחריו יש את 2,048. כלומר, 1,024 הוא המספר היחיד בין 1,000 ל-2,000 שהוא לא משולשי קטום."
_________________________