[1]
a(k)∈(0,π/2), k=1,2,3,4, Σa(k)=π のとき
Σ{(√2)*sin(a(k))-1}/cos(a(k))≧0

[2]
z(k)∈C, k=1,2,...,n, Σ|z(k)|=1 のとき
|Σ[z∈S]z(k)|≧1/6 を満たす S⊆{z(1),z(2),...,z(n)}
が存在する