an+1=an+8na1=1an=(2n−1)2
an=(2n−1)2=(2−1)2=1a1=11=1√
ak=(2k−1)2
ak+1=(2k+1)2
ak+1=ak+8kak+1=ak⏟(2k−1)2+8kak+1=(2k−1)2+8kak+1=4k2−4k+1+8kak+1=4k2+4k+1ak+1=(2k+1)2
הטענה נכונה עבור כל n טבעי, ע"פ שלושת שלבי האינדוקציה.