Olympiad Maths Prep

Library / /8 of 29

Algebra Difficulty 6.0 National olympiad Prove it Iran

For every positive integer k>1k > 1 prove that there exists a real number xx such that for every positive integer n<1398n < 1398:
{xn}<{xn1}    kn. \{x^n\} < \{x^{n-1}\} \iff k \mid n.

Solution

Take a sufficiently large mm (m>23000m > 2^{3000}) and put x=m+1k1x = m + \frac{1}{k-1}. Note that
{(m+1k1)n}=ki>n(ni)mnim(k1)i \left\{ \left( m + \frac{1}{k-1} \right)^n \right\} = \sum_{k_i > n} \binom{n}{i} \frac{m^{n-i}}{m^{(k-1)i}}
Because
ki>n(ni)mnim(k1)i<1mi=0n(ni)<2n+1m<1, \sum_{k_i > n} \binom{n}{i} \frac{m^{n-i}}{m^{(k-1)i}} < \frac{1}{m} \sum_{i=0}^{n} \binom{n}{i} < \frac{2^{n+1}}{m} < 1,
and the remaining terms of (m+1k1)n\left(m + \frac{1}{k-1}\right)^n are all integers. Now if n=kt+rn = kt + r such that k1r0k-1 \ge r \ge 0, we have two cases:

Case 1 r0r \ne 0.
{(m+1k1)n}=ki>n(ni)1mkin>i=t+11mkr,{(m+1k1)n1}=ki>n1it+1(n1i)1mkin+1<2n×nmkr+1,1mkr>2n×nmkr+1    {(m+1k1)n}>{(m+1k1)n1}. \left\{ \left( m + \frac{1}{k-1} \right)^n \right\} = \sum_{k_i > n} \binom{n}{i} \frac{1}{m^{k_i-n}} \stackrel{i=t+1}{>} \frac{1}{m^{k-r}}, \\ \left\{ \left( m + \frac{1}{k-1} \right)^{n-1} \right\} = \sum_{\substack{k_i > n-1 \\ i \ge t+1}} \binom{n-1}{i} \frac{1}{m^{k_i-n+1}} < 2^n \times \frac{n}{m^{k-r+1}}, \\ \frac{1}{m^{k-r}} > 2^n \times \frac{n}{m^{k-r+1}} \implies \left\{ \left( m + \frac{1}{k-1} \right)^n \right\} > \left\{ \left( m + \frac{1}{k-1} \right)^{n-1} \right\}.

Case 2 r=0r = 0.
{(m+1k1)n}=ki>nit+1(ni)1mkin<2n×nmk,{(m+1k1)n1}=ki>n1it(n1i)1mkin+11m,1m>k22n×nmk    {(m+1k1)n1}>{(m+1k1)n}. \left\{ \left( m + \frac{1}{k-1} \right)^n \right\} = \sum_{\substack{k_i > n \\ i \ge t+1}} \binom{n}{i} \frac{1}{m^{k_i-n}} < 2^n \times \frac{n}{m^k}, \\ \left\{ \left( m + \frac{1}{k-1} \right)^{n-1} \right\} = \sum_{\substack{k_i > n-1 \\ i \ge t}} \binom{n-1}{i} \frac{1}{m^{k_i-n+1}} \ge \frac{1}{m}, \\ \frac{1}{m} \stackrel{k \ge 2}{>} 2^n \times \frac{n}{m^k} \implies \left\{ \left( m + \frac{1}{k-1} \right)^{n-1} \right\} > \left\{ \left( m + \frac{1}{k-1} \right)^n \right\}.
Therefore,
{(m+1k1)n1}>{(m+1k1)n}    kn,{xn1}>{xn}    kn. \left\{ \left( m + \frac{1}{k-1} \right)^{n-1} \right\} > \left\{ \left( m + \frac{1}{k-1} \right)^n \right\} \iff k \mid n, \\ \{x^{n-1}\} > \{x^n\} \iff k \mid n.

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.