Solving arcsin(√2) with Hyperbolic Sin Function

Click For Summary
The discussion revolves around solving the equation arcsin(√2) using hyperbolic sine functions. The initial approach involves expressing sin(a + bi) in terms of hyperbolic functions and applying Euler's formula, leading to two key equations that need to be solved for the real part (a) and the imaginary part (b). Participants identify errors in the algebraic manipulations and clarify the correct relationships between the variables. Ultimately, the solution suggests that arcsin(√2) can be expressed as a complex number with specific values for a and b, highlighting the complexity of the problem and the necessity of careful algebraic handling. The conversation emphasizes the importance of correctly applying mathematical identities and formulas in complex analysis.
  • #31
Going back to your two equations
\begin{align*}
(e^b - e^{-b}) \cos a &= 0 \\
(e^b + e^{-b}) \sin a &= 2\sqrt{2}
\end{align*} you chose the ##a=\pi/2## solution to the first equation, which eventually led to two valid solutions. There are other solutions to that equation, namely b=0, as you noted earlier, and ##a = 3\pi/2##. Can you see why they don't yield solutions to the problem?
 
Physics news on Phys.org
  • #32
I have to confess that I didn't scrutinise every single post. But the method used seems unnecessarily complicated.

I would just have gone with:

##\arcsin(\sqrt{2}) = a+bi## where ##a## and ##b## are real.

so

##\sin(a+bi) = \sqrt{2}##

expanding the LHS and applying ##\cos(bi) = \cosh(b)## and ##\sin(bi) = i\sinh(b)##,

##\sin(a)\cosh(b) + i\cos(a)\sinh(b) = \sqrt{2}##

equating real and imaginary parts,

##\sin(a)\cosh(b) = \sqrt{2}## [eqn 1]

##\cos(a)\sinh(b) = 0## [eqn 2]

from this, it should be quite easy to solve. I edited out the rest of the solution because complete solutions are not encouraged here. But if the OP has questions on how to proceed from here, he can ask.

EDIT: looking at Vela's last post, the OP did come up with the same simult. equations. But I think introducing the exponential form for them at this stage is an unnecessary complication. Much easier to see the solution leaving them as hyperbolic functions.
 
Last edited:
  • #33
vela said:
Going back to your two equations
\begin{align*}
(e^b - e^{-b}) \cos a &= 0 \\
(e^b + e^{-b}) \sin a &= 2\sqrt{2}
\end{align*} you chose the ##a=\pi/2## solution to the first equation, which eventually led to two valid solutions. There are other solutions to that equation, namely b=0, as you noted earlier, and ##a = 3\pi/2##. Can you see why they don't yield solutions to the problem?

I do:

If b=0, then the original statement that arcsin(√2)=a, but a is a real number and the solution to this is not purely real.

If b=3\pi/2, then we have b=ln(-√2±2), which does not make sense in the case when it is negative.

So, the correct way to write out all of my solutions is:

arcsin(√2)=a+bi, where a=2pi multiples of \pi/2, b=ln(√2±1).

So a can equal pi/2, 5pi/2, 9pi/2, 13pi/2, 17pi/2..., or more generally, 4n(pi/2), where n is an integer.
 
Last edited:
  • #34
vela said:
Closer but no cigar. Remember ##i^2 = -1##, so ##i^4 = (i^2)^2 = (-1)^2 = 1##. That means ##1/i = i^4/i = i^3 = (i^2)i = -i##. (Factors of ##i## are a pain. They're mistakes waiting to happen.)

Now that I've taken a closer look, I see the algebra's not that bad. It's just a little strange that you didn't start off with
$$\sin x = \frac{e^{ix} - e^{-ix}}{2i},$$ which you can derive from Euler's formula if you haven't seen it before.

Just realized, I can interpret 1/i as a -90 degree rotation of a magnitude 1 vector that lies purely on the Real line for this. So that means 1/i is -i, in the complex plane.
 
  • #35
srfriggen said:
I do:

If b=0, then the original statement that arcsin(√2)=a, but a is a real number and the solution to this is not purely real.

If b=3\pi/2, then we have b=ln(-√2±2), which does not make sense in the case when it is negative.
Your reasoning for ##a=3\pi/2## is flawed. When dealing with complex numbers, you can, in fact, take the log of a negative number, so you can't use that as a reason for ruling out that solution.

So, the correct way to write out all of my solutions is:

arcsin(√2)=a+bi, where a=2pi multiples of \pi/2, b=ln(√2±1).

So a can equal pi/2, 5pi/2, 9pi/2, 13pi/2, 17pi/2..., or more generally, 4n(pi/2), where n is an integer.
Your list is correct, but your formula isn't. The way you wrote it, ##4n(\pi/2) = 2\pi n##, just produces multiples of ##2\pi##. You want ##a = \pi/2 + 2n\pi##.
 
  • #36
