Maths Olympiad Prep

Library / /343 of 520

Number theory Difficulty 7.1 National olympiad, round 2 Find the answer

Let n3n\ge 3, dd be positive integers. For an integer xx, denote r(x)r(x) be the remainder of xx when divided by nn such that 0r(x)n10\le r(x)\le n-1. Let cc be a positive integer with 1<c<n1<c<n and gcd(c,n)=1\gcd(c,n)=1, and suppose a1,,ada_1, \cdots, a_d are positive integers with a1++adn1a_1+\cdots+a_d\le n-1. \\
(a) Prove that if n<2dn<2d, then i=1dr(cai)n.\displaystyle\sum_{i=1}^d r(ca_i)\ge n. \\
(b) For each nn, find the smallest dd such that i=1dr(cai)n\displaystyle\sum_{i=1}^d r(ca_i)\ge n always holds.

[i]Proposed by Yeoh Zi Song and Anzo Teh[/i]

Solution

1. **Part (a): Prove that if n<2d n < 2d , then i=1dr(cai)n\sum_{i=1}^d r(ca_i) \ge n.**

Given n<2d n < 2d , we need to show that i=1dr(cai)n\sum_{i=1}^d r(ca_i) \ge n.

Since gcd(c,n)=1 \gcd(c, n) = 1 , the sequence r(c),r(2c),,r((n1)c) r(c), r(2c), \ldots, r((n-1)c) is a permutation of 0,1,,n1 0, 1, \ldots, n-1 . This is because c c is coprime with n n , ensuring that multiplication by c c permutes the residues modulo n n .

Given a1,a2,,ad a_1, a_2, \ldots, a_d are positive integers such that a1+a2++adn1 a_1 + a_2 + \cdots + a_d \le n-1 , we have 0r(cai)n1 0 \le r(ca_i) \le n-1 for each i i .

Since n<2d n < 2d , we have d>n2 d > \frac{n}{2} . This implies that there are more than n2 \frac{n}{2} terms in the sum i=1dr(cai)\sum_{i=1}^d r(ca_i).

By the pigeonhole principle, since there are d d terms and d>n2 d > \frac{n}{2} , at least one residue must appear more than once. This ensures that the sum of these residues must be at least n n .

Therefore, i=1dr(cai)n\sum_{i=1}^d r(ca_i) \ge n.

2. **Part (b): For each n n , find the smallest d d such that i=1dr(cai)n\sum_{i=1}^d r(ca_i) \ge n always holds.**

We denote the minimum d d for which the conclusion holds as d(n) d(n) .

We claim the following:
d(n)={n2if 4n or n is odd,2n6if 4n2. d(n) = \begin{cases} \left\lceil \frac{n}{2} \right\rceil & \text{if } 4 \mid n \text{ or } n \text{ is odd}, \\ 2 \cdot \left\lceil \frac{n}{6} \right\rceil & \text{if } 4 \mid n - 2. \end{cases}

Proof:

- For n n odd: Consider ai1 a_i \equiv 1 and c=2 c = 2 . Then r(cai)=r(2)=2 r(ca_i) = r(2) = 2 . Since dn2 d \ge \left\lceil \frac{n}{2} \right\rceil , we have i=1dr(cai)=2dn \sum_{i=1}^d r(ca_i) = 2d \ge n .

- For n n divisible by 4: Let c=n2+1 c = \frac{n}{2} + 1 . Since gcd(c,n)=1 \gcd(c, n) = 1 , we can take ai2 a_i \equiv 2 . Then r(cai)=r(n+2)=2 r(ca_i) = r(n + 2) = 2 . Thus, i=1dr(cai)=2dn \sum_{i=1}^d r(ca_i) = 2d \ge n .

- For n2(mod4) n \equiv 2 \pmod{4} : Consider c=3 c = 3 . We need to show that d2n6 d \ge 2 \cdot \left\lceil \frac{n}{6} \right\rceil . If d2n6 d \ge 2 \cdot \left\lceil \frac{n}{6} \right\rceil , then i=1dr(cai)n \sum_{i=1}^d r(ca_i) \ge n .

- For n0(mod3) n \equiv 0 \pmod{3} and 4n2 4 \mid n - 2 : Consider c1=n3+1 c_1 = \frac{n}{3} + 1 and c2=2n3+1 c_2 = \frac{2n}{3} + 1 . Since gcd(c1,n)=gcd(c2,n)=1 \gcd(c_1, n) = \gcd(c_2, n) = 1 , we can choose c c such that r(cai)=3 r(ca_i) = 3 . Thus, dn3 d \ge \frac{n}{3} .

- For n1(mod3) n \equiv 1 \pmod{3} and 4n2 4 \mid n - 2 : Consider c=3 c = 3 . We need to show that dn+13 d \ge \frac{n+1}{3} . If dn+13 d \ge \frac{n+1}{3} , then i=1dr(cai)n \sum_{i=1}^d r(ca_i) \ge n .

Therefore, the smallest d d such that i=1dr(cai)n\sum_{i=1}^d r(ca_i) \ge n always holds is given by:
d(n)={n2if 4n or n is odd,2n6if 4n2. d(n) = \begin{cases} \left\lceil \frac{n}{2} \right\rceil & \text{if } 4 \mid n \text{ or } n \text{ is odd}, \\ 2 \cdot \left\lceil \frac{n}{6} \right\rceil & \text{if } 4 \mid n - 2. \end{cases}

The final answer is

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.