Number Theory or Algebra? Part 1

How many positive integers x x are there which satisfy the equation 2 x = x 2 + 1 2^{x} = x^{2} + 1 ?


The answer is 1.

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.

15 solutions

Spoilers: By guessing, 1 is one of the answer.

You can see that x x must be odd because L . H . S . L.H.S. is always even for any positive integer x x .

x x can be written as 2 k + 1 2k+1 for some positive integer k k .

We get 2 2 k + 1 = ( 2 k + 1 ) 2 + 1 2^{2k+1} = (2k+1)^{2} + 1

2 2 k + 1 = 4 k 2 + 4 k + 2 2^{2k+1} = 4k^{2} + 4k + 2

Divide by 2 we get 2 2 k = 2 k 2 + 2 k + 1 = 2 ( k 2 + k ) + 1 2^{2k} = 2k^{2} + 2k + 1 = 2(k^{2} + k) + 1 .

Since L.H.S. is even, but R.H.S. is odd ( k 2 + k k^{2} + k is positive integer).

Therefore, no such k k exists that makes the equation true.

The only answer is 1 \boxed{1} . ~!~!~

@Samuraiwarm Tsunayoshi Nice...good use of principle of mathematical induction (PMI)....

Prasun Biswas - 7 years, 1 month ago

Log in to reply

Well that's not really an induction. Just use the parity of an expression.

Samuraiwarm Tsunayoshi - 7 years, 1 month ago

Good solution...

Heder Oliveira Dias - 6 years, 11 months ago

Nice solution....

Yash Bhatt - 6 years, 10 months ago

what about 0 . Even 0 fits in the eq.

Sriranga Vaithi - 6 years, 9 months ago

Log in to reply

0 isn't positive.

Mr.Person 12345 - 3 years, 3 months ago

By guessing we will get x = 1 1 as an answer.

But, for x 2 : x \geq 2:

Because 2 2 = 4 , L . H . S = 2 x 0 ( m o d 4 ) 2^{2} = 4, L. H. S = 2^{x} \equiv 0 (mod 4)

For the R. H. S.,

From x 2 0 , 1 ( m o d 4 ) x^{2} \equiv 0, 1 (mod 4) ----> Please refer to my solution from my problem "Are these squares perfect?"

We will get R . H . S . = x 2 + 1 1 , 2 ( m o d 4 ) R. H. S. = x^{2} + 1 \equiv 1, 2 (mod 4)

Thus L . H . S . ≢ R . H . S . L. H. S. \not\equiv R. H. S.

Thus L . H . S . R . H . S . , f o r x 2 L. H. S. \neq R. H. S., for x \geq 2

So we only have 1 \boxed{1} as our only positive INTEGER x x .

Remarks: There is also a second value of x x , but it is not an integer.

You could also notice that 2 x 2^x grows much faster than x 2 + 1 x^2+1 .

Mursalin Habib - 7 years, 1 month ago

Log in to reply

Yes, but the graph intersects at another point which must be proved that it isn't an integer. Click here to plot the graphs.

Sanchayapol Lewgasamsarn - 7 years, 1 month ago

Log in to reply

An way to use Mursalin's method is to show by induction that 2 x > x 2 + 1 2^x > x^2 + 1 for "large" values of x , x, for example, if x > 5. x > 5. Then all we need is to check is x = 1 , 2 , 3 , 4. x = 1, 2, 3, 4.

Michael Tang - 6 years, 10 months ago

@Sanchayapol Lewgasamsarn What about 0?

Ameya Salankar - 7 years, 1 month ago

Log in to reply

That's not a positive integer.

Trevor B. - 7 years, 1 month ago

Log in to reply

@Trevor B. , Oops! I forgot to read positive integers. I was wondering where I went wrong. Silly Me!

Ameya Salankar - 7 years, 1 month ago
Kevin Mo
Apr 25, 2014

Notice that if we have x > 1, then x 2 + 1 x^2+1 is not a power of 2 x 2^x . Thus, the only positive integer that can fit x is 1. Only one \boxed{\text{one}} integer fits this description. Ans. \textbf{Ans.}

simple

vipin bhadana - 7 years, 1 month ago
Rik Roy
Apr 16, 2018

The graphs of 2^x and x^2 +1 reveals that the system has only one solution. By trial that is 1.

Chirag Chutani
Mar 15, 2018

Derivative of x^2 +1 = 2x and derivative of 2^x = 2^xln2 , now 2^x and x^2 +1 are equal at x =1 , now plot y=2x and y= 2^x ln2 , since after x=1, 2^xln2 is greater than 2x , it implies x^2+1 will never intersect 2^x after x=1

MegaMoh .
May 21, 2019

