August 8th, 2017, 02:41 PM  #1 
Newbie Joined: Aug 2017 From: Costa Rica Posts: 2 Thanks: 0  Prove that this sum is irrational
I've been trying to solve this problem using the proof that e is irrational, but I don't know what I'm doing wrong! Here's the problem: 1. Prove that 1/7+1/7^2 +1/7^6 +⋯+1/7^n! +⋯ is irrational. 2. Enunciate possible extensions for part 1, propose solutions. Last edited by skipjack; August 9th, 2017 at 03:59 PM. 
August 8th, 2017, 03:10 PM  #2 
Global Moderator Joined: Oct 2008 From: London, Ontario, Canada  The Forest City Posts: 7,788 Thanks: 1037 Math Focus: Elementary mathematics and beyond  It's not irrational! Any term in the sum is a rational number and the sum of two or more rational numbers is rational.
Last edited by skipjack; August 9th, 2017 at 04:00 PM. 
August 8th, 2017, 04:02 PM  #3  
Senior Member Joined: Aug 2017 From: United Kingdom Posts: 169 Thanks: 51 Math Focus: Algebraic Number Theory, Arithmetic Geometry  Quote:
The issue is that an infinite sum $\sum_{n=1}^{\infty} a_k$ is NOT just obtained by repeatedly adding numbers. It is in fact the limit $\lim_{n \to \infty} \sum_{k=1}^{n} a_k$, so there is no reason that it couldn't be irrational even if all the $a_n$ are rational. Last edited by cjem; August 8th, 2017 at 04:04 PM.  
August 8th, 2017, 04:04 PM  #4 
Global Moderator Joined: Oct 2008 From: London, Ontario, Canada  The Forest City Posts: 7,788 Thanks: 1037 Math Focus: Elementary mathematics and beyond 
Ah, I see. Thanks. There are many examples of that; for instance $\sum_{n=1}^{\infty}\frac{1}{n^2}=\frac{\pi^2}{6}$ . I was thinking of finite $n$. Last edited by greg1313; August 8th, 2017 at 04:15 PM. 
August 8th, 2017, 04:18 PM  #5 
Global Moderator Joined: May 2007 Posts: 6,497 Thanks: 580 
The expression seems to be $\displaystyle e^{\frac{1}{7}}$. Since e is irrational, the expression can't be rational. If it were, the 7th power (=e) would be rational.

August 8th, 2017, 04:23 PM  #6 
Senior Member Joined: Aug 2012 Posts: 1,856 Thanks: 513  Its base7 expression clearly has no repeating block. You can add as much detail as the assignment expects. Can you assume that rationals eventually have repeating blocks in any base? Likewise $\frac{1}{7} + \frac{1}{7^3} + \frac{1}{7^5} + \dots + \frac{1}{7^{2n + 1}} + \dots$ is rational. Do you see why? Last edited by skipjack; August 9th, 2017 at 04:03 PM. 
August 8th, 2017, 04:30 PM  #7 
Senior Member Joined: Aug 2017 From: United Kingdom Posts: 169 Thanks: 51 Math Focus: Algebraic Number Theory, Arithmetic Geometry 
@OP If you're familiar with Liouville's approximation theorem, you could actually go further and show this is transcendental  the partial sums provide suitably good rational approximations to the number that (by the theorem) it cannot be algebraic of any degree. If you work through the details, it will suggest a whole family of very similar numbers that can also be shown to be transcendental with the same argument.

August 8th, 2017, 04:43 PM  #8 
Senior Member Joined: Aug 2017 From: United Kingdom Posts: 169 Thanks: 51 Math Focus: Algebraic Number Theory, Arithmetic Geometry  $e^{\frac{1}{7}} = \sum_{n=0}^{\infty} \frac{1}{7^{n}n!} \neq \sum_{n=1}^{\infty} \frac{1}{7^{n!}}$

August 9th, 2017, 08:59 AM  #9 
Banned Camp Joined: Dec 2012 Posts: 1,028 Thanks: 24  
August 9th, 2017, 02:44 PM  #10 
Senior Member Joined: Aug 2017 From: United Kingdom Posts: 169 Thanks: 51 Math Focus: Algebraic Number Theory, Arithmetic Geometry  

Tags 
irrational, prove, sum 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Prove $X^{(1/n)}$ is an irrational if $p=prime$  complicatemodulus  Number Theory  4  May 2nd, 2016 04:50 AM 
how do you prove 'e' is irrational?  mike1127  Calculus  1  April 7th, 2016 03:32 PM 
Prove nth root of 2 is irrational  shunya  Elementary Math  1  June 30th, 2014 01:06 PM 
Prove 1+sqrt(3) is irrational  shunya  Algebra  3  March 28th, 2014 09:52 PM 
Prove that if x is irrational then  thedarjeeling  Real Analysis  1  February 4th, 2012 02:21 PM 