Intereting Posts

Bounding a solution of an ODE with a small source
A $\{0,1\}$-matrix with positive spectrum must have all eigenvalues equal to $1$
Discontinuous functions that are continuous on every line in $\bf R^2$
Need help with linear transformations (with projection and reflection)?
How to solve for multiple congruence's what aren't relatively prime.
Covariance of order statistics (uniform case)
Number of Necklaces of Beads in Two Colors
Uncountable subset with uncountable complement, without the Axiom of Choice
Complementary Solution = Homogenous solution?
Convergence of a sequence whose even and odd subsequences converge
Dimension of the sum of two vector subspaces
An Olympiad Problem (tiling a rectangle with the L-tetromino)
How to prove $\lim_{x\to \infty} {x \over \sin(x) + x} = 1$?
Hatcher pg 187: Idea of Cohomology
Prove inequality $\arccos \left( \frac{\sin 1-\sin x}{1-x} \right) \leq \sqrt{\frac{1+x+x^2}{3}}$

Let $p$ be a prime. For which $k$ can the set $\{1,\cdots,k\}$ be partitioned into

$p$ subsets with equal sums of elements ?

Obviously, $p\mid k(k+1)$. Hence, $p\mid k$ or $p\mid k+1$. All we have to do now is to show a construction. But I can’t find one. I have tried partitioning the set and choose one element from each set but that hasn’t yielded anything.

Any hint will be appreciated.

- Count the number of n-bit strings with an even number of zeros.
- Proving $\sum_{k=1}^nk^3 = \left(\sum_{k=1}^n k\right)^2$ using complete induction
- Finding generating function for the recurrence $a_0 = 1$, $a_n = {n \choose 2} + 3a_{n - 1}$
- Prove that $\sum\limits_{A\subseteq }\sum\limits_{B\subseteq } |A\cap B|=n4^{n-1}$
- Formula for Combinations With Replacement
- Probability of getting two pair in poker

- Is is possible to obtain exactly 16 black cells?
- counting full bipartite matchings
- Possible Playable Chords on a Guitar
- A general formula for $n$ distinguishable arrangements of length $\ell$ of a sequence of a given size?
- Dimension of the space of algebraic Riemann curvature tensors
- Circular permutations with indistinguishable objects
- Restricted Compositions
- Show that $({\sqrt{2}\!+\!1})^{1/n} \!+ ({\sqrt{2}\!-\!1})^{1/n}\!\not\in\mathbb Q$
- How to do well on Math Olympiads
- Proving recurrence relation on the cardinal of the derangements

For a prime natural number $p$, we say that a positive integer $k$ is *$p$-splittable* if $\{1,2,\ldots,k\}$ can be partitioned into $p$ subsets with the same sum. If $p=2$, then it follows that $k\equiv 0\pmod{4}$ or $k\equiv -1\pmod{4}$. For an odd prime $p$, we have $k\equiv 0\pmod{p}$ or $k\equiv-1\pmod{p}$. It can be easily seen that, for $k\in\mathbb{N}$ and for any prime natural number $p$, if $k$ is $p$-splittable, then $k+2p$ is $p$-splittable (by adding $\{k+1,k+2p\}$, $\{k+2,k+2p-1\}$, $\ldots$, $\{k+p,k+p+1\}$ to the $p$ partitioning sets of $\{1,2,\ldots,k\}$).

Since $k=3$ and $k=4$ are $2$-splittable, any natural number of the form $4t-1$ or $4t$, where $t\in\mathbb{N}$, is $2$-splittable, and no other number is $2$-splittable. Also, for any odd prime natural number $p$, $k=2p-1$ and $k=2p$ are $p$-splittable, which means that any natural number of the form $2pt-1$ or $2pt$, where $t\in\mathbb{N}$, is $p$-splittable. Clearly, $k=p-1$ and $k=p$ are not $p$-splittable for odd $p$. We, however, claim that $k=3p-1$ or $k=3p$ are $p$-splittable for odd $p$, which would then imply that any natural number of the form $pt-1$ or $pt$ where $t\geq 2$ is an integer is $p$-splittable, and nothing else is $p$-splittable.

