求证a*a+b*b+c*c-ab-ac-bc等于0