micromass said:
That doesn't mean that x is a function. That only means that x is a real number.
That said, it IS true that
[tex]\frac{df}{dx}=\frac{1}{\frac{df^{-1}}{dx}}[/tex]
This is probably what you mean.
No, sorry, what you wrote is not right.
Let's say [itex]y = f(x)[/itex]. Then [itex]x = f^{-1}(y) = g(y)[/itex] (in other words, we rename the inverse function of f as g for clarity).
What you wrote is: [itex]f'(x) = \frac{1}{g'(x)}[/itex] which is NOT correct.
The correct form is: [itex]\frac{dy}{dx} = f'(x) = \frac{1}{\frac{dx}{dy}} = \frac{1}{g'(y)} = \frac{1}{g'(f(x))}[/itex].
A simple illustration. Let [itex]y = f(x) = x^2[/itex], where [itex]f:\mathbb{R}^+ \rightarrow \mathbb{R}^+[/itex]. Then [itex]g(x) = f^{-1}(x) = \sqrt{x}[/itex], [itex]g:\mathbb{R}^+ \rightarrow \mathbb{R}^+[/itex].
[itex]f'(x) = 2x[/itex], [itex]g'(x) = \frac{1}{2}x^{-\frac{1}{2}}[/itex]
What you're asserting is:
[itex]2x = \frac{1}{\frac{1}{2}x^{-\frac{1}{2}}} = 2\sqrt{x}[/itex], which is obviously false.
What I'm asserting is:
[itex]2x = \frac{1}{\frac{1}{2}y^{-\frac{1}{2}}} = 2\sqrt{y} = 2x[/itex], which is obviously true.
Not a proof, just an illustration. But seriously, this notation is well-worn and widely used.