A question that give wrong answer?

  • Thread starter vkash
  • Start date
In summary: I'm probably wrong...In summary, the conversation is about a math question posed by the person's teacher. The question involves finding the value of "a" for a function that is "onto." Many students initially attempted to solve the question, but their answers were incorrect. The person who posted the question does not want anyone to provide the answer, as they want others to try and solve it themselves. A few different methods of solving the question are suggested, including using the quadratic formula and calculus. The person who posed the question eventually reveals that there is a "trick" to solving it and asks others to continue trying to solve it.
  • #36
The original post says that the domain of f is all of ℝ.
 
Physics news on Phys.org
  • #37
matphysik said:
The original post says that the domain of f is all of ℝ.

Well yes, you are correct about that. But the function f I gave is onto. I hope you see that. I ran it through the equation solver at http://www.quickmath.com/webMathematica3/quickmath/equations/solve/basic.jsp to find the real root.

This example shows that a rational function can have a pole (two, in fact) and still be onto.
 
  • #38
matphysik said:
The quadratic in the denominator must have complex roots, which occur when a<-9/8. Then f(x) will be analytic, and onto iff the domain of f is ℝ.

I tried a = -2, and the resulting function does not have a real zero. In fact there are two solutions, both complex. So you are right that with the denominator never zero, you get an analytic rational function, but not necessarily onto the reals when the domain is restricted to the reals.

Do you have a specific value of 'a' that you have shown to produce a function that is onto the reals when the domain is restricted to the reals?
 
Last edited:
  • #39
Why is VKash's original reasoning incorrect?
In my opinion, the test makers are being overly literal or legalistic.

I. See
Possible solution to NOT meet the criteria. This function IS ONTO. but does not answer what the question is asking.
Quick reasoning for "onto":
i. The Limit as x->(3-sqrt(33))/8 from left, the vertical tangent, is +oo & the limit from the right is -oo.
ii. Quotients of polynomial functions are continuous everywhere they are defined.
iii. So the example, f with a=3 is onto (-oo, +oo).
See II & III for why it's not an answer.

II. In many books, you'll find
f:R->R, g:R->R
f(x)= 1/(x-2) or g(x)= x(x-4)/(x-4) + sin x
of course we realize x=2 is not in the domain of f and x=4 is not in the domain of g, but it's a bit of mathematical shorthand or informality to call R, the domain.

III. So if a=3, would meet the criteria for onto. This is why it's acceptable usage in many textbooks, not so excessively formal.
However, under the exam question, they are apparently expecting & requiring a more formal (IMHO, excessively formal) interpretation.
The fact that the question askers require every single possible number in all of R to give a legitimate y value rules out Possible solution As far as I can tell, according to the test makers, any vertical tangent or removable discontinuity in the quotient means it's not a solution for f. So under the test makers interpretation, the denominator can never be zero ever for a removable discontinuity.

IV. I believe the previous posts make clear why if the denominator never reaches zero, it's not onto. Another time, I may elaborate on that.
 
  • #40
Errghh, is there way to edit a previous post?
These are clarifications to my July 17, 6:43am post.
To clear up some responses, to my post.

A. "function is bounded"
Remember all this in context, no vertical tangents, a<-9/8
I should say the function has a bound.
For example, y =x^2 has a bound; y>=0 for all x.
I can probably prove both bounded, meaning it has upper and lower bound based on both numerator and denominator have degree 2, but that is too complicated & unnecessary.

This is not true in general, consider f(x) = xsin(x). It will require some work to show that it is true for rational polynomial functions.

Of course, I know, but that goes beyond the scope of this thread.
Some work- not that much. Our specific situation is much simpler. The following is a ROUGH DRAFT OR SKETCH OF A PROOF also called a proof plan.

Pick some a <-9/8
for all a<-9/8 it can be shown the denominator is always negative.
Likewise, for any a<-9/8, it can be shown the numerator is always negative.
So for a<-9/8, f is always positive.
This establishes 0 as a lower bound for f, when a<-9/8.
Interested readers can fill in the details.

