证A^2+b^2+c^2-a-b-c>=0