Докажіть,що коли a^2 + b^2 + c^2 = ab + bc + ac , де a,b,c - дійсні числа,то a=b=c

Ответ:

Sci6fiweapons

18.11.2020 23:26

Возможно, существует и другой метод доказательства, но я буду использовать метод от противного.

Итак, нужно доказать, что a=b=c , то есть

$\displaystyle \left \{ {{a=b} \atop {b=c}} \right. \Rightarrow a=b=c$

Перепишем наше равенство, переместив все в левую часть:

a^2+b^2+c^2-ac-bc-ac=0

1) Предположим, что $a \neq b$ (при этом подразумевая, что b=c )

Тогда получаем следующее:

$b=c \Rightarrow b^2=c^2; bc=c\cdot c=c^2$

$a^2+c^2+c^2-ab-c^2-ac=0 \Rightarrow a^2+c^2-ab-ac=0 \Rightarrow \\ \Rightarrow a^2+c^2-a(b+c)=0 \Rightarrow a^2+c^2=a(b+c) \Rightarrow a^2+b^2=2ac$

Далее смотрим: слева неотрицательное выражение всегда, а справа может быть и отрицательное, но у нас по условию дано, что для любых действительных чисел равенство выполняется, а здесь это далеко не так (на языке математики запись такая: $\exists (a;c): ac$ )

Возможно, это не очень явно, поэтому вспомним, что по предположению b=c , и доделаем:

$a^2+b^2=2ac \Rightarrow a^2+b^2=2ab \Rightarrow a^2-2ab+b^2=0 \Rightarrow (a-b)^2=0 \Rightarrow \\ \Rightarrow a=b$

А это прямо яркий пример противоречия: предположив, что $a\neq b$ , мы получили a=b .

Из этого следует, что a=b , но и из предположенного же b=c уже следует, что a=b=c .

Вообще, по идее, этого уже достаточно, ну на всякий случай посмотрим ещё:

2) Предположим, что $b \neq c$ (при этом a=b )

$a=b \Rightarrow a^2=b^2; ab=a\cdot a = a^2$

$b^2+b^2+c^2-b^2-bc-ac=0 \Rightarrow b^2+c^2-bc-ac=0 \Rightarrow \\ \Rightarrow b^2+c^2=c(a+b) \Rightarrow b^2+c^2=2bc \Rightarrow b^2-2bc+c^2=0 \Rightarrow \\ \Rightarrow (b-c)^2=0 \Rightarrow b=c$