
3个回答

2024-12-31 广告
作业指导书是一种专门编写的指导性文件,用于完成某一项或同一类型的工作。它是根据设计图纸、制造厂说明书、相关的验评标准、编写人员现场所积累的施工经验以及成熟实用的施工工艺所编写的。定义和作用作业指导书是质量管理体系文件的组成部分,主要用于阐明...
点击进入详情页
本回答由11111提供
展开全部
假设:cn<=nlog2n成立,那么:c(n/2)<=nlog2(n/2)/2.
显然c0=0<=0成立,c1=0<=0成立,c2=1<=1成立,c3<=3<=3log2(3)成立。
c(n+1)<=2c[(n+1)/2]+n<=(n+1)log2[(n+1)/2]+n
只需证明:(n+1)log2[(n+1)/2]+n<=(n+1)log2(n+1)成立。
如果成立,那么:假设成立。
设(n+1)/2=t>=2.
则::(n+1)log2[(n+1)/2]+n=2t.log2(t)+2t-1<=2t.log2(2t)=2t[1+log2(t)] (证明他成立即可)
得到-1<=0。恒成立。所以成立。
显然c0=0<=0成立,c1=0<=0成立,c2=1<=1成立,c3<=3<=3log2(3)成立。
c(n+1)<=2c[(n+1)/2]+n<=(n+1)log2[(n+1)/2]+n
只需证明:(n+1)log2[(n+1)/2]+n<=(n+1)log2(n+1)成立。
如果成立,那么:假设成立。
设(n+1)/2=t>=2.
则::(n+1)log2[(n+1)/2]+n=2t.log2(t)+2t-1<=2t.log2(2t)=2t[1+log2(t)] (证明他成立即可)
得到-1<=0。恒成立。所以成立。
追问
不大懂 能说的详细点吗。。
追答
理解上就是从结果出发。假设证明的命题是对的,那么从头到尾都是对的。反之,如果假设不成立,那么我们用这个命题得到的结果来证明这个问题就会有矛盾。
标准格式:
假设:cn<=nlog2n成立,那么:c(n/2)<=nlog2(n/2)/2.c(n+1)<=(n+1)log2(n+1)成立.
显然c0=0<=0成立,c1=0<=0成立,c2=1<=1成立,c3<=3<=3log2(3)成立。
而有题已知:c(n+1)<=2c[(n+1)/2]+n。(如果我们能证明右边的式子小于等于(n+1).log2(n+1),那么上面的c(n+1)<=(n+1)log2(n+1)就是对的。)
经过证明是对的(上面的结果-1<=0是恒成立的)。那么假设成立。
所以,命题得证。
本回答被网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
展开全部
求问个数学归纳法题目
好题
好题
已赞过
已踩过<
评论
收起
你对这个回答的评价是?
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询