These roots have roots

Algebra Level 5

Find the number of ordered pairs of real numbers ( x , y ) (x,y) such that

{ x = y + 1000 y + 100 y = x + 1000 x + 100 . \begin{cases} x = \sqrt{y+1000} - \sqrt{y+100} \\ y = \sqrt{x+ 1000 } - \sqrt{ x +100} .\\ \end{cases}


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.

7 solutions

Calvin Lin Staff
Oct 11, 2013

Most of the solutions presented here are wrong, because they didn't provide an adequate explanation of why the only solutions must occur at x = y x=y . This was either assumed, or incorrectly shown.

Comments posted by Peter B., Abhishek S. and C L. provides solutions based on calculus techniques like mean value theorem, contraction mapping, Rolle's theorem.

I would encourage you to read through the long thread of discussions, and learn from each other.


Peter presents the following solution which doesn't use Calculus.

Let f ( x ) = x + 1000 x + 100 f(x) = \sqrt{ x + 1000} - \sqrt{x + 100} . We are given that f ( x ) = y f(x) = y and f ( y ) = x f(y) = x . Observe that

f ( y ) f ( x ) = y + 1000 x + 1000 + x + 100 y + 100 = y x y + 1000 + x + 1000 y x y + 100 + x + 100 = ( y x ) G ( x , y ) \begin{aligned} f(y) - f(x) & = \sqrt{y+1000} - \sqrt{x+1000} +\sqrt{x+100} - \sqrt{y+100} \\ &= \frac{y-x}{\sqrt{y+1000} + \sqrt{x+1000}} -\frac{y-x}{\sqrt{y+100} + \sqrt{x+100}} \\ & =(y-x)\cdot G(x,y) \end{aligned}

where G ( x , y ) = 1 y + 1000 + x + 1000 1 y + 100 + x + 100 G(x,y) = \frac{1}{\sqrt{y+1000} + \sqrt{x+1000}} -\frac{1}{\sqrt{y+100} + \sqrt{x+100}}

But since 1 20 G ( x , y ) 0 -\frac{1}{20} \le G(x,y) \le 0 for any x , y 0 x,y\ge0 , in order for y x = f ( y ) f ( x ) y-x = f(y) - f(x) , we must have y = x y = x . We then proceed to solve the equation, and show that only 1 solution exists.


The following is my solution.

Multiplying by the algebraic conjugate, the system is equivalent to

{ x ( y + 1000 + y + 100 ) = 900 y ( x + 1000 + x + 100 ) = 900. \begin{cases} x( \sqrt{y+1000} + \sqrt{y+100}) = 900 \\ y ( \sqrt{x+ 1000 } + \sqrt{ x + 100}) = 900 . \\ \end{cases}

As such, x x and y y must be positive. If x > y x > y , then we have

900 = x 2 y + 1000 x 2 + x 2 y + 100 x 2 > x y 2 + 1000 y 2 + x y 2 + 100 y 2 = 900 , \begin{aligned} 900 & = \sqrt{x^2 y + 1000 x^2 } + \sqrt{ x^2 y + 100x^2 } \\ & > \sqrt{xy^2 + 1000y^2 } + \sqrt{ xy^2 + 100 y^2 } \\ & = 900 , \end{aligned}

which is a contradiction. A similar inequality holds for x < y x < y , which means we must have x = y x = y .

Thus, x ( x + 1000 + x + 100 ) = 900 x( \sqrt{x+1000} + \sqrt{x+100}) = 900 . Observe that the LHS is an increasing function on positive values of x x , and is equal to 0 when x = 0 x= 0 and increases without bound. Hence, exactly 1 solution exists.

Note: This easily generalizes to other (positive) values. When N N is negative, we can't just substitute x = 0 x=0 in. Instead, the smallest starting value is x = N x = -N , which gives us a value of N M + N |N| \sqrt{M+|N|} .

Sir i solved in this way

y + 1000 = a , y + 100 = b y + 1000 = a , y + 100 = b

a b = 900 a - b = 900

( y + 1000 + y + 100 ) ( y + 1000 y + 100 ) = 900 (\sqrt{y + 1000} + \sqrt{y + 100})(\sqrt{y + 1000} - \sqrt{y + 100}) = 900

y + 1000 y + 100 = 900 x \sqrt{y + 1000} - \sqrt{y + 100} = \dfrac{900}{x}

adding ,

2 y + 1000 = 900 x + x 2\sqrt{y + 1000} = \dfrac{900}{x} + x

and similarly for the other equation , we get

2 x + 1000 = 900 y + y 2\sqrt{x + 1000} = \dfrac{900}{y} + y

thus both the curves can only intersect at point where x=y

U Z - 6 years, 6 months ago

Nice.

Peter Byers - 7 years, 8 months ago

Great solution.Sir , you are Brilliant

Sai Ram - 5 years, 9 months ago
Jon Haussmann
Oct 7, 2013

Let f ( t ) = t + 1000 t + 100 . f(t) = \sqrt{t + 1000} - \sqrt{t + 100}. We can write

f ( t ) = t + 1000 t + 100 = ( t + 1000 t + 100 ) ( t + 1000 + t + 100 ) t + 1000 + t + 100 = ( t + 1000 ) ( t + 100 ) t + 1000 + t + 100 = 900 t + 1000 + t + 100 . \begin{aligned} f(t) &= \sqrt{t + 1000} - \sqrt{t + 100} \\ &= \frac{(\sqrt{t + 1000} - \sqrt{t + 100})(\sqrt{t + 1000} + \sqrt{t + 100})}{\sqrt{t + 1000} + \sqrt{t + 100}} \\ &= \frac{(t + 1000) - (t + 100)}{\sqrt{t + 1000} + \sqrt{t + 100}} \\ &= \frac{900}{\sqrt{t + 1000} + \sqrt{t + 100}}. \end{aligned}

In this form, we can see that the function f f is decreasing.

We want to find x x and y y such that x = f ( y ) x = f(y) and y = f ( x ) y = f(x) .

If x < y x < y , then f ( x ) > f ( y ) f(x) > f(y) . But x = f ( y ) x = f(y) and y = f ( x ) y = f(x) , so f ( y ) > f ( x ) f(y) > f(x) , contradiction. Similarly, x > y x > y also leads to a contradiction. Therefore, if x = f ( y ) x = f(y) and y = f ( x ) y = f(x) , then x = y x = y . In other words, f ( x ) = x f(x) = x .

Consider the continuous function g ( x ) = f ( x ) x g(x) = f(x) - x . We see that g ( 0 ) = f ( 0 ) = 1000 100 > 0 , g(0) = f(0) = \sqrt{1000} - \sqrt{100} > 0, and

g ( 24 ) = f ( 24 ) 24 = 1024 124 24 = 8 124 < 0 , \begin{aligned} g(24) &= f(24) - 24 \\ &= \sqrt{1024} - \sqrt{124} - 24 \\ &= 8 - \sqrt{124} < 0, \end{aligned}

so by the Intermediate Value Theorem, there exists an x 0 [ 0 , 24 ] x_0 \in [0,24] such that g ( x 0 ) = 0 g(x_0) = 0 , or f ( x 0 ) = x 0 f(x_0) = x_0 . Furthermore, the function g ( x ) = f ( x ) x g(x) = f(x) - x is decreasing, so x = x 0 x = x_0 is the unique solution of f ( x ) = x f(x) = x .

Hence, the system x = f ( y ) x = f(y) and y = f ( x ) y = f(x) has exactly one solution, namely x = y = x 0 x = y = x_0 .

Moderator note:

I anticipated that someone would create a solution along these lines. It is not true that if x = f ( y ) , y = f ( x ) x = f(y), y = f(x) for a decreasing function f ( x ) f(x) , then the only solutions must be of the form ( x , y ) = ( α , α ) (x,y) = (\alpha, \alpha) . Easy counterexamples to this statement are the functions f ( x ) = x f(x) = -x [which has solutions of the form ( α , α ) (\alpha, - \alpha) ] and f ( x ) = 1 x f(x) = \frac{1}{x} [which has solutions of the form ( α , 1 α ) (\alpha, \frac{1}{\alpha} ) ].

I am sorry, but I don't follow. It is clear that f(x) is decreasing but where is the contradiction? If x < y x < y then f ( x ) > f ( y ) f(x) > f(y) and from the equations we get the same not the opposite.

Dobromir Dimitrov - 7 years, 8 months ago

Log in to reply

Indeed. This is a false solution, there is no contradiction.

The 'correct' version is that if f ( x ) f(x) is an increasing function, then x = f ( y ) x = f(y) and y = f ( x ) y = f(x) only has solutions x = y x = y . This can be proved in the manner stated above, namely that if x > y x> y then by assumption of increasing function we get that f ( x ) > f ( y ) f(x) > f(y) and hence y > x y > x which is a contradiction.

Calvin Lin Staff - 7 years, 8 months ago

Log in to reply

I can't believe I made such an obvious mistake. Sorry to everyone who was misled.

Jon Haussmann - 7 years, 8 months ago

Here's my solution.

Let f ( t ) = t + 1000 t + 100 f(t) = \sqrt{t+1000} - \sqrt{t+100} for t 100 t \ge -100 as before. I'll list out the steps to arrive at a contradiction for y = f ( x ) , x = f ( y ) , x y y=f(x), x=f(y), x\ne y .

  • f ( t ) f(t) is decreasing, so the image of f f lies in ( 0 , 30 ) (0, 30) ;
  • hence 0 x , y 30 0 \le x, y \le 30 ;
  • and so f ( 30 ) f ( x ) f ( 0 ) 20 y 22 f(30) \le f(x) \le f(0) \implies 20 \le y\le 22 ; similarly, 20 x 22 20 \le x\le 22 ;
  • but then f ( t ) f'(t) is a negative strictly increasing function, so for all 20 t 22 20 \le t \le 22 , we have f ( 20 ) f ( t ) f ( 22 ) 0.03 f ( t ) 0.029 f'(20) \le f'(t) \le f'(22)\implies -0.03 \le f'(t)\le -0.029 .

On the other hand, let g g be the inverse of f f on (0, 30); note that g ( t ) = 1 f ( g ( t ) ) g'(t) = \frac 1 {f'(g(t))} . We then have y = g ( x ) , x = g ( y ) , x y y = g(x), x = g(y), x\ne y and:

  • g g is decreasing, so g g' is negative strictly increasing;
  • for all 20 t 22 20 \le t \le 22 , we have g ( 20 ) g ( t ) g ( 22 ) 41 g ( t ) 27 g'(20) \le g'(t) \le g'(22) \implies -41\le g'(t) \le -27 .

Now we'll get a contradiction: since f ( t ) = g ( t ) f(t) = g(t) has two distinct solutions 20 x , y 22 20 \le x, y\le 22 , Rolle's theorem tells us there must be a point 20 u 22 20 \le u\le 22 such that f ( u ) = g ( u ) f'(u) = g'(u) . But this is clearly impossible.

C Lim - 7 years, 8 months ago

taking a cue from Jon's answer I did this:

(sqrt(x+1000) + sqrt(x+100)) / x = (sqrt(y+1000) + sqrt(y+100)) / y = 900 / xy.

This shows that signs of x and y are same, either both positive or both negative.

Now the function f(t) = (sqrt(t+1000) + sqrt(t+100)) / t is strictly decreasing for t>0, and strictly decreasing for t<0. At t = 0 it is undefined, but we can check that case separately. We want f(x) = f(y), which is not possible for different x,y in a monotonous function. So x=y is the only possibility.

Abhay Gupta - 7 years, 8 months ago

Log in to reply

just rewriting in a bit different way :)

