25 votos

Demostración de que 0 = 1

Me han propuesto este enigma, pero no consigo resolverlo. Así que aquí está:

$$\begin{align} e^{2 \pi i n} &= 1 \quad \forall n \in \mathbb{N} && (\times e) \tag{0} \\ e^{2 \pi i n + 1} &= e &&(^{1 + 2 \pi i n})\ \text{(raising both sides to the $2\pi in+1$ power)} \tag{1} \\ e^{(2 \pi i n + 1)(2 \pi i n + 1)} &= e^{(2 \pi i n + 1)} = e &&(\text{because of (1)}) \tag{2} \\ e^{1 + 4 \pi i n - 4 \pi^2 n^2} &= e && (\div e) \tag{3} \\ e^{4 \pi i n - 4 \pi^2 n^2} &= 1 &&(n \rightarrow +\infty) \tag{4} \\ 0 &= 1 &&(?) \tag{5} \end{align}$$

Así que la pregunta es: ¿dónde está el error?

1 votos

El otro problema, que las tres respuestas actuales no mencionan, es que $\hspace{1.88 in}$ e-to-the no tiene límite en infinito complejo . $\:$

3 votos

Con todo rigor, falta un paso: a partir de [1] se puede establecer $(e^{2\pi in+1})^{2\pi in+1}=e^{2\pi in+1}$ lo cual es cierto; pero como han señalado varios encuestados, esto no se puede convertir a [2] debido a las propiedades de la potencia compleja ( $(a^b)^c$ no podrá ser sustituido por $a^{(bc)}$ ).

8 votos

@Ricky: No estoy seguro de que $4\pi in-4\pi^2n^2$ sea un caso de infinito complejo, tiene un argumento bien definido ( $\pi$ ). Además la exponencial es igual a $e^{-4\pi^2n^2}$ y tiende claramente a $0$ .

40voto

Zavosh Puntos 4783

El problema es que la regla de poder

$$ (a^b)^c = a^{bc}$$

sólo se cumple cuando $a$ y $b$ son números reales positivos. En esa derivación el paso crucialmente erróneo es

$$ (e^{2 \pi i n + 1})^{2 \pi i n + 1} = e^{(2\pi i n + 1)(2 \pi i n+1)}.$$

4 votos

$b$ no tiene por qué ser positivo si $a$ es (estrictamente) positivo.

2 votos

Sí, por supuesto, ya que en ese caso $a^b = (1/a)^{-b}$ . Gracias por señalarlo.

11 votos

"sólo se sostiene" es una afirmación demasiado fuerte en general. Se pueden dar varios contraejemplos. Pero creo que queda claro que nunca se debe suponer que la propiedad se cumple sin motivo, y la única versión que se desprende de las reglas de "álgebra básica" aprendidas en la escuela es que $(a^b)^c=a^{bc}$ si $a>0$ y $b,c\in\mathbb R$ (aunque los exponentes irracionales apenas se entienden a ese nivel). Como dijo Halmos: "Se permite mentir un poco, pero nunca se debe engañar".

18voto

Yves Daoust Puntos 30126

En números complejos, $e^a=e^b$ no implica que $a=b$ . Por ejemplo, $e^{2\pi in+1}=e$ no implica que $2\pi in+1=1$ .

Por la misma razón, $\log e^a$ no es lo mismo que $a$ y $(e^a)^a:=e^{(\log e^a)a}$ no es lo mismo que $e^{a^2}$ (en su lugar está $e^{(a+2\pi ik)a}$ para algunos $k$ ).

1 votos

Ah, y esto $\log$ introduce un corte de rama que elimina $2i\pi n$ del exponente, lo que es difícil de notar cuando sólo se escribe en la forma $(e^{2i\pi n +1})^{2i\pi n +1}$ . ¡Buena explicación!

0 votos

Correcto, el $\log$ funciona "modulo" $2i\pi$ para que la exponenciación se comporte de forma distinta a la contrapartida real.

0 votos

@YvesDaoust Creo que tu explicación es más exhaustiva, pero la de Prometeo es más sencilla y directa, de ahí que haya aceptado esa respuesta. Gracias

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X