Angles of certain complex numbers

In summary: When I said in my previous post that: ##m^{2k\pi i}## is not ##1 + 0i##, perhaps I should have asked the following question instead.For what value of ##m## is ##m^{2k\pi i}## equal to ##1 + 0i##...
  • #1
nomadreid
Gold Member
1,665
203
Homework Statement
prove or disprove: for every real nonzero a & positive integers n,m: n^ia does not end up at the same angle (modulo full rotations) as m^ia.
Relevant Equations
obviously the relations between the exponential function and the natural log, and the periodicity, and that e^iA gives A in radians, and so forth. What else, I'm not sure -- maybe transcendental number properties; this is not really a homework problem, but since it has the same form as one and is probably something easy , I thought this might be the most appropriate place to post.
reducing it to various forms: for example, the one in the title, or 2*pi*k(ln m) = a(ln(n/m)), and so forth. My gut feeling is that it is true (that no such foursome exists), but manipulations have not got me anywhere. Anyone push me in the right direction? I am probably overlooking something trivial, no?
 
Physics news on Phys.org
  • #2
nomadreid said:
Homework Statement:: prove or disprove: for every real nonzero a & positive integers n,m: n^ia does not end up at the same angle (modulo full rotations) as m^ia.
Relevant Equations:: obviously the relations between the exponential function and the natural log, and the periodicity, and that e^iA gives A in radians, and so forth. What else, I'm not sure -- maybe transcendental number properties; this is not really a homework problem, but since it has the same form as one and is probably something easy , I thought this might be the most appropriate place to post.

reducing it to various forms: for example, the one in the title, or 2*pi*k(ln m) = a(ln(n/m)), and so forth. My gut feeling is that it is true (that no such foursome exists), but manipulations have not got me anywhere. Anyone push me in the right direction? I am probably overlooking something trivial, no?
It took me a while to decipher what you were trying to say in your thread title.

nomadreid said:
and that e^iA gives A in radians
No, ##e^{iA}## is a complex number where A is a real number; i.e., in radians.

Start by assuming that ##n^{ia} = m^{ia}##, and look for a contradiction. From this assumption, it follows that ##e^{ia \ln n} = e^{ia \ln m}##.
These can be equal if, as you noted, they differ by an integer multiple of ##2\pi##. See what you can find by exploring this idea.
 
  • Like
Likes nomadreid
  • #3
Also: how do you exclude ##n=m## in your (pseudo?) language ?
 
  • #4
Mark44, thanks: oops, I didn't mean e^iA = an angle in radians, I meant that e^iA is a rotation transformation by an angle of A radians. Trying to be too cryptic.

Assuming that nia=mia would of course give me an automatic contradiction, but if we throw in nia=mia+k*2π for integer k, it is not so clear that "These can be equal", as you stated, given the restrictions that n and m are positive integers and n≠m. (Sorry for the <> instead of the ≠; this is a throwback notation.)
 
  • #5
nomadreid said:
the <>
No need to be sorry if it doesn't occur anywhere :rolleyes:
 
  • #6
BvU said:
No need to be sorry if it doesn't occur anywhere
Oops: it occurred in the title that I had originally written (but this was changed, I guess by a moderator, although the new title does not really convey what I am asking -- I should figure out my titles better), and I did not think to include this detail (without which the problem is trivial) also in the problem. Mea culpa.

Now that we have gotten over my sloppiness, can we look at the actual problem? Thanks. (I still think that there does not exist such a {n,m.a, k}). Should I try to clarify by re-stating the problem?
 
  • #7
nomadreid said:
Mark44, thanks: oops, I didn't mean e^iA = an angle in radians, I meant that e^iA is a rotation transformation by an angle of A radians. Trying to be too cryptic.

Assuming that nia=mia would of course give me an automatic contradiction, but if we throw in nia=mia+k*2π for integer k, it is not so clear that "These can be equal", as you stated, given the restrictions that n and m are positive integers and n≠m. (Sorry for the <> instead of the ≠; this is a throwback notation.)
##m^{ia+k\cdot2\pi} ## is not what you're looking for. That's equivalent to ##m^{ia}\cdot m^{2k\pi} ##

Perhaps you intended to write: ##m^{i(a+2k\pi)} ##. That is not quite right either.

##m^{2k\pi i} ## is not ## 1 + 0i ## .
 
  • Like
Likes nomadreid
  • #8
Ah, I should hide my face! o:):sorry:

So, trying that again: I wish to see whether, given a positive real number a, there exist positive integers k,n.m such that nia=mib and ln(b) = ln(a) + 2kπ.

Better?

Thanks for your patience.
 
  • #9
nomadreid said:
Ah, I should hide my face! o:):sorry:

