The Student Room Group

abuse of using conventional and nonconventiaonl arcsec range

S = integral of 1/sqrt(x^2 - 1)

clearly x = sec t substitution will be used
domain of the integrand : x>=1 ... (i) or x<=1 ... (ii) , positive y values on both -> positive area and integral value

this is how I did, but it's weird:
x = sec t (taking 0<= t <= pi, t =/= pi/2 as t domain/arcsec x range, which is conventional)
dx = sec t tan t (true for (i) and (ii))
sqrt(x^2 -1) = tan t (true for (i), 0 <= t < pi/2)
- sqrt(x^2 - 1) = tan t (true for (ii), pi/2 < t = pi)

i)x>=1
S_i = int sec t dt = ln |sec t + tan t | + c = ln | x + sqrt(x^2 - 1) | + C (true)
ii)x<=1
S_ii = int - sec t dt = - ln | sec t + tan t | + c = ln | sec t - tan t | = ln | x - (-sqrt(x^2 - 1)) | + C = ln | x + sqrt(x^2 - 1) | + C (true, note (sec t + tan t)(sec t - tan t) = 1)

S_i = S_ii, therefore S = ln | x + sqrt(x^2 - 1) | + C for all valid domain.

but this is not how most people do for ANY trig integration. I have never seen it done. For example, sin^2 t + cos^2 t = 1 certainly doesn't need this because both sin t and cos t are positive for arccos x and arcsin x range respectively. therefore it's always positive square roots. But 1 + tan^2 t = sec^2 t is clearly different, tan t CAN be negative for SOME arcsec x range, although sec t is always positive for all arctan x range. I read that some people like to take pi < t < 3pi/2 as arcsec x range, where tan t is positive and therefore tan t is also always positive for all arcsec x range, meaning I don't need to study the two cases (i) and (ii).

I want to hear some justification from people who take conventional arcsec x range and also conveniently use sqrt(x^2 - 1) = tan t for all possible x values. Their answer is correct indeed, because the negative sign is cancelled in the middle, miraculously for them, but they never anticipated it. when x<=-1 and the moment they wrote int sec t dt instead of - sec t, it is false. Isn't this a kind of abuse, like abuse of notation? Please note that this problem does not necessarily apply on the case where hyperbolic trigonometric identities and substitutions are used. I'm only curious about x = sec t substitution case.

Is this correct? Desmos for visualisation: https://www.desmos.com/calculator/izsg2x89ch
(edited 2 years ago)
Reply 1
From a very quick chuck it into wolfram
https://www.wolframalpha.com/input/?i=integrate+1%2Fsqrt%28x%5E2+-+2%29
The integral is
arctanh(x/sqrt(x^2-2))

.... some edited garbage ...
(edited 2 years ago)
Original post by mqb2766
From a very quick chuck it into wolfram
https://www.wolframalpha.com/input/?i=integrate+1%2Fsqrt%28x%5E2+-+2%29
The integral is
arctanh(x/sqrt(x^2-2))
which is real in -sqrt(2)<x<sqrt(2). Outside that interval, the integral is complex.

Not sure what you're meaning here - certainly x/sqrt(x^2-2) is complex (not real) if -sqrt(2)<x<sqrt(2).
Reply 3
Original post by DFranklin
Not sure what you're meaning here - certainly x/sqrt(x^2-2) is complex (not real) if -sqrt(2)<x<sqrt(2).

It seemed like the OP was treating things as real outside that interval.
Original post by mqb2766
It seemed like the OP was treating things as real outside that interval.

Surely it *is* real outside the interval (-sqrt{2}, sqrt{2})?
Reply 5
Original post by DFranklin
Surely it *is* real outside the interval (-sqrt{2}, sqrt{2})?

Yeah, too tired. Knew what I meant to say ...
Bump for exposure because OP is completely changed
Original post by delalu
I want to hear some justification from people who take conventional arcsec x range and also conveniently use sqrt(x^2 - 1) = tan t for all possible x values. Their answer is correct indeed, because the negative sign is cancelled in the middle, miraculously for them, but they never anticipated it. when x<=-1 and the moment they wrote int sec t dt instead of - sec t, it is false. Isn't this a kind of abuse, like abuse of notation? Please note that this problem does not necessarily apply on the case where hyperbolic trigonometric identities and substitutions are used. I'm only curious about x = sec t substitution case.
I'm not sure what you're actually asking here. I am fairly confident the number of people on TSR who've read through your thread, have the inclination/ability to be able to meaningfully answer this, *and* assume sec2t1=tant\sqrt{\sec^2 t - 1} = \tan t for all values of t is exactly zero.

