Making easy things hard

Have you had the experience of having an ingenious proof of something, going through many twists and turns and using surprising results from all over the place, which turned out to be completely unnecessary because a very much simpler argument would do?

Ian Wanless and I needed to know that the following result is true:

Let S be the set of positive integers n with the property that the prime-power factors of n are congruent to 0 or 1 (mod 3). Then, for any positive integer n, there is a member of S between n and n+o(n).

The proof went like this. A theorem of Euler asserts that a prime number p can be written in the form x2+3y2 if and only if it is congruent to 0 or 1 (mod 3). Using this and a multiplicative identity asserting that the product of two numbers of the form x2+3y2 again has this form, it follows that our set S consists of all integers expressible in this form. Now these representatations correspond to integer lattice points lying on a certain ellipse. Using a geometric argument it is easy to see that, if we take the ellipse x2+3y2=n and expand it by a small factor, we catch a new lattice point, and so find a new member of S.

The proof should have gone like this. The set S contains the set of squares, which clearly has the required density property.

But the nice thing is that I don’t have to feel stupid about this. I learned some number theory on the way, and had some good practice in doing estimates using Euclidean geometry.

Even better, the simple argument generalises and proves much more!


About Peter Cameron

I count all the things that need to be counted.
This entry was posted in doing mathematics and tagged . Bookmark the permalink.

One Response to Making easy things hard

  1. Immediately after posting this, I found that I had shot myself in the foot.

    Our Soviet-style planning document includes the statement “Pure mathematicians to be encouraged to write longer papers”. Shortening the paper by two pages was clearly contrary to departmental plans!

Leave a Reply

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

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

Twitter picture

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

Facebook photo

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

Google+ photo

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

Connecting to %s