For each positive integer, define a function f(n)={0,⌊n1⌋,if n is the square of an integer,if n is not the square of an integer. (Here [x] denotes the maximum integer not exceeding x, and {x}=x−[x].) Find the value of ∑k=1200f(k).
Solution
For arbitrary a,k∈N+, if k2<a<(k+1)2, we set a=k2+m,m=1,2,…,2k, a=k+θ,0<θ<1, [a1]=[a−k1]=[a−k2a+k]=[m2k+θ]. For0<m2k+θ−θ2k<1, if there exists an integer t between m2k and m2k+θ, then m2k<t<m2k+θ. On one hand 2k<mt, thus 2k+1≤mt. On the other hand, mt<2k+θ<2k+1, a contradiction. Thus[m2k+θ]=[m2k],k<a<k+1∑[{a}1]=m=1∑2k[m2k],a=1∑n+1f(a)=k=1∑ni=1∑2k[i2k].(1)
Thus a=1∑(n+1)2f(a)=k=1∑nj=1∑2kT(j)=n[T(1)+T(2)]+(n−1)[T(3)+T(4)]+⋯+[T(2n−1)+T(2n)](2) From (2), k=1∑162f(k)=k=1∑15(16−k)[T(2k−1)+T(2k)].(3)
k
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
ak
3
5
6
6
7
8
6
9
8
8
8
10
7
10
10
Therefore, k=1∑256f(k)=k=1∑15(16−k)ak=783.(4) Note that f(256)=f(162)=0 by definition. When k∈{241,242,…,255}, denote k=152+r(16≤r≤30), then k−15=152+r−15=152+r+15r, 31r<152+r+15r<30r,1≤r30<{152+r}1<r31<2. Thus [k1]=1,k∈{241,242,…,255}.(5) Therefore, k=1∑200f(k)=783−k=201∑256f(k)=783−15=768.
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.