毕达哥拉斯恒等式的视觉证明
数学恒等式列表:
定义
恒等式(英语:Identity Equation)是指等式等号两边永远相等的表达式。[1]恒等式的等号可用恒等号(≡)表示。
以下是常见的乘法公式:
- 分配律:
![{\displaystyle (a+b)(c+d)=ac+ad+bc+bd\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a7fb0d8960937e305dab7a7edbc7a3ddcf411f5)
- 和平方:
- 三项和平方:
![{\displaystyle (a+b+c)^{2}=a^{2}+b^{2}+c^{2}+2ab+2bc+2ca\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4824ee6b31c6b7caca86d3a4faf6ffcbd57a0d34)
- 差平方:
- 三数差平方:
![{\displaystyle (a-b-c)^{2}=a^{2}+b^{2}+c^{2}-2ab+2bc-2ca\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b557cddab8021dc679d1279fccd257dab4eb8ab4)
- 平方和:
![{\displaystyle a^{2}+b^{2}=(a+bi)(a-bi)\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ad719727ff6c5a74aec581d70954f80b4c3fa74)
- 平方差:
![{\displaystyle a^{2}-b^{2}=(a+b)(a-b)\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a6bfb6789247f87b44050ca56a610a1241a2fd9)
- 和立方:
![{\displaystyle (a+b)^{3}=a^{3}+3a^{2}b+3ab^{2}+b^{3}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98ef62718784cde29ee2d8fceccc8ad4ea4fe32d)
- 差立方:
![{\displaystyle (a-b)^{3}=a^{3}-3a^{2}b+3ab^{2}-b^{3}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcb14b649d077d09fc515bf6c1fc13e6d14ece4c)
- 立方和:
![{\displaystyle a^{3}+b^{3}=(a+b)^{3}-3ab(a+b)=(a+b)(a^{2}-ab+b^{2})\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/145849c63846541ae6286666a42dceeac3b49b91)
- 立方差:
![{\displaystyle a^{3}-b^{3}=(a-b)^{3}+3ab(a-b)=(a-b)(a^{2}+ab+b^{2})\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76ea20c8f6f59823869ad9bd498f475efb0dd11e)
- 等幂求和:
![{\displaystyle a^{3}+b^{3}+c^{3}-3abc=(a+b+c)(a^{2}+b^{2}+c^{2}-ab-bc-ca)\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505b1999bfc9b748561ce425cb7c2e461c7b2904)
- 等幂和差:
![{\displaystyle a^{4}+a^{2}b^{2}+b^{4}=(a^{2}+ab+b^{2})(a^{2}-ab+b^{2})\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbe3460ce3e00ce1988e6d1f37f26abae5091ce3)
- 平方和、平方差延伸:
![{\displaystyle a^{2}+b^{2}=(a+b)^{2}-2ab=(a-b)^{2}+2ab\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fae0636d5433107431f6eff486b567577368cff)
- 多项式平方:
![{\displaystyle (a+b+c+d)^{2}=a^{2}+b^{2}+c^{2}+d^{2}+2ab+2ac+2ad+2bc+2bd+2cd\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e22c8d696b5993e2507206ed493b94f0a1e5240)
- 三数和立方:
![{\displaystyle (a+b+c)^{3}=a^{3}+b^{3}+c^{3}+3(a+b)(b+c)(a+c)\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ca266b0bdc8e5c5bba9f0dd964e9f19153e850d)
著名等式
- 贝祖等式:虽然名称有“等式”一词,但这是最大公因数的定理,得名于法国数学家艾蒂安·贝祖。
- 二项式逆定理:由伍德伯里矩阵恒等式(Woodbury matrix identity)衍生的定理。
- 二项式定理:说明了二项式的幂的代数展开的定理。
- 婆罗摩笈多-斐波那契恒等式:
![{\displaystyle (a^{2}+b^{2})(c^{2}+d^{2})=(ac-bd)^{2}+(ad+bc)^{2}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bb9aaf2e9bcaf60d782472e029800bccab43fbb)
- 坎迪多等式:
![{\displaystyle \left[x^{2}+y^{2}+(x+y)^{2}\right]^{2}=2[x^{4}+y^{4}+(x+y)^{4}]\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea86665c9677811196fd25c2fe03cd74cb0e20f1)
- 欧拉四平方和恒等式:如果两个数都能表示为四个平方数的和,则这两个数的积也能表示为四个平方数的和。
- Degen八平方和恒等式:如果两个数都能表示为八个平方数的和,则这两个数的积也能表示为八个平方数的和。
- 欧拉恒等式:
,包括虚数单位以及二个超越数的等式。
- 卡西尼及卡塔兰恒等式:有关斐波那契数列的等式,
。
- 海涅恒等式:有关平方根倒数函数的傅里叶展开的恒等式。
- 海曼恒等式:有关下取整函数(floor)求和的恒等式。
- 拉格朗日恒等式:
![{\displaystyle \|\mathbf {a} \|^{2}\ \|\mathbf {b} \|^{2}-(\mathbf {a\cdot b} )^{2}=\sum _{1\leq i<j\leq n}\left(a_{i}b_{j}-a_{j}b_{i}\right)^{2}\ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9f49bd227a46f96ec2f58ec731db68a1bf2c10b)
- 三角恒等式:许多有关三角函数的恒等式。
- Enumerator polynomial
- Matrix determinant lemma
- 牛顿恒等式:描述了幂和对称多项式以及初等对称多项式之间的关系
- 帕塞瓦尔恒等式:
,“函数的傅里叶系数的平方和”与“函数平方后的积分值”可以直接换算。
- Pfister's sixteen-square identity
- Sherman–Morrison formula
- Sophie Germain identity
- Sun's curious identity
- Sylvester's determinant identity
- 范德蒙恒等式:
,是有关组合数的求和公式。
- 伍德伯里矩阵恒等式:
![{\displaystyle \left(A+UCV\right)^{-1}=A^{-1}-A^{-1}U\left(C^{-1}+VA^{-1}U\right)^{-1}VA^{-1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ffa2c14bb438728d93f2cdf7ea6657338ab8fb7)
函数恒等式
参见
参考资料
外部链接