Re: Udowodnij, tożsamość Abela - zadania dowodowe z sigmą
: 28 lis 2019, o 22:34
Można skorzystać z zasady indukcji matematycznej. Zauważmy, że dla \(\displaystyle{ n=2}\) żądana nierówność jest prawdziwa (zacząłem od dwójki, bo dla \(\displaystyle{ n=1}\) zapis \(\displaystyle{ \sum_{k=1}^{0}}\) wyglądałby dosyć dziwnie - chyba że przyjmiemy, że taka suma jest równa zeru; wtedy jest w porządku). Przypuśćmy, że dla pewnego \(\displaystyle{ n \in \mathbb{N}, n \geq 2}\) prawdą jest, że \(\displaystyle{ \sum_{k=1}^n a_kb_k=\sum_{k=1}^{n-1}(a_k-a_{k+1})B_k+a_nB_n}\). Pokażemy, że taka równość prawdziwa jest też dla \(\displaystyle{ n+1}\), tzn. \(\displaystyle{ \sum_{k=1}^{n+1} a_kb_k=\sum_{k=1}^{n}(a_k-a_{k+1})B_k+a_{n+1}B_{n+1}}\). Rozpisując na pałę lewą stronę i korzystając z założenia indukcyjnego otrzymamy:
\(\displaystyle{ \sum_{k=1}^{n+1} a_kb_k=\\ =\sum_{k=1}^{n} a_kb_k+a_{n+1}b_{n+1}=\sum_{k=1}^{n-1}(a_k-a_{k+1})B_k+a_nB_n+a_{n+1}b_{n+1}=\\ =\sum_{k=1}^{n}(a_k-a_{k+1})B_k-(a_n-a_{n+1})B_n+a_nB_n+a_{n+1}b_{n+1}=\\=\sum_{k=1}^{n}(a_k-a_{k+1})B_k+a_{n+1}(B_n+b_{n+1})= \sum_{k=1}^{n}(a_k-a_{k+1})B_k+a_{n+1}B_{n+1}}\),
czyli wszystko wyszło tak jak chcieliśmy. Zatem na mocy zasady indukcji matematycznej teza dana równość zachodzi dla dowolnej liczby naturalnej \(\displaystyle{ n}\) większej od dwóch.
\(\displaystyle{ \sum_{k=1}^{n+1} a_kb_k=\\ =\sum_{k=1}^{n} a_kb_k+a_{n+1}b_{n+1}=\sum_{k=1}^{n-1}(a_k-a_{k+1})B_k+a_nB_n+a_{n+1}b_{n+1}=\\ =\sum_{k=1}^{n}(a_k-a_{k+1})B_k-(a_n-a_{n+1})B_n+a_nB_n+a_{n+1}b_{n+1}=\\=\sum_{k=1}^{n}(a_k-a_{k+1})B_k+a_{n+1}(B_n+b_{n+1})= \sum_{k=1}^{n}(a_k-a_{k+1})B_k+a_{n+1}B_{n+1}}\),
czyli wszystko wyszło tak jak chcieliśmy. Zatem na mocy zasady indukcji matematycznej teza dana równość zachodzi dla dowolnej liczby naturalnej \(\displaystyle{ n}\) większej od dwóch.