(1) 等式 $(a-b)^2+(b-c)^2+(c-a)^2 = 2(a^2+b^2+c^2-ab-bc-ca)$ を証明する。 (2) 不等式 $a^2+b^2+c^2 \ge ab+bc+ca$ を証明する。

代数学等式の証明不等式の証明展開二乗
2025/5/7

1. 問題の内容

(1) 等式 (ab)2+(bc)2+(ca)2=2(a2+b2+c2abbcca)(a-b)^2+(b-c)^2+(c-a)^2 = 2(a^2+b^2+c^2-ab-bc-ca) を証明する。
(2) 不等式 a2+b2+c2ab+bc+caa^2+b^2+c^2 \ge ab+bc+ca を証明する。

2. 解き方の手順

(1)
左辺を展開する。
(ab)2+(bc)2+(ca)2=a22ab+b2+b22bc+c2+c22ca+a2=2a2+2b2+2c22ab2bc2ca(a-b)^2+(b-c)^2+(c-a)^2 = a^2-2ab+b^2+b^2-2bc+c^2+c^2-2ca+a^2 = 2a^2+2b^2+2c^2-2ab-2bc-2ca
右辺を展開する。
2(a2+b2+c2abbcca)=2a2+2b2+2c22ab2bc2ca2(a^2+b^2+c^2-ab-bc-ca) = 2a^2+2b^2+2c^2-2ab-2bc-2ca
左辺と右辺が等しいことを示す。
(2)
不等式を変形する。
a2+b2+c2ab+bc+caa^2+b^2+c^2 \ge ab+bc+ca
両辺に2をかける。
2a2+2b2+2c22ab+2bc+2ca2a^2+2b^2+2c^2 \ge 2ab+2bc+2ca
移項して、
2a2+2b2+2c22ab2bc2ca02a^2+2b^2+2c^2 - 2ab - 2bc - 2ca \ge 0
式を整理する。
(a22ab+b2)+(b22bc+c2)+(c22ca+a2)0(a^2-2ab+b^2)+(b^2-2bc+c^2)+(c^2-2ca+a^2) \ge 0
(ab)2+(bc)2+(ca)20(a-b)^2+(b-c)^2+(c-a)^2 \ge 0
二乗の和は常に0以上なので、この不等式は成り立つ。

3. 最終的な答え

(1) (ab)2+(bc)2+(ca)2=2(a2+b2+c2abbcca)(a-b)^2+(b-c)^2+(c-a)^2 = 2(a^2+b^2+c^2-ab-bc-ca) は成り立つ。
(2) a2+b2+c2ab+bc+caa^2+b^2+c^2 \ge ab+bc+ca は成り立つ。

「代数学」の関連問題