חשבון אינפיניטסימלי/מושגים בסיסיים בתורת הקבוצות/אינדוקציה/פתרונות לתרגילים

פתרון תרגיל מספר 1עריכה

פתרון סעיף א'עריכה

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

 

במילים אחרות, אנו מניחים שמתקיים:

 

שלב ג': צעד האינדוקציה: עלינו להוכיח כי מתקיים:

 

הוכחה: ראשית נבדוק: האם מתקיים:

 ? 

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

נכפול את שני אגפי אי-השיוויון שהתקבל בביטוי  . נקבל:

 

כאשר ב-   הצבנו את הנחת האינדוקציה.
כעת נבדוק: האם מתקיים:

  ?

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

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

פתרון סעיף ב'עריכה

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

 

כלומר   מקיים את הטענה.
ב. הנחת האינדוקציה: נניח נכונות הטענה עבור  .
ג. צעד האינדוקציה: עלינו להוכיח שמתקיים:  

פתרון תרגיל מספר 2עריכה

יש להראות שלכל   מתקיים:  .

נוכיח באינדוקציה.

בסיס האינדוקציה הוא עבור   והוא מיידי:  

נניח כי עבור   מתקיים  .

צריך להראות כי עבור   מתקיים  .

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

נפתח את אגף שמאל:

 

 

 

 

 

 

 

השתמשנו בזהות הקומבינטורית  .

==פתרון תרגיל מספר 3==

פתרון סעיף א'עריכה

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

פתרון סעיף ב'עריכה

ב. מצאו ביטוי המפשט את  .