已知方程f(x)-k=0在[0,π 2]上只有一解