已知定义在R上的函数,f(x)=asinwx加bcoswx(w大于0)的周期为派,且f(x)小于等于f(12分之派)=4