已知，且t是大于0的常数，的最小值为9，则t=________．

已知函数f（x）=msinx+ncosx，且f(

π

4

)是它的最大值，（其中m、n为常数且mn≠0）给出下列命题：
①f(x+

π

4

)是偶函数；
②函数f（x）的图象关于点(

7π

4

，0)对称；
③f(-

3π

4

)是函数f（x）的最小值；
④记函数f（x）的图象在y轴右侧与直线y=

m

2

的交点按横坐标从小到大依次记为P₁，P₂，P₃，P₄，…，则|P₂P₄|=π
⑤

m

n

=1．
其中真命题的是（写出所有正确命题的编号）

已知0＜x＜

π

2

，且t是大于0的常数，f(x)=

1

sinx

+

t

1-sinx

的最小值为9，则t=．