Skip to main content
added 31 characters in body
Source Link
David E Speyer
  • 156.2k
  • 14
  • 419
  • 763

First observation: There are no solutions for $n \equiv 3$$n \equiv 3 \bmod 8$ or $4 \bmod 8$$4$ or $8 \bmod 16$. Let $k$ be the number of $a_i$ which are odd, then the number of $a_i+a_j$ which are odd is $k(n-k)$.

If $n \equiv 3 \bmod 8$, then $k(n-k)$ is even, but the number of odd elements modulo $\tfrac{n(n+1)}{2}$ is odd.

If $n \equiv 4 \bmod 8$$n \equiv 4$ or $8 \bmod 16$, then $k(n-k)$ is either $0$ or $3 \bmod 4$, but the number of odd elements modulo $\tfrac{n(n+1)}{2}$ is $1 \bmod 4$$1$ or $2 \bmod 4$.

First observation: There are no solutions for $n \equiv 3$ or $4 \bmod 8$. Let $k$ be the number of $a_i$ which are odd, then the number of $a_i+a_j$ which are odd is $k(n-k)$.

If $n \equiv 3 \bmod 8$, then $k(n-k)$ is even, but the number of odd elements modulo $\tfrac{n(n+1)}{2}$ is odd.

If $n \equiv 4 \bmod 8$, then $k(n-k)$ is either $0$ or $3 \bmod 4$, but the number of odd elements modulo $\tfrac{n(n+1)}{2}$ is $1 \bmod 4$.

First observation: There are no solutions for $n \equiv 3 \bmod 8$ or $4$ or $8 \bmod 16$. Let $k$ be the number of $a_i$ which are odd, then the number of $a_i+a_j$ which are odd is $k(n-k)$.

If $n \equiv 3 \bmod 8$, then $k(n-k)$ is even, but the number of odd elements modulo $\tfrac{n(n+1)}{2}$ is odd.

If $n \equiv 4$ or $8 \bmod 16$, then $k(n-k)$ is either $0$ or $3 \bmod 4$, but the number of odd elements modulo $\tfrac{n(n+1)}{2}$ is $1$ or $2 \bmod 4$.

Source Link
David E Speyer
  • 156.2k
  • 14
  • 419
  • 763

First observation: There are no solutions for $n \equiv 3$ or $4 \bmod 8$. Let $k$ be the number of $a_i$ which are odd, then the number of $a_i+a_j$ which are odd is $k(n-k)$.

If $n \equiv 3 \bmod 8$, then $k(n-k)$ is even, but the number of odd elements modulo $\tfrac{n(n+1)}{2}$ is odd.

If $n \equiv 4 \bmod 8$, then $k(n-k)$ is either $0$ or $3 \bmod 4$, but the number of odd elements modulo $\tfrac{n(n+1)}{2}$ is $1 \bmod 4$.