What is wrong with the following proof

  • Context: Graduate 
  • Thread starter Thread starter snipez90
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary

Discussion Overview

The discussion revolves around the evaluation of a purported proof involving complex numbers and the natural logarithm, specifically examining the steps leading to the conclusion that \(2i\pi = 0\). Participants analyze the validity of algebraic manipulations and the properties of the logarithm in the context of complex analysis.

Discussion Character

  • Debate/contested
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • One participant questions the validity of squaring both sides of the equation \(e^{i\pi} = -1\) and suggests that it may be coincidental due to the nature of Euler's formula.
  • Another participant asserts that while \(ln(e^{2i\pi}) = ln(1)\) is correct, the interpretation of \(2i\pi = ln(1)\) is flawed, as the natural logarithm of a complex number is multivalued.
  • A different participant emphasizes that \(e^{2n\pi i} = 1\) for any integer \(n\), indicating that \(ln(1) = 2n\pi i\) for all \(n\), thus reinforcing the multivalued nature of the logarithm.
  • One participant points out that the issue lies in the first two lines of the proof, stating that \(e^{ix}\) is not invertible and that the single-valued logarithm is not the inverse of the exponential function.

Areas of Agreement / Disagreement

Participants express disagreement regarding the interpretation of the logarithm and the validity of the algebraic steps in the proof. There is no consensus on the correct approach to the problem, and multiple competing views remain.

Contextual Notes

The discussion highlights the limitations of applying the natural logarithm to complex exponentials without considering their multivalued nature and the implications of algebraic manipulations in this context.

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.
 
Physics 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.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K