MathLabs
定理已证明

和与差的平方

命题陈述

对所有实数 a,ba,b:(a+b)2=a2+2ab+b2(a+b)^2 = a^2 + 2ab + b^2 且 (a−b)2=a2−2ab+b2(a-b)^2 = a^2 - 2ab + b^2。

为什么成立?

把 (a+b)2(a+b)^2 当作普通乘法来展开,可以避免写成 (a+b)2=a2+b2(a+b)^2=a^2+b^2 这一常见错误;这个恒等式让容易遗漏的交叉项 2ab2ab 不可能被忘记。

证明思路

第一步(通过直接展开的代数证明)。两次使用分配律,(a+b)2=(a+b)(a+b)=a⋅a+a⋅b+b⋅a+b⋅b=a2+2ab+b2(a+b)^2=(a+b)(a+b)=a\cdot a+a\cdot b+b\cdot a+b\cdot b=a^2+2ab+b^2,因为 a⋅ba\cdot b 与 b⋅ab\cdot a 是同一个乘积被数了两次。

第二步(通过面积的几何证明)。画一个边长为 a+ba+b 的正方形。在离某个角距离 aa 处各画一条水平线和一条竖直线。这把大正方形分成四块:一个边长为 aa 的正方形(面积 a2a^2),一个边长为 bb 的正方形(面积 b2b^2),以及两个尺寸为 a×ba\times b 的矩形(每个面积为 abab)。把四块面积相加得到 a2+2ab+b2a^2+2ab+b^2,由于这四块恰好拼成原来的正方形,这个和必须等于 (a+b)2(a+b)^2。

第三步(平方差版本,通过代换)。在第一个恒等式中把 bb 换成 −b-b,得到 (a−b)2=(a+(−b))2=a2+2a(−b)+(−b)2=a2−2ab+b2(a-b)^2=(a+(-b))^2=a^2+2a(-b)+(-b)^2=a^2-2ab+b^2,因此甚至不需要另一幅几何图——代数自动把结果转移过来。

用到此定理的主题

分步证明

该定理暂无分步证明。