已知，且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=．