For any positive integers $n$, find all $n$-tuples of complex numbers $(a_1,..., a_n)$ satisfying $$(x+a_1)(x+a_2)\cdots (x+a_n)=x^n+\binom{n}{1}a_1 x^{n-1}+\binom{n}{2}a_2^2 x^{n-2}+\cdots +\binom{n}{n-1} a_{n-1}^{n-1}+\binom{n}{n}a_n^n.$$

Proposed by USJL.
1. We start with the given polynomial equation:
   \[
   (x + a_1)(x + a_2) \cdots (x + a_n) = x^n + \binom{n}{1}a_1 x^{n-1} + \binom{n}{2}a_2^2 x^{n-2} + \cdots + \binom{n}{n-1} a_{n-1}^{n-1} + \binom{n}{n}a_n^n.
   \]
   We need to find all \( n \)-tuples of complex numbers \((a_1, a_2, \ldots, a_n)\) that satisfy this equation.

2. We claim that all solutions are given by \( a_1 = a_2 = \cdots = a_n \). To prove this, we will use induction on \( n \).

3. **Base Case: \( n = 1 \)**
   - For \( n = 1 \), the equation simplifies to:
     \[
     (x + a_1) = x + a_1.
     \]
     This is trivially true for any complex number \( a_1 \).

4. **Inductive Step: Assume the statement is true for \( n \geq 1 \), and prove it for \( n + 1 \).**
   - Consider the polynomial:
     \[
     (x + a_1)(x + a_2) \cdots (x + a_{n+1}) = x^{n+1} + \binom{n+1}{1}a_1 x^n + \binom{n+1}{2}a_2^2 x^{n-1} + \cdots + \binom{n+1}{n} a_n^n x + \binom{n+1}{n+1}a_{n+1}^{n+1}.
     \]

5. Let \( k \) be minimal such that \( |a_k| = \max_i |a_i| \). We compare the coefficients of \( x^{n+1-k} \) on both sides of the equation:
   \[
   \binom{n+1}{k}a_k^k = \sum_{|I|=k} \prod_{i \in I} a_i.
   \]
   Here, \( \sum_{|I|=k} \prod_{i \in I} a_i \) represents the sum of products of \( a_i \)'s taken \( k \) at a time.

6. By assumption, each of the \( \binom{n+1}{k} \) summands on the right-hand side has absolute value at most \( |a_k|^k \). Therefore, equality must hold everywhere, and also in the triangle inequality, which implies:
   \[
   \prod_{i \in I} a_i = a_k^k \quad \text{for all } I \text{ with } |I| = k.
   \]

7. If \( a_k = 0 \), then all \( a_i = 0 \) for \( i = 1, 2, \ldots, n+1 \), and we are done.

8. If \( a_k \neq 0 \), then all \( a_i \) are non-zero. If \( k < n+1 \), it is immediate that all \( a_i \) are equal by just exchanging one element in \( I \).

9. Finally, if \( k = n+1 \), we have:
   \[
   a_1 a_2 \cdots a_{n+1} = a_{n+1}^{n+1},
   \]
   which implies that all \( a_i \) have the same absolute value, contradicting the minimality of \( k \).

10. Therefore, the only solution is \( a_1 = a_2 = \cdots = a_n \).

\(\blacksquare\)

The final answer is \( \boxed{ a_1 = a_2 = \cdots = a_n } \).