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