Setting f ( t ) = t + 1000 t + 100 f(t)=\sqrt{t+1000}-\sqrt{t+100} ,We have x f ( x ) = y f ( y ) xf(x)=yf(y) .But the function g ( t ) = t f ( t ) = t ( t + 1000 t + 100 ) g(t)=tf(t)=t(\sqrt{t+1000}-\sqrt{t+100}) is increasing as t > 0 t>0 .Since both x x and y y are positive,then they have to be equal

Artupazira ykzer - 7 years, 8 months ago

The given equations are symmetric about the line y = x y=x as you might have noticed. Anyway, good algebraic interpretation & nice use of IVT to ascertain the presence of the root.

A Brilliant Member - 7 years, 8 months ago

Log in to reply

All that implies is that f ( f ( x ) ) = x f( f(x) ) = x , and it doesn't necessarily imply that f ( x ) = x f(x) = x .

Of course, f ( x ) = x f ( f ( x ) ) = x f(x) = x \Rightarrow f(f(x) ) = x . It is the reverse implication that we need, and it is not necessarily true.

Calvin Lin Staff - 7 years, 8 months ago

Log in to reply

For some (unknown) reason, I can not directly post the solution there. So I am outlining it here. First of all it is clear that we can concentrate on positive real values of x x and y y only and the relevant equation to investigate is f ( f ( x ) ) = x f(f(x))=x where f ( x ) = x + 1000 x + 100 f(x)=\sqrt{x+1000}-\sqrt{x+100} . Next the important step is to show that the mapping f : R + R + f: \mathbb{R}_+ \to \mathbb{R}_+ is a contraction . This is easy as the absolute value of derivative of f f which is = 1 2 ( 1 x + 1 0 2 1 x + 1 0 3 ) =\frac{1}{2}\bigg(\frac{1}{\sqrt{x+10^2}}-\frac{1}{\sqrt{x+10^3}}\bigg) is upper-bounded by 1 2 1 10 < 1 \frac{1}{2}\frac{1}{10}<1 . This implies that the mapping f ( f ( x ) : R + R + f(f(x):\mathbb{R}_+\to \mathbb{R}_+ is also a contraction. Now use Banach Fixed Point Theorem for the existence and uniqueness of the fixed point of f ( f ( x ) ) = x f(f(x))=x .

Abhishek Sinha - 7 years, 8 months ago

Log in to reply

@Abhishek Sinha Beautiful - it didn't occur to me to use Banach fixed point theorem.

C Lim - 7 years, 8 months ago

Log in to reply

@C Lim These Fixed Point Theorems are one of the most powerful (as well as neat) tools to show existence (and sometimes uniqueness, if the relevant hypotheses are satisfied) of fixed points of certain kinds of self-mappings even in a general metric space (subject to, of course, necessary regularity conditions).

Abhishek Sinha - 7 years, 8 months ago

@Abhishek Sinha Very nice.

When I originally posted the inequality:

d d x [ f ( f ( x ) ) x ] = f ( f ( x ) ) f ( x ) 1 < 1 400 1 \frac{d}{dx} \left [ f(f(x)) -x \right ] = f'(f(x)) f'(x) -1 <\frac 1 {400} -1

I could see that that would do the trick (in particular, f ( f ( x ) ) x f(f(x)) -x cannot equal zero more than once, if it is strictly decreasing) but I didn't have much intuitive sense of the underlying structure. Now I do though, after reading your solution, Abhishek -- as you said, if f ( x ) f(x) is a contraction, then so is f ( f ( x ) ) f(f(x)) .

On a side note, I see that you, I, and C L all used calculus ( f ( x ) < 1 20 < 1 |f'(x)|<\frac 1 {20} <1 or a variation of that). It may go without saying, but I'll say it anyhow, that we could avoid calculus if we wanted to:

f ( y ) f ( x ) f(y)-f(x)

= y + 1000 x + 1000 + x + 100 y + 100 = \sqrt{y+1000} - \sqrt{x+1000} +\sqrt{x+100} - \sqrt{y+100}

= y x y + 1000 + x + 1000 y x y + 100 + x + 100 = \frac{y-x}{\sqrt{y+1000} + \sqrt{x+1000}} -\frac{y-x}{\sqrt{y+100} + \sqrt{x+100}}

= ( y x ) G ( x , y ) =(y-x)\cdot G(x,y)

with

G ( x , y ) < / h 1 > 1 y + 1000 + x + 1000 1 y + 100 + x + 100 G(x,y)</h1> \frac{1}{\sqrt{y+1000} + \sqrt{x+1000}} -\frac{1}{\sqrt{y+100} + \sqrt{x+100}}

But 1 20 G ( x , y ) 0 -\frac{1}{20} \le G(x,y) \le 0 for any x , y 0 x,y\ge0 , which gives us what we want.

Peter Byers - 7 years, 8 months ago

Log in to reply

@Peter Byers That's true. In fact, I would rather prefer to avoid the use of calculus in this example (albeit, at the expense of a few more lines). Because the solution has got nothing to do with differentiablity of R \mathbb{R} per se. It is a purely topological property.

Abhishek Sinha - 7 years, 8 months ago

@Peter Byers As far as I can tell, these solutions doesn't generalize to versions where we replace 1000 and 100 with other numbers, because they rely on a 'small rate of change' argument.

For example, in Peter's new solution, to show that G ( x , y ) 1 G(x,y) \geq -1 , we can't replace 100 100 with a value smaller than 1 4 \frac{1}{4} (and replace 1000 with a large enough number).

Can you find a solution which works when 1000 , 100 1000, 100 are replaced with any 2 positive numbers?

Calvin Lin Staff - 7 years, 8 months ago

Jon, ...really fabulous and good explanatory solution....

Yash Jakhotiya - 7 years, 8 months ago
Aman Gupta
Oct 7, 2013

I solved this equation graphically

It was evident that due to symmetry, the solution would lie on x = y x=y and it is evident that x > = 100 x >= -100 and y > = 100 y >= -100

So I wrote a MATLAB code as follows :

x 1 = [ 100 : 200 ] ; x1 = [-100:200];

y 1 = s q r t ( x 1 + 1000 ) s q r t ( x 1 + 100 ) ; y1 = sqrt(x1+1000) - sqrt(x1 + 100);

y 2 = x 1 = [ 100 : 200 ] ; y2 = x1 = [-100:200];

x 2 = s q r t ( y 2 + 1000 ) s q r t ( y 2 + 100 ) ; x2 = sqrt(y2+1000) - sqrt(y2 + 100);

%Time to plot

p l o t ( x 1 , y 1 ) ; plot(x1,y1);

h o l d a l l ; hold all;

p l o t ( x 2 , y 2 ) ; plot(x2,y2);

voila! As expected, the point lies on x = y x=y and there exist only 1 1 such point

P.S. I myself dont support graphical solutions much, so I apologize if I offend any one of you. After Spending much time on the question, out of curiosity, I chose the Graphical Method ^_^

Aman G. wrote:

I agree.. Paramjit. A Graphical Solution can hardly qualify as a proper solution.

In my case, I didn't rely on a graphical method, but I did rely on calculus. Which is to say, my solution could be considered a "proper mathematical statement" but not the one intended by the staff. I'll describe it anyhow: we can show that for any t > 0 t>0

1 / 20 < f ( t ) < 0 -1/20 < f'(t) < 0

from which it follows that

d d x [ f ( f ( x ) x ] = f ( f ( x ) ) f ( x ) 1 < 1 400 1 < 0 \frac{d}{dx} \left [ f(f(x) -x \right ] = f'(f(x)) f'(x) -1 <\frac 1 {400} -1 <0

and so on.

Peter Byers - 7 years, 8 months ago

Log in to reply

Great job! You identified a (sufficient) condition, namely that if 1 < f ( t ) < 1 -1 < f'(t) < 1 , then f ( f ( x ) ) = x f ( x ) = x f ( f(x) ) = x \Rightarrow f(x)=x .

This shows that the important graphical condition is that the graph of f ( t ) f(t) doesn't change too abruptly. Without this explanation, Aman's solution would be incomplete.

It is easy to see how the examples that I gave, i.e. f ( x ) = x , f ( x ) = 1 x f(x) = -x, f(x) = \frac{1}{x} , do not satisfy your condition.

Calvin Lin Staff - 7 years, 8 months ago

Log in to reply

Thanks Calvin!

I like your way of putting it ... among other things, that gives us the option of removing the chain rule (and compositions of functions) from the solution: If b = f ( a ) a = f ( b ) b=f(a) \ne a=f(b) then the average rate of change on the interval [ a , b ] [a,b] is f ( b ) f ( a ) b a = a b b a = 1 \frac{f(b)-f(a)}{b-a} = \frac{a-b}{b-a} =-1

which cannot happen if f > 1 f'>-1 on the same interval.

Peter Byers - 7 years, 8 months ago

Log in to reply

@Peter Byers Perfectly phrased! This is the mean value theorem.

Calvin Lin Staff - 7 years, 8 months ago

Try to learn from Jon's solution above. I was once myself in your place, but these great people have corrected me! :)

A Brilliant Member - 7 years, 8 months ago

I agree.. Paramjit. A Graphical Solution can hardly qualify as a proper solution. Also, it can never match the beauty of a analytical solution. Actually you know.. I was able to come up with the idea of rationalising , but got stuck after that :D (the idea of decreasing function did not strike me)

Aman Gupta - 7 years, 8 months ago

It is not true that "due to symmetry" the solution must lie on the line y = x y= x .

For example, solve the system of equations

{ y = 1 x x = 1 y \begin{cases} y = \frac{1}{x} \\ x = \frac{1}{y} \\ \end{cases}

Are there solutions other than ( 1 , 1 ) (1, 1) and ( 1 , 1 ) (-1, -1) ?


Of course, your graphical solution would indeed show that there is only 1 solution, and that my above system has infinitely many solutions. Can you take this idea and make it into a proper mathematical statement?

Calvin Lin Staff - 7 years, 8 months ago

Log in to reply

I can't post an official solution because I wanted to see how others did it, so I will do it as a comment to thing that is as close as what I did. I am not sure about this. I will try to explain how I found out it only had 1 solution.

Let's consider these functions :

x = y y = x \begin{array}{l} x = \sqrt y \\ y = \sqrt x \end{array}

The solutions lie on the line x=y because it the same function rotated 90 degrees, and because it's centered at the origin, the symmetry line is y=x. We have ( (0,0) and (1,1) ) without considering the imaginary part.

Let's try to get another definition closer to to the problem.

x = y + a y + b y = x + a x + b \begin{array}{l} x = \sqrt {y + a} - \sqrt {y + b} \\ y = \sqrt {x + a} - \sqrt {x + b} \end{array}

This is the exact same function except x changed for y. if a > b a > b , the result of the function is always greater than 0 (it's a pair root). The domain of the function is, if we use the restriction, is always : D o m x : [ b , + [ Dom x : \left[ { - b, + \infty } \right[

for y(x) function and for the x(y) we simply have the same domain D o m y : [ b , + [ Dom y : \left[ { - b, + \infty } \right[

This should at least admit 1 solution, which is the point where they cross on y=x. The problem is that the function y is not the reciprocal of x, but they behave like a reciprocal function. If we find the point where the function starts, we have :

y ( b ) = a b x ( b ) = a b \begin{array}{l} y( - b) = \sqrt {a - b} \\ x( - b) = \sqrt {a - b} \end{array}

In the context it gives us y ( 100 ) = 30 x ( 100 ) = 30 \begin{array}{l} y( - 100) = 30\\ x( - 100) = 30 \end{array}

The symmetry between these 2 points is y=x,Let's try another random point to see if they are symmetrical to y=x.

y ( 0 ) = a b = 1000 100 x ( 0 ) = a b = 1000 100 \begin{array}{l} y(0) = \sqrt a - \sqrt b = \sqrt {1000} - \sqrt {100} \\ x(0) = \sqrt a - \sqrt b = \sqrt {1000} - \sqrt {100} \end{array}

The last thing to do is find all the points where the function cross y=x, if a > b a > b , there is only 1 solution to the equation and it's approximately

( 20. 95444 ; 2 0.95444 ) ({\rm{2}}0.{\rm{95444;2}}0.{\rm{95444}})

If there is anything wrong in what I wrote I would really like to know why, I find it's a very interesting problem.

Samuel Hatin - 7 years, 8 months ago

Log in to reply

I do not see any arguments presented for why the only solution must occur at x = y x=y .

I could replace it with x = 1 y x=-\frac 1 y , and have all your statements still be true, but the conclusion is clearly false.

Calvin Lin Staff - 7 years, 8 months ago

Log in to reply

@Calvin Lin If all the points of the function are symmetrical to y=x, the solutions, if they exist, must be also symmetrical, and to have a solution, (x,y) must be equal to (y,x). As shown with the square of x or y. The function always increases. A basic square root function admit 2 solutions, the modified function admit 1 solution and because all the points are symmetrical,t must be y=x

Samuel Hatin - 7 years, 8 months ago

Log in to reply

@Samuel Hatin Please read the other comments.

Your first statement is incorrect. If all the points of the function are symmetrical to y = x y = x , this means that f ( f ( x ) ) = x f ( f(x) ) = x for all values of x x , and hence we have many solutions of the form ( α , f ( α ) ) (\alpha, f(\alpha) ) , and they do not need to be of the form ( α , α ) (\alpha, \alpha) which is what you claim.

An example I gave was f ( x ) = x f(x) = -x , in which we do have f ( f ( x ) ) = f ( x ) = x f(f(x) ) = f (-x) = x and hence points of the form ( α , α ) (\alpha, -\alpha) satisfy the system of equations that f ( α ) = α , f ( α ) = α ) f(\alpha ) = - \alpha, f ( - \alpha) = \alpha) .

Calvin Lin Staff - 7 years, 8 months ago
Noel Lo
Oct 10, 2013

It can be seen that no matter how, it is impossible for x and y to take on distinct values. Hence, x=y and we have x= \sqrt{x+1000} - \sqrt{x+100}. Solving this, we get a quartic equation with four roots, x= -37.4, -22.5, 21.0 and 44.3. However, three of them are invalid. The proof is as follows: One must observe that since the square root of any number is positive, \sqrt{x+1000} > \sqrt{x+100} for all x. Hence, x must be positive and we reject the two negative roots. Manipulating the equation gives us x+ \sqrt{x+100} = \sqrt{x+1000} Squaring it gives us x^2 + 2x\sqrt{x+100} =900 then 2x\sqrt{x+100} = 900 -x^2. Since 2x\sqrt{x+100} >0, 900- x^2 >0 and we have 0<x<30. Hence we reject x= 44.3 leaving us with only one root and hence one ordered pair.

Please explain the first line in detail, especially in light of my other comments. You need to justify why they cannot take on distinct values. This claim is not true in general, and you need to identify a special property of the function.

Calvin Lin Staff - 7 years, 8 months ago
Vicky Bro
Oct 8, 2013

x + 100 \sqrt{x+100} is a curve (which looks like half of a parabola, like x \sqrt{x} ) lying in the first quadrant starting from the point { 0 , 100 } \{0,\sqrt{100}\} . Similarly x + 1000 \sqrt{x+1000} has the same structure but starts from { 0 , 1000 } \{0,\sqrt{1000}\} . Since both functions are monotonic increasing, their difference is also monotonic increasing, and hence y = x + 1000 x + 100 y=\sqrt{x+1000}-\sqrt{x+100} is a curve of similar shape but passes between the two individual curves and starts from { 0 , 1000 100 } \{0,\sqrt{1000}-\sqrt{100}\} . Now for the curve x = y + 1000 y + 100 x=\sqrt{y+1000}-\sqrt{y+100} , it is simply a rotated version (also lying in the first quadrant and starting from the point { 1000 100 , 0 } \{\sqrt{1000}-\sqrt{100},0\} and heading towards y = y= infinity. Clearly, both the curves meet at a single point. And hence the solution is 1 1

"Since both functions are monotonic increasing, their difference is also monotonic increasing" is not a true statement. In fact, if f ( x ) g ( x ) f(x) - g(x) is a monotonically increasing function, then g ( x ) f ( x ) g(x) - f(x) is a monotonically decreasing function.

Calvin Lin Staff - 7 years, 8 months ago

We can easily see that (just by looking at one of the two roots in each equation) we have two identical parabola (half of them) with only one point of intersection on the line y=x Then we only take the same quantity from each of them, so the intersection will remain one

(Strictly speaking,) It is not true that we have a parabola. In fact, you can show that y = x 4 2200 x 2 + 810000 4 x 2 y = \frac{ x^4 - 2200x^2 + 810000}{4x^2} , which has some similarities to a parabola when x |x| is very large, but behaves very differently when x |x| is close to 0.

Having only 1 point of intersection on the line y = x y=x is not relevant to this question. You are missing out a crucial detail.

Calvin Lin Staff - 7 years, 8 months ago
Pebrudal Zanu
Jan 10, 2014

This is not rigours solution, but it's how I guess the answer

y = x + 1000 x + 100 , f ( x ) < 0 y=\sqrt{x+1000}-\sqrt{x+100}, f'(x)<0 where 100 x -100 \leq x \leq \infty , Stricly Decreasing.

x = y + 1000 y + 100 , f ( y ) < 0 x=\sqrt{y+1000}-\sqrt{y+100}, f'(y)<0 where 100 y -100 \leq y \leq \infty , this graphic same with rotation fitst graphic irotation 18 0 180^{\circ} counterclockwise.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...