Hi skeeter.
Please show us your work and either you'll see why there are absolute value bars or someone here will point it out. Or is skeeter wrong? ( I doubt that!)Hi skeeter.
I am a professional calculus student, but I don't understand this:
Why do we need to put an absolute symbol around [imath]f(x)[/imath] for the derivative of secant and cosecant inverse?
We need to do that because that's what it works out to be!Hi skeeter.
I am a professional calculus student, but I don't understand this:
Why do we need to put an absolute symbol around [imath]f(x)[/imath] for the derivative of secant and cosecant inverse?
(2) |
(3) |
Please show us your work and either you'll see why there are absolute value bars or someone here will point it out. Or is skeeter wrong? ( I doubt that!)
Shown is graph of the basic secant function in black with domain restricted to [imath]\left[0,\frac{\pi}{2}\right) \cup \left(\frac{\pi}{2},\pi\right][/imath] so that it passes the horizontal line test for the existence of an inverse function.
Reflection over the line y = x is the inverse secant function in red ... note its domain is [math](-\infty,-1] \cup [1, \infty)[/math] and range [math]\left[0, \frac{\pi}{2}\right) \cup \left(\frac{\pi}{2},1\right][/math].
What do you notice about the slope of the inverse secant function?
View attachment 37178
So, basically, the derivative of the secant inverse is always positive. Omitting the absolute symbol will result in negative slope when taking [imath]x < -1[/imath].We need to do that because that's what it works out to be!
On the other hand ...
My understanding is that some people define arcsec with a different range, namely [0,π/2)∪(π,3π/2). in order to avoid the need for the absolute value in the derivative. I see no other reason to prefer that definition, and several reasons not to, which probably explains what it is not popular.
I mentioned this here; I think this is the place where I learned about it.
It is also mentioned in Wikipedia, with no citation:
Note: Some authors[citation needed] define the range of arcsecant to be, because the tangent function is nonnegative on this domain. This makes some computations more consistent. For example, using this range,whereas with the range, we would have to writesince tangent is nonnegative onbut nonpositive on
I don't think I've ever found an actual use of the alternative range, myself.
What range does it have in your experience?
On the other hand, MathWorld presents a version of the derivative (using the standard definition) that avoids the absolute value:
The derivative ofis
(2)
which simplifies to
(3)
for.
Where had you found that expression for the derivative? That's what my ultimate question for you was: Did it come from a source with a different definition for the range, or was it just a mistake of some sort (yours or theirs)?A few years ago, when I wrote the derivative of the secant inverse as [imath]\displaystyle \frac{1}{x\sqrt{x^2-1}}[/imath] did not know that this only true for [imath]x > 1[/imath].
No one told me that I have to include the absolute symbol in my derivative. Thank god I have seen this post and got the correct full picture of the secant and cosecant inverse derivatives.
Where had you found that expression for the derivative? That's what my ultimate question for you was: Did it come from a source with a different definition for the range, or was it just a mistake of some sort (yours or theirs)?
Looking around, I do find at least one site that leaves out the absolute value, apparently out of neglect; their proof omits consideration of sign. So there are definitely mistakes out there.