שאלה מביכה על תרגיל באינדוקציה

[גבריאל]

כבר נתקלתי איזה 1000 פעמים באינדוקציה, עוד מהתיכון, ונראה לי שאפילו שם עשיתי תרגילים כאלה, ובכל זאת.

אני יכול (אחרי בדיקה של הראשונים כמובן) שהטענה מתקיימת עבור k טבעי וגם עבור k+1 טבעי, ועל סמך 2 ההנחות האלה ללכת ולהוכיח שזה מתקיים עבור k+2?
אני לא זוכר שנתקלתי בכזה דבר, אבל בגלל הגדרת הפונקציה נראה לי שזה מתבקש

זה התרגיל:

[Zodiack]

אתה יכול להניח שזה מתקיים עבור k ועבור k+1 ואז להוכיח שהטענה נכונה עבור k+2.
זה בעצם מה שצריך לעשות כאן.

[גבריאל]

סבבה, מצויין, תודה, כי זה בדיוק מה שעשיתי 

[Flying Python]

אני דווקא הייתי ממליץ להניח כי הטענה נכונה עבור כל ואז להוכיח עבור k+2 (שקול לוגית, אך יותר נוח. ע"ע אינדוקציה שלמה).