>>823

Problem 377.
　nは正の整数とする。
　i=1,2,･･･,n に対して z_i および w_i は複素数で、次を満たす:
　ε1, ε2,････,εn = ±1 のすべて（2^n とおり）の組合せについて、
　| Σ[i=1,n] εi･z_i | ≦ | Σ[j=1,n] εj･w_j |,
が成り立つ。次式を証せ。
　Σ[i=1,n] |z_i|^2 ≦ Σ[j=1,n] |w_j|^2,