Analysis Help; proofs via axioms :)
1. The problem statement:
Prove that for any real numbers a, b, c,
(a+b+c)^2\leq3*(a^2 +b^2+c^2)
2. These are the axioms we are permitted to use:
01) Exactly one of these hold: a<b, a=b, or b<a
02) If a<b, and b<c, then a<c
03) If a<b, then...