logo

실수의 허수승의 크기는 항상 1이다 📂복소해석

실수의 허수승의 크기는 항상 1이다

정리

riθ=1 \left| r^{i \theta} \right| = 1 00 이 아닌 실수 r,θr, \theta 에 대해 rθr^{\theta}허수승의 크기는 11 이다.

설명

흔히 eiθ=1\left| e^{i \theta} \right| = 1 는 잘 숙지하고 있지만 밑이 딱히 ee 가 아닌 어떤 실수라도 상관없다는 건 떠올리기 어렵다. 생각해보면 당연히 성립이야하겠지만 이렇게는 잘 쓸 일이 없어서인데, 상상보다 정말 많은 정리에서 보조정리로써 사용된다.

증명

θ=0\theta = 0 이면 r0=1r^0=1 이므로 당연히 riθ=ri0=1\left| r^{i \theta} \right| = \left| r^{i \cdot 0} \right| = 1 이 성립한다.

θ0\theta \ne 0 이면 riθ=eiθlnr=eiθ(Logr+iargr) \left| r^{i \theta} \right| = \left| e^{i \theta \ln r} \right| = \left| e^{i \theta (\text{Log} |r| + i \arg r )} \right| argr=0\arg r = 0 이므로 eiθ(Logr+iargr)=eiθLogr \left| e^{i \theta (\text{Log}|r| + i \arg |r| )} \right| = \left| e^{i \theta \text{Log}|r| } \right| θ:=θLogr \theta^{\prime} := \theta \text{Log}|r| 역시 실수고, 모든 실수 θ\theta ' 에 대해 eiθ=1\left| e^{i \theta^{\prime}} \right| = 1 이므로 eiθLogr=eiθ=1 \left| e^{i \theta \text{Log}|r| } \right| = \left| e^{i \theta^{\prime}} \right| = 1