Prove that ##c^2+d^2=1## in the problem involving complex numbers

Click For Summary

Homework Help Overview

The discussion revolves around proving the equation \(c^2 + d^2 = 1\) in the context of complex numbers, specifically focusing on the relationship between a complex number and its conjugate.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore various methods to prove the equation, including using properties of modulus, complex conjugates, and polar forms of complex numbers. Some express a desire for different approaches and question the necessity of certain methods.

Discussion Status

Several participants have offered different perspectives and methods, including direct computations and properties of complex numbers. There is an ongoing exploration of the topic, with some participants acknowledging mistakes and seeking clarification on concepts.

Contextual Notes

Some participants note the importance of remembering specific properties of complex numbers, such as the relationship between a complex number and its modulus, while others question assumptions made in earlier posts.

chwala
Gold Member
Messages
2,828
Reaction score
425
Homework Statement
Let ##z=a+bi##, where ##a## and ##b## are real numbers. If Let ##z=a+bi##, where ##a## and ##b## are real numbers. If $$\frac {z}{z^*}=c+di$$, where ##c## and ##d## are real, prove that ##c^2+d^2=1##
Relevant Equations
Complex numbers
Easy questions, just a lot of computation...

$$\frac {z}{z^*}=\frac {a+bi}{a-bi} ×\frac {a+bi}{a+bi}$$
$$c+di=\frac {a^2-b^2}{a^2+b^2}+\frac {2abi}{a^2+b^2}$$
$$⇒c^2= \frac {a^4-2a^2b^2+b^4}{(a^2+b^2)^2}$$
$$⇒d^2= \frac {4a^2b^2}{(a^2+b^2)^2}$$
Therefore, $$c^2+d^2= \frac {a^4-2a^2b^2+b^4}{(a^2+b^2)^2}+\frac {4a^2b^2}{(a^2+b^2)^2}=1$$

A different approach would be appreciated...
 
Last edited:
  • Sad
Likes   Reactions: PeroK
Physics news on Phys.org
If you have already proven |zw|=|z||w| then you can use that fact here to make the proof very short.
 
  • Like
Likes   Reactions: chwala
chwala said:
A different approach would be appreciated...
... and definitely needed.

What about using the properties of the modulus of a complex number?
 
  • Like
Likes   Reactions: chwala
but one will still need to do some computation on the rhs ...i.e if
##z=c+di##, then ##⇒|z|=(c+di)^2##
 
chwala said:
but one will still need to do some computation on the rhs ...i.e if
##z=c+di##, then ##⇒|z|=(c+di)^2##
That's not right. If ##z = a +bi##, then$$|z|^2 = a^2 + b^2$$And, in fact, we also have$$|z|^2 = zz^*$$
 
PeroK said:
That's not right. If ##z = a +bi##, then$$|z|^2 = a^2 + b^2$$And, in fact, we also have$$|z|^2 = zz^*$$
Noted, i made a mistake there...
 
Are you aware that you can write a complex number ##z=a+ib## as ##|z|e^{i\theta}##, where ##\tan\theta=b/a##? If so, it's really easy.
 
Ibix said:
Are you aware that you can write a complex number ##z=a+ib## as ##|z|e^{i\theta}##, where ##\tan\theta=b/a##? If so, it's really easy.
Not as easy as it is using the modulus!
 
  • Like
Likes   Reactions: Ibix
Ibix said:
Are you aware that you can write a complex number ##z=a+ib## as ##|z|e^{i\theta}##, where ##\tan\theta=b/a##? If so, it's really easy.
I need to refresh on this...yes i am aware...are you talking of the Euler form of equation...something like
$$z=x+iy= r{cos θ+i sin θ}$$...applying ##z^n## where necessary?
 
  • #10
chwala said:
I need to refresh on this...yes i am aware...you're talking of the euler form something like
$$z=x+iy= r{cos θ+i sin θ}$$...applying ##z^n## where necessary?
Yeah, but if you express it the way I did with the complex exponential and note that ##z^*=|z|e^{-i\theta}##, it should be a one-liner. This approach implies the result about moduli that I think @PeroK is advocating using directly.

