拾い

( a + b + c ) ( x + y + z ) = 3
( a ^ 2 + b ^ 2 + c ^ 2 ) ( x ^ 2 + y ^ 2 + z ^ 2 ) = 4

のとき

a x + b y + c z > 0