Transcript Slide 1
www.carom-maths.co.uk
Activity 2-14: The ABC Conjecture
A square-free number is one
that is not divisible by any square except for 1.
So 35713 = 1365 is square-free.
So 335472132 = 139741875 is not square-free.
The ‘square-free part’ of a number is
the largest square-free number that divides into it.
This is also called ‘the radical’ of an integer n.
To find rad(n), write down the factorisation of n into primes,
and then cross out all the powers.
Task: can you find rad(n)
for n = 25 to 30?
2
5,
25 =
rad(25)=5
26 = 213, rad(26)=26
27 = 33, rad(27)=3
28 = 227, rad(28)=14
29 = 29, rad(29)=29
30 = 235, rad(30)=30
Task: now pick two whole numbers, A and B,
whose highest common factor is 1.
(This is usually written as gcd (A, B) = 1.)
Now say A + B = C, and find C.
Now find D =
Do this several times, for various A and B.
What values of D do you get?
1. Now try A = 1, B = 8.
2. Now try A = 3, B = 125.
3. Now try A = 1, B = 512.
1. gives D = 0.666…
2. gives D = 0.234...
3. gives D = 0.222...
It has been proved by the mathematician Masser
that D can be arbitrarily small.
That means given any positive number ε,
we can find numbers A and B so that D < ε.
See what this means using the
ABC Conjecture
spreadsheet
http://www.s253053503.websitehome.co.uk/
carom/carom-files/carom-2-17.xls
Smallest Ds found so far…
The ABC conjecture says;
has a minimum value
greater than zero
whenever n is greater than 1.
‘Astonishingly, a proof of the ABC conjecture
would provide a way of establishing
Fermat's Last Theorem in less than a page of
mathematical reasoning.
Indeed, many famous conjectures and theorems
in number theory would follow immediately from the
ABC conjecture, sometimes in just a few lines.’
Ivars Peterson
‘The ABC conjecture is amazingly simple
compared to the deep questions in number theory.
This strange conjecture turns out to be
equivalent to all the main problems.
It's at the centre of everything that's been going on.
Nowadays, if you're working on a problem in number
theory, you often think about whether the problem
follows from the ABC conjecture.’
Andrew J. Granville
‘The ABC conjecture is the most important unsolved
problem in number theory. Seeing so many Diophantine
problems unexpectedly encapsulated into a single
equation drives home the feeling that all the subdisciplines of mathematics are aspects of a single
underlying unity, and that at its heart lie pure language
and simple expressibility.’
Dorian Goldfeld
Some consequences of the ABC Conjecture if true…
Thue–Siegel–Roth theorem on diophantine approximation of algebraic numbers
Fermat's Last Theorem for all sufficiently large exponents (already proven in general by Andrew Wiles)
(Granville 2002)
The Mordell conjecture (already proven in general by Gerd Faltings) (Elkies 1991)
The Erdős–Woods conjecture except for a finite number of counterexamples (Langevin 1993)
The existence of infinitely many non-Wieferich primes (Silverman 1988)
The weak form of Marshall Hall's conjecture on the separation between squares and cubes of integers
(Nitaj 1996)
The Fermat–Catalan conjecture, a generalization of Fermat's last theorem concerning powers that are
sums of powers (Pomerance 2008)
The L function L(s,(−d/.)) formed with the Legendre symbol, has no Siegel zero (this consequence
actually requires a uniform version of the abc conjecture in number fields, not only the abc conjecture as
formulated above for rational integers) (Granville 2000)
P(x) has only finitely many perfect powers for integral x for P a polynomial with at least three simple
zeros.[2]
A generalization of Tijdeman's theorem concerning the number of solutions of ym = xn + k (Tijdeman's
theorem answers the case k = 1), and Pillai's conjecture (1931) concerning the number of solutions of
Aym = Bxn + k.
It is equivalent to the Granville–Langevin conjecture, that if f is a square-free binary form of degree n >
2, then for every real β>2 there is a constant C(f,β) such for all coprime integer x,y, the radical of f(x,y)
exceeds C.max{|x|,|y|}n-β.[3][4]
It is equivalent to the modified Szpiro conjecture, which would yield a bound of rad(abc)1.2+ε (Oesterlé
1988).
And others…
Stop Press!!!
In August 2012, Shinichi Mochizuki released a paper with a
serious claim to a proof of the abc conjecture. Mochizuki calls
the theory on which this proof is based inter-universal
Teichmüller theory, and it has other applications including a
proof of Szpiro's conjecture and Vojta's conjecture.
Oct 2014 – still being verified...
Wikipedia
With thanks to:
Ivars Peterson's MathTrek
http://www.maa.org/
mathland/mathtrek_
12_8.html
and Wikipedia
Carom is written by Jonny Griffiths, [email protected]