$a+b=c$ のとき、$b^2+c^2=a^2+2bc$ を証明する。

代数学代数証明等式式の展開代入
2025/6/21

1. 問題の内容

a+b=ca+b=c のとき、b2+c2=a2+2bcb^2+c^2=a^2+2bc を証明する。

2. 解き方の手順

条件 a+b=ca+b=c より、c=a+bc=a+b である。
これを証明すべき等式の左辺に代入する。
b2+c2=b2+(a+b)2b^2+c^2 = b^2 + (a+b)^2
右辺を展開する。
b2+(a+b)2=b2+a2+2ab+b2=a2+2b2+2abb^2 + (a+b)^2 = b^2 + a^2 + 2ab + b^2 = a^2 + 2b^2 + 2ab
次に、証明すべき等式の右辺を変形する。c=a+bc=a+b を代入する。
a2+2bc=a2+2b(a+b)=a2+2ab+2b2a^2 + 2bc = a^2 + 2b(a+b) = a^2 + 2ab + 2b^2
したがって、左辺を変形したものと右辺を変形したものが一致する。
b2+c2=a2+2b2+2ab=a2+2ab+2b2=a2+2bcb^2+c^2 = a^2 + 2b^2 + 2ab = a^2 + 2ab + 2b^2 = a^2 + 2bc
よって、b2+c2=a2+2bcb^2+c^2=a^2+2bc が成り立つ。

3. 最終的な答え

a+b=ca+b=c のとき、b2+c2=a2+2bcb^2+c^2=a^2+2bc が成り立つ。