一个数项级数发散的证明

问题    证明级数$$\sum_{n=1}^{\infty} \frac{\cos( \frac{\pi} { 2} \log n)}{n}$$发散.

证明    取$$m=\left[e^{4N}+1\right],n=\left[e^{4N+1}\right]$$

那么当$x\in[m,n]$时,函数$\frac{\cos\left(\frac{\pi}{2}\log x\right)}{x}$递减,考虑

\begin{align*}\sum_{k=m}^{n-1}\frac{\cos\left(\frac{\pi}{2}\log k\right)}{k}&\geq\sum_{k=m}^{n-1}\int_{k}^{k+1}\frac{\cos\left(\frac{\pi}{2}\log x\right)}{x}{\rm d}x\\&=\int_{m}^{n}\frac{\cos\left(\frac{\pi}{2}\log x\right)}{x}{\rm d}x\\&=\frac{2}{\pi}\left.\sin\left(\frac{\pi}{2}\log x\right)\right|_{m}^{n}\tag{1}\end{align*}

注意到$$\log n>\log\left(e^{4N+1}-1\right),\log m<\log\left(e^{4N}+1\right)$$

带入(1)式得\begin{align*}\sum_{k=m}^{n-1}\frac{\cos\left(\frac{\pi}{2}\log k\right)}{k}&\geq\frac{2}{\pi}\left[\sin\left(\frac{\pi}{2}\log\left(e^{4N+1}-1\right)\right)-\sin\left(\frac{\pi}{2}\log\left(e^{4N}+1\right)\right)\right]\\&=\frac{2}{\pi}\left[\sin\left(\frac{\pi}{2}+\frac{\pi}{2}\log\left(1-\frac{1}{e^{4N+1}}\right)\right)-\sin\left(\frac{\pi}{2}\log\left(1+\frac{1}{e^{4N}}\right)\right)\right]\\&\to\frac{2}{\pi},(N\to\infty)\end{align*}

由Cauchy收敛原理可得原级数发散

时间: 2024-10-14 14:28:58

一个数项级数发散的证明的相关文章

浅谈鸽巢原理的证明和简单应用

一.鸽巢原理的证明 1.定义: 若有n个鸽巢和kn+1只鸽子,所有的鸽子都进入鸽巢,那么至少有一个巢中有k+1只鸽子(n,k≥0). 2.证明(反证法): 若每个鸽巢中的鸽子数都不大于k,则总鸽子数<=kn,与已知相悖.得证. 3.拉姆齐(Ramsey)定理的证明:6个人中,要么存在三个人彼此互相认识,要么存在三个人彼此都不认识: 证明:设六个人为六个点,认识或不认识用两种不同颜色的线段代表,因为两人只有一种关系,所以任意一点一定会引出连向其他5点的五个线段,根据鸽巢定理,有2种关系,有2*2+

高斯消元法(Gauss Elimination)【超详解&amp;模板】

高斯消元法,是线性代数中的一个算法,可用来求解线性方程组,并可以求出矩阵的秩,以及求出可逆方阵的逆矩阵.高斯消元法的原理是:若用初等行变换将增广矩阵 化为 ,则AX = B与CX = D是同解方程组. 所以我们可以用初等行变换把增广矩阵转换为行阶梯阵,然后回代求出方程的解. 1.线性方程组 1)构造增广矩阵,即系数矩阵A增加上常数向量b(A|b) 2)通过以交换行.某行乘以非负常数和两行相加这三种初等变化将原系统转化为更简单的三角形式(triangular form) 注:这里的初等变化可以通过

linux基础5

CentOS 6.x基本启动流程 一.服务器加电,加载BIOS信息,BIOS进行系统检测,依照BIOS设定找到第一个可以启动的设备(一般是硬盘) 二.读取第一个启动设备的MBR(主引导记录),加载MBR中的Boot Loader(启动引导程序,最常见为GRUB) 三.依据Boot Loader的设置加载内核,内核会再进行一遍系统检测,系统一般会采用内核检测硬件的信息,而不一定采用BIOS的自检信息.内核在检测硬件的同时,还会通过加载动态模块的形式加载硬件的驱动 内核启动系统的第一个进程,就是/s

组合数学知识要点

排列与组合 加法法则与乘法法则 基础思想:分类计数使用加法,分步计数使用乘法 Cayley定理 \(n\)个有标号顶点的树的个数为\(n^{n-2}\) 证明:定义一个消去序列,序列与树一一对应(略). 排列与组合 \(n\)元\(r\)排列:\(\frac{n!}{(n-r)!}\) \(n\)元\(r\)组合:组合数(naive) \(n\)元\(r\)可重排列:\(n^r\)(naive) \(n\)元\(r\)可重组合:\(\binom{n+r-1}{r}\) 多重集\(S=\{(a_1

Sumdiv|同余|约数|拓展欧几里得算法

目录 Sumdiv|同余|约数|拓展欧几里得算法 Problem 分析 约数个数定理部分 约数和定理部分 等比数列部分 题目分析 扩展欧几里得算法部分 Code 呕,我吐了. Sumdiv|同余|约数|拓展欧几里得算法 Problem \[ 求A^{B}的所有约数之和 \ mod \ 9901\left(1\leqslant A,B \leqslant 5*10^{7}\right) \] 分析 约数个数定理部分 定理内容: 对于一个大于1的正整数n可以分解质因数: 则n的正约数个数为: 定理证

【转】人工智能基本术语

转自:http://wenku.baidu.com/link?url=Xv5CaxpZTlnuw1riGoE9WXG9dBbMXJvp6cn8CkcLBQA8u6y6tJ7ki4L2vdMlcx1IW19IvZRc1TYMtWsFekqHnzIUouvSUNNiwTXioJZVpVO 人工智能概论中英文术语对照表 动作                         action 专家系统                     Expert system 人工智能语言             

贪心专题

贪心: 原则是根据固定的一个或几个属性进行抉择.达到缩小规模的目的. split to steps and shrink scope 有点双端/DAG图的意思. reference 最近做的几个贪心题目 hdu 1052(田忌赛马) 根据马的速度排序,然后两边最小值,最大值的判断.这样做是因为两端的选择是唯一的,TJ最弱的马/最强的如果可以战胜那就是最好的抉择,不然就让其去当炮灰.(减少规模) #include<set> #include<cmath> #include<cs

UVa 11212 编辑书稿(dfs+IDA*)

https://vjudge.net/problem/UVA-11212 题意:给出n个自然段组成的文章,将他们排列成1,2...,n.每次只能剪切一段连续的自然段,粘贴时按照顺序粘贴. 思路:状态空间的搜索问题. 首先介绍一下IDA*,它属于DFS,在DFS遍历的时候,设定一个深度上限maxd,当前结点n的深度为g(n),乐观估价函数为h(n),则当g(n)+h(n)>maxd时应           该剪枝.这样的算法就是IDA*. 在这道题目中,由于最多就9个数,所以最多只需要剪切8次肯定

iOS plist 文件操作

转自:http://blog.csdn.net/totogo2010/article/details/7634185 在做iOS开发时,经常用到到plist文件,  那plist文件是什么呢? 它全名是:Property List,属性列表文件,它是一种用来存储串行化后的对象的文件.属性列表文件的扩展名为.plist ,因此通常被称为 plist文件.文件是xml格式的. Plist文件通常用于储存用户设置,也可以用于存储捆绑的信息 我们创建一个项目来学习plist文件的读写. 1.创建项目Pl