Response to SteveL,
I only see a link to the solver & am unsure exactly what you put in. For future reference, please post the link to your actual solution. WolframAlpha maybe more effective.
Also, the first mention I see of a=x as a joke, is quite a while after the mention of a =x.



When the denominator quadratic has no real roots then f (a quotient of two polynomials) is onto. Just the monomial term in the numerator quadratic guarantees that.

It's true for our original question, but in general, this is false
y=x^4/(x^2+1)
One rule of thumb, divide the highest two powered terms, pretend the "degree" of the rational is the degree of the result. This will give some insight into the behavior especially, when the denominator has no real roots.

To VKash,
I think all the talk of complex numbers so far, can safely be rephrased as "no real numbers".
 
  • #41
nickalh said:
Why is VKash's original reasoning incorrect?
I........
......
.
[size=+2]where am i wrong[/size]. I have used basic rules not any big trick.
According to SteveL27 a=x ((x^3+6x-8) / (7x-8x^2) ) is an answer. stevel does 0 comes in domain of function((x^3+6x-8) / (7x-8x^2)) Hu. as given in question 0 should in domain of function but that is not in your answer. so stop making unwanted comments on a function that is not valid for condition i propose.
You still think my explanation is incorrect(in this post about stevel) then find domain range of this function f(x) = 1/x does 0 in it's domain.
sorry that i make post little late.
keep talking on this question because debate make us better.

-------------------------
Mathematics is an assumption
 
  • #42
nickalh said:
Response to SteveL,
I only see a link to the solver & am unsure exactly what you put in. For future reference, please post the link to your actual solution. WolframAlpha maybe more effective.
Also, the first mention I see of a=x as a joke, is quite a while after the mention of a =x.

Here's a Wolfram Alpha link for the case of a = -2. Note that -2 is less than -9/8.

http://www.wolframalpha.com/input/?i=(-2x^2+++6x+-+8)+/+(-2+++6x+-+8x^2)+=+0

Now you see that there are no real solutions. So matphysik's claim that a < -9/8 gives an onto function is not true. Now, there may be SOME value of a < -9/8 that works, but till we hear from matphysik, we have to reject his claim. He noted that with the denominator never zero, the rational function is analytic. That's true. But I don't see how it follows that f must then be onto the reals as a function of the reals.
 
  • #43
VKash,
The very first step HallsOfIvy gave on one of the very first responses gets us into trouble.
[tex]y= \frac{ax^2+6x-8}{a+6x-8x^2}[/tex]
then
[tex]y(a+ 6x- 8x^2)= ax^2+ 6x- 8[/tex]
For x-values, which make the denominator zero, the first line is invalid. See II & III on my Tuesday, 9:43am post. However, for the second line, those x-values masquerade as solutions to the original question.
see
False solutions a=2, x=1 and a=14, x=-1


Essentially, it boils down to you're original method may include vertical tangents, which is technically not f:R->R.

using shredharanachrya principle D<0
This appears related to the discriminant of a quadratic function.
However, b^2 -4ac becomes
36-4*(-8)a<=0
36 plus 32a <=0
So I'm unsure what you're getting at.


The main reason, HallsOfIvy's original solution doesn't work
HoI's method is perfectly correct. His method will give that the function f is onto if [tex]a\geq 2[/tex]. However, since the function must be entire, it must also hold that [tex]a+6x-8x^2[/tex] has no roots. But no [tex]a\geq 2[/tex] satisfies this. So there are no solutions.

I also think we're beating a dead horse. I'll try to move on.
Bye.
 
  • #44
nickalh said:
I also think we're beating a dead horse. I'll try to move on.

Nobody has suggested a value of 'a' that makes f onto. Nobody has proved that no such 'a' exists. This is an open problem. matphysik has suggested a promising approach, but I believe there's a counterexample to his claim that any a < -9/8 works. Perhaps some other value works.