So, trying that again: I wish to see whether, given a positive real number a, there exist positive integers k,n.m such that nia=mib and ln(b) = ln(a) + 2kπ.

Better?

Thanks for your patience.
Well, that's not correct, so it's hard to say whether it's better or not.

When I said in my previous post that: ##m^{2k\pi i}## is not ##1 + 0i##, perhaps I should have asked the following question instead.

For what value of ##m## is ##m^{2k\pi i}## equal to ##1 + 0i## ?
 
  • #10
Thanks for staying in there, SammyS.

Starting with the question, e2kπ*ln(m)i=1 iff k=0 or m=1. So I understand your point upon addressing my previous faulty formulation, in that that equality would have been broken up with this as a factor. But this is not equivalent to my new formulation, which you say is also faulty, so let me first correct that. This time I will spell it out so that any faults will be more clearly visible (which I should have done at the beginning).

The idea was to find out whether mai and nai every ended up at the same angle from the positive x-axis for unequal positive integers m, n. My reasoning in formulating this was that the angles of the two expressions would be equivalent modulo 2π. The first one is ea*ln(m)*imeaning its angle is a*ln(m); the angle of the second one is similarly a*ln(n). So a*ln(m)≡a*ln(n) mod 2π, or a*ln(m)=a*ln(n) +2kπ, or assuming that m≠1, ln(m/n)=2kπ/a which is possible for all such a such that a=2kπ/ln(q) for rational positive q and positive integers k.

In other words, if I have worked this through correctly, my intuition is wrong, and there are an uncountably infinite number of cases.

Does this work? I am grateful for any further pointers.
 
  • #11