vela said:
Your reasoning for ##a=3\pi/2## is flawed. When dealing with complex numbers, you can, in fact, take the log of a negative number, so you can't use that as a reason for ruling out that solution.

I'll probably regret butting in when I haven't read every single post (as I said, I find the method used unduly convoluted and tedious), but aren't ##a## and ##b## defined a priori to be real?
 
  • #37
Oh, yeah. :redface: Never mind.
 
  • #38
vela said:
Your reasoning for ##a=3\pi/2## is flawed. When dealing with complex numbers, you can, in fact, take the log of a negative number, so you can't use that as a reason for ruling out that solution.

I was going to say the other way I can see showing it is flawed is by inspecting eb+e-b and seeing that if b is assumed to be real it cannot equal -2\sqrt{2}.

Is case closed on this one Vela?
 
  • #39
Yup!
 
  • Like
Likes 1 person
  • #40
vela said:
Yup!

Thank you so much Vela (and all contributors on this post) for all of your help, support, patience, and steering me in the right direction while still making me work for the answer. I definitely learned a lot and feel really good that I understand the problem and I appreciate the help!

:smile:
 
  • #41
I'm back with one more like this. I've worked through it very hard and I think there should be much less back and forth, as I really get what I'm doing now. But something in this problem isn't working... perhaps there is no solution.

sin-1(2i)= a+bi, find a and b (and and b are real numbers).

sin(a+bi)=2i


(ei(a+bi)-e-i(a+bi))/2i = 2i

e-b+ai-eb-ai = 4i2

e-beai-ebe-ai=-4

e-b[cos(a)+isin(a)] - eb[cos(-a)+isin(-a)]=-4

e-b[cos(a)+isin(a)] - eb[cos(a)-isin(a)]=-4


{1} (e-b-eb)cos(a)=-4

{2} (e-b+eb)sin(a)=0


For {2}, a=0 and a=∏ are solutions.

Using a=0 in {1}: e-b+eb=-4

Solving this quadratic I get: b=ln(2±√5), which is not a Real solution when b=ln(2-√5).

Similarly, letting a=∏ (or 2∏ multiples of ∏) I get b=ln(-2±\sqrt{5}), which is not always real as well.

From what I see, letting a=n∏, where n is an integer, is the only plausible solution for equations {1} and {2}, yet they do not yield answers.

I reworked the problem twice and am still getting the same answers.
 
  • #42
I'll assume your {1} and {2} are correct. In solving, you flipped a sign. It should be ##e^{-b}-e^b = \pm 4##. The exponentials are subtracted.
 
  • #43
srfriggen said:
I'm back with one more like this. I've worked through it very hard and I think there should be much less back and forth, as I really get what I'm doing now. But something in this problem isn't working... perhaps there is no solution.

sin-1(2i)= a+bi, find a and b (and and b are real numbers).

sin(a+bi)=2i(ei(a+bi)-e-i(a+bi))/2i = 2i

e-b+ai-eb-ai = 4i2

e-beai-ebe-ai=-4

e-b[cos(a)+isin(a)] - eb[cos(-a)+isin(-a)]=-4

e-b[cos(a)+isin(a)] - eb[cos(a)-isin(a)]=-4{1} (e-b-eb)cos(a)=-4

{2} (e-b+eb)sin(a)=0For {2}, a=0 and a=∏ are solutions.

Using a=0 in {1}: e-b+eb=-4

Solving this quadratic I get: b=ln(2±√5), which is not a Real solution when b=ln(2-√5).

Similarly, letting a=∏ (or 2∏ multiples of ∏) I get b=ln(-2±\sqrt{5}), which is not always real as well.

From what I see, letting a=n∏, where n is an integer, is the only plausible solution for equations {1} and {2}, yet they do not yield answers.

I reworked the problem twice and am still getting the same answers.

Perhaps I could suggest that solution I was thinking of (and which I find easier). Don't introduce exponentials (yet). Leave things in hyperbolic form.

Following the method in my post, you will end up with:

##\sin{a}\cosh{b} = 0## [eq 1]

##\cos{a}\sinh{b} = 2## [eq 2]

From 1, you should be able to see that ##\cosh b## can never equal zero. So ##\sin a = 0##, yielding ##a = n\pi##.

Put that into 2:

##\cos{n\pi}\sinh{b} = 2##

Consider separately ##n## odd and even, yielding:

##\sinh{b} = 2## for even ##n##

and ##\sinh{b} = -2## for odd ##n##.

At this point, you can replace the ##\sinh## function with the exponential notation and solve the quadratic, etc. to get the value for b. Alternatively, just use the logarithmic formulation for the inverse hyperbolic sine directly (if you're allowed to) to get ##arcsinh{2} = \ln(2 + \sqrt{5})##.

