Skip to main content
OlympiadHQ

Browse · MathNet

Print

SELECTION and TRAINING SESSION

Belarus number theory

Problem

Let be a prime number. Prove that for each divisor of it's possible to partition all integers between and into the sets with numbers in each in such a way that the sum of squares of all numbers of each set is divisible by .

(Mikhail Karpuk)
Solution
Denote the set of all residues modulo by . Fermat's little theorem implies that the roots of the polynomial are all nonzero elements of . Since where , the polynomial divides . In this equality the sum of the degrees of the factors equals the number of roots, hence has roots. Denote these roots .

Consider all polynomials of the form . If such polynomial has a root then it has roots and cannot have more roots than its degree, so it has exactly roots. On the other hand, each is a root of such polynomial, namely . Therefore is the disjoint union of sets, consisting of roots of some polynomial . Such partition satisfies the problem condition since by Vieta's theorem the sum of the roots and the sum of the pairwise products of the roots of are congruent to zero modulo , whence the sum of their squares is likewise congruent to zero.

Techniques

Fermat / Euler / Wilson theoremsPolynomials mod pVieta's formulasGroup Theory