a²+b²+c²=1,x²+y²+z²=1,구 증 ax+by+cz≤1 간단 하고 알 기 쉬 우 면 됩 니 다.

a²+b²+c²=1,x²+y²+z²=1,구 증 ax+by+cz≤1 간단 하고 알 기 쉬 우 면 됩 니 다.

더하기 a²+b²+c²+x²+y²+z²=2
(a+x)^2+(b+y)^2+(c+z)^2=2-2ax-2by-2ca>=0
증 거 를 얻다