흔히 eiθ=1 는 잘 숙지하고 있지만 밑이 딱히 e 가 아닌 어떤 실수라도 상관없다는 건 떠올리기 어렵다. 생각해보면 당연히 성립이야하겠지만 이렇게는 잘 쓸 일이 없어서인데, 상상보다 정말 많은 정리에서 보조정리로써 사용된다.
증명
θ=0 이면 r0=1 이므로 당연히 riθ=ri⋅0=1 이 성립한다.
θ=0 이면
riθ=eiθlnr=eiθ(Log∣r∣+iargr)argr=0 이므로
eiθ(Log∣r∣+iarg∣r∣)=eiθLog∣r∣θ′:=θLog∣r∣ 역시 실수고, 모든 실수 θ′ 에 대해 eiθ′=1 이므로
eiθLog∣r∣=eiθ′=1