Given that $\frac{d}{d x} \int_0^{\phi(x)} f(t) d t=f(\phi(x)) \phi^{\prime}(x)$. For all $x \in\left(0,…
Given that $\frac{d}{d x} \int_0^{\phi(x)} f(t) d t=f(\phi(x)) \phi^{\prime}(x)$. For all $x \in\left(0, \frac{\pi}{2}\right)$, if $\int_1^{\cos x} t^2 f(t) d t=\cos 2 x$, then $f\left(\frac{1}{\sqrt{2}}\right)=$