If [] denotes the greatest integer function, then the integral ∫0π[cosx]dx is equal to:
Solutions · 1
Official solution
Let I=∫0π[cosx]dx (1)
I=∫0π[cos(π−x)]dx=∫0π[−cosx]dx (2)
Adding (1) and (2): 2I=∫0π([cosx]+[−cosx])dx=∫0π(−1)dx (since [y]+[−y]=−1 for y∈/Z)
2I=−π⇒I=−2π