If [x] denotes the greatest integer less than or equal to x, then the value of the integral ∫−π/2π/2[[x]−sinx]dx is equal to :
Solutions · 1
Official solution
\[I=\int_{-\pi/2}^{\pi/2}\left([x]+[-\sin x]\right)dx\ \ldots(1)\]
Using King's rule (x→−x):
\[I=\int_{-\pi/2}^{\pi/2}\left([-x]+[\sin x]\right)dx\ \ldots(2)\]
Adding (1) and (2), and using [x]+[−x]=−1 (for non-integer x) and [sinx]+[−sinx]=−1:
\[2I=\int_{-\pi/2}^{\pi/2}(-2)\,dx=-2\pi\ \Rightarrow\ I=-\pi\]