An open problem isn't a dead horse in my opinion.
 
  • #45
It can be proven algebraically that no such a exists as by hall's of ivy's method.

Alternatively using calculus, one can simply look at the limit as x approaches infinity. The function will have horizontal asymptotes for any 'a' which makes surjectivity impossible.
 
  • #46
Last edited by a moderator:
  • #47
nickalh said:
In general, surjectivity, also known as onto, does not require horizontal asymptotes.
See
http://www.wolframalpha.com/input/?i=y+=+(cos+x)/x"

Similar, examples of polynomial rational functions, may exist especially with higher degree polynomials.

Uhm, that function does not have domain R. A continuous function f : R --> R with horizontal asymptotes on both sides will not be surjective.
 
Last edited by a moderator:
  • #48
SteveL27 said:
Here's a Wolfram Alpha link for the case of a = -2. Note that -2 is less than -9/8.

http://www.wolframalpha.com/input/?i=(-2x^2+++6x+-+8)+/+(-2+++6x+-+8x^2)+=+0

Now you see that there are no real solutions. So matphysik's claim that a < -9/8 gives an onto function is not true. Now, there may be SOME value of a < -9/8 that works, but till we hear from matphysik, we have to reject his claim. He noted that with the denominator never zero, the rational function is analytic. That's true. But I don't see how it follows that f must then be onto the reals as a function of the reals.

Hi. If the function is analytic, then it`s continuous.

x↦logx takes (0,∞) onto ℝ. Rewrite, y=f(x)=(ax²+6x-8)/(a+6x-8x²)≡(x-A)(x-B)/(x-C)(x-D). Then, logy=log(Re[(x-A)(x-B)]-log[(x-C)(x-D)]). So then, ONE possibility for f(x) being onto occurs if ALL of {A,B,C,D} are complex numbers. In this way we will not get log(0+) for all x∈ℝ.
 
Last edited:
  • #49
nickalh said:
I think we're beating a dead horse. I'll try to move on.
Bye.
I also think so.
Actually my main motto for this post was to know why method written by HallsOfIvy is wrong and now i got that.
I does not post it(real answer and my question) directly in first post because i want to know is there any mathematical dude here who think so. unfortunately no such dude come here to answer.
 
  • #50
CORRECTION:

f (as given) takes ℝ into ℝ so that, y=f(x)=Re{f(x)}. Let z↦logz take ℂ\(-∞,0] onto ℂ. Write, f(x)=(ax²+6x-8)/(a+6x-8x²)≡(x-A)(x-B)/(x-C)(x-D). For `a` to be determined such that f takes ℝ onto ℝ. ONE possibility for f(x) being onto occurs if ALL of {A,B,C,D} are complex numbers.Then,
Re[logf(x)]=Re[log(x-A)+...-log(x-D)] takes ℝ (x) into ℝ\(-∞,0] (f(x)) onto ℝ (Re[logf(x)]).

If z=eʷ and w=u+iv then |z|=e^(Re(w)) and log|z|=Re(w). Let w=logf(x).
 
Last edited:
  • #51
matphysik said:
matphysik said:
Hi. If the function is analytic, then it`s continuous.

CORRECTION:

f (as given) takes ℝ into ℝ so that, y=f(x)=Re{f(x)}. Let z↦log₁z take ℂ\(-∞,0] onto ℂ. Write, f(x)=(ax²+6x-8)/(a+6x-8x²)≡(x-A)(x-B)/(x-C)(x-D). For `a` to be determined such that f takes ℝ onto ℝ. ONE possibility for f(x) being onto occurs if ALL of {A,B,C,D} are complex numbers.Then,
Re[log₁f(x)]=Re[log₁(x-A)+...-log₁(x-D)] takes ℝ onto ℝ\(-∞,0]. Next, let z↦log₂z take ℂ\[0,∞) onto ℂ. Then, Re[log₂f(x)]=Re[log₂(x-A)+...-log₂(x-D)] takes ℝ onto ℝ\[0,∞). So that, given such `a` f will take ℝ onto ℝ\{0} (since, (-∞,0]∩[0,∞)={0}). Last, since Re{f(0)}=Re{(A)(B)/(C)(D)} we have proved (for this particular case) that f takes ℝ onto ℝ.

