Fractional Part, Integrals, and Number Theory

Calculus Level 5

0 N x { x } d x \int_{0}^{N} x\{x\} \,dx

X X is the smallest positive integer N N such that the integral above is an integer. If no such N N exists, then let X = 0. X=0.

Y Y is the smallest positive integer N N such that the integral above is a perfect square . If no such N N exists, then let Y = 0. Y=0.

What is X + Y X+Y ?


The answer is 9.

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.

1 solution

Eli Ross Staff
Mar 17, 2016

One fun way to think about this integral is to look at I k = k 1 k x { x } d x , I_k = \int_{k-1}^{k} x\{x\}\,dx, where k { 1 , 2 , , N } . k\in \{1,2,\ldots,N\}. Informally speaking, we're integrating as { x } \{x\} goes from 0 1 , 0\rightarrow 1, each time adding 1 to the multiplier value as we go along (as k k goes from 1 N 1\rightarrow N ), so each piece of the integral I k + 1 I_{k+1} will be 0 1 x d x = 1 2 \int_{0}^{1}x\,dx = \frac{1}{2} more than the previous piece I k . I_{k}.

More formally, I k + 1 I k = k k + 1 x { x } d x k 1 k x { x } d x = k 1 k ( x + 1 ) { x } d x x x + 1 , { x + 1 } = { x } k 1 k x { x } d x = k 1 k { x } d x = 0 1 x d x = 1 2 . \begin{aligned} I_{k+1}-I_k &= \int_{k}^{k+1} x\{x\}\,dx - \int_{k-1}^{k} x\{x\}\,dx \\ &= \underbrace{\int_{k-1}^{k}(x+1)\{x\}\,dx}_{x\rightarrow x+1\ , \ \{x+1\} = \{x\}} - \int_{k-1}^{k}x\{x\}\, dx \\ &= \int_{k-1}^{k} \{x\}\,dx = \int_{0}^{1} x \,dx = \frac{1}{2}. \end{aligned}

Now, note that I 1 = 0 1 x { x } d x = 0 1 x 2 d x = 1 3 . I_1 = \int_0^1 x\{x\} \,dx = \int_0^1 x^2 \,dx = \frac{1}{3}. Then, our integral is I 1 + I 2 + + I N = 1 3 + ( 1 3 + 1 2 ) + + ( 1 3 + ( N 1 ) 1 2 ) = N 3 + ( N 1 ) ( N ) 4 = 3 N 2 + N 12 . I_1 + I_2 + \cdots + I_N = \frac{1}{3} + \left(\frac{1}{3}+ \frac{1}{2}\right) + \cdots + \left(\frac{1}{3} + (N-1)\cdot \frac{1}{2}\right) = \frac{N}{3} + \frac{(N-1)(N)}{4} = \frac{3N^2+N}{12}.

Since 12 = 3 4 12 = 3\cdot 4 , we need 3 N 2 + N 3N^2 + N to be divisible by 3 3 and 4. 4. Since 3 3 N 2 , 3|3N^2, we must have 3 N . 3|N. It's quick to check N = 3 , 6 , 9 , N=3,6,9,\ldots and see that N = 9 N=9 is the smallest solution.

On the other hand, if we had a perfect square 3 N 2 + N 12 = M 2 , \frac{3N^2+N}{12}=M^2, this would imply that 3 N 2 + N = 12 M 2 N = 3 ( 4 M 2 N 2 ) = 3 ( 2 M + N ) ( 2 M N ) . 3N^2 + N = 12M^2 \ \iff \ N = 3\left(4M^2 - N^2\right) = 3 \left(2M+N\right)\left(2M-N\right). However, this is impossible, since N N cannot be the product of three integers where one of the integers is greater than N N (here, 2 M + N > N . 2M+N> N. )

Thus, X + Y = 9 + 0 = 9. X+Y = 9+0 = 9.

a very nice thought process..

Anmol Agarwal - 5 years, 2 months ago

Another way I did the final bit to prove that no such Y Y exists was to multiply 3 N 2 + N + 12 M 2 3N^2 + N + 12 M^2 by 12 12 to give 36 N 2 + 12 N = 144 M 2 36N^2 + 12N = 144M^2 . You can then factorise the right and complete the square on the left to give ( 6 N + 1 ) 2 1 = ( 12 M ) 2 (6N+1)^2 - 1 = (12M)^2 . This means we need two square numbers which are only 1 apart. This only occurs when N = 0 N=0 and M = 0 M = 0 which isn't acceptable as N > 0 N >0 . Therefore no such N N exists to make the equality work.

Josh Banister - 5 years, 2 months ago

Log in to reply

Nice idea!

Eli Ross Staff - 5 years, 2 months ago

Lovely one sir.

rajdeep brahma - 3 years, 3 months ago

Nice sum n prove sir. Upvoted and liked🖒🖒.

rajdeep brahma - 3 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...