已知，且t是大于0的常數(shù)，的最小值為9，則t=________．

已知函數(shù)f（x）=msinx+ncosx，且f(

π

4

)是它的最大值，（其中m、n為常數(shù)且mn≠0）給出下列命題：
①f(x+

π

4

)是偶函數(shù)；
②函數(shù)f（x）的圖象關(guān)于點(diǎn)(

7π

4

，0)對(duì)稱；
③f(-

3π

4

)是函數(shù)f（x）的最小值；
④記函數(shù)f（x）的圖象在y軸右側(cè)與直線y=

m

2

的交點(diǎn)按橫坐標(biāo)從小到大依次記為P₁，P₂，P₃，P₄，…，則|P₂P₄|=π
⑤

m

n

=1．
其中真命題的是（寫出所有正確命題的編號(hào)）

已知0＜x＜

π

2

，且t是大于0的常數(shù)，f(x)=

1

sinx

+

t

1-sinx

的最小值為9，則t=．