I'm sorry, I had a hard time following that. You used the phrase "for this particular case," but I don't see any particular case.

Consider f(z) = z^2. It's onto the complex numbers as a function of complex numbers; but its restriction to the reals is not onto the reals. Why not? Well, f(x) = x^2 does not hit -1, for example. If you take z = i, then f(z) = z^2 does hit -1. But Re(i) = 0 so you haven't really gotten any benefit out of taking the real part of a complex function.

Earlier you said that any a < -9/8 gives an onto function (with f as in the original problem); but I showed that with a = -2, the resulting rational function has two complex roots and no real ones, so as a function from the reals to the reals, it fails to hit 0 and is therefore not onto.

Do you have a specific 'a' that works?

(edit)
I think you're getting in trouble with y=f(x)=Re{f(x)}. It's true that you can take the real part of f(z) to get a function from C to R. But it doesn't follow that you now have a function from R to R that preserves the attributes you care about. You only have a function from C to R. When you restrict the domain to R, you lose surjectivity, as the example of f(z) = z^2 shows.

Another example is f(z) = e^z. We have f(i*pi) = -1, but the real part of i*pi is 0; and the the real part of -1 is -1. You can't freely interchange Re and f.

By the way, what is log₁? What does the subscript '1' do? Do you just mean complex natural log?
 
Last edited:
  • #52
"By the way, what is log₁? What does the subscript '1' do? Do you just mean complex natural log?"

They are different branches of the complex logarithm.

"I'm sorry, I had a hard time following that. You used the phrase "for this particular case," but I don't see any particular case."

Find B²-4AC<0 for BOTH quadratics in order to find an interval for `a` for each case, then find the intersection of the two intervals for `a` obtained.
 
  • #53
:redface:
 
  • #54
matphysik said:
"By the way, what is log₁? What does the subscript '1' do? Do you just mean complex natural log?"

They are different branches of the complex logarithm.

Oh, I'd never seen that notation before. Thanks.

matphysik said:
Find B²-4AC<0 for BOTH quadratics in order to find an interval for `a` for each case, then find the intersection of the two intervals for `a` obtained.

I think you have a clever idea to use complex analysis to attack this problem. It's clear that the discriminants of both the top and bottom polynomials are the same, namely 32a + 36; and that this is negative exactly whenever a < -9/8.

What you've found, assuming the rest of your proof holds up, are functions from the complex numbers that are onto the reals. Unfortunately the original problems specifies f:R -> R.

Now you are making the leap to say that restricting the domain to R preserves surjectivity. But this is demonstrably false, since if you take a = -2 you get a rational function that has two complex roots and no real ones. That means it doesn't hit 0. So you've lost surjectivity when you restrict the domain to the reals.

I already presented this example earlier and you have not commented on it.

I also gave the example of f(z) = z^2, which is surjective when considered as a function from C to C; but is not surjective onto the reals when the domain is restricted to R.

I've just said the exact things as I did earlier. One, there is a clear counterexample to your claim that {x : discriminant < 0} gives a solution to the problem. And two, that your ambitious attempt to use complex analysis is a good idea, and DOES produce a surjection C -> R. But it does not produce a surjection R -> R.
matphysik said:
:redface:

Back atcha :smile:
 
Last edited:
  • #55
SteveL27 said:
Oh, I'd never seen that notation before. Thanks.



I think you have a clever idea to use complex analysis to attack this problem. It's clear that the discriminants of both the top and bottom polynomials are the same, namely 32a + 36; and that this is negative exactly whenever a < -9/8.

