MathLabs
定理已证明

两数立方和与立方差

命题陈述

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

为什么成立?

与平方差不同,立方和或立方差不能只用一次因式分解;二次因式 a2±ab+b2a^2\pm ab+b^2 是不可避免的,认清这一模式能让学生分解那些看起来无法分解的式子。

证明思路

第一步(通过展开右边的代数证明)。展开 (a−b)(a2+ab+b2)=a3+a2b+ab2−a2b−ab2−b3(a-b)(a^2+ab+b^2)=a^3+a^2b+ab^2-a^2b-ab^2-b^3。中间的项 a2ba^2b 与 −a2b-a^2b 相消,ab2ab^2 与 −ab2-ab^2 也相消,恰好剩下 a3−b3a^3-b^3。

第二步(通过体积的几何证明)。取一个棱长为 aa 的立方体(体积 a3a^3),从一角去掉一个棱长为 bb 的小立方体(体积 b3b^3);剩下的立体体积为 a3−b3a^3-b^3。这个剩余立体可以切成三块厚度均为 a−ba-b 的长方体薄片:a×a×(a−b)a\times a\times(a-b) 的薄片、a×b×(a−b)a\times b\times(a-b) 的薄片,以及 b×b×(a−b)b\times b\times(a-b) 的薄片。它们的体积之和为 (a−b)a2+(a−b)ab+(a−b)b2=(a−b)(a2+ab+b2)(a-b)a^2+(a-b)ab+(a-b)b^2=(a-b)(a^2+ab+b^2),恰好与剩余体积相符。

第三步(立方和版本,通过代换)。在立方差恒等式中把 bb 换成 −b-b,得到 a3−(−b)3=(a−(−b))(a2+a(−b)+(−b)2)a^3-(-b)^3=(a-(-b))(a^2+a(-b)+(-b)^2),化简后得 a3+b3=(a+b)(a2−ab+b2)a^3+b^3=(a+b)(a^2-ab+b^2)。

用到此定理的主题

分步证明

该定理暂无分步证明。