Ще ти помогна само за първата, другата не съм я гледал хич. Значи, ти имаш да
докажеш, че [tex]\frac{1^2+2^2+\cdots+n^2}{1+2+\cdots+n}=\frac{2n+1}{3}[/tex].
1. Първо трябва да провериш, че това тъждество е вярно за [tex]n=1[/tex]. Ами вярно е, защото
[tex]\frac{1}{1}=\frac{3}{3}=1[/tex].
2. Сега предполагаме, че тъждеството е изпълнено за някакво [tex]k[/tex], т. е. в сила е
[tex]\frac{1^2+2^2+\cdots+k^2}{1+2+\cdots+k}=\frac{2k+1}{3}[/tex]. Искаме да покажем, че е изпълнено и за [tex]k+1[/tex]. Това ще направим в
третата стъпка.
3. [tex]\frac{1^2+2^2+\cdots+k^2+(k+1)^2}{1+2+\cdots+k+k+1} = \frac{1^2+2^2+\cdots+k^2}{\underbrace{1+2+\cdots+k}+k+1}+\frac{(k+1)^2}{\underbrace{1+2+\cdots+k}+k+1}[/tex]
Знаем, че [tex]1+2+\cdots+k=\frac{k(k+1)}{2}[/tex] (сума на първите естествени числа).
[tex]\underbrace{1+2+\cdots+k}+k+1 = \frac{k(k+1)}{2} + k+1 = \frac{(k+1)(k+2)}{2}[/tex]
[tex]\Rightarrow \frac{1^2+2^2+\cdots+k^2}{\frac{(k+1)(k+2)}{2}}+\frac{(k+1)^2}{\frac{(k+1)(k+2)}{2}} = \frac{2}{(k+1)(k+2)} \left [ 1^2+2^2+\cdots+k^2+(k+1)^2\right ] \quad (*)[/tex]
Това в скобите го преписваме по следния начин:
[tex]\fbox{\frac{1^2+2^2+\cdots+k^2}{1+2+\cdots+k}} \cdot (\underbrace{1+2+\cdots+k})+(k+1)^2 = \frac{2k+1}{3} \cdot \frac{k(k+1)}{2}+(k+1)^2 = (k+1) \left [ \frac{k(2k+1)}{6}+k+1 \right ] =[/tex]
[tex]= (k+1) \cdot \frac{2k^2+7k+6}{6}[/tex] (ограденото се намира от индукционното предположение)
[tex]\Rightarrow^{(*)} \frac{2}{(k+1)(k+2)} \left [ 1^2+2^2+\cdots+k^2+(k+1)^2 \right ] = \frac{2}{(k+1)(k+2)} \cdot \frac{k+1}{6} \cdot (2k^2+7k+6) = \frac{1}{3(k+2)}\cdot(2k^2+7k+6).[/tex]
Само разлагаме квадратното нещо на линейни множители —
[tex]\frac{1}{3(k+2)} \cdot 2 \cdot \left ( k+\frac{3}{2} \right ) \cdot (k+2) = \frac{2}{3} \cdot \frac{2k+3}{2} = \frac{2k+3}{3} = \frac{2(k+1)+1}{3}[/tex] — това, което ни трябваше,

.