What you've found, assuming the rest of your proof holds up, are functions from the complex numbers that are onto the reals. Unfortunately the original problems specifies f:R -> R.

Now you are making the leap to say that restricting the domain to R preserves surjectivity. But this is demonstrably false, since if you take a = -2 you get a rational function that has two complex roots and no real ones. That means it doesn't hit 0. So you've lost surjectivity when you restrict the domain to the reals.

I already presented this example earlier and you have not commented on it.

I also gave the example of f(z) = z^2, which is surjective when considered as a function from C to C; but is not surjective onto the reals when the domain is restricted to R.

I've just said the exact things as I did earlier. One, there is a clear counterexample to your claim that {x : discriminant < 0} gives a solution to the problem. And two, that your ambitious attempt to use complex analysis is a good idea, and DOES produce a surjection C -> R. But it does not produce a surjection R -> R.




Back atcha :smile:

Lol, Yeah. I`ve never really thought deeply about a question like this. Even though at first glance it seems simple. It`s not.

The plan put forth by `HallsofIvy` is NOT good either. For you end up with a quadratic in `a` without any meaningful conditions imposed upon it.

I tried (unsuccessfully) to use the well known properties of the complex log to make some progress indirectly. But what i wrote are just attempts, and not a polished end result. Oh well.
 
  • #56
vkash said:
I also think so.
Actually my main motto for this post was to know why method written by HallsOfIvy is wrong and now i got that.
I does not post it(real answer and my question) directly in first post because i want to know is there any mathematical dude here who think so. unfortunately no such dude come here to answer.

NO. What you`re doing is giving up when the going gets tough.:-p
 
  • #57
matphysik said:
NO. What you`re doing is giving up when the going gets tough.:-p
Do you not read micromass 13th post. He explain it.
micromass said:
HoI's method is perfectly correct. His method will give that the function f is onto if a≥2. However, since the function must be entire, it must also hold that a+6x−8x2 has no roots. But no a≥2 satisfies this. So there are no solutions.
You are little bit correct that i am giving up. Mainly because of around nil knowledge of complex numbers.
 
  • #58
RandomMystery said:
Oh, I think I know what it is know. Isn't it weird how there is an -8 on top where there is an a in the bottom and vise versa? You simply put in a=-8 and the answer is always 1!

((-8)*x^2+6x-8) / ((-8)+6x-8*x^2)=1

-8 is smaller than -9/8 so the calculus was true.
I don't quite get what the question is though.

NO. Then f will take ℝ onto {1}. We want f to take ℝ onto ℝ. As a matter of fact, for a=-8 we have f(x)≡1.
 
  • #59
Calculus proof of that such an a does not exist:
First of all, the denominator will have to be non-zero for all x. Hence the discriminant Delta = 6^2-4(-8)a = 36+32a will have to negative, i.e. a < -36/32 = -9/8.

For such a the function is well-defined. Now consider [itex]\lim_{x \to \infty} f(x) = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{a+6\frac{1}{x}-8\frac{1}{x^2}}{a\frac{1}{x^2}+6\frac{1}{x}-8} = \frac{a}{-8}[/itex].

Similarly [itex]\lim_{x \to -\infty} f(x) = \frac{a}{-8}[/itex].

