Como otros han dicho,
queremos una partición de
$\{1, 2, ..., n+1\}$
en dos conjuntos con sumas iguales.
La suma es
$\frac{(n+1)(n+2)}{2}$.
Si $n=4k$,
la suma es
$(4k+1)(2k+1)$
lo cual es extraño
y por lo tanto imposible.
Si $n = 4k+1$,
la suma es
$(2k+1)(4k+3)$
que también es impar,
y por lo tanto imposible.
Si $n = 4k+2$,
la suma es
$(4k+3)(2k+2)$,
así que no se descarta,
y la suma debe ser
$(4k+3)(k+1)$.
si $n = 4k+3$,
la suma es
$(2k+2)(4k+5)$
que también no se descarta,
y la suma debe ser
$(k+1)(4k+5)$.
Aquí están mis soluciones
para el que no es imposible casos.
Para el $n=4k+2$ de los casos,
la suma debe ser
$(4k+3)(k+1)
=(4k+4-1)(k+1)
=4(k+1)^2-(k+1)
=(2k+2)^2-(k+1)
$.
La plaza se sugiere,
para mí,
la fórmula para
la suma de números impares consecutivos
$1+3+...+(2m-1)=m^2$,
por lo $1+3+...+(4k+3) = (2k+2)^2$.
Si $k+1$ es impar,
quitar de la suma
por lo que es
$(2k+2)^2-(k+1)$.
Si $k+1$ es incluso,
tanto en $1$ $k$ son impares,
así eliminarlos de la suma.
En cualquier caso, tenemos la partición deseada.
Para el $n=4k+3$ de los casos,
la suma debe ser
$(4k+5)(k+1)
=(4k+4+1)(k+1)
=4(k+1)^2+(k+1)
=(2k+2)^2+(k+1)
$.
De nuevo,
$1+3+...+(4k+3) = (2k+2)^2$.
Si $k+1$ es incluso,
agregar a la suma
por lo que es
$(2k+2)^2+(k+1)$.
Si $k+1$ es impar,
$k+2$ es incluso,
por lo tanto, eliminar $1$
y agregar $k+2$ a la suma.
En cualquier caso, tenemos la partición deseada.
No sé cuántas particiones
se puede encontrar.