First, assume that $p\equiv 1\pmod{4}$, say $p=4r+1$ for some $r\in\mathbb{N}$. If $k=3p-1=12r+2$, then consider the partition of $\{1,2,\ldots,k\}$ into $\{6r+1,12r+2\}$, $\{6r+2,12r+1\}$, $\ldots$, $\{9r+1,9r+2\}$, $\{1,2,3,6r-2,6r-1,6r\}$, $\{4,5,6,6r-5,6r-4,6r-3\}$, $\ldots$, $\{3r-2,3r-1,3r,3r+1,3r+2,3r+3\}$. If $k=3p=12r+3$, then consider the partition $\{6r+3,12r+3\}$, $\{6r+4,12r+2\}$, $\ldots$, $\{9r+2,9r+4\}$, $\{1,2,3,6r-1,6r,6r+1\}$, $\{4,5,6,6r-4,6r-3,6r-2\}$, $\ldots$, $\{3r-2,3r-1,3r,3r+2,3r+3,3r+4\}$, $\{3r+1,6r+2,9r+3\}$.

Now, assume that $p\equiv -1\pmod{4}$, say $p=4r-1$ for some $r\in\mathbb{N}$. If $k=3p-1=12r-4$, then consider the partition $\{6r-2,12r-4\}$, $\{6r-1,12r-5\}$, $\ldots$, $\{9r-4,9r-2\}$, $\{1,2,3,6r-5,6r-4,6r-3\}$, $\{4,5,6,6r-8,6r-7,6r-6\}$, $\ldots$, $\{3r-5,3r-4,3r-3,3r+1,3r+2,3r+3\}$, $\{3r-2,3r-1,3r,9r-3\}$. If $k=3p=12r-3$, then consider the partition $\{6r,12r-3\}$, $\{6r+1,12r-4\}$, $\ldots$, $\{9r-2,9r-1\}$, $\{1,2,3,6r-4,6r-3,6r-2\}$, $\{4,5,6,6r-7,6r-6,6r-5\}$, $\ldots$, $\{3r-5,3r-4,3r-3,3r+2,3r+3,3r+4\}$, $\{3r-2,3r-1,3r,3r+1,6r-1\}$.

**Question:** What if $p$ is not prime? I conjecture the following:

(1) If $p$ is odd, then, for any $j\in\{-1,0,1,2,\ldots,p-2\}$ such that $p\mid j(j+1)$, every integer of the form $tp+j$, where $t\geq 2$ is an integer, is $p$-splittable, and nothing else is $p$-splittable.

(2) If $p$ is even, then, for any $j\in\{-1,0,1,2,\ldots,2p-2\}$ such that $p\mid \frac{j(j+1)}{2}$, every integer of the form $2tp+j$, where $t\in\mathbb{N}$, is $p$-splittable, and nothing else is $p$-splittable.

This question is also posted here: $p$-Splittable Integers.

- Is there any trivial reason for $2$ is irreducible in $\mathbb{Z},\omega=e^{\frac{2\pi i}{23}}$?
- Infinite Series $\sum\limits_{n=1}^{\infty}\frac{1}{4^n\cos^2\frac{x}{2^n}}$
- Extended Euclidean Algorithm, what is our answer?
- Prove: if $a,b\in G$ commute with probability $>5/8$, then $G$ is abelian
- Can I think of Algebra like this?
- question about typical proof of Krull Intersection Theorem
- Calculating $\lim\limits_{C \rightarrow \infty} -\frac{1}{C} \log(1 – p \sum\limits_{k=0}^{C}e^{-\gamma C} (\gamma C)^k/k!) $
- Finding $n$ satisfying that there is no set $(a,b,c,d)$ such that $a^2+b^2=c^2$ and $a^2+nb^2=d^2$
- Can the zero vector be an eigenvector for a matrix?
- How can I show this set of sequences is compact?
- Sum of reciprocal prime numbers
- How many ways to arrange the flags?
- Are the rationals a nowhere dense set?
- Applications of cardinal numbers
- maths – find vertices when 1 vertex and center point is given in polygon