Proving a seemingly simple inequality is proving difficult

96 Views Asked by At

After what feels like an embarrassing hour of scribbling I can't seem to find a direct solution to the following problem

$Show \space that: a^2 + b^2 + c^2 \geq ab+bc+ca \space \space \forall [a,b,c] \in Z^{+}_0 $

I've tried placing each integer in an arbitrary order like so:

$a\leq b \therefore ab \leq b^2$

$b \leq c \therefore bc \leq c^2 \implies$

$a \leq c \therefore$ $ac \leq c^2$

Naturally I tried to add up the inequalities but this clearly yielded no results, but by nature of the third inequality I run into issues; what have I missed?

EDIT

I've constructed newer perhaps more insightful inequalities from one of the Dr's answer below:

$a-b \leq ab \leq b^2$

$b-c \leq bc \leq c^2$

$a-c \leq ac \leq c^2$

EDIT 2

While I've seen this flagged as a possible duplicate, this question appears towards the beginning of an intro book to mathematical proofs without any prior knowledge given, I feel aso though this should be provable using pure inequalities from first principals

2

There are 2 best solutions below

2
On

HINT: this is equivalent to $$(a-b)^2+(b-c)^2+(c-a)^2\geq 0$$ which is true. this is also true for all real numbers $a,b,c$

7
On

$$\sum_{cyc}(a^2-ab)=\frac{1}{2}\sum_{cyc}(2a^2-2ab)=\frac{1}{2}\sum_{cyc}(a^2-2ab+b^2)=\frac{1}{2}\sum_{cyc}(a-b)^2\geq0.$$