Author：bili_32857169123 (This is my Bilibili account, but I don’t use it anymore, the reason is here.)
URL：https://www.bilibili.com/read/cv14343513
Source：哔哩哔哩 (bilibili.com)
Abel变换
$$\displaystyle {\sum^{n}_{i=1}}(a_i b_i)=\sum^{n-1}_{i=1}\left (\sum^{i}_{j=1}\left ( (b_{j}\right ) (a_{i}-a_{i+1})) \right ) + \sum^{n}_{i=1}\left (b_{i} a_{n} \right )$$
Abel变换的证明
Abel变换的代数证明
$$\begin{align} &\displaystyle {\sum^{n}_{i=1}}(a_i b_i) \\ =& \sum^{n}_{i=1} \left ((a_i)\left ( -\sum^{i-1}_{j=1}b_j + \sum^{i}_{j=1}b_j\right )\right) \\ =& + a_1 \color{blue}{\sum^{1}_{j=1}b_j} – a_2 \color{blue}{\sum^{1}_{j=1}b_j} \\& + a_2 \color{red}{\sum^{2}_{i=1}b_j} – a_3 \color{red}{\sum^{2}_{i=1}b_j} \\ &+\cdots \\ &+ a_{n-2} \color{green}{\sum^{n-2}_{i=1}b_{j}}- a_{n-1} \color{green}{\sum^{n-2}_{i=1}b_{j}} \\ &+ a_{n-1} \color{purple}{\sum^{n-1}_{i=1}b_{j}} – a_{n} \color{purple}{\sum^{n-1}_{i=1}b_{j}} \\ & + a_{n} \color{brown}{{\sum^{n}_{i=1}b_{j}}} \\ =&+ (a_1 – a_2) \color{blue}{\sum^{1}_{j=1}b_j} \\&+(a_2 – a_3) \color{red}{\sum^{2}_{j=1}b_j} \\&+ \cdots \\&+ (a_{n-2} – a_{n-3}) \color{green}{\sum^{n-2}_{j=1}b_j} \\&+ (a_{n-1} – a_{n-2}) \color{purple}{\sum^{n-1}_{j=1}b_j} \\&+ a_{n} \color{brown}{{\sum^{n}_{i=1}b_{j}}} \\=& + \sum^{1}_{j=1}\left (b_j(a_1 – a_2) \right ) \\&+ \sum^{2}_{j=1}\left ( b_j(a_2 – a_3) \right ) \\&+ \cdots \\&+ \sum^{n-2}_{j=1}\left ( b_j(a_{n-2} – a_{n-3})\right ) \\&+ \sum^{n-1}_{j=1}\left ( b_j(a_{n-1} – a_{n-2})\right ) \\&+ \sum^{n}_{i=1}(b_{j}a_{n}) \\=& \sum^{n-1}_{i=1}\left (\sum^{i}_{j=1}\left ( (b_{j}\right ) (a_{i}-a_{i+1})) \right ) + \sum^{n}_{i=1}\left (b_{i} a_{n} \right )\end{align}$$
Abel变换的几何证明
天才“阿贝尔”的灵感：梯形面积计算，直观地理解“阿贝尔公式” —— 来自UP主：究尽数学
习题
- 请运用Abel变换来证明全体自然数的平方和公式: $1^2+2^2+ \cdots + (n-1)^2 +n^2 =\dfrac{2n^3+3n^2+n}{6}$
答案
展开
1. $$\begin{align} \quad &1^2+2^2+ \cdots + (n-1)^2 +n^2 = \displaystyle \sum ^{n}_{i=1}i^2 \\=& \sum^{n-1}_{i=1}\left (\sum^{i}_{j=1}j(i-(i+1)) \right ) + n \sum^{n}_{i=1}i \\=&-\sum^{n-1}_{i=1}\left ( \sum^{i}_{j=1}j \right )+ n \sum^{n}_{i=1}i \\=& -\sum^{n-1}_{i=1}\left (\frac{(1+i)i}{2}\right ) + n \sum^{n}_{i=1}i \\=& -\frac{\displaystyle \sum^{n-1}_{i=1}i^2+\sum^{n-1}_{i=1}i}{2}+n \sum^{n}_{i=1}i \\=& -\frac{\displaystyle \sum^{n}_{i=1}i^2+\sum^{n-1}_{i=1}i-n^2}{2}+n \sum^{n}_{i=1}i \\\implies & \sum ^{n}_{i=1}i^2= -\frac{\displaystyle \sum^{n}_{i=1}i^2+\sum^{n-1}_{i=1}i-n^2}{2}+n \sum^{n}_{i=1}i \\ \implies & 3\sum ^{n}_{i=1}i^2= -\sum^{n-1}_{i=1}i+n^2+2n \sum^{n}_{i=1}i \\ \implies & \sum ^{n}_{i=1}i^2=\frac{-\frac{n(n-1)}{2}+n^2+(n+1)n^2}{3} \\ \implies & \sum ^{n}_{i=1}i^2=\frac{-n^2+n+2n^2+2n^3+2n^2}{6} \\ \implies & \sum ^{n}_{i=1}i^2=\frac{2n^3+3n^2+n}{6} \end{align}$$
注：若你在解第1题的过程中做了如下的变换：
$$-\sum^{n-1}_{i=1}\left ( \sum^{i}_{j=1}j \right )=-\sum^{n-1}_{i=1}i^2+n\sum^{n-1}_{i=1}i$$
则你将会回到起点。
Leave a Reply