Interesting consequence of differentation of inverse functions

[Nootropic]

So a few, well, more than a few, months back my calculus teacher had us look how to formulate derivatives of inverse trig functions. Look meaning spend about two hours investigating (which I would happily if I ever had time...), so being in a rush I had a thought about the tangent lines of two functions that are inverses of one another being inverses as well. Little did I know this would be an hour long discussion in my class...well, mostly me explaining...but anyhow, I didn't mention it to my teacher until today—who had originally told me he had never heard of the tangent lines being inverses as well—and he told me that he was pretty sure I was right and that he had written up a proof, but he was interested in seeing how I would forumulate a proof. So afterwards, I left to the library to go do one, which wasn't all too difficult (I'll write it up, scan, and then post it due to my lack of latex knowledge). But I'm curious if anyone else has heard of this, cause I haven't been able to find any information about it. I would think that most people woudln't look at the tangent lines and go straight to the derivatives.

Oh, and as a sub-topic, has anyone ever seen a Taylor series for y = x^x? I attempted one, but the derivatives became long and laborious, and I have a short attention span. I used x = 1, and f(1) is obviously one, and I think I got as far as the fourth derivative and went to do something else. This was after I assumed the derivatives evaluated at x = 1 would proceed to be integers, but that is not the case, if I remember.

[Jay-qu]

Im not sure what you mean.. do you mean an equation for the tangent to the function at any abitrary point?

[Qfwfq]

Well the derivative is the tangent of the tangent's angle (formed by the tangent with the x axis), for the function and its inverse these sum to the right angle.

[sanctus]

I don't really see an use of a taylor series for x^2, because usually you use a taylor series to transfrom a given function into a power series, but there you have already a power series (with all the coefficients zero a part from the one of the x^2 term being one)? But anyway you would have:

which gives actually an exact result (ie calculate the right side and you'll see it gives exactly x^2). This can be another reason why you never saw such a taylor expansion.

Eventually, I have to add that you must have made a mistake somewhere because (x^2)'=2x, (x^2)''=2 and
for all n>2(I don't remember the sign for this in latex), so i don't know how you got to a term in the fourth derivative.

[Nootropic]

Originally Posted by sanctus

I don't really see an use of a taylor series for x^2, because usually you use a taylor series to transfrom a given function into a power series, but there you have already a power series (with all the coefficients zero a part from the one of the x^2 term being one)? But anyway you would have:

which gives actually an exact result (ie calculate the right side and you'll see it gives exactly x^2). This can be another reason why you never saw such a taylor expansion.

Eventually, I have to add that you must have made a mistake somewhere because (x^2)'=2x, (x^2)''=2 and
for all n>2(I don't remember the sign for this in latex), so i don't know how you got to a term in the fourth derivative.

You misread the funciton. Not y = x^2, but y = x^x, of which there is most certainly a fourth derivative. The derivatives aren't insanely difficult to calculate, especially with logarithmic differentiation (which is really pointless, but most argue it provides an easier method than saying f(x) = e^(ln(f(x))) and then differentating from there).

Im not sure what you mean.. do you mean an equation for the tangent to the function at any abitrary point?

I wasn't really clear there. Consider the point f(a) = b on the original function, f(x), and the tangent line to that point, x = a, y = f'(a)(x-a) + f(a). The point on the inverse function g(x), g(b) = a (this follows directly from the definition of an inverse: domain reversal). This point has has a tangent line at x = b: y = g'(b)(x-b) + g(b). You can use the chain rule for derivatives to show that g'(b) = 1/f'(a) and from the above definitions, g(b) = a and b = f(a), which turns out to be the inverse of the line tangent to the graph of f(x) at x = a.

[Jay-qu]

This makes sense graphically, but what are you getting at, do you propose it is of some concequence or just an interesting proof?

.
.
.
.
.
.
.
.
.
.

[Nootropic]

Originally Posted by Lambus

Taylor Series:





Reference:
Taylor series - Wikipedia, the free encyclopedia

The problem with this series is that the y = x^x has a discontinuity at x = 0 (a removable discontinuity, but a discontinuity nonetheless). Inserting the expression xln(x) into the taylor series for y = exp(x) about x = 0 will not work, since the mclaurin series (taylor seris about x = 0) gives exact information about x = 0. Not only this, this series, while not impossible to integrate (applying integration by parts is plausible), certainly does not make integration easy.

This makes sense graphically, but what are you getting at, do you propose it is of some concequence or just an interesting proof?

It's not of great consequence, or even anything big, but it's more of an interesting proof, noting that there are always things which people make overlook. I suppose one of the few things it may be able to do is to allow someone to write a tangent line a bit quicker, but who knows, I'm not mathematician...yet.

[CraigD]

Originally Posted by Lambus

[color=Blue]

From the Taylor Series,


Like the Taylor Series, it’s not defined at x=0. I suspect f’(x) isn’t, either, though a proof is beyond me.

Though the derivative of is interesting, and provides an identity I’ve either not seen or don’t remember,

, I can’t immediately see that it’s very useful.

Looking at it when x is very large,

, which hints at some sort of rational approximation using Pascal’s triangle.

Mostly, though, this hints gloomily to me how out-of-practice I’ve become at calculus. What you don’t use, you lose

[Nootropic]

A way to fix the problem with discontinuities in the taylor series, is to write an expansion for exp(x) about x = 1. The nth derivative of exp(x) is just exp(x), so exp(1) = e, and the expression becomes e((x-1)^n)/n!. Insert xln(x) into that expression and you have a bonified taylor series. Not the prettiest, but it's a taylor series nonetheless.