任意の実数　x　について　(1+x^2) [cos{∫[0→x]dt/(1+t^2)}]^2　 = 1　を示せ

という問題が分かりません。どなたか教えて下さい。