# A trillion triangles: New computer methods reveal secrets of ancient math problem

##### Sep 22, 2009

Mathematicians from North America, Europe, Australia, and South America have resolved the first one trillion cases of an ancient mathematics problem. The advance was made possible by a clever technique for multiplying large numbers. The numbers involved are so enormous that if their digits were written out by hand they would stretch to the moon and back. The biggest challenge was that these numbers could not even fit into the main memory of the available computers, so the researchers had to make extensive use of the computers' hard drives.

According to Brian Conrey, Director of the American Institute of Mathematics, "Old problems like this may seem obscure, but they generate a lot of interesting and useful research as people develop new ways to attack them."

The problem, which was first posed more than a thousand years ago, concerns the areas of right-angled triangles. The surprisingly difficult problem is to determine which whole numbers can be the area of a right-angled triangle whose sides are whole numbers or fractions. The area of such a triangle is called a "congruent number." For example, the 3-4-5 right triangle which students see in geometry has area 1/2 x 3 x 4 = 6, so 6 is a congruent number. The smallest congruent number is 5, which is the area of the right triangle with sides 3/2, 20/3, and 41/6. The first few congruent numbers are 5, 6, 7, 13, 14, 15, 20, and 21. Many congruent numbers were known prior to the new calculation. For example, every number in the sequence 5, 13, 21, 29, 37, ..., is a congruent number. But other similar looking sequences, like 3, 11, 19, 27, 35, ...., are more mysterious and each number has to be checked individually.

The calculation found 3,148,379,694 new congruent numbers up to a trillion.

Consequences, and future plans

Team member Bill Hart noted, "The difficult part was developing a fast general library of for doing these kinds of calculations. Once we had that, it didn't take long to write the specialized program needed for this particular computation." The software used for the calculation is freely available, and anyone with a larger computer can use it to break the team's record or do other similar calculations.

In addition to the practical advances required for this result, the answer also has theoretical implications. According to mathematician Michael Rubinstein from the University of Waterloo, "A few years ago we combined ideas from number theory and physics to predict how congruent numbers behave statistically. I was very pleased to see that our prediction was quite accurate." It was Rubinstein who challenged the team to attempt this calculation. Rubinstein's method predicts around 800 billion more congruent numbers up to a quadrillion, a prediction that could be checked if computers with a sufficiently large hard drive were available.

History of the problem

The congruent number problem was first stated by the Persian mathematician al-Karaji (c.953 - c.1029). His version did not involve triangles, but instead was stated in terms of the square numbers, the numbers that are squares of integers: 1, 4, 9, 16, 25, 36, 49, ..., or squares of rational numbers: 25/9, 49/100, 144/25, etc. He asked: for which whole numbers n does there exist a square a2 so that a2-n and a2+n are also squares? When this happens, n is called a congruent number. The name comes from the fact that there are three squares which are congruent modulo n. A major influence on al-Karaji was the Arabic translations of the works of the Greek mathematician Diophantus (c.210 - c.290) who posed similar problems.

A small amount of progress was made in the next thousand years. In 1225, Fibonacci (of "Fibonacci numbers" fame) showed that 5 and 7 were congruent numbers, and he stated, but did not prove, that 1 is not a congruent number. That proof was supplied by Fermat (of "Fermat's last theorem" fame) in 1659. By 1915 the congruent numbers less than 100 had been determined, and in 1952 Kurt Heegner introduced deep mathematical techniques into the subject and proved that all the prime numbers in the sequence 5, 13, 21, 29, ..., are congruent. But by 1980 there were still cases smaller than 1000 that had not been resolved.

Modern results

In 1982 Jerrold Tunnell of Rutgers University made significant progress by exploiting the connection (first used by Heegner) between congruent numbers and elliptic curves, mathematical objects for which there is a well-established theory. He found a simple formula for determining whether or not a number is a congruent number. This allowed the first several thousand cases to be resolved very quickly. One issue is that the complete validity of his formula depends on the truth of a particular case of one of the outstanding problems in mathematics known as the Birch and Swinnerton-Dyer Conjecture. That conjecture is one of the seven Millenium Prize Problems posed by the Clay Math Institute with a prize of one million dollars.

The computations

Results such as these are sometimes viewed with skepticism because of the complexity of carrying out such a large calculation and the potential for bugs in either the computer or the programming. The researchers took particular care to verify their results, doing the calculation twice, on different computers, using different algorithms, written by two independent groups. The team of Bill Hart (Warwick University, in England) and Gonzalo Tornaria (Universidad de la Republica, in Uruguay) used the computer "Selmer" at the University of Warwick. Selmer is funded by the Engineering and Physical Sciences Research Council in the UK. Most of their code was written during a workshop at the University of Washington in June 2008.

The team of Mark Watkins (University of Sydney, in Australia), David Harvey (Courant Institute, NYU, in New York) and Robert Bradshaw (University of Washington, in Seattle) used the computer "Sage" at the University of Washington. Sage is funded by the National Science Foundation in the US. The team's code was developed during a workshop at the Centro de Ciencias de Benasque Pedro Pascual in Benasque, Spain, in July 2009. Both workshops were supported by the American Institute of through a Focused Research Group grant from the National Science Foundation.

Source: American Institute of Mathematics

Explore further: Strong teams attract crowds for international cricket

## Related Stories

#### Mathematician wins Shaw Prize for prime numbers, symmetry unification

Sep 12, 2007

Herchel Smith Professor of Mathematics Richard Taylor has been awarded the Shaw Prize in Mathematical Sciences for work that unified the diverse fields of prime numbers and symmetry.

#### A mighty number falls

May 21, 2007

Mathematicians and number buffs have their records. And today, an international team has broken a long-standing one in an impressive feat of calculation.

#### Seeing colors -- New study sheds light on sensory system quirk

Jul 24, 2007

In the psychological phenomenon known as “synesthesia,” individuals’ sensory systems are a bit more intertwined than usual. Some people, for example, report seeing colors when musical notes are played.

#### Mathematicians find new solutions to an ancient puzzle

Mar 14, 2008

Many people find complex math puzzling, including some mathematicians. Recently, mathematician Daniel J. Madden and retired physicist, Lee W. Jacobi, found solutions to a puzzle that has been around for centuries.

#### Physicists perform the first ever quantum calculation

Dec 11, 2007

University of Queensland researchers are part of an international team to have made the first ever execution of a quantum calculation, a major step towards building the first quantum computers.

#### Hunting the elusive L-function

Aug 06, 2008

(PhysOrg.com) -- There was a lot of excitement last month about ‘L-functions’. A PhD student in the Department of Mathematics, University of Bristol, Ce Bian, in collaboration with his supervisor, Dr Andrew ...

## Recommended for you

#### Strong teams attract crowds for international cricket

Mar 06, 2014

The strength of the team—not the promise of a close contest—is the biggest draw to crowds in international cricket, new research has found.

#### Improving radiation therapies for cancer mathematically

Mar 05, 2014

In a paper published in December in the SIAM Journal on Scientific Computing, authors Li-Tien Cheng, Bin Dong, Chunhua Men, Xun Jia, and Steve Jiang propose a method to optimize radiation therapy treatments in cancer patien ...

#### Computational study finds maximum packing density of 55,000 different shapes

Mar 05, 2014

A team of researchers at the University of Michigan has used computational and analytical analysis to find the maximum packing density of 55,000 uniquely shaped particles. In their paper published in the ...

#### Secret to the perfect pancake is discovered

Mar 04, 2014

In a collaboration with Meadowhall Shopping Centre, students from the University's Maths Society (SUMS) developed, trialled and tested a formula which enables pancake-lovers across the world to rustle-up ...

#### New data shows baseball managers when to replace the starting pitcher

Feb 28, 2014

Last October, the Detroit Tigers won the first game of the American League Championship Series against the Boston Red Sox; the Tigers led the second game, 5-1, going into the eighth inning in Boston's Fenway ...

##### Gudea
not rated yet Sep 29, 2009
I found that solution in the sculpture of Gudea known as the Architect of the Plan, the best known of this character and giving him due credit, I proposed the theorem of Gudea, the registration of intellectual property No. 1-001-386-/2001 in Directorate of Copyright of Bolivia, dated 29 May 2001 with the title: "Theorem for solving right triangles, without the use of square roots" This work is published and can be seen in urbtecto.zzl.org/TRIANGULOS.html, also lulu.com/content/473110, with ISBN 978-956-319-366-4
As you can see, the triangles that I used as example, (3-4-5, 7-24-25, 8-15-17, 9-40-41, 12-35-37 and 16-63-65), its surface is, in each case, an integer.
Whereupon, the solution would be simply to design an algorithm that meets the 'axiomatic conditions' of the theorem stated: the hypotenuse is always odd, if one cathetus is even the another is odd, and the difference between the higher cathetus and the hypotenuse can only be 1 or 2.

## More news stories

#### Statue of Egypt pharoanic princess found in Luxor

(AP)—Egypt has announced that a team of European archaeologists have found a nearly 2-meter- (6 ½-foot-) tall alabaster statue of a pharoanic princess, dating from approximately 1350 B.C., outside the southern city of ...

#### Lose yourself to dance, know yourself better

Could managers gain a new kind of understanding about their interaction with colleagues and employees by 'dancing'? That's the question arising from new research published this month in the International Journal of Work Or ...

A second viewing in a police line-up may help more eyewitnesses identify the culprit, new research from Flinders University reveals.

#### Expiration of terrorism risk insurance act could hurt national security, study finds

Allowing the federal terrorism risk insurance act to expire could have negative consequences for U.S. national security, according to a new study from the RAND Corporation.

#### Women's widespread inequality and rape as a weapon of war

Women are more likely to experience mass rape and sexual torture in armed conflicts around the world, as a deliberate strategy to humiliate, intimidate and dominate them and their 'enemy' community.

#### Promising news for solar fuels from Berkeley Lab researchers

There's promising news from the front on efforts to produce fuels through artificial photosynthesis. A new study by Berkeley Lab researchers at the Joint Center for Artificial Photosynthesis (JCAP) shows ...

#### Huge tract of Australia in 'biggest ever drought'

The Australian state of Queensland is in the grip of its most widespread drought ever, with close to 80 percent of its territory parched after a failed wet season, officials said Friday.

#### Bone turnover markers predict prostate cancer outcomes

Biomarkers for bone formation and resorption predict outcomes for men with castration-resistant prostate cancer, a team of researchers from UC Davis and their collaborators have found. Their study, published online in the ...

#### New theory on cause of endometriosis

Changes to two previously unstudied genes are the centerpiece of a new theory regarding the cause and development of endometriosis, a chronic and painful disease affecting 1 in 10 women.

#### Samsung jumps into crowded music market

Samsung on Friday unveiled a free music service for users of its Galaxy smartphones, entering a crowded market that includes Pandora, Spotify and Apple's iTunes.