מתמטיקה תיכונית/אלגברה תיכונית/אינדוקציה מתמטית/אינדוקציה על פי נוסחאות הנסיגה (רקורסיה)

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
קפיצה לניווט קפיצה לחיפוש

נסיגה[עריכה]

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

איך מתבצעת הוכחה?[עריכה]

  1. מבצעים בדיקה עבור - בבדיקה זו אנו בודקים שהנוסחא הכללית של הסדרה () והתנאי הראשוני () נכונים.
  2. הנחה - נניח כי נכון עבור כל מספר טבעי.
  3. צריך להוכיח - נניח כי הטענה נכונה עבור המספר עוקב הבא, כלומר נציב נוסחא הכללית את .
  4. על פי כלל הנסיגה - נציג את שידועה לנו (הנוסחא ) כאשר אנו מציבים בה את הנעלם .
  5. עח פי הנחת האינדוקציה - בשלב זה אנו מציבים בנוסחא הנתון את (נתון) ו- (שקיבלנו באינדוקציה)
  6. הוכחה - מוכיחים ששני צדי משוואה שווים.
  7. סיכום.

דוגמא[עריכה]

סדרה מוגדרת באמצעות כלל נסיגה , . הוכח שהאיבר הכללי הוא .

פתרון
בדיקה עבור - נבדוק שהאיבר הראשוני של הסדרה הוא הכן . על ידי הצבה בנוסחא הכללית של הסדרה את המיקום

נניח כי הטענה נכונה עבור כאשר טבעי

נניח כי הטענה נכונה עבור

על פי כלל הנסיגה
על פי הנחת האינדוקציה

הוכחה
האינדוקציה נכונה על פי שלושת שלבי האינדוקציה.

מצבים[עריכה]

כל המקרים[עריכה]

כולל המקרים בנוסחא כללית[עריכה]

התחלקות ונסיגה[עריכה]

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


פרק זה לוקה בחסר. אתם מוזמנים לתרום לוויקיספר ולהשלים אותו. ראו פירוט בדף השיחה.



תחום ונסיגה[עריכה]

פרק זה לוקה בחסר. אתם מוזמנים לתרום לוויקיספר ולהשלים אותו. ראו פירוט בדף השיחה.



  1. ^ במקרים שלא, נצטרך להציב את היבר הנוסף כיוון שנוסחא תיהיה מושפת מהאיב הנוסף.