求证:a²+b²+c²-ab-ac-bc是一个非负数