Edit: by the way, you've got a LaTeX bug - you tried to use {} instead of (). Braces aren't rendered, though, so your ##r## appears to be multiplying only the ##\cos## instead of the ##\cos## and the ##i\sin##.
 
Last edited:
  • #11
PeroK said:
That's not right. If ##z = a +bi##, then$$|z|^2 = a^2 + b^2$$And, in fact, we also have$$|z|^2 = zz^*$$
Ok going with this thinking, we shall get; $$\frac{|z|}{|z^{*}|}=\frac{|a^2+b^2|}{|a^2-b^2|}=\frac{a^2+b^2}{a^2+b^2}=1=c^2+d^2$$
 
  • #12
If ##z/z^* = c+di##, then ##(z/z^*)^* = z^*/z = c - di##. It follows that
$$
1= \frac{z}{z^*} \frac{z^*}{z} = (c+di)(c-di) = c^2 + d^2.
$$
 
  • Like
Likes   Reactions: PhDeezNutz and chwala
  • #13
Orodruin said:
If ##z/z^* = c+di##, then ##(z/z^*)^* = z^*/z = c - di##. It follows that
$$
1= \frac{z}{z^*} \frac{z^*}{z} = (c+di)(c-di) = c^2 + d^2.
$$
Nice one mate:biggrin:...this was straightforward and directly to the point, ...i need to refresh on the complex number properties...
 
Last edited:
  • #14
Ibix said:
Are you aware that you can write a complex number ##z=a+ib## as ##|z|e^{i\theta}##, where ##\tan\theta=b/a##? If so, it's really easy.
How would your solution look like, you're transforming to polar form of equation? How will you treat the argument? Cheers...
 
  • #15
chwala said:
How would your solution look like, you're transforming to polar form of equation? How will you treat the argument? Cheers...
$$\frac{z}{z^*}=\frac{|z|e^{i\theta}}{|z|e^{-i\theta}}=e^{2i\theta}$$That last expression is a complex number with unit modulus written in complex exponential form and must be equal to ##c+id##. Hence ##|c+id|=1##.
 
  • Like
Likes   Reactions: PhDeezNutz and chwala
  • #16
c^2+d^2=1
means
|\frac{z}{z^*}|=1
which is obviously true.
 
  • Like
Likes   Reactions: PeroK and chwala
  • #17
My solution would be simply:
$$c^2 + d^2 = \big |\frac z {z^*}\big |^2 = \frac{|z|^2}{|z^*|^2} = 1$$I can't see that the polar form is needed.
 
  • #18
PeroK said:
I can't see that the polar form is needed.
Depends whether you remember that ##|ab|=|a||b|## off the top of your head or not. It's one of those things I never quite recall for some reason, so going via ##ab=|ab|\exp(i(\theta_a+\theta_b))## is easier for me.
 
  • #19
Ibix said:
Depends whether you remember that ##|ab|=|a||b|## off the top of your head or not. It's one of those things I never quite recall for some reason, so going via ##ab=|ab|\exp(i(\theta_a+\theta_b))## is easier for me.
Well, if you can remember that ##z = |z|e^{i\theta}##, then $$zw = |z|e^{i\theta}|w|e^{i\phi} = |z||w|e^{i(\theta + \phi)}$$From which is follows that ##|zw| = |z||w|## and ##\arg(zw) = \arg(z) + \arg(w)##.
 
  • Like
Likes   Reactions: chwala and Ibix
  • #20
Another way. Let ##z_0=c+id##. We have,
$$
z=z^{*}z_0
$$
Taking the complex conjugate of both sides of the equation,
$$
z^{*}=zz_0^{*}
$$
substituting ##z^{*}## in the first equation
$$
z=zz_0 z_0^{*}
$$
$$
z_0 z_0^{*}=1=c^2+d^2
$$
 
  • Like
Likes   Reactions: chwala
  • #21
Ibix said:
Depends whether you remember that ##|ab|=|a||b|## off the top of your head or not.
You do not need to remember that. Nor that ##c^2 + d^2## is the norm squared of ##c+di##. All you need to know is how complex conjugation works on multiplications. See #12. Both #17 and #20 are rather minor variations of #12.
 
  • Like
Likes   Reactions: Ibix

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
12
Views
2K
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 105 ·
4
Replies
105
Views
8K