בגן ציבורי מתכננים לבנות ערוגת אבנים מדורגת בצורת פירמידה: בשורה ה-k (הנספרת מלמעלה למטה, כאשר k=1,2,3,...) מניחים בדיוק k² אבני ריצוף ריבועיות זהות בגודלן (בשורה הראשונה אבן אחת, בשורה השנייה 4 אבנים, בשורה השלישית 9 אבנים, וכן הלאה). הגנן טוען כי סך כל אבני הריצוף בערוגה בת n שורות (מהשורה הראשונה ועד השורה ה-n) נתון תמיד על ידי הנוסחה: 1²+2²+...+n² = n(n+1)(2n+1)/6.
הציגו פתרון
- אגף שמאל עבור n=1: 1²=1.
- אגף ימין עבור n=1: 1·(1+1)·(2·1+1)/6 = 1·2·3/6 = 6/6 = 1.
- שני האגפים שווים (1=1), ולכן בסיס האינדוקציה מתקיים.
תשובה: עבור n=1 שני האגפים שווים ל-1.
הציגו פתרון
- הנחת האינדוקציה: מניחים כי הטענה נכונה עבור n=k, כלומר 1²+2²+...+k² = k(k+1)(2k+1)/6.
- המטרה בצעד האינדוקציה: להראות שמתוך ההנחה נובע כי גם 1²+2²+...+k²+(k+1)² שווה לביטוי המתאים ל-n=k+1, כלומר ל-(k+1)((k+1)+1)(2(k+1)+1)/6 = (k+1)(k+2)(2k+3)/6.
תשובה: הנחה: 1²+...+k²=k(k+1)(2k+1)/6. יש להראות: 1²+...+k²+(k+1)²=(k+1)(k+2)(2k+3)/6.
הציגו פתרון
- נתחיל מאגף שמאל עבור n=k+1 ונציב את הנחת האינדוקציה: 1²+...+k²+(k+1)² = k(k+1)(2k+1)/6 + (k+1)².
- נוציא גורם משותף (k+1): = (k+1)·[k(2k+1)/6 + (k+1)] = (k+1)·[k(2k+1) + 6(k+1)]/6.
- נפתח את הסוגריים במונה: k(2k+1) = 2k²+k, ו-6(k+1) = 6k+6. נחבר: 2k²+k+6k+6 = 2k²+7k+6.
- נפרק לגורמים את 2k²+7k+6: מחפשים פירוק מהצורה (2k+3)(k+2). נבדוק: (2k+3)(k+2) = 2k²+4k+3k+6 = 2k²+7k+6 — מתאים.
- נציב את הפירוק: (k+1)·(2k+3)(k+2)/6 = (k+1)(k+2)(2k+3)/6, וזה בדיוק הביטוי הנדרש עבור n=k+1 (כי 2(k+1)+1=2k+3). צעד האינדוקציה הושלם.
- לפי עקרון האינדוקציה המתמטית, הנוסחה 1²+2²+...+n²=n(n+1)(2n+1)/6 מתקיימת לכל n טבעי.
תשובה: לאחר הצבה ופיתוח מתקבל בדיוק (k+1)(k+2)(2k+3)/6.
הציגו פתרון
- נציב n=10 בנוסחה שהוכחה: 1²+2²+...+10² = 10·11·21/6.
- נחשב: 10·11·21 = 2310, וכן 2310/6 = 385.
- לכן בערוגה בת 10 שורות נדרשות בסך הכול 385 אבני ריצוף.
תשובה: 385 אבנים.
חלוקת הנקודות בין הסעיפים היא הערכה פנימית של MathHero — בשאלון הרשמי הניקוד ניתן לשאלה כולה.