正整数的n次方求和
引理: (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次方求和的更多相关文章
- akoj-1153-p次方求和
p次方求和 Time Limit:1000MS Memory Limit:65536K Total Submit:196 Accepted:46 Description 一个很简单的问题,求1^p+ ...
- hdu 4059 数论+高次方求和+容斥原理
http://acm.hdu.edu.cn/showproblem.php? pid=4059 现场赛中通过率挺高的一道题 可是容斥原理不怎么会.. 參考了http://blog.csdn.net/a ...
- Codeforces 772D - Varying Kibibits(高维差分+二项式定理维护 k 次方和)
Codeforces 题目传送门 & 洛谷题目传送门 首先很容易注意到一件事,那就是对于所有 \(f(S)\) 可能成为 \(x\) 的集合 \(S\),必定有 \(\forall y\in ...
- 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 ...
- C++ 与OpenCV 学习笔记
联合体:当多个数据需要共享内存或者多个数据每次只取其一时,可以利用联合体(union) 1. 联合体是一种结构: 2. 他的所有成员相对于基地址的偏移量均为0: 3. 此结构空间要大到足够容纳最&qu ...
- EMC题
[面试题]EMC易安信面试题解 1. 除以59的余数是多少. 来自wiki:费马小定理是数论中的一个定理:假如a是一个整数,p是一个質数,那么 如果a不是p的倍数,这个定理也可以写成 这个书写方式更加 ...
- [DeeplearningAI笔记]改善深层神经网络1.4_1.8深度学习实用层面_正则化Regularization与改善过拟合
觉得有用的话,欢迎一起讨论相互学习~Follow Me 1.4 正则化(regularization) 如果你的神经网络出现了过拟合(训练集与验证集得到的结果方差较大),最先想到的方法就是正则化(re ...
- 海量数据挖掘MMDS week2: LSH的距离度量方法
http://blog.csdn.net/pipisorry/article/details/48882167 海量数据挖掘Mining Massive Datasets(MMDs) -Jure Le ...
- 海量数据挖掘MMDS week1: Link Analysis - PageRank
http://blog.csdn.net/pipisorry/article/details/48579435 海量数据挖掘Mining Massive Datasets(MMDs) -Jure Le ...
随机推荐
- POJ 3084 Panic Room (最小割建模)
[题意]理解了半天--大意就是,有一些房间,初始时某些房间之间有一些门,并且这些门是打开的,也就是可以来回走动的,但是这些门是确切属于某个房间的,也就是说如果要锁门,则只有在那个房间里才能锁. 现在一 ...
- 【 D3.js 高级系列 — 7.0 】 标注地点
有时需要告诉用户地图上的一些目标,如果该目标是只需要一个坐标就能表示的,称其为"标注". 1. 标注是什么 标注,是指地图上只需要一个坐标即可表示的元素.例如,在经纬度(116, ...
- 专题:Windows编译x264、SDL、faac、ffmpeg过程
Windows上编译ffmpeg完整过程,包括编译x264.SDL.faac.在Windows上编译ffmpeg需要用MinGW+msys,本专题用于记录编译过程中遇到的各种问题及解决方法,转载请注明 ...
- 四、oracle基本sql语句和函数详解
一.oracle常用数据类型 一. 数据定义语言(ddl) 数据定义语言ddl(data definition language)用于改变数据库结构,包括创建.更改和删除数据库对象. 用于操纵表结构 ...
- Solr部署如何启动
我刚接触solr,我要怎么启动,这是群里的朋友问得比较多的问题, solr最新版本下载地址: http://www.apache.org/dyn/closer.cgi/lucene/solr/ 1.准 ...
- POJ 1811 Prime Test
题意:对于一个大整数,判断是否质数,如果不是质数输出最小质因子. 解法:判断质数使用Miller-Rabin测试,分解质因子使用Pollard-Rho,Miller-Rabin测试用的红书模板,将测试 ...
- MyBatis的association示例——MyBatis学习笔记之三
前两篇博文介绍的都是单表映射,而实际上很多时候我们需要用到较复杂的映射.今天学会的association的用法,就是一例,现写出来和大家分享(为简洁起见,ant工程中各文件.目录的布局,以及其它与前面 ...
- HDU 2227-Find the nondecreasing subsequences(dp+BIT优化)
题意: 给你一个序列a[],求它的不降子序列的个数 分析: dp[i]表示以i结尾不降子序列的个数,dp[i]=sum(dp[j])+1(j<i&&a[j]<=a[i]); ...
- HDU 4325-Flowers(线段树+离散化)
题意: 给出每个花开花的时间段,每询问一个时间点输出该时间点开花的数量 分析: 线段树的区间更新,单点查询,但发现时间很大,没法存区间,就想到了离散化. 离散化就是把要处理的数据统一起来重新标号. # ...
- word编号库中找不到带圈编号“①②③......"了怎么办?
进入“Word选项/语言”对话框: 找到“朝鲜语”并将它添加到编辑语言的列表框中,无需设置为启用状态或默认编辑语言: 退出并重新启动Word: 再次打开“定义新编号格式”对话框则可以在“编号样式”下拉 ...