What is wrong with the following proof

  • Thread starter Thread starter snipez90
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
The discussion centers on a flawed proof involving the equation e^iπ = -1 and subsequent algebraic manipulations leading to the incorrect conclusion that 2iπ = 0. The primary issue identified is the misuse of the natural logarithm, as ln(e^2iπ) is not simply equal to 2iπ due to the multivalued nature of the logarithm in complex analysis. While ln(1) is indeed 0, the proof incorrectly assumes that the natural logarithm is single-valued and directly invertible for complex exponentials. The participants emphasize that e^(ix) is not invertible in a straightforward manner, highlighting the need for careful consideration of complex logarithms. The discussion concludes that the proof's errors stem from misunderstanding the properties of logarithms in the complex plane.
snipez90
Messages
1,095
Reaction score
5
What is wrong with the following "proof"

My friend was messing around and sent me something that leads to an incorrect conclusion:

e^iπ = -1
(e^iπ)^2 = (-1)^2
e^2iπ = 1
ln(e^2iπ) = ln1
2iπ * lne = ln1
2iπ * 1 = 0
2iπ = 0

After refreshing my memory with some of the most important theorems involving complex numbers, I'm still trying to find wrong step. My first qualm deals with lines 1-3. He puts his faith behind simple algebra, but I think it's just a coincidence. Line 1 and line 3 hold because of Euler's formula, which involves trig. Therefore, I believe that squaring to get 1 is a coincidence but then again according to the rules of algebra that should be valid?

Then the natural log part. I think that ln(e^2iπ) = ln[cos(2π) + i*sin(2π)] is undefined. But then my friend points out the obvious fact that the i*sin(2π) term vanishes, leaving ln(1), which of course is 0. I don't know too much about complex numbers, so any opinions on this discussion would be great.
 
Mathematics news on Phys.org


While ln(e^2iπ) = ln1 is true, 2iπ = ln 1 is not. The natural logarithm of e^theta*i is defined as sigma*i where sigma is the corresponding angle lesser than 2pi. Therefore ln(e^2iπ) = 0*i and not 2iπ.
 


Strictly speaking the ln function is multivalued.

e2n(pi)i=1 for any n. Therefore ln(1)=2n(pi)i, for all n.
 


snipez90 said:
1) ln(e^2iπ) = ln1
2) 2iπ * lne = ln1
3) 2iπ * 1 = 0

The only problem is the top 2 lines. e^(ix) is not invertible. The single valued ln function is not its inverse.
 
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 15 ·
Replies
15
Views
4K
  • · Replies 4 ·
Replies
4
Views
1K