>>725
1=a+b+c=a*1+b*1+c*1 と　
コーシー・シュワルツ　(ax+by+cz)^2≦(a^2+b^2+c^2)(x^2+y^2+c^2)
を使う。