For as defined above, find .
Notation: denotes the floor function .
This problem is part of the set " Xenophobia "
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Relevant wiki: Hermite's Identity
S = x = 2 ∑ 2 0 1 7 y = 1 ∑ x − 1 z = 0 ∑ y − 1 ⌊ x y 2 0 1 7 y + x z ⌋
S = x = 2 ∑ 2 0 1 7 y = 1 ∑ x − 1 z = 0 ∑ y − 1 ⌊ x 2 0 1 7 + y z ⌋
S = x = 2 ∑ 2 0 1 7 y = 1 ∑ x − 1 ( ⌊ x 2 0 1 7 ⌋ + ⌊ x 2 0 1 7 + y 1 ⌋ + ⌊ x 2 0 1 7 + y 2 ⌋ + … + ⌊ x 2 0 1 7 + y y − 1 ⌋ )
Using Hermite's Identity ,
⌊ x 2 0 1 7 ⌋ + ⌊ x 2 0 1 7 + y 1 ⌋ + ⌊ x 2 0 1 7 + y 2 ⌋ + … + ⌊ x 2 0 1 7 + y y − 1 ⌋ = ⌊ x 2 0 1 7 y ⌋
S = x = 2 ∑ 2 0 1 7 y = 1 ∑ x − 1 ⌊ x 2 0 1 7 y ⌋
S = x = 2 ∑ 2 0 1 7 ( ⌊ 2 0 1 7 × x 1 ⌋ + ⌊ 2 0 1 7 × x 2 ⌋ + ⌊ 2 0 1 7 × x 3 ⌋ + … + ⌊ 2 0 1 7 × x x − 1 ⌋ )
Let a be a positive integer less than 2 0 1 7 .
⌊ 2 0 1 7 × x a ⌋ + ⌊ 2 0 1 7 × x x − a ⌋ = 2 0 1 7 × x a − { 2 0 1 7 × x a } + 2 0 1 7 × x x − a − { 2 0 1 7 × x x − a } = 2 0 1 7 − { 2 0 1 7 × x a } − { 2 0 1 7 × x x − a } .
Since the LHS is an integer, the RHS must also be an integer which forces the RHS to be equal to 2 0 1 6
There are ⌊ 2 x − 1 ⌋ pairs that sums up to 2 0 1 6 and for even values of x , there will be an extra 1 0 0 8 added to the sum.
S = x = 2 ∑ 2 0 1 7 ( 2 0 1 6 × 2 x − 1 )
S = 2 0 1 6 × x = 1 ∑ 2 0 1 6 2 x
S = 4 2 0 1 6 × 2 0 1 6 × 2 0 1 7
S = 2 1 0 0 8 × 2 0 1 7
⌊ S ⌋ = 4 5 2 7 0
Notation: ⌊ ⋅ ⌋ denotes the floor function .
and { ⋅ } denotes the fractional part function .