(a+b+c)²>=0
ab+bc+ac>=-(a²+b²+c²)/2
ab+bc+ac>=-1/2 (1)
ab+bc+ac <=1
=> ab+bc+ac <=a²+b²+c²
=> a²+b²+c²-(ab+bc+ac)>=0
On a:ab+bc+ac>=-1/2 (1)
=> -(ab+bc+ac)=<1/2
Donc: a²+b²+c²-(1/2)>=0
1-1/2>=0
1/2>=0
Ce qui est vrai.
Sinon: a²+b²+c²>=ab+bc+ac
=> ab+bc+ac=<1 (2)
De (1) et (2) le résultat.
CQFD.