How I Impressed My Wife: Part 5h

Earlier in this series, I gave three different methods of showing that

$Q = \displaystyle \int_0^{2\pi} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x} = \displaystyle \frac{2\pi}{|b|}.$

Using the fact that $Q$ is independent of $a$ , I’ll now give a fourth method.

green line

Since $Q$ is independent of $a$ , I can substitute any convenient value of $a$ that I want without changing the value of $Q$ . As shown in previous posts, substituting $a =0$ yields the following simplification:

$Q = \displaystyle \int_0^{2\pi} \frac{dx}{\cos^2 x + 2 a \sin x \cos x + (a^2 + b^2) \sin^2 x}$

$= \displaystyle \int_{0}^{2\pi} \frac{dx}{\cos^2 x + 2 \cdot 0 \cdot \sin x \cos x + (0^2 + b^2) \sin^2 x}$

$= \displaystyle \int_{0}^{2\pi} \frac{dx}{\cos^2 x + b^2 \sin^2 x}$

$= \displaystyle \int_{-\pi}^{\pi} \frac{dx}{\cos^2 x + b^2 \sin^2 x}$

$= \displaystyle \int_{-\infty}^{\infty} \frac{ 2(1+u^2) du}{u^4 + (4 b^2 - 2) u^2 + 1}$

The four roots of the denominator satisfy

$u^2 = \displaystyle 1 - 2b^2 \pm 2|b| \sqrt{b^2 - 1}$

So far, I’ve handled the cases $|b| = 1$ and $|b| > 1$ . In today’s post, I’ll start considering the case $|b| < 1$ .

Factoring the denominator is a bit more complicated if $|b| < 1$ . Using the quadratic equation, we obtain

$u^2 = \displaystyle 1 - 2b^2 \pm 2|b| i \sqrt{1-b^2}$

However, unlike the cases $|b| \ge 1$ , the right-hand side is now a complex number. So, To solve for $u$ , I’ll use DeMoivre’s Theorem and some surprisingly convenient trig identities. Notice that

$(1-2b^2)^2 + (2|b| \sqrt{1-b^2})^2 = 1 - 4b^2 + b^4 + 4b^2 (1 - b^2) = 1 - 4b^2 + b^4 + 4b^2 - b^4 = 1$ .

Therefore, the four complex roots of the denominator satisfy $|u^2| = 1$ , or $|u| = 1$ . This means that all four roots can be written in trigonometric form so that

$u^2 = \cos 2\phi + i \sin 2\phi$ ,

where $2\phi$ is some angle. (I chose the angle to be $2\phi$ instead of $\phi$ for reasons that will become clear shortly.)

I’ll begin with solving

$u^2 = \displaystyle 1 - 2b^2 + 2|b| i \sqrt{1-b^2}$ .

Matching the real and imaginary parts, we see that

$\cos 2\phi = 1-2b^2$ ,

$\sin 2\phi = 2|b| \sqrt{1-b^2}$

This completely matches the form of the double-angle trig identities

$\cos 2\phi = 1 - 2\sin^2 \phi$ ,

$\sin 2 \phi = 2 \sin\phi \cos \phi$ ,

and so the problem reduces to solving

$u^2 = \cos 2\phi + i \sin 2\phi$ ,

where $\sin \phi = |b|$ and $\cos \phi = \sqrt{1-b^2}$. By De Moivre’s Theorem, I can conclude that the two solutions of this equation are

$u = \pm(\cos \phi + i \sin \phi)$ ,

or

$u = \pm( \sqrt{1-b^2} + i |b|)$ .

I could re-run this argument to solve $u^2 = \displaystyle 1 - 2b^2 - 2|b| i \sqrt{1-b^2}$ and get the other two complex roots. However, by the Conjugate Root Theorem, I know that the four complex roots of the denominator $u^4 + (4 b^2 - 2) u^2 + 1$ must come in conjugate pairs. Therefore, the four complex roots are

$u = \pm \sqrt{1-b^2} \pm i |b|$ .

Therefore, I can factor the denominator as follows:

$u^4 + (4 b^2 - 2) u^2 + 1 = (u - [\sqrt{1-b^2} + i|b|])(u - [\sqrt{1-b^2} - i|b|])$

$\qquad \times (u - [-\sqrt{1-b^2} + i|b|])(u - [-\sqrt{1-b^2} + i|b|])$

$= (u - \sqrt{1-b^2} - i|b|)(u - \sqrt{1-b^2} + i|b])$

