引理: (Abel分部求和法)

$$\sum_{k=1}^{n}a_{k}b_{k}=A_{n}b_{n}+\sum_{k=1}^{n-1}A_{k}(b_{k}-b_{k+1})$$
其中$A_{k}=a_{1}+a_{2}+\cdots+a_{n}$.

结论 1:
$$\sum_{k=1}^{n}k=\frac{k(k+1)}{2}$$
结论 2:
$$\sum_{k=1}^{n}k^{2}=\frac{n(n+1)(2n+1)}{6}$$
证明: 由分部求和公式得
\begin{align*}
\sum_{k=1}^{n}k^{2}=\sum_{k=1}^{n}k\cdot k&=\frac{n^{2}(n+1)}{2}-\frac{1}{2}\sum_{k=1}^{n-1}(k^{2}+k)\\
&=\frac{n(n+1)(2n+1)}{4}-\frac{1}{2}\sum_{k=1}^{n}k^{2}
\end{align*}
移项整理便得结论2.

结论 3:
$$\sum_{k=1}^{n}k^{3}=\frac{k^{2}(k+1)^{2}}{4}$$
证明: 由分部求和公式得
\begin{align*}
\sum_{k=1}^{n}k^{3}=\sum_{k=1}^{n}k^{2}\cdot k&=\frac{n^{2}(n+1)(2n+1)}{6}-\frac{1}{6}\sum_{k=1}^{n-1}k(k+1)(2k+1)\\
&=\frac{n^{2}(n+1)(2n+1)}{6}-\frac{1}{3}\sum_{k=1}^{n}k^{3}-\frac{1}{2}\sum_{k=1}^{n-1}k^{2}-\frac{1}{6}\sum_{k=1}^{n-1}k+\frac{n^{3}}{3}
\end{align*}
由结论1 结论2便得结论3.

用此方法可得任意$\alpha$为整数, 和式
$$\sum_{k=1}^{n}k^{\alpha}$$
的表达式.

也可以用贝努利求和公式计算。

命题:设$f(x)$为任意函数,则
$$\sum_{k=1}^{n}f(k)=\binom{n}{1}f(1)+\binom{n}{2}\Delta f(1)+\cdots+\binom{n}{k}\Delta^{k-1}f(1)+\cdots+\binom{n}{n}\Delta^{n-1}f(1)$$
其中$\Delta$是差分算子, $\Delta f(x)=f(x+1)-f(x)$.
证明: 定义位移算子$E f(x)=f(x+1)$,那么 $E=I+\Delta$,$I$为恒等算子.
$$\sum_{k=1}^{n}f(k)=\sum_{k=1}^{n}E^{k-1}f(1)=\sum_{k=1}^{n}(I+\Delta)^{k-1}f(1)$$
$$=\Delta^{-1}\left[(I+\Delta)^{n}-I\right]f(1)=\sum_{k=1}^{n}\binom{n}{k}\Delta^{k-1}f(1)$$

取$f(k)=k^{4}$,经计算
$$\sum_{k=1}^{n}k^{4}=\binom{n}{1}+15\binom{n}{2}+50\binom{n}{3}+60\binom{n}{4}+24\binom{n}{5}$$

