Satz 5.17 sin und cos sind periodisch mit der Periode 2π, und es ist sin(x + π 2) = cos x und cos(x + π 2) = - sin x.