Find all positive integers $n$ such that it is possible to split the numbers from $1$ to $2n$ in two groups $(a_1,a_2,..,a_n)$, $(b_1,b_2,...,b_n)$ in such a way that $2n\mid a_1a_2\cdots a_n+b_1b_2\cdots b_n-1$.

[i]Proposed by Alef Pineda[/i]
1. We need to find all positive integers \( n \) such that it is possible to split the numbers from \( 1 \) to \( 2n \) into two groups \( (a_1, a_2, \ldots, a_n) \) and \( (b_1, b_2, \ldots, b_n) \) in such a way that \( 2n \mid a_1a_2\cdots a_n + b_1b_2\cdots b_n - 1 \).

2. Without loss of generality, assume \( a_1 = 2n \). Then the required condition becomes:
   \[
   2n \mid b_1 b_2 \cdots b_n - 1
   \]
   This implies:
   \[
   b_1 b_2 \cdots b_n \equiv 1 \pmod{2n}
   \]

3. For \( b_1 b_2 \cdots b_n \equiv 1 \pmod{2n} \) to hold, the \( b_i \) must be chosen such that their product modulo \( 2n \) is 1. The simplest way to achieve this is to choose \( b_i \) as the odd numbers from \( 1 \) to \( 2n-1 \). This is because the product of all odd numbers from \( 1 \) to \( 2n-1 \) modulo \( 2n \) must be considered.

4. If \( n \) has an odd prime divisor \( p \), then one of the \( b_i \) will be \( p \). This means \( b_1 b_2 \cdots b_n - 1 \) is not divisible by \( p \), and hence not divisible by \( 2n \). Therefore, \( n \) cannot have any odd prime divisors, implying \( n \) must be a power of 2.

5. Check specific cases:
   - For \( n = 1 \):
     \[
     2 \mid 2 + 1 - 1 \implies 2 \mid 2
     \]
     This is true, so \( n = 1 \) is a solution.
   
   - For \( n = 2 \):
     \[
     1 \cdot 3 - 1 = 2
     \]
     \( 2 \) is not divisible by \( 4 \), so \( n = 2 \) is not a solution.

6. For \( n = 2^a \) with \( a \geq 2 \):
   - We need to show by induction that \( b_1 b_2 \cdots b_n = \prod_{k=1}^{n} (2k-1) \equiv 1 \pmod{2n} \).
   - Base case: \( n = 4 \):
     \[
     \prod_{k=1}^{4} (2k-1) = 1 \cdot 3 \cdot 5 \cdot 7 = 105
     \]
     \[
     105 \equiv 1 \pmod{8}
     \]
     This holds true.
   - Inductive step: Assume it holds for \( n = 2^a \). For \( n = 2^{a+1} \), the product of the first \( 2^{a+1} \) odd numbers modulo \( 2^{a+2} \) should be considered. By properties of modular arithmetic and induction hypothesis, this holds.

7. Consequently, the solutions are \( n = 1 \) and \( n = 2^a \) for \( a \geq 2 \).

The final answer is \( \boxed{ n = 1 } \) and \( n = 2^a \) for \( a \geq 2 \).