# mixedmath

Explorations in math and programming
David Lowry-Duda

Research kicks up, writing kicks back. So in this brief note, we examine a pair of methods to examine an integral. They're both very clever, I think. We seek to understand $$I := \int_0^{\pi/2}\frac{\sin(x)}{\sin(x) + \cos(x)} dx$$

We base our first idea on an innocuous-seeming integral identity.

For ${f(x)}$ integrable on ${[0,a]}$, we have $$\int_0^a f(x) dx = \int_0^a f(a-x)dx. \tag{1}$$

The proof is extremely straightforward. Perform the substitution ${x \mapsto a-x}$. The negative sign from the ${dx}$ cancels with the negative coming from flipping the bounds of integration. ${\diamondsuit}$

Any time we have some sort of relationship that reflects into itself, we have an opportunity to exploit symmetry. Our integral today is very symmetric. As ${\sin(\tfrac{\pi}{2} - x) = \cos x}$ and ${\cos(\tfrac{\pi}{2} - x) = \sin x}$, notice that $$I = \int_0^{\pi/2}\frac{\sin x}{\sin x + \cos x}dx = \int_0^{\pi/2}\frac{\cos x}{\sin x + \cos x }dx.$$ Adding these two together, we see that $$2I = \int_0^{\pi/2}\frac{\sin x + \cos x}{\sin x + \cos x} dx = \frac{\pi}{2},$$ and so we conclude that $$I = \frac{\pi}{4}.$$ Wasn't that nice? ${\spadesuit}$

Let's show another clever argument. Now we rely on a classic across all mathematics: add and subtract the same thing. \begin{align} I = \int_0^{\pi/2}\frac{\sin x}{\sin x + \cos x}dx &= \frac{1}{2} \int_0^{\pi/2} \frac{2\sin x + \cos x - \cos x}{\sin x + \cos x}dx \\ &= \frac{1}{2} \int_0^{\pi/2} \frac{\sin x + \cos x}{\sin x + \cos x}dx + \frac{1}{2}\int_0^{\pi/2}\frac{\sin x - \cos x}{\sin x + \cos x}dx. \end{align} The first term is easy, and evaluates to ${\tfrac{\pi}{4}}$. How do we handle the second term? In fact, we can explicitly write down its antiderivative. Notice that ${\sin x - \cos x = -\frac{d}{dx} (\sin x + \cos x)}$, and so the last term is of the form $$-\frac{1}{2}\int_0^{\pi/2} \frac{f'(x)}{f(x)}dx$$ where ${f(x) = \sin x + \cos x}$. You may or may not remember that ${\frac{f'(x)}{f(x)}}$ is the logarithmic derivative of ${f(x)}$, or rather what you get if you differentiate ${\log f(x)}$. As we are integrating the derivative of ${\log f(x)}$, we see that $$-\frac{1}{2} \int_0^{\pi/2}\frac{f'(x)}{f(x)}dx = -\frac{1}{2} \ln f(x) \bigg\rvert_0^{\pi/2},$$ which for us is $$-\frac{1}{2} \ln(\sin x + \cos x) \bigg\rvert_0^{\pi/2} = -\frac{1}{2} \left( \ln(1) - \ln(1) \right) = 0.$$

Putting these two together, we see again that ${I = \frac{\pi}{4}}$. ${\spadesuit}$

Info on how to comment

bold, italics, and plain text are allowed in comments. A reasonable subset of markdown is supported, including lists, links, and fenced code blocks. In addition, math can be formatted using $(inline math)$ or $$(your display equation)$$.

Please use plaintext email when commenting. See Plaintext Email and Comments on this site for more. Note also that comments are expected to be open, considerate, and respectful.

Comment via email

typo in 3rd display mode equation this one: $$I = \int_0^{\pi/2}\frac{\sin x}{\sin x = \cos x}dx = \int_0^{\pi/2}\frac{\cos x}{\sin x + \cos x }dx.$$ it should be $$I = \int_0^{\pi/2}\frac{\sin x}{\sin x + \cos x}dx = \int_0^{\pi/2}\frac{\cos x}{\sin x + \cos x }dx.$$