What I was pushing toward was the following.
(By the way: I'm looking for an example in which n ≠ m, but nia and mia are at the same angle from the real axis in the complex plane.)​

Starting with this snippet from Post #4:
nomadreid said:
... if we throw in nia=mia+k*2π for integer k, it is not so clear that "These can be equal", as you stated, given the restrictions that n and m are positive integers and n≠m.
Suppose that you intended that to be something like:
Consider ##\displaystyle n^{i a } = m^{i(a+2k\pi)} ##. (That would imply that ##n = m^{(1+2k\pi/a)}##.)

Well, ##\displaystyle m^{i(a+2k\pi)}=m^{i a}\cdot m^{2k\pi i}##. However, ##\displaystyle m^{2k\pi i}## itself is not at an angle of 0 in the complex plane, unless ##m = e##, or some number closely related to e, such as ##\displaystyle e^{1/k}##.

Well now, that pretty much should get you going in the right direction.

Using this scheme, I came up with the following example.

If ##m=5## and ##a=\sqrt{2\ }##, let ##n = 5\cdot 85.0197##. Then each of mia and nia are at an angle of approximately 130.41° .
 
  • #12
Thanks, SammyS. Three comments:
(1) your example would be fine except for the stipulation that m and n each be positive integers.
(2) In addressing my remark that "...if we throw in..." from post #4, you apparently overlooked the fact that I admitted in post #10 that this was a false formulation, and then put the correct formulation in that post (except that the typo where m≠1 should have been m≠n :cry:)
(3) So, to come up with my own example from the correct formulation : I can find an example for any two positive integers n, m, where m≠n.
Let a = 2kπ/ln(n/m) for all integers k.
For example, let n=4, m=2.
Then a ∈{[2π/ln(2)]k : k∈ℤ}, or all multiples of approximately 9.065 , so if for example a =2π/ln(2) then 2ai and 4ai both end up at the x-axis.

So, basically, in pointing out the mistakes in my two original sloppy (:sorry:) formulations of the problem, you and the other posters have prompted me to come up with the answer, so I thank all concerned.
 
  • Like
Likes SammyS
  • #13
nomadreid said:
...
So, basically, in pointing out the mistakes in my two original sloppy (:sorry:) formulations of the problem, you and the other posters have prompted me to come up with the answer, so I thank all concerned.
@nomadreid ,
The fact that you have been prompted to come up with the solution is pretty much our goal here at PF.

As far as your "sloppy formulations" go, I find that I am sometimes guilty of "sloppy reading" of details in a problem statement, as was the case here. While I apologize (USA spelling) for that, it appears that my overlooking the requirement that m, n ∈ ℤ+ was what kept the two of us engaged in communicating in this thread.

I applaud your efforts and the outcome.
 
  • Like
Likes nomadreid
  • #14
:smile:
 
  • #15
It's been a while, but let's revisit this problem.

I had been puzzling over your example in Post #12, especially the case where m=2, n=4. With your formulation for α, both mαi and nαi end up on the x-axis (i.e.: the Real axis).

It seemed to me that having both end up on the x-axis could indicate that there might be some underlying error in the procedure yielding a trivial result.

After reviewing your posts #10 and #12, I agree with your formulation for finding α, so that mαi = nαi .

Another Look At the Problem:

Given two distinct positive integers, m and n, each greater than 1:
Find a real number, α, such that both mαi and nαi end up at the same angle with respect to the Real axis in the complex plane.
Note: Both mαi and nαi are on the unit circle in the complex plane, so we are to find a real number, α, such that mαi = nαi .​

Let's use your formulation for α.

##\displaystyle \quad \quad \alpha =\dfrac{2k\pi}{\ln(n/m)} ##

Let ##\displaystyle p = \log_m(n) = \dfrac{\ln(n)}{\ln(m)}##. That is to say, ##\displaystyle n=m^{p}## .
I find it helpful to consider that if n > m, then p > 1, but it is not a necessity to have n > m.

Notice that ##\displaystyle \ln(n/m) = \ln(m^p/m) = (p-1)\ln(m)## , so that ##\displaystyle \alpha =\dfrac{2k\pi}{(p-1)\ln(m)} ##.

Now, let's compare mαi and nαi .

##\displaystyle m^{\alpha i} =e^{\ln(m) \dfrac{2k\pi}{(p-1)\ln(m)}i }##

##\displaystyle \quad \quad \quad \quad =e^{i \dfrac{2k\pi}{(p-1)} }##

##\displaystyle n^{\alpha i} =m^{p\alpha i} = e^{i 2k\pi \cdot \dfrac{ p}{(p-1)} }##

##\displaystyle \quad \quad \quad \quad =e^{i 2k\pi \cdot \left(1+\frac{1}{(p-1)}\right) }##

Back to your example: For m=2, n=4, we have p=2.

That puts mαi at an angle of 2kπ , so mαi is on the x-axis. nαi is also on the x-axis.

Consider other integer values for p, For p=4, mαi may be at 120°, or 240°, 360°, depending on the value of k.

You may want to consider the case of p being a non-integer rational number as well as the case of p being irrational, still keeping m and n as positive integers.
 
Last edited:
  • #16
Thank you, SammyS, for these interesting manipulations. Your formulation would perhaps speed up the production of values by first classifying all pairs (n,m) with the same ratio into equivalence classes, so that one could find at one stroke the value of α for an infinite number of pairs of (m,n). (Offhand, I think you would still have a countably infinite number of cases, though.)

For a single (m,n), of course, introducing p is borrowing from Peter to pay Paul; it would only complicate the calculations.

The result of ending up on the x-axis is an artifact of my selection of n and m, but for most pairs (n,m), this would not be the case.

I am, of course, putting aside the fact that the original question merely needed a single counterexample :wink:, and it morphed into the question of finding all counterexamples. Ah, cornflakes were invented while trying to cook wheat, so...
 

1. What are complex numbers?

Complex numbers are numbers that are made up of a real part and an imaginary part. They are usually written in the form a + bi, where a is the real part and bi is the imaginary part. The imaginary part is represented by the letter i, which is equal to the square root of -1.

2. What are the angles of complex numbers?

The angle of a complex number is the angle formed between the positive real axis and the line connecting the complex number to the origin on the complex plane. It is measured in radians or degrees and can be calculated using trigonometric functions.

3. How do you find the angle of a complex number?

To find the angle of a complex number, you can use the formula tanθ = b / a, where θ is the angle, b is the imaginary part, and a is the real part. You can also use the inverse tangent function to find the angle, which is tan^-1 (b/a).

4. What is the relationship between the angle of a complex number and its conjugate?

The angle of a complex number and its conjugate are equal in magnitude but have opposite signs. This means that the angle of the conjugate is the negative of the original angle. For example, if the angle of a complex number is 30 degrees, the angle of its conjugate would be -30 degrees.

5. How are complex numbers represented on a complex plane?

Complex numbers are represented on a complex plane, also known as an Argand diagram, which is similar to a Cartesian coordinate system. The real part of the complex number is plotted on the x-axis, and the imaginary part is plotted on the y-axis. The point where the two parts intersect is the location of the complex number on the plane.

Similar threads

  • Precalculus Mathematics Homework Help
Replies
12
Views
887
  • Precalculus Mathematics Homework Help
Replies
4
Views
1K
Replies
6
Views
506
  • Linear and Abstract Algebra
Replies
1
Views
708
  • Precalculus Mathematics Homework Help
Replies
5
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
863
  • Differential Equations
Replies
3
Views
2K
Replies
1
Views
695
  • Precalculus Mathematics Homework Help
Replies
2
Views
1K
Back
Top