Yo era la resolución de algunos ejercicios en el análisis complejo en la preparación para un examen de calificación, y me encontré con un problema que me pidió para demostrar que si $x, y \in \mathbb{R}$
$$ e^{ix} = e^{i y} \iff x - y = 2 \pi n \quad \text{para algunas de} \ n \in \mathbb{Z} $$
Al principio pensé que era bastante fácil y lo que pensé es que era obvio que si he utilizado la fórmula de Euler y equipara partes real e imaginaria, de modo que
$$ e^{ix} = e^{i y} \ffi \cos{x} = \cos{y} \quad \text{y} \quad \sin{x} = \sin{y} $$
y el pensamiento de este en términos de los puntos correspondientes en el círculo unidad. Pero eso no parece muy riguroso para mí. Así que me gustaría preguntar lo siguiente.
¿Cómo puede ser esto confirma con otra definición de las funciones trigonométricas como la definición de la serie o de la definición de las soluciones de la ecuación diferencial $y'' = -y$ con unas condiciones iniciales? Y qué propiedades de las funciones trigonométricas tienen que ser utilizados para demostrar esto?
Nota He pensado en hacer el siguiente, pero todavía no puedo completar el argumento.
$$ e^{ix} = e^{i y} \ffi e^{i(x-y)} = 1 \ffi \cos{(x-y)} = 1 \quad \text{y} \quad \sin{(x-y)} = 0 $$
y ahora me gustaría que a la conclusión de que esto ocurre si y sólo si $x-y = 2 \pi n$, pero no saben cómo justificar esto.
Cualquier ayuda sería muy apreciada. Gracias.