Prove a multiplicative inverse exists (complex number)

Click For Summary
The discussion centers on finding the multiplicative inverse of a complex number expressed as c + di, where c and d are derived from a and b. The solutions for c and d are confirmed to be c = a/(a² + b²) and d = -b/(a² + b²), matching the solution manual. The participants clarify the presence of 'i' in the expression, noting that it must be included when multiplying the complex number by its inverse. The confusion arises from whether 'i' should be factored out, but it is established that it should remain in the final expression. Ultimately, the discussion reinforces the understanding that c and d are real numbers while their combination forms a complex number.
glauss
Messages
13
Reaction score
1
Homework Statement
Find c and d when:
a, b E R and a, b !=0

1/(a+bi)=c+di

Additionally, prove that (a+bi) has a multiplicative inverse.
Relevant Equations
1/(a+bi)=c+di
I have as a solution for part one:

c=(a)/(a^2 + b^2)
d=(-b)/(a^2 + b^2)

Which matches with the solution manual.

The manual goes on to give the solution for part b:

(a+bi) * ( (a)/(a^2 + b^2) - ((b)/(a^2 + b^2))i ) = 1

I'd simply like to know where the 'i' at the end of the second expression in the left part comes from.
 
Physics news on Phys.org
glauss said:
Homework Statement:: Find c and d when:
a, b E R and a, b !=0

1/(a+bi)=c+di

Additionally, prove that (a+bi) has a multiplicative inverse.
Relevant Equations:: 1/(a+bi)=c+di

I have as a solution for part one:

c=(a)/(a^2 + b^2)
d=(-b)/(a^2 + b^2)

Which matches with the solution manual.

The manual goes on to give the solution for part b:

(a+bi) * ( (a)/(a^2 + b^2) - ((b)/(a^2 + b^2))i ) = 1

I'd simply like to know where the 'i' at the end of the second expression in the left part comes from.
The last equation is to check whether your solution is actually one, i.e. if ##(a+bi)(c+di)=1## where you have substituted your solution for ##c## and ##d##. The ## i ## is the one at the ##d##. We have a complex number as solution.
 
Thanks for the reply.
I thought that because the 'i' was factored out in the solution for 'd', it wouldn't be a factor of the solution of 'd' when multiplying it by its inverse.
However, your solution makes sense - because we re-included 'i' as a factor of 'b' in the first term (a+bi), we should re-include it in the inverse bit for 'd'?
Does thus sound right?
 
glauss said:
Thanks for the reply.
I thought that because the 'i' was factored out in the solution for 'd', it wouldn't be a factor of the solution of 'd' when multiplying it by its inverse.
However, your solution makes sense - because we re-included 'i' as a factor of 'b' in the first term (a+bi), we should re-include it in the inverse bit for 'd'?
Does thus sound right?
A bit confused if you ask me, but right. c and d are real numbers, but c+di is complex and we started with the setting that 1=(a+bi)(c+di). During the calculation you used only real numbers, namely those to find c and d. At the end, we have to compose them again to the complex number which we were really looking for: c+di.

It starts to confuse me, too, :wink:
 
  • Like
Likes glauss
glauss said:
However, your solution makes sense - because we re-included 'i' as a factor of 'b' in the first term (a+bi), we should re-include it in the inverse bit for 'd'?
Does thus sound right?
That sounds confusing to me. The 'i' was there to start with. You solved for c and d in c+di. So the 'i' was already there and you just substituted your results in for c and d.
 
  • Like
Likes glauss
That makes perfect sense, thank you.
 
First, I tried to show that ##f_n## converges uniformly on ##[0,2\pi]##, which is true since ##f_n \rightarrow 0## for ##n \rightarrow \infty## and ##\sigma_n=\mathrm{sup}\left| \frac{\sin\left(\frac{n^2}{n+\frac 15}x\right)}{n^{x^2-3x+3}} \right| \leq \frac{1}{|n^{x^2-3x+3}|} \leq \frac{1}{n^{\frac 34}}\rightarrow 0##. I can't use neither Leibnitz's test nor Abel's test. For Dirichlet's test I would need to show, that ##\sin\left(\frac{n^2}{n+\frac 15}x \right)## has partialy bounded sums...