• 33+43+53=633^3+4^3+5^3=6^3(216)

1. 等差数列的和与组合数

1+2+⋯+(n−1)=(n2)

1+2+\cdots+\left(n-1\right)=\binom n2

等式的奇妙性在于:建立起等差数列与组合数的关系。

来看一个精妙的证明:

对最后一行任取两个做组合,正好唯一对应于一个黄圆(全部的黄圆即为等式的左端)。遍历所有组合,可正好取。

2. 2 的幂次与组合数的和

(n0)+(n1)+⋯+(nn)=2n

\binom n0+\binom n1+\cdots+\binom nn=2^n
证明很简单:

(1+1)2=(n0)1n10+⋯

\left(1+1\right)^2=\binom n01^n1^0+\cdots

3. 移动数字使等式成立

26−63=1

2^6-63=1

4. (x+1)(x−1)=x2−1(x+1)(x-1)=x^2-1 的证明

使用演绎法证明的思路为:

  • 或者对等式左边进行展开
  • 或者对等式右端进行配方:x2−x+x−1=(x−1)(x+1)x^2-x+x-1=(x-1)(x+1)

但是如果有人告诉你,使用归纳法的思路:

  • x=0x=0 代入,等式两端都是 -1
  • x=1x=1,两边都是 0
  • x=2x=2,两边都是 3

是否可以由此说明,(x+1)(x−1)=x2−1(x+1)(x-1)=x^2-1 位恒等式呢?

是可以的,那为什么呢?

如果 (x+1)(x−1)=x2−1(x+1)(x-1)=x^2-1 不是恒等式,它就是一个不超过 2 次的方程,这种方程至多有两个根(包括重根在内),现在竟有 3 个“根”了,那它就不是一个二次方程或一次方程,所以是恒等式。

按照此道理,要判断一个最高次为 3 的灯饰是否为恒等式,只需用 4 个(不同的)数验证即可。

  • 4 次用 5 个值;
  • 5 次用 6 个值;
  • nn 次用 n+1n+1 个值;

这就叫用举例的方法验证恒等式,或者叫多点例证法(归纳);

5. 化简 x=1+1+1+1+x−−−−−√−−−−−−−−−√−−−−−−−−−−−−−−√−−−−−−−−−−−−−−−−−−−√x=\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+x}}}}

将等式右边的部分 1+1+1+1+x−−−−−√−−−−−−−−−√−−−−−−−−−−−−−−√−−−−−−−−−−−−−−−−−−−√\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+x}}}},整体代入到原式的第二个 xx,循环往复,将原始等式最终转换为无穷级数形式。

也即:

x=1+1+1+1+…−−−−−−√−−−−−−−−−−√−−−−−−−−−−−−−−−√−−−−−−−−−−−−−−−−−−−−√

x=\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+\ldots}}}}

所以可将 等号右边的,根号下边、加号右边的统一替换为 xx(既然是无穷迭代,多一项少一项对结果没有影响),

x=1+x−−−−−√

x=\sqrt{1+x}

奇妙的等式 精妙的证明相关推荐

  1. 奇妙的等式 精妙的证明(二)

    奇妙的等式 && 精妙的证明 1. f(x)=1+x1+x1+-−−−−−−√−−−−−−−−−−−√−−−−−−−−−−−−−−−−−√f(x)=\sqrt{1+x\sqrt{1+x ...

  2. 关于e的等式及相关证明

    ee的定义式是一切的起点: e=limn→∞(1+1n)n e=\lim_{n\to\infty}(1+\frac1n)^n 据此我们来看这样一个关于 ee 的近似值(本质仍然是上式): e≈(1+9 ...

  3. GAN 的推导、证明与实现。

    转自机器之心整理的,来自Goodfellow 在 NIPS 2016 的演讲和台大李弘毅的解释,完成原 GAN 的推导.证明与实现. 本文主要分四部分,第一部分描述 GAN 的直观概念,第二部分描述概 ...

  4. 出自上帝之手的精妙算法 - Algorithm from THE BOOK (1)

            <Proofs from THE BOOK>是一本非常出名的书籍, 收录了不少精妙的证明.         类似地, 在cstheory.stackexchange.com ...

  5. 证明:SST=SSE+SSR

    文章目录 简介 重要关系:SST=SSE+SSR 证明 结论 参考资料 简介 在线性回归计算(Linear Regression) 中,有三个非常重要的概念: 总离差平方和(Sum of Square ...

  6. matlab 拉马努金恒等,广州恒大海报谜底:拉马努金恒等式:欧拉公式

    广州恒大在今年的亚冠中大出风头,打入决赛,在首尔客场也战平的韩国首尔FC,这给了一直处于寒冬中的中国足球带了了一丝的希望.连我这个"伪球迷"最近也开始关注恒大的比赛了(国足的比赛, ...

  7. 费马素性测试和米勒—拉宾素性测试

    chapter 1 Fermat's little theorem 费马小定理 费马小定理说的是:如果p是一个素数,那么对于任意一个整数a,a p − a 能被p整除,也可以用模运算表示如下: (p是 ...

  8. 【改】[火光摇曳]神奇的伽玛函数(下)——markdown排版

    原作者:靳志辉 https://github.com/cosname/cosx.org/blob/master/content/post/2014-07-01-gamma-function-2.md ...

  9. 黎曼zeta函数不需解析延拓

    欧拉乘积公式 ∑n=1∞1ns=∏p11−p−s\sum_{n=1}^{\infty}{\frac{1}{n^{s}}}=\prod_{p}^{}\frac{1}{1-p^{-s}}n=1∑∞​ns1 ...

最新文章

  1. JS获取iFrame的内容
  2. Elasticsearch 参考指南(介绍)
  3. wince下sources\sources.cmn\Makefile.def的相关作用
  4. php之前代码,PHP语法检查源代码前控制
  5. html打印预览出现重叠,html – 使用打印模式css打印网页时页眉和正文内容重叠...
  6. swift基础语法(02-基本数据类型)
  7. jboss mysql_jboss7.1.1配置mysql数据源
  8. linux的shell脚本接收参数
  9. java填空题 在非静态成员方法中_Java编程基础知识点汇总习题集--答案word版本
  10. 计算机会不会取代人类英语作文,人类不能被机器人取代英语作文
  11. 云服务器超级鸟,超级鸟的自述_A3_新浪游戏_新浪网
  12. Excel将多行带空格的数据插入到表格中
  13. 比赛对阵表(女排世界杯对阵表)
  14. MYSQL优化之碎片整理
  15. [前端系列]vue3修改模板变量间隔符
  16. springboot入门(四):ajax实现登录
  17. 【历史上的今天】6 月 4 日:微软收购 Github;MacOS Mojave 推出;英特尔发布第四代架构 Haswell
  18. EETOP版主后端面试问题 每日一题
  19. 《西瓜书》第六章 公式6.2推导 空间任一点到超平面的距离
  20. 复杂网络分析软件小结

热门文章

  1. 与同步传递相关的获取-释放序列
  2. Spark DataFrameRDD案例实现
  3. php模糊搜索 变量,自定义搜索seo变量{param}字符串
  4. doceker模拟数据的生成
  5. scala的模式匹配
  6. 剑指offer面试题29. 顺时针打印矩阵(边界问题)
  7. CNN入门讲解:不一样的Softmax
  8. 字符编码:ASCII,Unicode和UTF-8
  9. 蓝桥杯省赛真题C++java2013-2019
  10. [SDOI2015] 序列统计