extremely rational proofs of irrationality clever techniques and profound ideas tom niedzielski...
Post on 27-Dec-2015
224 Views
Preview:
TRANSCRIPT
EXTREMELY RATIONAL PROOFS OF IRRATIONALITY
Clever Techniques and Profound Ideas
Tom Niedzielski Presents
Topics to be Covered
Joseph Liouville Proof: Irrationality of e Proof: Irrationality of e2
Charles Hermite Hermite’s Helpful Lemma Proof: Irrationality of π2 Summary
Joseph Liouville (1822-1901)
Life: Father was a captain under
Napoleon Taught at many different
institutions Public failures hurt him deeply
Achievements: Most famous for number theory
and Differential Equations Major works in transcendentals
The Irrational Number e
First, we’d better go over what e is. e = , which is derived from the more general formula ex = . It’s used in many branches of mathematics, especially when describing exponential growth or decay.
The easiest way to discover that e is irrational is to assume it is rational, and then look for a contradiction.
0 !
1
n n
0 !n
n
n
x
The Irrational Number e
So, assume e = a/b for integers a,b>0. To eliminate the RHS fraction, we multiply by n!b on both sides.
Now we see n!be = n!a. n!a = an integer, as we’re only multiplying integers. n!be is more complicated.
It breaks into bn! * , an integer, plus bn! * , which = .
Fortunately, we can narrow down the range this converges to for large values of n.
n
k k0 !
1
1 !
1
nk k...)
)2)(1(
1
1
1(
nnnb
The Irrational Number e
We compare to a few other values:
This shows that is trapped between the nearest rational values, and thus cannot be an integer. Of course, this means that the entire left hand side is not an integer. Since the right hand side is, the two cannot be equal. This is our contradiction.
Therefore, e is irrational.
...))2)(1(
1
1
1(
nnnb
n
b
n
b
n
b
n
b
nn
b
n
b
n
b
...
)1()1(1...
)2)(1(11 32
...))2)(1(
1
1
1(
nnnb
Is e2 Also Irrational?
The previous techniques can be extended to e2.
Again, we assume e2 = a/b. We then rewrite the equation as be = ae-1, and multiply by n! to get n!be = n!ae-1. As we discovered last time, n!be is just above an integer, coming from the right as n->∞.
Let’s look at the other side. It also breaks
down into integer and non-integer parts.
Is e2 Also Irrational?
The non-integer part is (-1)n+1n!a( ).
In the case of even n, -(a/n) < (-1)n+1n!a( ) < < 0.
Notice that for increasing even n, this value becomes a small negative number, making the RHS slightly lower than an integer. Since the LHS is slightly above an integer, they can’t be equal. This is our contradiction.
...)!3(
1
)!2(
1
)!1(
1
nnn
...)!3(
1
)!2(
1
)!1(
1
nnn
)1
1(1 nn
a
Charles Hermite (1822-1901)
Life: Born to a merchant family Deformity kept him out of wars,
schools Taught from 1847 to 1897
Achievements: Proved e transcendental in
1873 Solved the general quintic in
1858 Discovered the Hermitian
Forms
A Very Useful Lemma
For some fixed n ≥ 1, let f(x) =This function has three useful properties:1. f(x) is a polynomial of the form f(x) =2. When 0 < x < 1, 0 < f(x) <3. For all k ≥ 0, the derivatives f(k)(0) and f(k)
(1) are integers.The third property results from the fact that
f(k)(0 or 1) (where k ≥ 0) goes to 0 unless n ≤ k ≤ 2n, for which f(k)(0 or 1) is an integer.
!
)1(
n
xx nn
n
ni
iixcn
2
!
1
!
1
n
A Somewhat Simple Proof for π2
As in our proofs of e and e2, we begin by assuming the opposite of what we want to prove.
Assume π2 = a/b for integers a,b > 0.This step is a little different: We now define the
new function F(x) = bn(π2nf(x) - π2n-2f(2)(x) + π2n-4f(4)
(x) …)
F(x) has a useful feature:F’’(x) = -π2F(x) + bnπ2n+2 f(x)We’ll use this soon.
A Somewhat Simple Proof for π2
Then we take a useful derivative: [F’(x)sin(πx) – πF(x)cos(πx)] = F’’(x)sin(πx) + πF’(x)cos(πx) - πF’(x)cos(πx) + π2F(x)sin(πx) = sin(πx)(F’’(x) + π2F(x)) = bnπ2n+2 f(x)sin(πx) = bn(an/bn) π2f(x)sin(πx) = anπ2f(x)sin(πx).
Now we’re going to use this information to define another function: N = . This in turn =
= F(0) + F(1) = an integer.
dx
d
1
0)sin()( dxxxfan
10)]cos()()sin()('
1[ xxFxxF
A Somewhat Simple Proof for π2
We also know that N is positive, since it is the integral of a positive region.
Also, we know that N < . This is because for 0 < x <1, 0 < f(x) < 1/n!, and sin(πx) ≤ 1. Notice that large n will make < 1. Since no integers lie between 0 and 1, N can’t be an integer. N can’t both be and not be an integer, so we’ve found our contradiction.
!n
an
!n
an
A Somewhat Simple Proof for π2
Therefore, π2 is not a rational number.
Note: When we work with irrationality proofs, though x irrational ≠> x2 irrational, x irrational => is irrational.
We can use this and the fact we just proved to conclude that since π2 is irrational, π is irrational.
x
In Summary
We have shown that e, e2, π, and π2 are all irrational numbers.
In each of our cases, proof by contradiction provided a clean result.
As mathematics advances, it is often beneficial to revisit old ideas to see if they can be handled better.
Sources
1. Proofs from The Book, Chapter 6 (Proofs)
2. http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Hermite.html
(Hermite’s Biography)3. http://www-groups.dcs.st-and.ac.uk/~hi
story/Biographies/Liouville.html (Liouville’s Biography)
4. Dr Biebighauser (Advice on Design & Content)
top related