האם יש הבדל במשפט סיכום באינדוקציה של הוכחת נוסחאות לעומת אינדוקציה של אי שוויונים?

לא.
הוכחנו את נכונות הטענה עבור n=1, הנחנו את נכונות הטענה עבור n=k והוכחנו את הטענה עבור n=k+1 ולכן עפ"י אקסיומת האינדוקציות, הטענה נכונה לכל n טבעי.