# How to prove this sum of integrals

How to prove this ? $$\displaystyle \sum\limits_{k=0}^{\infty }{\int_{2k\pi }^{\left( 2k+1 \right)\pi }{{{\text{e}}^{-\frac{x}{2}}}\frac{\left| \sin x-\cos x \right|}{\sqrt{\sin x}}}}\text{d}x=\frac{2\cdot \sqrt[4]{8}{{\text{e}}^{-\frac{\pi }{8}}}}{1-{{\text{e}}^{-\pi }}}$$

-
Any attempts from your side? – Eckhard Dec 29 '12 at 15:42

In the summand integral, perform a change of variables, $x= 2 \pi k + t$: $$\int_{2 \pi k}^{2 \pi k + \pi} \exp\left(-\frac{x}{2}\right) \frac{| \sin x - \cos x|}{\sqrt{ \sin x}} \mathrm{d}x = \exp(-\pi k) \int_0^\pi \exp(-t/2) \frac{| \sin t - \cos t|}{\sqrt{ \sin t}} \mathrm{d}t$$ Therefore: $$\sum_{k=1}^\infty \int_{2 \pi k}^{2 \pi k + \pi} \exp\left(-\frac{x}{2}\right) \frac{| \sin x - \cos x|}{\sqrt{ \sin x}} \mathrm{d}x = \sum_{k=0}^\infty \exp(-\pi k) \cdot \int_0^\pi \exp(-t/2) \frac{| \sin t - \cos t|}{\sqrt{ \sin t}} \mathrm{d}t$$ The problem is now split into two simpler problems: a trivial sum, and less trivial integral. The integral admits an anti-derivative: $$\frac{\mathrm{d}}{\mathrm{d}t} \left( 2 \sqrt{\sin t} \exp(-t/2) \right) = \exp(-t/2) \frac{\cos t - \sin t}{\sqrt{\sin t}}$$ You should be able to finish it off now.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}