So there are real numbers A and B such that [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x > A, and [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x < B, and we can assume that A > B.
i
f(x) on [B,A] is continuous and thus bounded, so there is an M such that |f(x)|<M for all x in [A,B]. Hence [itex]|f(x)| < \max(1+|\frac{a}{-8}|,M)[/itex] for all x in [itex](-\infty,B) \cup [B,A] \cup (A,\infty) = \mathbb{R}[/itex], and is thus not surjective.
 
  • #60
disregardthat said:
Calculus proof of that such an a does not exist:
First of all, the denominator will have to be non-zero for all x. Hence the discriminant Delta = 6^2-4(-8)a = 36+32a will have to negative, i.e. a < -36/32 = -9/8.

For such a the function is well-defined. Now consider [itex]\lim_{x \to \infty} f(x) = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{a+6\frac{1}{x}-8\frac{1}{x^2}}{a\frac{1}{x^2}+6\frac{1}{x}-8} = \frac{a}{-8}[/itex].

Similarly [itex]\lim_{x \to -\infty} f(x) = \frac{a}{-8}[/itex].

So there are real numbers A and B such that [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x > A, and [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x < B, and we can assume that A > B.
i
f(x) on [B,A] is continuous and thus bounded, so there is an M such that |f(x)|<M for all x in [A,B]. Hence [itex]|f(x)| < \max(1+|\frac{a}{-8}|,M)[/itex] for all x in [itex](-\infty,B) \cup [B,A] \cup (A,\infty) = \mathbb{R}[/itex], and is thus not surjective.

Your proof looks good!:approve:
 
  • #61
disregardthat said:
Calculus proof of that such an a does not exist:
First of all, the denominator will have to be non-zero for all x. Hence the discriminant Delta = 6^2-4(-8)a = 36+32a will have to negative, i.e. a < -36/32 = -9/8.

For such a the function is well-defined. Now consider [itex]\lim_{x \to \infty} f(x) = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{a+6\frac{1}{x}-8\frac{1}{x^2}}{a\frac{1}{x^2}+6\frac{1}{x}-8} = \frac{a}{-8}[/itex].

Similarly [itex]\lim_{x \to -\infty} f(x) = \frac{a}{-8}[/itex].

So there are real numbers A and B such that [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x > A, and [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x < B, and we can assume that A > B.
i
f(x) on [B,A] is continuous and thus bounded, so there is an M such that |f(x)|<M for all x in [A,B]. Hence [itex]|f(x)| < \max(1+|\frac{a}{-8}|,M)[/itex] for all x in [itex](-\infty,B) \cup [B,A] \cup (A,\infty) = \mathbb{R}[/itex], and is thus not surjective.


Given, f(x)= (ax² + 6x - 8)/(a + 6x - 8x²). We are asked to find `a` s.t. f is onto (surjective). Set, (Ax² + Bx + C)(a + 6x - 8x²) = ax² + 6x - 8, for {A,B,C} to be determined. Expanding and collecting terms gives:

Aa + 6B - 8C = a
-6A - 8B = 0
A=0 ⇒ B=0
Ba + 6C = 6 ⇒ C=1
Ca = -8 ⇒ a=-8.

There is, in fact, only one possible value of `a`, and the given f cannot take ℝ onto ℝ.

Thus, f(x) ≡ 1. Viz., f: ℝ→{1}⊂ℝ. The lesson to be learned is that the given problem statement is ambiguous, and misleading.
 
  • #62
mathphysics, what you have proved is that in order for f(x) to be a polynomial a must be -8. But the question is whether f(x) is surjective.
 
  • #63
NO. What i did was divide the numerator quadratic by the denominator quadratic directly, in order to reveal the true identity of f(x).

ADDENDUM:

If we should assume the simplest non-polynomial in this case, say:

(Ax² + Bx + C + D/x)(a + 6x - 8x²) = ax² + 6x - 8.

Then expanding, and collecting terms gives:

A=0
-8B + 6A=0 ⇒ B=0
-8C + 6B + Aa=a ⇒ C=a/-8
-8D + 6C + Ba=6
6D + Ca=-8
6Da + Ca²=-8a ⇒ C= -8/a
Da=0 ⇒ D=0
-8Da + 6Ca=6a ⇒ C=1 ⇒ a= -8.
 
Last edited:
  • #64
disregardthat said:
Calculus proof of that such an a does not exist:
First of all, the denominator will have to be non-zero for all x. Hence the discriminant Delta = 6^2-4(-8)a = 36+32a will have to negative, i.e. a < -36/32 = -9/8.

For such a the function is well-defined. Now consider [itex]\lim_{x \to \infty} f(x) = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{a+6\frac{1}{x}-8\frac{1}{x^2}}{a\frac{1}{x^2}+6\frac{1}{x}-8} = \frac{a}{-8}[/itex].

Similarly [itex]\lim_{x \to -\infty} f(x) = \frac{a}{-8}[/itex].

So there are real numbers A and B such that [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x > A, and [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x < B, and we can assume that A > B.
i
f(x) on [B,A] is continuous and thus bounded, so there is an M such that |f(x)|<M for all x in [A,B]. Hence [itex]|f(x)| < \max(1+|\frac{a}{-8}|,M)[/itex] for all x in [itex](-\infty,B) \cup [B,A] \cup (A,\infty) = \mathbb{R}[/itex], and is thus not surjective.
I love this proof.
 
  • #65
matphysik said:
NO. What i did was divide the numerator quadratic by the denominator quadratic directly, in order to reveal the true identity of f(x).

And it turns out to be ... wealthy playboy Bruce Wayne!
 
  • #66
disregardthat said:
Calculus proof of that such an a does not exist:
First of all, the denominator will have to be non-zero for all x. Hence the discriminant Delta = 6^2-4(-8)a = 36+32a will have to negative, i.e. a < -36/32 = -9/8.

For such a the function is well-defined. Now consider [itex]\lim_{x \to \infty} f(x) = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{ax^2+6x-8}{a+6x-8x^2} = \lim_{x \to \infty} \frac{a+6\frac{1}{x}-8\frac{1}{x^2}}{a\frac{1}{x^2}+6\frac{1}{x}-8} = \frac{a}{-8}[/itex].

Similarly [itex]\lim_{x \to -\infty} f(x) = \frac{a}{-8}[/itex].

So there are real numbers A and B such that [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x > A, and [itex]|f(x)-\frac{a}{-8}| < 1[/itex] for all x < B, and we can assume that A > B.
i
f(x) on [B,A] is continuous and thus bounded, so there is an M such that |f(x)|<M for all x in [A,B]. Hence [itex]|f(x)| < \max(1+|\frac{a}{-8}|,M)[/itex] for all x in [itex](-\infty,B) \cup [B,A] \cup (A,\infty) = \mathbb{R}[/itex], and is thus not surjective.

Why can't we make a equal some function?
a = -8x
[itex]\frac{a}{-8}=\frac{-8x}{-8}[/itex]
Here the function is globally onto.

I don't understand why you choose y=0 in the discriminant:
Delta = 6^2-4(-8)a
instead of
Delta = (6 - 6y)^2 - 4(a + 8y)(-8 - ay)





RandomMystery said:
I think you can still use the quadratic equation:

gif.latex?x=-\frac{(6-6y)\pm&space;\sqrt{(6-6y)^2-4(a&plus;8y)(-8-ay)}}{2(a+8y)}.gif

We can either replace a for one function that solves the dilemma, or we could make a into a piece wise value (or function).
The question says find the value of a, well the value of a could be different for each x
 
  • #67
Why can't we make a equal some function?
a = -8x
[itex]\frac{a}{-8}=\frac{-8x}{-8}[/itex]
Here the function is globally onto.
I don't think there is anything stopping someone from making a into a function. However, the OP seems to have made it clear later on that a does not depend on x.

I don't understand why you choose y=0 in the discriminant:
Delta = 6^2-4(-8)a
instead of
Delta = (6 - 6y)^2 - 4(a + 8y)(-8 - ay)
The OP states that the domain of f is R. For this to be true, f must not contain points of discontinuity. We can see that f will have such points of discontinuity whenever the denominator is equal to zero. The only way to prevent the denominator from equaling zero is to choose a value of a such that quadratic has no real roots. Such an a must make the discriminant less than zero.

I think your confusion is coming from the fact that DisregardThat is not using the method suggested by HallsOfIvy.
 

Similar threads

Back
Top