Case Study

Algebra Level 4

1 x + 1 2 x = { x } + 1 3 \large \frac 1{\lfloor x\rfloor}+\frac 1{\lfloor 2x \rfloor}= \{x\}+\frac 13

Find the number of real solutions to the equation above.

Notations :

1 infinite 0 5 3

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

Tapas Mazumdar
Jun 1, 2017

Let

f ( x ) = { x } + 1 3 f(x) = \{x\} + \dfrac 13

The graph of { x } \left\{ x \right\} is a discontinuous graph with slope 1 1 whenever defined and is bounded in 0 { x } < 1 0 \le \{x\} < 1 . If we add 1 / 3 {1}/{3} our graph shifts 1 / 3 {1}/{3} units up and the bound for f f is 1 3 f ( x ) < 4 3 \dfrac 13 \le f(x) < \dfrac 43 .

Let

g ( x ) = 1 x + 1 2 x g(x) = \dfrac{1}{\lfloor x \rfloor} + \dfrac{1}{\lfloor 2x \rfloor}

The graph of x \lfloor x \rfloor is a discontinuous graph with slope 0 0 whenever defined, thus for a certain interval it assumes a certain constant value. The term 2 x 2x tells us that the graph will assume a set of constant values for the intervals

  • n Z 0 [ n , n + 1 2 ) \displaystyle \bigcup_{n \in \mathbb{Z} \setminus 0} \left[ n , n + \dfrac 12 \right) ; and
  • n Z 0 [ n + 1 2 , n + 1 ) \displaystyle \bigcup_{n \in \mathbb{Z} \setminus 0} \left[ n + \dfrac 12 , n + 1 \right)

Note that for g ( x ) = f ( x ) g(x) = f(x) , we must have n 1 n \ge 1 as f ( x ) f(x) is positive for all values of x x .


Case 1:

When x n Z , n 1 [ n , n + 1 2 ) x \in \displaystyle \bigcup_{n \in \mathbb{Z} , n \ge 1} \left[ n , n + \dfrac 12 \right) , we have x = n \lfloor x \rfloor = n and 2 x = 2 n \lfloor 2x \rfloor = 2n , thus

1 x + 1 2 x = 1 n + 1 2 n = 3 2 n \dfrac{1}{\lfloor x \rfloor} + \dfrac{1}{\lfloor 2x \rfloor} = \dfrac{1}{n} + \dfrac{1}{2n} = \dfrac{3}{2n}

Also in this interval, we have

0 { x } < 1 2 1 3 { x } + 1 3 < 5 6 0 \le \{x\} < \dfrac 12 \implies \dfrac 13 \le \{x\} + \dfrac 13 < \dfrac 56

Thus

1 3 3 2 n < 5 6 \dfrac 13 \le \dfrac{3}{2n} < \dfrac 56

Solving both inequalities (keeping in mind that n 1 n \ge1 ) gives

9 5 < n 9 2 \dfrac 95 < n \le \dfrac 92

As n n is an integer therefore, n = 2 , 3 , 4 \boxed{n = 2,3,4} .


Case 2:

When x n Z , n 1 [ n + 1 2 , n + 1 ) x \in \displaystyle \bigcup_{n \in \mathbb{Z} , n \ge 1} \left[ n + \dfrac 12 , n + 1 \right) , we have x = n \lfloor x \rfloor = n and 2 x = 2 n + 1 \lfloor 2x \rfloor = 2n+1 , thus

1 x + 1 2 x = 1 n + 1 2 n + 1 = 3 n + 1 n ( 2 n + 1 ) \dfrac{1}{\lfloor x \rfloor} + \dfrac{1}{\lfloor 2x \rfloor} = \dfrac 1n + \dfrac{1}{2n+1} = \dfrac{3n+1}{n(2n+1)}

Also in this interval

1 2 { x } < 1 5 6 { x } + 1 3 < 4 3 \dfrac 12 \le \{x\} < 1 \implies \dfrac 56 \le \{x\} + \dfrac 13 < \dfrac 43

Thus

5 6 3 n + 1 n ( 2 n + 1 ) < 4 3 \dfrac 56 \le \dfrac{3n+1}{n(2n+1)} < \dfrac 43

Solving first inequality (keeping in mind that n 1 n \ge1 ) gives

1 n < 13 + 409 20 1 n < 1.66 1 \le n < \dfrac{13 + \sqrt{409}}{20} \implies 1 \le n < 1.66

and solving second inequality gives

n > 5 + 37 2 n > 5.541 n > \dfrac{5 + \sqrt{37}}{2} \implies n > 5.541

As n n is an integer therefore n = 1 n = 1 or n 6 n \ge 6 .

But observe that for n = 1 n=1 , we have 3 n + 1 2 n 2 + n = 4 3 \dfrac{3n+1}{2n^2 + n} = \dfrac 43 which does not obey the condition that 3 n + 1 2 n 2 + n < 4 3 \dfrac{3n+1}{2n^2 + n} < \dfrac 43 .

Also for n 6 n \ge 6 , we have 3 n + 1 2 n 2 + n < 3 ( 6 ) + 1 2 ( 6 ) 2 + 6 = 19 78 < 5 6 \dfrac{3n+1}{2n^2 + n} < \dfrac{3(6)+1}{2(6)^2+6} = \dfrac{19}{78} < \dfrac 56 which does not obey the condition that 3 n + 1 2 n 2 + n 5 6 \dfrac{3n+1}{2n^2 + n} \ge \dfrac 56 .

Thus the given case will not give any solutions for n n .


Hence there are only 3 \boxed{3} possible solutions (from the first case) which lie

  • in the interval [ 2 , 5 2 ) \left[ 2 , \dfrac 52 \right) when n = 2 n = 2 ;
  • in the interval [ 3 , 7 2 ) \left[ 3 , \dfrac 72 \right) when n = 3 n = 3 ;
  • in the interval [ 4 , 9 2 ) \left[ 4 , \dfrac 92 \right) when n = 4 n = 4 .

Awesome method .(+1)

Aditya Kumar - 4 years ago

Log in to reply

Thanks. When one has a good idea of the graphs of the functions { x } \{x\} and x \left\lfloor x \right\rfloor , then it is not hard to visualize the basic idea for the method.

Tapas Mazumdar - 4 years ago

@Shivam Jadhav nice question! (rigorous mental exercise)

ABHIJIT DIXIT - 4 years ago

Did the same way !!

Ayush Sharma - 4 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...