- 877 名前：１３２人目の素数さん mailto:sage [2011/12/30(金) 06:22:02.22 ]
- >>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,
