Problem 1399

1. **Assume the ordering of $\omega_i$**: Without loss of generality, let $\omega_1 > \omega_2 > \ldots > \omega_k$. Define the sum $S = \omega_1 + \omega_2 + \ldots + \omega_k$. Since the $\omega_i$ are distinct and their sum is nonzero, $S \neq 0$.

2. Identify the greatest and second greatest sums: Consider sums of the form $2\omega_{\pi(1)} + \omega_{\pi(2)} + \ldots + \omega_{\pi(k)}$ for permutations $\pi$ of $\{1, 2, \ldots, k\}$. The greatest sum is $2\omega_1 + \omega_2 + \ldots + \omega_k$, and the second greatest sum is $\omega_1 + 2\omega_2 + \omega_3 + \ldots + \omega_k$.

3. Use the density of rationals: Because the rationals are dense in the reals, we can find a rational number $\epsilon = \frac{a}{b}$ with $b > 0$ such that:
$$\omega_1 + 2\omega_2 + \ldots + \omega_k + S\epsilon < 0 < 2\omega_1 + \omega_2 + \ldots + \omega_k + S\epsilon$$

4. Formulate the inequalities: We can rewrite the inequalities as:
$$(2 + \epsilon)\omega_1 + (1 + \epsilon)\omega_2 + \ldots + (1 + \epsilon)\omega_k > 0$$
and
$$(1 + \epsilon)\omega_1 + (2 + \epsilon)\omega_2 + (1 + \epsilon)\omega_3 + \ldots + (1 + \epsilon)\omega_k < 0$$

5. **Generalize for any permutation $\pi$**: For any non-identical permutation $\pi$ of $\{1, 2, \ldots, k\}$, we have:
$$(2 + \epsilon)\omega_{\pi(1)} + (1 + \epsilon)\omega_{\pi(2)} + \ldots + (1 + \epsilon)\omega_{\pi(k)} < 0$$

6. **Choose appropriate integers $n_i$**: Let $n_1 = b(2 + \epsilon) = 2b + a$ and $n_i = b(1 + \epsilon) = b + a$ for $2 \leq i \leq k$. Then:
$$\sum_{i=1}^k n_i \omega_i = (2b + a)\omega_1 + (b + a)\omega_2 + \ldots + (b + a)\omega_k$$
and for any non-identical permutation $\pi$:
$$\sum_{i=1}^k n_i \omega_{\pi(i)} = (b + a)\omega_{\pi(1)} + (2b + a)\omega_{\pi(2)} + (b + a)\omega_{\pi(3)} + \ldots + (b + a)\omega_{\pi(k)}$$

7. Verify the inequalities: By construction, the chosen $n_i$ satisfy:
$$\sum_{i=1}^k n_i \omega_i > 0$$
and for any non-identical permutation $\pi$:
$$\sum_{i=1}^k n_i \omega_{\pi(i)} < 0$$

Thus, the integers $n_1, n_2, \ldots, n_k$ exist and satisfy the required conditions.

$\blacksquare$