等式 $(a-b)^3 + 3ab(a-b) = a^3 - b^3$ を証明する。代数学式の展開因数分解等式の証明恒等式2025/6/281. 問題の内容等式 (a−b)3+3ab(a−b)=a3−b3(a-b)^3 + 3ab(a-b) = a^3 - b^3(a−b)3+3ab(a−b)=a3−b3 を証明する。2. 解き方の手順左辺を展開し、整理して右辺と一致することを示す。まず、(a−b)3(a-b)^3(a−b)3 を展開する。(a−b)3=a3−3a2b+3ab2−b3(a-b)^3 = a^3 - 3a^2b + 3ab^2 - b^3(a−b)3=a3−3a2b+3ab2−b3次に、3ab(a−b)3ab(a-b)3ab(a−b) を展開する。3ab(a−b)=3a2b−3ab23ab(a-b) = 3a^2b - 3ab^23ab(a−b)=3a2b−3ab2左辺に上記の結果を代入すると、(a−b)3+3ab(a−b)=(a3−3a2b+3ab2−b3)+(3a2b−3ab2)(a-b)^3 + 3ab(a-b) = (a^3 - 3a^2b + 3ab^2 - b^3) + (3a^2b - 3ab^2)(a−b)3+3ab(a−b)=(a3−3a2b+3ab2−b3)+(3a2b−3ab2)=a3−3a2b+3ab2−b3+3a2b−3ab2= a^3 - 3a^2b + 3ab^2 - b^3 + 3a^2b - 3ab^2=a3−3a2b+3ab2−b3+3a2b−3ab2同類項を整理する。−3a2b+3a2b=0-3a^2b + 3a^2b = 0−3a2b+3a2b=0 であり、3ab2−3ab2=03ab^2 - 3ab^2 = 03ab2−3ab2=0 であるから、(a−b)3+3ab(a−b)=a3−b3(a-b)^3 + 3ab(a-b) = a^3 - b^3(a−b)3+3ab(a−b)=a3−b3したがって、左辺を展開して整理すると右辺と一致する。3. 最終的な答え(a−b)3+3ab(a−b)=a3−b3(a-b)^3 + 3ab(a-b) = a^3 - b^3(a−b)3+3ab(a−b)=a3−b3 であることが証明された。