Sunday, November 1, 2009

y = x - (x - y): a Consequence Thereof

Last year I discovered a trick for helping myself to fall asleep at night. When I lie down in bed, I close my eyes and think about ways to prove the Pythagorean theorem. Usually I'm asleep in no time! It's very peaceful, watching those little triangles float past my mind's eye, like so many tricorn sheep leaping a stone wall.

The first two of these narcotic proofs turned out to exist already (as I noted here and here). Amusingly enough, however, the third seems to be new. Claims of novelty are never certain when it comes to the Pythagorean theorem, but in any case, you can see the proof at Forum Geometricorum, an open-access, peer-reviewed geometry journal with a recreational slant.

The idea for the proof is to use the subtraction formulas for sine and cosine to derive the trigonometric identity cos^2(x) + sin^2(x) = 1. From this identity the Pythagorean theorem follows immediately.

There are some details involved, but here is the crux of the argument. Given any x with 0 < x < 90, let y be any number with 0 < y < x < 90. Then x, y, and x-y are all strictly between 0 and 90 degrees, so we may straightforwardly apply the subtraction formulas cos(a-b) = cos(a)cos(b) + sin(a)sin(b) and sin(a-b) = sin(a)cos(b) - sin(b)cos(a). We note that:

cos(y) = cos(x-(x-y)) = cos(x)cos(x-y) + sin(x)sin(x-y) = cos(x)[cos(x)cos(y) + sin(x)sin(y)] + sin(x)[sin(x)cos(y) - sin(y)cos(x)] = cos(y)[cos^2(x) + sin^2(x)].

Hence cos^2(x) + sin^2(x) = 1. QED.

Strangely, it does not seem to have been recognized before that the identity cos^2(x) + sin^2(x) = 1 can be derived independently of the Pythagorean theorem using the subtraction formulas. (Of course, to be certain of this, one would have to comb through three centuries' worth of trigonometry textbooks!)

A note on the proof can be found at the recreational math website cut-the-knot.


The algebraic manipulation used above can also be represented diagrammatically using triangles; this yields a more traditional style proof, as shown here. The recursion that is apparent in the algebraic argument gets rendered diagrammatically by nesting a little proof of the subtraction formulas inside a bigger proof of the subtraction formulas.

I'm not sure whether I think of the diagrammatic version and the trigonometric version as being distinct. The style of reasoning is quite different in the two cases, although the two arguments are of course direct transcriptions of one another in some sense.

In any case, it is interesting to note that because the y parameter is arbitrary, the diagram is in a sense "flexible" - it can be drawn in infinitely many ways for any given initial right triangle. In that sense the basic argument spawns infinitely many proofs of the Pythagorean theorem. I made a movie in which each frame represents one of these proofs; you can see it on YouTube or here.

Dorothy Jean Zimba, 1931-2009

On October 28, 2009, Mrs. Dorothy Jean Zimba, of North Bennington, Vermont, died in her sleep of natural causes. She was 77 years old.

Dorothy was born in Chattanooga, Tennessee, in 1931. In her first marriage, to Mr. Ray Bailey of Chattanooga, she had two sons. Later she married Mr. Richard Zimba of Dearborn Heights, Michigan; the couple had three children together and remained happily married until the end of Dorothy's life. For decades, husband and wife worked alongside one another in the family business, Rip's Drive-In, a suburban Detroit landmark during its time.

A gifted storyteller with a lively laugh, Dorothy was admired for her outgoing personality and incisive intelligence. She was a crossword prodigy and a formidable opponent in card games of all kinds. Her hobbies included needlework, gardening, collecting antiques, and painting landscapes and still lifes.

Dorothy's health began to decline in 2007, and at that time she relocated from Michigan to Vermont with her husband. She resided at Watson House and Prospect House in North Bennington, facilities in which she received kind and attentive care until her passing. Dorothy will be lovingly remembered by her husband, Richard; by her five children: Mr. David Bailey, Issaquah, Washington; Mr. Wayne Bailey, Southgate, Michigan; Ms. Intissar Greene, Mesa, Arizona; Ms. Jilly Dybka, Kingston Springs, Tennessee; and Dr. Jason Zimba, Pownal, Vermont; by her five grandchildren: Sgt. Erik Bailey, Camp Liberty, Iraq; Mr. Robert Bailey, Monroe, Michigan; Mr. Jonathan Bailey, Issaquah, Washington; Miss Abigail Zimba, Pownal, Vermont; and Miss Claire Elizabeth-Jean Zimba, Pownal, Vermont; by her two great-grandchildren, Miss Madalyn Bailey, Monroe, Michigan, and Miss Joanna Bailey, Monroe, Michigan; by her sister, Mrs. Patsy Ramsey, Ringold, Georgia; by her two nephews, Mr. Chris Ramsey, Tampa, Florida, and Mr. Barry Ramsey, Ringold, Georgia; by her grandniece, Ms. Valerie Ramsey, Tampa, Florida; by her great-grandniece, Miss Caitlyn Ramsey, Tampa, Florida; and by her many cousins.