Abc conjecture

The abc conjecture (also known as the Oesterlé–Masser conjecture) is an important idea in number theory. It was discussed by two mathematicians, Joseph Oesterlé and David Masser, in 1985. The conjecture talks about three whole numbers, a, b, and c, that have no common factors besides 1 and add up to each other (like a + b = c).

The conjecture makes a claim about the prime numbers that make up a, b, and c. It suggests that the product of these prime factors can't be too small compared to c. If this conjecture is true, it could help solve many other big questions in number theory!

Many mathematicians have tried to prove the abc conjecture, but it’s still not settled. One mathematician, Shinichi Mochizuki, said he had a proof in 2012, but most mathematicians still think the conjecture isn’t proven yet. According to mathematician Dorian Goldfeld, it might be “The most important unsolved problem in Diophantine analysis.”

Formulations

The abc conjecture talks about three numbers, a, b, and c, that add up to each other (a + b = c) and share no common factors except 1. The conjecture suggests that the product of the different prime numbers that make up a, b, and c together can't be much smaller than c very often.

One way to think about it is by using a special math term called the "radical" of a number. This is just the product of its different prime factors. For most triples of numbers a, b, and c that add up, c will be bigger than the radical of abc raised to a power just a bit more than 1. There are some special triples where this isn't true, but the conjecture says these are rare and there should be only a few of them.

Examples of triples with small radical

The abc conjecture talks about three numbers, a, b, and c, that add up to each other (a + b = c). It suggests that the product of the different prime numbers that can divide a, b, and c together cannot be much smaller than c itself very often.

To see why this is interesting, we can look at some special examples. For instance, if we pick a = 1, b = 2⁶ⁿ − 1, and c = 2⁶ⁿ (where n is greater than 1), we find that b is divisible by 9. This helps us calculate the "radical" of abc — a way to measure the product of different prime factors — and shows it can be surprisingly small compared to c. Similar examples exist using other numbers, helping mathematicians explore how often such small radicals occur.

Main article: Fermat's little theorem

Some consequences

The abc conjecture has many important ideas that come from it. It connects to big questions in math, like Roth's theorem about approximating numbers and the Mordell conjecture.

If the abc conjecture is true, it would help solve other problems too, such as Fermat's Last Theorem. The abc conjecture would also give insights into other guesses about numbers, like the Erdős–Woods conjecture and the Beal conjecture.

Theoretical results

The abc conjecture talks about three numbers a, b, and c where a + b = c. It says that the product of their prime factors can't be too much smaller than c. Scientists have found some math rules that support this idea. They showed that c can stay within certain limits based on the prime factors of a, b, and c. These limits help us see how likely the abc conjecture is to be true.

Researchers also found many groups of numbers (a, b, c) where c is bigger than a special math calculation using the prime factors of a, b, and c. This adds more support that the abc conjecture might be true in many cases. A project called ABC@Home has found millions of these number groups, helping scientists learn more about the conjecture.

Refined forms, generalizations and related statements

The abc conjecture is linked to a theorem about polynomials called the Mason–Stothers theorem.

Some mathematicians have proposed even stronger versions of the abc conjecture. For example, one idea is to make the rule about the prime factors of a, b, and c a bit stricter.

Other mathematicians have created new guesses inspired by the abc conjecture, such as a version that uses more than three numbers.

Claimed proofs

In 2007, a mathematician named Lucien Szpiro tried to solve the abc conjecture, but his solution was later found to be incorrect.

Starting in 2012, another mathematician, Shinichi Mochizuki, claimed to have proven the abc conjecture using a new theory called inter-universal Teichmüller theory. However, many other mathematicians found his work very hard to understand and believed there were mistakes in his proof. Even after discussions and attempts to explain the theory, most mathematicians still do not accept it as a correct proof. In 2021, Mochizuki's work was published, but it continues to be viewed with skepticism by many experts.