sinx=(e^(ix)-e^(-ix))/(2i)=e
これをt=e^ixについての２次方程式
(t-1/t)/2i=e
と見れば0でない解を持つから
xも存在