Tag Archives: series

Statistics and Series

I was inspired by the article “Errors in Mathematics Aren’t Always Bad” (Sheldon Gordon, Mathematics Teacher, August 2011, Volume 105, Issue 1) to think about an innovative way to introduce series to my precalculus class without using any of the traditional calculus that’s typically required to derive them.  It’s not a proof, but it’s certainly compelling and introduces my students to an idea that many find challenging in a much less demanding environment.

Following is a paraphrase of an activity I took my students through in January.  They started by computing and graphing a few points on y=e^x near x=0.

The global shape is exponential, but this image convinced them to try a linear fit.

Simplifying a bit, this linear regression suggests that e^x\approx x+1 for values of x near x=0.  Despite the “strength” of the correlation coefficient, we teach our students always to look at the residuals from any attempted fit.  If you have ever relied solely on correlation coefficients to determine “the best fit” for a set of data, the “strength” of r \approx0.998402 and the following residual plot should convince you to be more careful.

The values are very small, but these residuals (res1=e^x-(x+1))  look pretty close to quadratic even though the correlation coefficient was nearly 1.  Fitting a quadratic to (xval,res1) gives another great fit.

The linear and constant coefficients are nearly zero making res1\approx\frac{1}{2}x^2.  Therefore, a quadratic approximation to the original exponential is e^x \approx\frac{1}{2}x^2+x+1.  But even with another great correlation coefficient, hopefully the last step has convinced you to investigate the new residuals, res2=e^x-(\frac{1}{2}x^2+x+1).

And that looks cubic.  Fitting a cubic to (xval,res2) gives yet another great fit.

This time, the quadratic, linear, and constant coefficients are all nearly zero making res2\approx.167x^3.  The simplest fraction close to this coefficient is \frac{1}{6} making cubic approximation e^x \approx\frac{1}{6}x^3+\frac{1}{2}x^2+x+1.  One more time, check the new residuals, res3=e^x-(\frac{1}{6}x^3+\frac{1}{2}x^2+x+1).

Given this progression and the “flatter” vertex, my students were ready to explore a quartic fit to the res3 data.

As before, only the highest degree term seems non-zero, giving res3\approx0.04175x^4.  Some of my students called this coefficient \frac{1}{25} and others went for \frac{1}{24}.  At this point, either approximation was acceptable, leading to e^x \approx\frac{1}{24}x^4+\frac{1}{6}x^3+\frac{1}{2}x^2+x+1.

My students clearly got the idea that this approach could be continued as far as desired, but since our TI-Nspire had used its highest polynomial regression (quartic) and the decimals were getting harder to approximate, we had enough.  As a final check, they computed a quartic regression on the original data, showing that the progression above could have been simplified to a single step.

If you try this with your classes, I recommend NOT starting with the quartic regression.  Students historically have difficulty understanding what series are and from where they come.  My anecdotal experiences from using this approach for the first time this year suggest that, as a group, my students are far more comfortable with series than ever before.

Ultimately, this activity established for my students the idea that polynomials can be great approximations for other functions at the same time we crudely developed the Maclaurin Series for e^x\approx\frac{1}{4!}x^4+\frac{1}{3!}x^3+\frac{1}{2!}x^2+x+1, a topic I’m revisiting soon as we explore derivatives.  We also learned that even very strong correlation coefficients can hide some pretty math.

Advertisements

A little-known series test

I just encountered this one on March 26, 2012 AP Calculus EDG courtesy of Doug Kuhlmann with the original article from the Mathematics Magazine, Vol 57 No.4 September 1984.  The article is available here.

I thought it was cool enough to repost here. The wording is slightly reworked and LaTeXed from Doug’s AP Calculus EDG posting.

Suppose f is a function such that f(\frac{1}{n})=a_n and f''(0) exists.  Then \sum_{n=1}^{\infty}a_n converges absolutely if f(0)=0 and f'(0)=0 and diverges otherwise.

Here are two examples:

  1. If a_n=\frac{1}{n^2} then f(x)=x^2.  In this case, f(0)=0 and f'(0)=0, therefore \sum_{n=1}^{\infty}\frac{1}{n^2} converges.
  2. If a_n=\frac{1}{n} then f(x)=x.  Since f'(0)=1, therefore \sum_{n=1}^{\infty}\frac{1}{n} diverges.

A student taught me

About 10 years ago, I was introducing a lesson on series in a calculus class. This course was the first for which I had a Computer Algebra System (CAS, in this case, a TI-89) in the hands of every student. I’ve learned that “off task” who are still engaged in the class are typically the most creative sources of ideas.

