已知:f(cos x)=cos 17x,求证:f(sin x)=sin 17x