구간 $[0, 1]$ 에서 함수 $\displaystyle f \left (x \right) = \int _ {x} ^ {1} {\cos \left (t^2 \right)} dt$ 의 평균값은?

• ①$\displaystyle \frac{\sin 1} {2}$
• ②$\sin 1$
• ③$\displaystyle \frac{3 \sin 1} {2}$
• ④$2 \sin 1$
• ⑤$\displaystyle \frac{5 \sin 1} {2}$