In this case, I was using the CAS as a support and verification tool on a lesson reviewing geometric series and introducing the harmonic series. At the end of class, a student approached me with his CAS in hand and an intensely puzzled look on his face. He asked, “How did this happen?” and showed me his calculator screen.

Note the power of the CAS in this instance to handle way more math than the student understood, but it definitely piqued his interest and mine with its handling of an infinite bound, and especially for they completely unexpected appearance of \pi^2. What in the world was going on here? Surely there must be some error.

I had no clue, but promised to get back to him within the next few days. After a week of trying to solve it on my own and not really knowing to engage a network for help, I humbly returned to my student and confessed that I simply didn’t have an answer for him even though the problem looked amazingly cool. I played with the problem off-and-on over the ensuing months until one Saturday afternoon two years later when I was reading a math article on Euler that offers his ideas on product series. [I had never studied such things. Whether my background should have been broader is an open question.]

If you don’t have the stomach or time or inclination to consume the proof that follows, please scroll to the last few paragraphs of this post for my general comments on the reach of this problem.

Spoiler Alert: If you want to explore why the series sum my student re-discovered is true, stop reading now!

The following proof may not be absolutely water-tight, but it is how I’ve come to understand Euler’s stunning solution.

If you remember Maclaurin Series from differential calculus, you might recall that the polynomial equivalent for the sine function at x=0 is sin(x)=\sum_{n=1}^{infnty}\frac{x}^{2n-1}{(2n-1)!}=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+...

The connection I missed for two years was that this is just a polynomial, and polynomials can be factored. OK, sine’s not really a polynomial, but if you can approximate it as an expanded polynomial (the Maclaurin series above), why can’t you do the same in factored form?

So, the x-intercepts of sine are and by the typical manner of writing factored polynomials today, one would write But polynomial factors can also be written in the slightly more complicated form, , which actually ends of simplifying this problem significantly.

The coefficient A allows the factor (product) series to vertically stretch to fit any curve with the given roots. Notice, too, that the equidistant terms on either side of the x term are conjugates, so the series can be further rewritten as an infinite product of differences of squares.

But now there are two polynomials representing the same function, so the polynomials must be equivalent. Therefore,

a pretty amazing equivalence in its own right.

Whenever two polynomials are equivalent, their coefficients must be equal when the polynomials are written in the same form. To explore this, you can expand the product form. Notice that the Maclaurin polynomial doesn’t have a constant term, and neither does the factored term because any combination of terms from the product eventually must multiply by the Ax term. Continuing this reasoning, the only way to get a linear term is to take the Ax term and then multiply by the 1 from every single binomial factor. Anything else would yield a term with degree higher than 1. Equating the linear terms from the product expansion (Ax) and the Maclaurin series (x) proves that A=1.

You can reason why the product series cannot produce quadratic terms, so turn your attention now to the cubic terms. The only cubic terms in the expansion of the product series come from multiplying the leading x term by a quadratic term in ONE of the binomial factors and by the 1 terms in all of the remaining binomial factors. Collecting all of these cubic terms and equating them to the known Maclaurin cubic term gives

Factoring out allows the coefficients to compared and a minor re-arrangement from there proves my student’s result.

I’ve always been blown away by how quickly this proof collapses from very cumbersome equations into such a beautiful result. It also amazes me that while a sine function was used to leverage the proof, the final result conveys nothing of its presence. Equating higher order terms from the two series allows you to compute the value of for any even values of k, but odd powers of k greater than 1 are still an outstanding problem in mathematics. We know they converge; we simply don’t have closed form values for their sums. Anyone up for the challenge?

(By the way, you can read here some historical context and connections from this problem to much more substantial mathematics today, including a connection to the zeta function which underlies the current search for a proof to the prime number theorem.)

This is some pretty heady stuff for a student who just wanted to know what happened if you tweaked an expression a little bit. But then, isn’t that how all good math starts? My only regret is that the student who initially posed the problem graduated high school before we could find the answer to his question. The positive side is that hundreds of my students since then have been able to see this gorgeous connection.

I hope all my students know that I value their questions (no matter how shallow, deep, or off-topic) and that I learn more and become a better teacher with every new perspective they share.

Post-scripts (9/5/11) from communications with David Doster:  I knew that I was walking in the footsteps of others as I created the proof above on my own, but a serendipitous communication with a colleague I met at a 1993 Woodrow Wilson institute on the Mathematics of Change.  David pointed me toward Robin Chapman’s Home Page which includes 14 different proofs of this result–Euler’s (and my) proof is the 7th in that list.  This result has also been a favorite of William Dunham as published in his books Journey Through Genius and  Euler, The Master of Us All, both definitely worth reading.