y=cos的平方(x-派/4)-1的最小正周期