Q.
What is the value of $\int\limits_{0}^{1}\cos \left(\pi x\right)\cos\left(\left[2x\right]\pi\right)dx $ ?
(Here $[t]$ denotes the integral part of the real number $t$ )
KVPYKVPY 2009
Solution: