下面有五个命题:①函数y=sin 4 x-cos 4 x的最小正周期是π;②终边在y轴上的角的集合是{a|a= ,k∈Z