0. 数学归纳法
(1+x)⋅(1−x)=(1+x)−(1+x)x=1+(x−x)−x2=1−x2
(1+x+x2)⋅(1−x)=(1+x+x2)⋅1−(1+x+x2)⋅x=1+(x+x2)−(1+x)x−x3=1+(x+x2)−(x+x2)−x3=1−x3
(1+x+x2+⋯+xn)(1−x)=(1+x+x2+⋯+xn)−(1+x+x2+⋯+xn)x=1+(x+x2+⋯+xn)−(1+x+⋯+xn−1)x−xn+1=1−xn+1
两边同时除以 1−x:
1+x+⋯+xn=1−xn+11−x
1. 等比数列前 n 项和
根据上面的结论:1−xn 可以展开为 1−xn=(1+x+⋯+xn−1)(1−x):
1−xn+1(1−x)(1+x+x2+⋯+xn)1+x+⋯+xn=1−xn+1=1−xn+1=1−xn+11−x
当然这种证明有点画蛇添足,多此一举。
【推荐】还在用 ECharts 开发大屏?试试这款永久免费的开源 BI 工具!
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 软件产品开发中常见的10个问题及处理方法
· .NET 原生驾驭 AI 新基建实战系列:向量数据库的应用与畅想
· 从问题排查到源码分析:ActiveMQ消费端频繁日志刷屏的秘密
· 一次Java后端服务间歇性响应慢的问题排查记录
· dotnet 源代码生成器分析器入门
· 互联网不景气了那就玩玩嵌入式吧,用纯.NET开发并制作一个智能桌面机器人(四):结合BotSharp
· 软件产品开发中常见的10个问题及处理方法
· Vite CVE-2025-30208 安全漏洞
· 《HelloGitHub》第 108 期
· MQ 如何保证数据一致性?