If [x] is the greatest integer ≤x, then the value of the integral ∫−0.90.9([x2]+log(2+x2−x))dx is:
Solutions · 1
Official solution
∫−0.90.9[x2]dx+∫−0.90.9log(2+x2−x)dx=0+∫−0.90.9log(2+x2−x)dx
(since [x2]=0 for −0.9≤x≤0.9, being an even function, its integral doesn't vanish in general but here ∫[x2]dx=0 since x2<1 throughout)
Let f(x)=log(2+x2−x); f(−x)=log(2−x2+x)=−f(x), so f is odd.
Hence the required integral =0