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 を忘れることがなくなる。

証明の概略

ステップ1(展開による代数的証明)。分配法則を二回使うと、(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 が同じ積を二回数えたものだからである。

ステップ2(面積による幾何学的証明)。一辺の長さが 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 に等しくなければならない。

ステップ3(差の平方版、置き換えによる)。最初の恒等式で 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 となり、別の幾何的な図さえ必要ない——代数だけで結果が自動的に移される。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。