正整数的n次方求和的更多相关文章

  1. akoj-1153-p次方求和

    p次方求和 Time Limit:1000MS  Memory Limit:65536K Total Submit:196 Accepted:46 Description 一个很简单的问题,求1^p+ ...

  2. hdu 4059 数论+高次方求和+容斥原理

    http://acm.hdu.edu.cn/showproblem.php? pid=4059 现场赛中通过率挺高的一道题 可是容斥原理不怎么会.. 參考了http://blog.csdn.net/a ...

  3. Codeforces 772D - Varying Kibibits(高维差分+二项式定理维护 k 次方和)

    Codeforces 题目传送门 & 洛谷题目传送门 首先很容易注意到一件事,那就是对于所有 \(f(S)\) 可能成为 \(x\) 的集合 \(S\),必定有 \(\forall y\in ...

  4. Codeforces D. The Sum of the k-th Powers(拉格朗日插值)

    题目描述: The Sum of the k-th Powers time limit per test 2 seconds memory limit per test 256 megabytes i ...

  5. C++ 与OpenCV 学习笔记

    联合体:当多个数据需要共享内存或者多个数据每次只取其一时,可以利用联合体(union) 1. 联合体是一种结构: 2. 他的所有成员相对于基地址的偏移量均为0: 3. 此结构空间要大到足够容纳最&qu ...

  6. EMC题

    [面试题]EMC易安信面试题解 1. 除以59的余数是多少. 来自wiki:费马小定理是数论中的一个定理:假如a是一个整数,p是一个質数,那么 如果a不是p的倍数,这个定理也可以写成 这个书写方式更加 ...

  7. [DeeplearningAI笔记]改善深层神经网络1.4_1.8深度学习实用层面_正则化Regularization与改善过拟合

    觉得有用的话,欢迎一起讨论相互学习~Follow Me 1.4 正则化(regularization) 如果你的神经网络出现了过拟合(训练集与验证集得到的结果方差较大),最先想到的方法就是正则化(re ...

  8. 海量数据挖掘MMDS week2: LSH的距离度量方法

    http://blog.csdn.net/pipisorry/article/details/48882167 海量数据挖掘Mining Massive Datasets(MMDs) -Jure Le ...

  9. 海量数据挖掘MMDS week1: Link Analysis - PageRank

    http://blog.csdn.net/pipisorry/article/details/48579435 海量数据挖掘Mining Massive Datasets(MMDs) -Jure Le ...

随机推荐

  1. 图解VS2010打包全过程

    原文转自:http://blog.csdn.net/shan9liang/article/details/6957308 最近刚刚打包发布了用VS2010开发的一个收费系统,借此讲一讲打包过程,供大家 ...

  2. POJ 2942 Knights of the Round Table (点双连通分量)

    题意:多个骑士要开会,3人及以上才能凑一桌,其中部分人已经互相讨厌,肯定不坐在同一桌的相邻位置,而且一桌只能奇数个人才能开台.给出多个人的互相讨厌图,要求多少人开不成会(注:会议不要求同时进行,一个人 ...

  3. vim变ide

    如果你稍微写过一点代码,就能知道“集成开发环境”(IDE)是多么的便利.不管是Java.C还是Python,当IDE会帮你检查语法.后台编译,或者自动导入你需要的库时,写代码就变得容易许多.另外,如果 ...

  4. Squid 反向代理加速网站

    本实例的域名是 wenjin.cache.ibm.com.cn,通过DNS的轮询 技术,将客户端的请求分发给其中一台 Squid 反向代理服务器处理,如果这台 Squid 缓存了用户的请求资源,则将请 ...

  5. 一天一个Java基础——排序

    插入排序 直接插入排序: 当插入第i个数据元素k时,由前i-1个数据元素组成已排序的数据序列,将k与数据序列中各数据元素依次进行比较后,插入到数据序列的适当位置,使得插入后的数据序列仍是排序的. 直接 ...

  6. 数组乘积--满足result[i] = input数组中除了input[i]之外所有数的乘积(假设不会溢出

    数组乘积(15分) 输入:一个长度为n的整数数组input 输出:一个长度为n的整数数组result,满足result[i] = input数组中除了input[i]之外所有数的乘积(假设不会溢出). ...

  7. CSS选择器的兼容性

    CSS 1 CSS2.1 CSS3 :hover 在IE6中只有a元素可用.E:empty 貌似在webkit核心浏览器中有些小bug.如果这个bug依然存在,不太确定如何测试.IE6不支持.clas ...

  8. 仿酷狗音乐播放器开发日志二十五 duilib右键事件的不足的bug修复

    转载请说明原出处,谢谢~~ 虽然仿酷狗的各个菜单早就写好了,但是一直没有附加到程序里.今天把菜单和播放列表控件关联时发现了问题. 和播放列表相关的菜单有三个,分别是每个音乐项目控件相关的菜单.分组的菜 ...

  9. duilib修复ActiveXUI控件bug,以支持flash透明动态背景

    转载请说明原出处,谢谢~~ 昨天在QQ控件里和同学说起QQ2013登陆窗体的开发,从界面角度考虑,单单一个登陆界面是很容易做出来的.腾讯公司为了 防止各种盗号行为可谓煞费苦心,QQ2013采用了动态背 ...

  10. ARM处理机模式--内部寄存器

    处理器模式 用户模式(user)简称usr 快速中断模式(FIQ)简称fiq 外部中断模式(IRQ)简称irq 特权模式(supervisor)简称sve 数据访问终止模式(abort)简称abt 未 ...