Number theoryDifficulty 6.8National olympiadProve itSaudi Arabia
Denote by {x} the fractional part of a real number x, that is {x}=x−⌊x⌋ where ⌊x⌋ is the maximum integer not greater than x. Prove that 1. For every integer n, we have {n17}>217⋅n1. 2. The value 2171 is the largest constant c such that the inequality {n17}>cn holds for all positive integers n.
Solution
1) For all n∈Z+, we have n17∈/Z then [n17]<n17 or [n17]2<(n17)2∀n. This implies that 17n2−[n17]2≥1⇔17n2−(n17−{n17})2≥1⇔17n2−(17n2−2n17{n17}+{n17}2)≥1.⇔{n17}≥2n171+{n17}2>2n171
2) Consider the Pell equation m2−17n2=−1, since 17 is the prime of form 4k+1 then this equation has infinitely many positive integer solutions. Thus n17=m2+1 then [n17]=m for all m,n∈Z+. Then we have {n17}=n17−m which means n17−m>nc⇔n17+m17n2−m2>nc⇔c<17+nm1. Note that nm=17−n21 then when m,n→+∞, we have nm→lim17−n21=17. This implies that c≤17+limm,n→+∞nm1=2171 Hence, c=2171 is the maximum constant that satisfies the given condition.
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: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.