Let [t] denote the greatest integer ≤t. Then π2∫π/65π/6(8[cscx]−5[cotx])dx is equal to \_\_\_\_\_\_\_\_\_\_.
Answer: 14
Solutions · 1
Official solution
On [π/6,5π/6], cscx≥1 so [cscx]=1 throughout (equal to 1 except possibly at x=π/2 where it's exactly 1 too):
\[8\int_{\pi/6}^{5\pi/6}[\csc x]\,dx = 8\int_{\pi/6}^{5\pi/6}1\,dx = 8\cdot\frac{2\pi}3 = \frac{16\pi}3\]
For cotx: by King's rule (x→π−x), [cotx]+[−cotx]=−1 (since cotx is never an integer on this range except possibly x=π/2), so
\[I=\int_{\pi/6}^{5\pi/6}[\cot x]\,dx,\qquad 2I=\int_{\pi/6}^{5\pi/6}\big([\cot x]+[-\cot x]\big)dx=-\int_{\pi/6}^{5\pi/6}dx=-\frac{2\pi}3\]
\[I=-\frac{\pi}3 \implies -5I = \frac{5\pi}3\]
\[\frac2\pi\left(\frac{16\pi}3+\frac{5\pi}3\right) = \frac2\pi\cdot\frac{21\pi}3 = 14\]