You are currently browsing the tag archive for the ‘günter ziegler’ tag.
Proofs from THE BOOK by Martin Aigner and Günter Ziegler begins by giving six proofs of the infinity of primes. We will go over the third proof. Before we go over this proof, lets cover some background.
— 1. Fermat Numbers —
Fermat numbers are defined by
so that 
Theorem 1 No two Fermat numbers have a common divisor greater than 1.
We will prove this theorem later.
The first four Fermat numbers are prime, and Fermat conjectured that all were prime. Euler, however, found in 1732 that
is composite.
In 1880 Landry proved that
It is currently known that 
— 2. Infinitude of Primes Theorem —
We are now ready to prove Euclid’s Second Theorem, also called the Infinitude of Primes Theorem using the third proof in Proofs from THE BOOK.
Theorem 2 (Euclid’s Second Theorem) The number of primes is infinite.
Proof: Next let us look at the Fermat numbers 
for 
. We will show that any two Fermat numbers are relatively prime (Theorem 1); hence there must be infinitely many primes. To this end, we verify the recursion
for . We will show that any two Fermat numbers are relatively prime (Theorem 1); hence there must be infinitely many primes. To this end, we verify the recursion
from which our assertion follows immediately. Indeed, if 
To prove the recursion we use induction on 
I have re-posted this to test my changes to the latex2wp.py and terrystyle.py programs, compiled with Python Software Foundation’s Python 2.7.2 64 bit version, to add support for LyX 1.6.9. The code change incorporates some additional theorem-like environments, macros, font styles, and the numbering has been change so that the different theorem-like types each have a separate counter (e.g., theorem 1, theorem 2, lemma 1, proposition 1, theorem 3, lemma 2, …, as opposed to theorem 1, theorem 2, lemma 3, proposition 4, …). Furthermore, I have provided more background information which will benefit those without a background in abstract algebra.
Proofs from THE BOOK by Martin Aigner and Günter Ziegler begins by giving six proofs of the infinity of primes. The first proof is what they call "the oldest Book Proof" attributed to Euclid. Before we go over this proof, lets cover some background. Read the rest of this entry »
“You don’t have to believe in God, but you have
to believe in The Book.”—Paul Erdős
Paul Erdős liked to talk about The Book, in which God maintains the perfect proofs for mathematical theorems, following the dictum of G. H. Hardy that there is no permanent place for ugly mathematics.
JOEL SPENCER: “Paul talks about The Book. The Book has all the theorems of mathematics. Theorems can be proven in a lot of different ways, but in The Book there is only one proof and it is the one that is the clearest proof, the one that gives the most insight, the most aesthetic proof. It’s what he calls The Book proof. And sometimes when there’s a problem and somebody solves it and the proof is not so beautiful, then he’ll say, “Well okay, but let’s look for The Book proof; let’s try to find The Book proof.” And this is the sense of mathematics, that…that The Book is there, the theorems have an existence of their own. And what we’re doing is we’re just trying to uncover. We’re trying to read the pages of The Book. We don’t create mathematics. What we do is we read the pages of The Book. We discover the pages of The Book. So when he goes from university to university, and he talks about problems, and he asks everybody to try to solve these problems, it doesn’t matter who solves the problem. It really doesn’t matter to him, because all of us are in the same venture. We’re all just trying to uncover the pages. And sometimes we succeed. Sometimes we find these beautiful theorems.”
View the video of Joel Spencer describing The Book here.
Proofs from THE BOOK is an effort by Martin Aigner and Günter Ziegler to reveal an approximation to a portion of The Book
