Lebombo said:
HallsofIvy,
As I'm discovering in another thread, an x(t) function of 5th degree can be solved for t in terms of x if the function or equation is one-to-one.
This thing which you say that you have learned is not true.
What is true is that a function that is one-to-one is invertible. That is, it has an inverse.
This does not mean that the inverse can be written down as a finite formula using only elementary functions and operations (plus, minus, times, divide, root extraction, exponentiation and trig functions). Such a formula is called "closed form".
One could generate an approximate solution with a series of calculations that converges on the correct answer. But that does not count as "closed form".
And to prove if a function is one-to-one, you have to prove f(a) = f(b).
A function is "one to one" if no two different inputs produce the same output.
So my question is, do you know of or have you ever come across an equation of 5th degree that happened to also be one-to-one?
Functions can be "one to one". The concept does not apply to equations. The fifth degree polynomial function f defined by f(x) = x
5 is one to one.
Every polynomial function of any non-zero degree can be split up into ranges and will be one to one over each of the ranges. For instance the polynomial function f defined by f(x) = x^2 is one to one over the range {x: x <= 0} and also over the range {x: x >= 0}.
In general, a n'th degree [where n is non-zero] polynomial function can always be split up into ranges where it will be one to one over each. This will take, at most, n ranges. So a fifth degree polynomial could, in principle be divided into no more than five separate pieces. Each piece would be one-to-one, so each piece would be invertible. But there would still be no way,
in general, to write down a formula for the inverse of each piece.
[Local extrema of a polynomial function can only occur where its first derivitive is zero. The first derivitive of an n'th degree polynomial is an n-1'st degree polynomial which can have at most n-1 distinct real roots. These roots partition the real numbers into at most n ranges]