$\qquad \times (u +\sqrt{1-b^2} + i|b|)(u +\sqrt{1-b^2} + i|b|)$

$= ([u - \sqrt{1-b^2}]^2 +b^2)([u + \sqrt{1-b^2}]^2 +b^2)$

To double-check my work, I can directly multiply this product:

$([u - \sqrt{1-b^2}]^2 +b^2)([u + \sqrt{1-b^2}]^2 +b^2)$

$= (u^2 - 2u \sqrt{1-b^2} + 1 - b^2 + b^2) (u^2 + 2u \sqrt{1-b^2} + 1 - b^2 + b^2)$

$= ([u^2 +1] - 2u\sqrt{1-b^2})([u^2+1] + 2u\sqrt{1-b^2})$

$= [u^2+1]^2 - [2u\sqrt{1-b^2}]^2$

$= u^4 + 2u^2 + 1 - 4u^2 (1-b^2)$

$= u^4 + u^2 (2 - 4[1-b^2]) + 1$

$= u^4 + u^2 (4b^2 - 2) + 1$ .

So, at last, I can rewrite the integral $Q$ as

$Q = \displaystyle \int_{-\infty}^{\infty} \frac{ 2(1+u^2) du}{ ([u - \sqrt{1-b^2}]^2 +b^2)([u + \sqrt{1-b^2}]^2 +b^2)}$

I’ll continue with this fourth evaluation of the integral, continuing the case $|b| < 1$ , in tomorrow’s post.

by John Quintanilla on August 20, 2015 • Permalink

Posted in Calculus, Precalculus

Tagged complex numbers, cosine, De Moivre's Theorem, double angle trig identities, integral, polar coordinates, sine, square root, trigonometry

Posted by John Quintanilla on August 20, 2015

https://meangreenmath.com/2015/08/20/how-i-impressed-my-wife-part-5h/

Leave a comment

1 Comment

How I Impressed My Wife: Index | Mean Green Math

Leave a Reply Cancel reply

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Google+ account. ( Log Out / Change )

You are commenting using your Twitter account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

w

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Search for:
Follow Blog via Email

Enter your email address to follow this blog and receive notifications of new posts by email.
Top Posts & Pages
Archives
- June 2018
- May 2018
- April 2018
- March 2018
- February 2018
- January 2018
- December 2017
- November 2017
- October 2017
- September 2017
- August 2017
- July 2017
- June 2017
- May 2017
- April 2017
- March 2017
- February 2017
- January 2017
- December 2016
- November 2016
- October 2016
- September 2016
- August 2016
- July 2016
- June 2016
- May 2016
- April 2016
- March 2016
- February 2016
- January 2016
- December 2015
- November 2015
- October 2015
- September 2015
- August 2015
- July 2015
- June 2015
- May 2015
- April 2015
- March 2015
- February 2015
- January 2015
- December 2014
- November 2014
- October 2014
- September 2014
- August 2014
- July 2014
- June 2014
- May 2014
- April 2014
- March 2014
- February 2014
- January 2014
- December 2013
- November 2013
- October 2013
- September 2013
- August 2013
- July 2013
- June 2013
Categories
- Algebra I (169)
- Algebra II (260)
- Bases (43)
- Calculus (224)
- Chemistry (9)
- Computer science (9)
- Discrete mathematics (201)
- Elementary (146)
- Engagement (629)
- Geometry (190)
- Guest presenter (367)
- History (51)
- Humor (230)
- News Clips (113)
- Physics (34)
- Popular Culture (200)
- Pre-Algebra (153)
- Precalculus (464)
- Preparing for college (12)
- Probability (82)
- Statistics (77)
- Tales from the Classroom (210)
- Technology (74)
- Theorems (152)
- Uncategorized (51)
Tags
angle antilogarithm arccosine arcsine arctangent area arithmetic series bag of tricks binary circle combinatorics Common Core complex numbers compound interest conceptual barrier confidence interval convex polygons cosine decimal De Moivre's Theorem derivative differential equation distributive law divisibility division algorithm e exponent exponential factorial factoring fraction function gamma geometric series graph high-stakes testing hypothesis test index to a series of posts induction integral inverse function law of cosines law of sines limit logarithm logic MAA magic trick matrices multiplication Pascal's triangle polar coordinates polynomial primes PRIMUS proof Pythagorean theorem Pythagorean trig identities quadratic formula regression residue sequence series sine slope sports square root system of equations tangent Taylor series textbook problems triangle trigonometry unsolved problems xkcd
Meta

%d bloggers like this: