Ivars Peterson's MathTrek
March 3, 2003
Fermat numbers have what mathematicians sometimes describe as a "beautiful mathematical form," involving powers of 2. They were of interest 400 years ago and are now the subject of a wide-ranging worldwide computer search.
A Fermat number has the form 22n + 1, where n is a whole number equal to or greater than 0. The first Fermat number, F0, is 220 + 1, or 3. The second Fermat number, F1, is 221 + 1, or 5; the third is 24 + 1, or 17; followed by 257, 65537, and 4294967297. What's striking about the sequence is the rapidity with which the numbers grow larger.
Written in binary notation, a Fermat number, Fn, consists of 2n 1 zeroes between an initial and a final 1. So, 5 is 101, 17 is 1001, and 257 is 100001.
In 1640, French mathematician Pierre de Fermat (16011665) conjectured that all such numbers are primes, based on the observation that the first five are prime numbers. In writing to Marin Mersenne (15881648), Fermat noted, "If I can determine the basic reason why 3, 5, 17, 257, 65537, . . . are prime numbers, I feel that I would find very interesting results, for I have already found marvelous things [along these lines] which I will tell you about later."
In 1732, Leonhard Euler (17071783) discovered that 641 divides evenly into F5, refuting Fermat's conjecture but setting another challenge: finding divisors of Fermat numbers.
Euler had shown that every divisor of a Fermat number Fn with n greater than 2 has the form k 2 n + 1 + 1. In the case of F5, the divisor would be of the form 128k + 1. The first prime trial divisor is 257 (k = 2), but that doesn't work. The second is 641 (k = 5), and it divides evenly into F5.
Thereafter, mathematicians continued to look for divisors of Fermat numbers, devising a variety of methods for identifying these scarce factors. It wasn't easy to find them. By 1952, they had identified a total of 16 divisors.
With the advent of computers and, recently, a concerted effort to use the spare processing power of computers around the world to test for divisors of Fermat numbers (see http://www.fermatsearch.org/), the search for factors has expanded considerably. As of Feb. 25, 212 Fermat numbers were known to be composite, and searchers had found a total of 245 prime factors. However, only F5 to F11 are completely factored.
One feature of the ongoing search is the race to set the record for the largest Fermat number known to be composite. On Feb. 21, John B. Cosgrove of St. Patrick's College in Dublin, Ireland, found a new champion when he discovered that the Fermat number F2145351 is divisible by the 645817-digit prime number 3*22145353 + 1. The divisor itself is the fifth largest known prime number, and it is the largest that is not a Mersenne prime.
Cosgrove had played a part in the 1999 discovery of the previous record holder, F382447. In describing this number, he noted, "Unimaginably large, its decimal digits cannot be written out in the entire universe."
With that sort of antecedent, there would appear to be no superlatives left to describe the new, immensely larger composite Fermat number. Cosgrove made an attempt, however.
"The size of F2145351 is truly awesome," he said. "To write out its decimal valueat four digits per inch in the horizontal and vertical directionswould require a square sheet of paper with side length exceeding 10322889 light-years."
Awesome is putting it mildly!
Copyright 2003 by Ivars Peterson
Information about the search for divisors of Fermat numbers can be found at http://www.fermatsearch.org/ and http://www.prothsearch.net/fermat.html.
John B. Cosgrove describes the discovery of the largest known composite Fermat number at http://www.spd.dcu.ie/johnbcos/fermat.htm.
Peterson, I. 2000. Great computations. Science News 157(March 4):152-153. Available at http://www.sciencenews.org/20000304/bob9.asp.
Comments are welcome. Please send messages to Ivars Peterson at email@example.com.
A collection of Ivars Peterson's early MathTrek articles, updated and illustrated, is now available as the MAA book Mathematical Treks: From Surreal Numbers to Magic Circles.