Proof of the Irrationality of e - attributed to Joseph Fourier

  • Context: MHB 
  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Fourier Proof
Click For Summary
SUMMARY

The forum discussion centers on the proof of the irrationality of the mathematical constant e, as presented in Julian Havil's book "The Irrationals: The Story of the Numbers You Can't Count On." The proof, attributed to Joseph Fourier, utilizes a contradiction approach to demonstrate that the remainder R in the expression for n!e is an integer. Participants express confusion regarding the ellipses in the expression, which may indicate missing terms, but ultimately agree that R is derived correctly as an integer.

PREREQUISITES
  • Understanding of factorial notation and operations (n!)
  • Familiarity with the mathematical constant e
  • Knowledge of proof by contradiction techniques
  • Basic concepts of irrational numbers
NEXT STEPS
  • Study the proof of the irrationality of e in detail from Julian Havil's "The Irrationals."
  • Explore the concept of proof by contradiction in mathematical proofs.
  • Investigate the properties of irrational numbers and their significance in mathematics.
  • Review the historical context and contributions of Joseph Fourier to mathematics.
USEFUL FOR

Mathematicians, students of number theory, and anyone interested in the properties of irrational numbers and mathematical proofs.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
(NOTE: Maybe this post belongs in the Number Theory Forum? Apologies if it is wrongly located!)

I am reading Julian Havil's book, "The Irrationals: The Story of the Numbers You Can't Count On"

In Chapter 4: Irrationals, Old and New, Havil gives a proof of the irrationality of e which was attributed to Joseph Fourier ... the proof is by contradiction and reads as follows:View attachment 3571In the above proof, Havil writes:

"Then

$$n!e = n! \frac{m}{n} = (n-1)! m$$

$$= ( n! + \frac{n!}{1!} + \frac{n!}{2!} + \frac{n!}{3!} + \frac{n!}{4!} + \ ... \ ... \ \frac{n!}{n!} ) + \ ... \ ... \ + R$$

which makes $$R \ne 0$$ the difference between two integers and so an integer itself."Can someone please explain how the expression above demonstrates that R is an integer?

Peter***EDIT***

oh! just saw the answer I think ... I was thrown by the ellipses ( that is the ... ... ) after the term in parentheses (brackets) in the expression:

$$= ( n! + \frac{n!}{1!} + \frac{n!}{2!} + \frac{n!}{3!} + \frac{n!}{4!} + \ ... \ ... \ \frac{n!}{n!} ) + \ ... \ ... \ + R$$

I thought there was some term there ... but did not know what ... but now believe that there is nothing there ...

That is I think maybe it should read:

$$n!e = ( n! + \frac{n!}{1!} + \frac{n!}{2!} + \frac{n!}{3!} + \frac{n!}{4!} + \ ... \ ... \ \frac{n!}{n!} ) + R$$

BUT ... why did Havil include the ... ... in the expression?

... just a typo? ... or is there actually a term there?
 
Last edited:
Physics news on Phys.org
Hi Peter,

I'm not sure why he wrote the ... between the expansion and R, but you got the idea.
 
Fallen Angel said:
Hi Peter,

I'm not sure why he wrote the ... between the expansion and R, but you got the idea.

Thanks Fallen Angel ... glad you can confirm it is mysterious ... or probably a typo ...

Peter
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 48 ·
2
Replies
48
Views
5K
  • · Replies 38 ·
2
Replies
38
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K