(泛函分析)证明:存在闭区间[0,1]上的连续函数x(t),使得x(t)=sinx(t)-a(t),其中a(t)是给定的