First, you can see that 2 x 2^x is even("positive integers" don't include 0 0 ) while x 2 + 1 x^2+1 is odd at an even x 2 x^2 ( even + 1 = odd \text{even} +1=\text{odd} ) and even at an odd x 2 x^2 ( odd + 1 = even \text{odd} +1=\text{even} ) and for n 2 n^2 to be even, n n must be even(or irrational), same goes for odd numbers, so x x must be odd.

Next, 2 2 power an odd number has an alternating pattern of ones digits made of 2 2 s and 8 8 s( meaning 2 odd number 2^{\text{odd number} } always ends in either 2 or 8. example: 2 1 = 2 , 2 3 = 8 , 2 5 = 3 2 , 2 7 = 12 8 , 2^1={\color{#D61F06}2}, 2^3={\color{#D61F06}8}, 2^5=3{\color{#D61F06}2}, 2^7=12{\color{#D61F06}8}, … ) so the 2 x 2^x part must have a ones digit of 2 2 or 8 8 , so does x 2 + 1 x^2+1 , so x 2 x^2 must end in either 1 1 or 7 7 . Because perfect square numbers don't have 7 7 as their ones digit, only 1 1 can be the ones digit for x 2 x^2 so x x must end in either 1 1 or 9 9 .

Testing some numbers that work : 2 1 = 1 2 + 1 2^1=1^2+1 which is true, 2 9 = 512 82 = 9 2 + 1 2^9=512\neq82=9^2+1 , 2 11 = 2048 122 = 1 1 2 + 1 2^{11}=2048\neq122=11^2+1 . As you can see, 2 x 2^x grows much faster than x 2 x^2 because the difference between 2 x 2^x and 2 x 1 2^{x-1} is 2 x 1 2^{x-1} while the difference between x 2 x^2 and ( x 1 ) 2 (x-1)^2 is 2 x 1 2x-1 or consecutive odd integers and, clearly, 2 x 1 > 2 x 1 2^{x-1}>2x-1 . So 2 x 2^x would grow much larger than x 2 + 1 x^2+1 after x = 1 x=1 , making sure they won't meet again. So only 1 {\color{#20A900}1} solution works.

Edwin Gray
Aug 25, 2018

If 2^x = x^2 + 1, and x > 0, then x is odd. Let x = 2k + 1, so 2^(2k + 1) = (2k + 1)^2 + 1 = 4k^2 + 4k + 2. Dividing by 2, 2^(2k) = 2k^2 + 2k + 1, whose only solution can be k = 0, otherwise, the left side is even, the right side is odd. If k = 0, x = 1, and can be the only solution. Ed Gray.

Mohammad Farhat
Aug 23, 2018

2 1 2^1 = 1 2 + 1 1^2 +1 .

P.S. 0 is an answer but they asked for POSITIVE integers.

Aditya Anand
Apr 4, 2018

1,is a obvious solution.....but can anyone help me out....

2^x =x^2+1

Take log(e base)/ln on both sides

xln(2)=2ln(x)+0 (lna^x=xlna...... And .... ln(1)=0)

x =2 satisfies the eq. ....so 2 is also an ans.

But how come 2 be the solution of the original equation????????

(Is it an extraneous root????)

It's because you can't just distribute ln \ln , in other words, ln ( a + b ) ln ( a ) + ln ( b ) \ln(a+b)\neq\ln(a)+\ln(b) at least not always equal. So redoing the steps

2 x = x 2 + 1 2^x=x^2+1 \Rightarrow ln ( 2 x ) = ln ( x 2 + 1 ) \ln(2^x)=\ln(x^2+1) \Rightarrow x ln ( 2 ) = ln ( x 2 + 1 ) x\ln(2)=\ln(x^2+1) and that's it…

MegaMoh . - 2 years ago
Yash Ghaghada
Mar 2, 2018

We are pretty much familiar with the exponential and parabolic curves

by just seeing we can say that they intersect at two pts 0,1

But it is asked for positive integers so answer is 1

They actually do intersect another time between x=4 and x=5 but it's not an integer and so isn't counted in this problem.

Komninos Maraslidis - 3 years, 2 months ago

Log in to reply

ya, forgot to mention.

Yash Ghaghada - 3 years, 2 months ago
Louis Swanepoel
Mar 2, 2018

Why could it not be 0 aswell?

Because 0 isn't considered positive(or negative) and the question asked for positive integers only.

MegaMoh . - 2 years ago
Sundeep Narang
Mar 1, 2018

we can graphically also see that 0 and 1, are only 2 points where 2 x 2^x and x 2 + 1 x^2+1 will intersect.

They actually do intersect another time between x=4 and x=5 but it's not an integer and so isn't counted in this problem.

Komninos Maraslidis - 3 years, 2 months ago
Kenny Lau
Feb 19, 2017

Using Mathematical Induction, we will prove that for x 5 x \ge 5 , we have 2 x > x 2 + 1 2^x > x^2+1 , so it is impossible to have 2 x = x 2 + 1 2^x = x^2+1 .

When x = 5 x=5 , 2 5 = 32 > 26 = 5 2 + 1 2^5 = 32 > 26 = 5^2 + 1 .

Assume that 2 k > k 2 + 1 2^k > k^2+1 for k 5 k \ge 5 .

For k + 1 k+1 :

2 k + 1 = 2 × 2 k > 2 k 2 + 2 = k 2 + k 2 + 2 > k 2 + 2 k + 2 = ( k + 1 ) 2 + 1 \begin{array}{cl}&2^{k+1}\\=& 2 \times 2^k\\>& 2k^2 + 2\\=& k^2 + k^2 + 2\\>& k^2 + 2k +2\\=& (k+1)^2 + 1\\\end{array}

Therefore, for x 5 x \ge 5 , we have 2 x > x 2 + 1 2^x > x^2+1 by Mathematical Induction.


So, we have reduced our problem to x { 1 , 2 , 3 , 4 } x \in \{1,2,3,4\} , which can be easily checked.

How do you know that 2 x 2^k is larger than 2k^2 + 2 ?

Komninos Maraslidis - 3 years, 2 months ago
Rishabh Tiwari
May 12, 2016

Clearly it can be seen by plugging in some +ve values, That 0&1 are the solutions. Since ques. Asks for +ve integers hence 1 is the only sol.!

I do know that all potency of base 2 is pair. Meantime, all number pair plus 1 it is odd. Then, only 2¹ = 1¹+1, being 1 positive integer. Thus, 2^0 = 1^0 +1, but zero is not integer positive.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...