>>898
2πより小さい周期p(0<p<2π)をもったと仮定する。
sin(x+p)=sinxが任意の実数xについて成立する。
変形すると
cos(x+p/2)sin(p/2)=0
これが任意の実数xについて成立するから
sin(p/2)=0
ところが0<p/2<πなので矛盾する。