מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
טוען את הטאבים...
בדיקה נכונות הטענה עבור 
[עריכה]
נניח כי הטענה נכונה עבור
טבעי
[עריכה]
נוכיח כי הטענה נכונה עבור n=k+1
[עריכה]
טבעי (חיובי ושלם) ולכן, האינדוקציה נכונה על פי 4 שלבי האינדוקציה.
- המכנה חיובי ומכאן שניתן לבטלו מבלי לשנות את מהות התרגיל.