Either way, you should get the general solution quite easily (you can use ##n = 2k## and ##n = 2k+1## to express the even and odd cases more succinctly).
 
Last edited:
  • #44
vela said:
I'll assume your {1} and {2} are correct. In solving, you flipped a sign. It should be ##e^{-b}-e^b = \pm 4##. The exponentials are subtracted.

I'm not sure what you mean by flipped a sign.

Do you mean when I was solving the quadratic? Or before that step?
 
  • #45
Curious3141 said:
Perhaps I could suggest that solution I was thinking of (and which I find easier). Don't introduce exponentials (yet). Leave things in hyperbolic form.

Following the method in my post 4595007, you will end up with:

##\sin{a}\cosh{b} = 0## [eq 1]

##\cos{a}\sinh{b} = 2## [eq 2]

From 1, you should be able to see that ##\cosh b## can never equal zero. So ##\sin a = 0##, yielding ##a = n\pi##.

Put that into 2:

##\cos{n\pi}\sinh{b} = 2##

Consider separately ##n## odd and even, yielding:

##\sinh{b} = 2## for even ##n##

and ##\sinh{b} = -2## for odd ##n##.

At this point, you can replace the ##\sinh## function with the exponential notation and solve the quadratic, etc. to get the value for b. Alternatively, just use the logarithmic formulation for the inverse hyperbolic sine directly (if you're allowed to) to get ##arcsinh{2} = \ln(2 + \sqrt{5})##.

Either way, you should get the general solution quite easily (you can use ##n = 2k## and ##n = 2k+1## to express the even and odd cases more succinctly).

I do see what you mean, and really appreciate this insight, but at this point I've written out the problem to be handed in very neatly and I'd rather just correct whatever mistake I have then re-work it.
 
  • #46
srfriggen said:
I do see what you mean, and really appreciate this insight, but at this point I've written out the problem to be handed in very neatly and I'd rather just correct whatever mistake I have then re-work it.

No worries. It comes to pretty much the same idea as yours, but I just find it neater (and simpler) to leave the computation of ##b## to the end.

Basically, you've defined ##b## to be real. When you solve the quadratic for the respective cases, just take the solution that gives you a real logarithm (and hence a real ##b##). Reject the other solution. It's that simple.
 
  • #47
srfriggen said:
I'm not sure what you mean by flipped a sign.

Do you mean when I was solving the quadratic? Or before that step?

when solving the quadratic for a=0 this is what I get:

4±\sqrt{(-4^2)-4(1)(-1)/2}

= 4±\sqrt{20}/2

=2±√5 = eb


b=ln(2±√5)
 
  • #48
srfriggen said:
when solving the quadratic for a=0 this is what I get:

4±\sqrt{(-4^2)-4(1)(-1)/2}

= 4±\sqrt{20}/2

=2±√5 = eb


b=ln(2±√5)

This is correct, but as I said in the edit in my last post, only ##b = \ln (2 + \sqrt{5})## is admissible, because ##b## is by definition real.

You should explicitly write that line into your derivation at the top, i.e. "Let the solution be ##z = a + bi##, where ##a## and ##b## are real." EVERY complex number can be represented in this form, so there is no loss of generality.
 
  • #49
Curious3141 said:
This is correct, but as I said in the edit in my last post, only ##b = \ln (2 + \sqrt{5})## is admissible, because ##b## is by definition real.

You should explicitly write that line into your derivation at the top, i.e. "Let the solution be ##z = a + bi##, where ##a## and ##b## are real." EVERY complex number can be represented in this form, so there is no loss of generality.

cool, I understand now. I just wasn't sure if I was "allowed" to dismiss the ln(2-√5).

but now I have values for a and b, namely, a=2pi+2npi and b=ln(2+√5).

Thanks!
 
  • #50
srfriggen said:
cool, I understand now. I just wasn't sure if I was "allowed" to dismiss the ln(2-√5).

but now I have values for a and b, namely, a=2pi+2npi and b=ln(2+√5).

Thanks!


actually wait one second... if I choose a=∏ , then my b=ln(-2±√5), which is a real solution for ln(-2+√5).

So do I have two different a and b combination solutions? i.e. if a=pi, then b=n(2+√5), and if a=0, b=(2+√5)?
 
  • #51
srfriggen said:
actually wait one second... if I choose a=∏ , then my b=ln(-2±√5), which is a real solution for ln(-2+√5).

So do I have two different a and b combination solutions? i.e. if a=pi, then b=n(2+√5), and if a=0, b=(2+√5)?

You should get:

##a = 2k\pi, b = \ln(\sqrt{5} + 2)##

and

##a = (2k+1)\pi, b = \ln(\sqrt{5} - 2)##

for integral k.

as your general solution. The first solution set corresponds to even ##n##, while the second, to odd ##n##. As I said before, consider the cases where ##n## is even and odd separately when solving for ##b##. It is not sufficient to consider only the special cases where ##a = 0## or ##a = \pi## unless the question explicitly gives you bounds for ##a##.
 

Similar threads

Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
5
Views
2K