To be slightly more helpful here:

When faced with a problem where a function is defined over disconnected intervals, experienced mathematicians tend to be fairly wary of "universal solutions" that try to work over all the intervals at once. At university level it's pretty much unheard of to say 1tdt=logx\int \frac{1}{t} \,dt = \log |x| rather than log x, for example. In a problem like this their natural impulse will be to transform the "ugly" domain into a more familiar one (in this case using the obvious fact that for b>a>2b > a > \sqrt{2}, bax21dx=abx21dx\int_{-b}^{-a} \sqrt{x^2-1}\,dx = \int_a^b \sqrt{x^2-1}\,dx).

Not only does this mean that they wouldn't ever hit the issues you've been having, it also means they're not very experienced, or, bluntly, interested, in tracking down exactly where an ambiguous square root sign / choice of domain / reversal of integral limits / misuse of modulus occurs in a problem like this. If it was a few lines of working, sure, but multiple pages and it's like "I'm not getting paid for this you know!".
Original post by DFranklin
I'm not sure what you're actually asking here. I am fairly confident the number of people on TSR who've read through your thread, have the inclination/ability to be able to meaningfully answer this, *and* assume sec2t1=tant\sqrt{\sec^2 t - 1} = \tan t for all values of t is exactly zero.

To be slightly more helpful here:

When faced with a problem where a function is defined over disconnected intervals, experienced mathematicians tend to be fairly wary of "universal solutions" that try to work over all the intervals at once. At university level it's pretty much unheard of to say 1tdt=logx\int \frac{1}{t} \,dt = \log |x| rather than log x, for example. In a problem like this their natural impulse will be to transform the "ugly" domain into a more familiar one (in this case using the obvious fact that for b>a>2b > a > \sqrt{2}, bax21dx=abx21dx\int_{-b}^{-a} \sqrt{x^2-1}\,dx = \int_a^b \sqrt{x^2-1}\,dx).

Not only does this mean that they wouldn't ever hit the issues you've been having, it also means they're not very experienced, or, bluntly, interested, in tracking down exactly where an ambiguous square root sign / choice of domain / reversal of integral limits / misuse of modulus occurs in a problem like this. If it was a few lines of working, sure, but multiple pages and it's like "I'm not getting paid for this you know!".

Of course it's obvious when f(x) = f(-x), or a function is an even function, then the endpoints of the interval can also be reflected in the y-axis, and it gives the same value for the integral or area. You have misunderstood the original post somehow, also this fact was used to prove that S_ii = - ln | sec t + tan t | which contradicts the universal solution S you get in terms of parameter t through the "usual" method. I hope that's the only thing that you misunderstood.

I don't understand what you meant by "assume 71f5d671bb1aa18ad82c43e96777cbd5.png for all values of t is exactly zero." If you meant "assume tan t = positive square root of (sec^2t -1) for all values of t", according to the OP, how can a positive value be equal to negative value? If you meant "assume t is exactly zero", then I understand your suspicion that I'm getting paid for posts on TSR.
Original post by delalu
Of course it's obvious when f(x) = f(-x), or a function is an even function, then the endpoints of the interval can also be reflected in the y-axis, and it gives the same value for the integral or area. You have misunderstood the original post somehow, also this fact was used to prove that S_ii = - ln | sec t + tan t | which contradicts the universal solution S you get in terms of parameter t through the "usual" method. I hope that's the only thing that you misunderstood.
No, I didn't misunderstand. My point is that's what pretty much anyone experienced would do, so they don't know or care about finding the exact place you've gone wrong in trying to do something else.


I don't understand what you meant by "assume 71f5d671bb1aa18ad82c43e96777cbd5.png for all values of t is exactly zero." If you meant "assume tan t = positive square root of (sec^2t -1) for all values of t", according to the OP, how can a positive value be equal to negative value? If you meant "assume t is exactly zero", then I understand your suspicion that I'm getting paid for posts on TSR.
Read the entire sentence. What I am saying is that no-one (i.e. *zero* people) reading this conversation and being in a position to comment thinks that sqrt(sec^2 x -1) = tan x for all x, so asking for someone to justify that is unlikely to be productive.

And to continue with the clarification: no-one thinks you're getting paid for posts on here. But conversely, you're not paying me anything, let alone enough to spend ages tracking down where you've gone wrong in an extremely long (and frankly not terribly well explained) attempt to answer the question in a way I would never choose to attempt myself.

Quick Reply

Latest