How many such equations?

Algebra Level 3

What is the cardinality of the set of equations of the form

( x 2 + a x + b ) ( x 2 + c x + d ) = 1 \left( x^2+ax+b \right)^{\left( x^2+cx+d \right)} = 1

with integer coefficients a , b , c , d a,b,c,d such that all of their real solutions are integers?

countably infinite uncountably infinite finite

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

K T
Jan 6, 2019

For shortness I will put p 1 = x 2 + a x + b p_1=x^2+ax+b and p 2 = x 2 + c x + d p_2=x^2+cx+d .

If x x is real, then p 1 p_1 and p 2 p_2 will be real too. To satisfy p 1 p 2 = 1 p_1^{p_2}=1 , we need either p 1 = 1 p_1=1 , or p 2 = 0 p2=0 , or p 1 = 1 p_1=-1 and p 2 p2 is an even integer.

Observe:

  • The set of integer n-tuples is countably infinite. This is taken as a known fact here.
  • If there are NO real solutions at all, then we can logically say that all of them are integers.
  • A subset of a countable set must itself be countable too.

So we only have to show that there are an infinite number of choices among the quadruples (a,b,c,d) for which there is no real solution for x. Take a = 0 , b > 1 , c = 0 , d > 0 a=0, b>1,c=0, d>0 then p 1 > 1 p_1>1 and p 2 > 0 p_2>0 . For those choces p 1 p 2 = 1 p_1^{p_2}=1 has no real solutions. There are infinitely many such (a,b,c,d), so our final conclusion is:

There is a countably infinite number of quadruples (a,b,c,d) for which every real solution for x of ( x 2 + a x + b ) ( x 2 + c x + d ) = 1 (x^2+ax+b)^{(x^2+cx+d)}=1 is an integer solution.

There is also a countable infinite set of choices with actual integer solutions, namely choose a = c = d = 0 , b > 1 a=c=d=0, b>1 , then p 1 p 2 = ( x 2 + b ) x 2 p_1^{p_2}= (x^2+b)^{x^2} which is a positive number to a nonnegative power. The only real solution is x=0.

K T - 2 years, 5 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...