Math Help Forum

Math Help Forum Feed Site Feed

Go Back   Math Help Forum > Math Help Forum Lounge > Problem of the Week
Reply
 
Thread Tools Display Modes
  #1  
Old 04-10-2008, 11:20 PM
ThePerfectHacker's Avatar
Global Moderator

 
Join Date: Nov 2005
Location: New York City
Posts: 11,339
Country:
Thanks: 329
Thanked 2,943 Times in 2,472 Posts
ThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond repute
Default Problem 48

1) Let n\geq 2 prove that 1 - \frac{1}{2}+\frac{1}{3} - ... \pm \frac{1}{n} is not an integer.
__________________
We the People of the United States, in Order to form a more perfect Union, establish Justice, insure domestic Tranquility, provide for the common defence, promote the general Welfare, and secure the Blessings of Liberty to ourselves and our Posterity, do ordain and establish this Constitution for the United States of America.
Reply With Quote
Advertisement
 
  #2  
Old 04-21-2008, 03:09 PM
Junior Member
 
Join Date: Apr 2008
Posts: 9
Country:
Thanks: 0
Thanked 1 Time in 1 Post
Math's-only-a-game is on a distinguished road
Default

Quote:
Originally Posted by ThePerfectHacker View Post
1) Let n\geq 2 prove that 1 - \frac{1}{2}+\frac{1}{3} - ... \pm \frac{1}{n} is not an integer.
Let k ÎZ such that 2^k £ n < 2^k+1

Let m be the least common multiple of 1,2,3,…,n except 2^k.

Then multiplying S = 1 – 1/2 + 1/3 -…..± 1/n by m we have:

mS = m – m/2 + m/3 -……± m/n

Each number on the right hand side is an integer except m/2^k and hence Sm is not an integer, which implies Sm is not an integer.
Reply With Quote
  #3  
Old 04-23-2008, 04:14 PM
Super Member
 
Join Date: Apr 2008
Posts: 687
Country:
Thanks: 6
Thanked 298 Times in 293 Posts
icemanfan is a jewel in the roughicemanfan is a jewel in the roughicemanfan is a jewel in the roughicemanfan is a jewel in the rough
Default

By the alternating series theorem, the partial sum will always be less than one but greater than zero, and therefore not an integer.
Reply With Quote
  #4  
Old 04-25-2008, 02:31 PM
Aryth's Avatar
Super Member
 
Join Date: Feb 2007
Posts: 294
Country:
Thanks: 50
Thanked 112 Times in 103 Posts
Aryth will become famous soon enoughAryth will become famous soon enough
Default

Quote:
Originally Posted by ThePerfectHacker View Post
1) Let n\geq 2 prove that 1 - \frac{1}{2}+\frac{1}{3} - ... \pm \frac{1}{n} is not an integer.
The series you presented is the Alternating Harmonic Series, which is Conditionally Convergent, the series is represented by:

\sum_{n=1}^{\infty} \left(\frac{(-1)^{n+1}}{n}\right)

The series' terms look like such:

1 - \frac{1}{2} + \frac{1}{3} - ... \pm \frac{1}{n}

This series converges to \ln{2}

Since the series converges to \ln{2} and since:

|a_{n+1}| < |a_n|

Then for n \geq 2 the series can never reach one since it is incrementing up or down by smaller amounts. Since you subtract \frac{1}{2} from 1 for n=2, and since the terms are decreasing and alternating in sign, then the series will never reach one again, therefore, this can't be an integer for n \geq 2 because all terms are decreasing,therefore the partial sums remain between 1 and 0.
__________________
"Mathematics is the art of giving the same name to different things."
- J.H. Poincaré

Every simply connected closed three-manifold is homeomorphic to the three-sphere \mathbb{S}^3, where a three-sphere is simply a generalization of the usual sphere to one dimension higher.
Reply With Quote
The following users thank Aryth for this useful post:
Donate to MHF
  #5  
Old 04-25-2008, 02:36 PM
Danshader's Avatar
Senior Member
 
Join Date: Mar 2008
Location: http://en.wikipedia.org/wiki/Malaysia now stop asking me where is malaysia...
Posts: 165
Country:
Thanks: 27
Thanked 58 Times in 57 Posts
Danshader will become famous soon enough
Default

how about considering:
1 +1/2 + 1/3 + 1/4 + .... ===>A
and
1/2 + 1/4 + 1/6 +.... =====>B

to get the required series:
A - 2B
__________________
Cookiesowns
Beware of the cookie mobster.
\(-_-; )/ \urcorner o(o.O )
Stick them out!!Not your hands...
Gimmeh all your cookies!!
What goes up must come down but we ain't going down we will live it up to expectations.
Reply With Quote
  #6  
Old 04-25-2008, 03:14 PM
Aryth's Avatar
Super Member
 
Join Date: Feb 2007
Posts: 294
Country:
Thanks: 50
Thanked 112 Times in 103 Posts
Aryth will become famous soon enoughAryth will become famous soon enough
Default

Yeah, that is a distinct possibility...

The Alternating Series does equal:

H(n) - H(2n)

Where H(n) is the n-th harmonic number
__________________
"Mathematics is the art of giving the same name to different things."
- J.H. Poincaré

Every simply connected closed three-manifold is homeomorphic to the three-sphere \mathbb{S}^3, where a three-sphere is simply a generalization of the usual sphere to one dimension higher.
Reply With Quote
  #7  
Old 05-14-2008, 08:11 AM
Henderson's Avatar
Senior Member
 
Join Date: Dec 2007
Posts: 104
Country:
Thanks: 5
Thanked 36 Times in 33 Posts
Henderson is on a distinguished road
Default

Huh. I stayed away from this one because I didn't pick up on the series alternating- I read \pm \frac{1}{n} as saying each term could either be added or subtracted, without nessecarily alternating.

Is there a similar solution to this problem?
Reply With Quote
  #8  
Old 06-04-2008, 12:01 PM
Aryth's Avatar
Super Member
 
Join Date: Feb 2007
Posts: 294
Country:
Thanks: 50
Thanked 112 Times in 103 Posts
Aryth will become famous soon enoughAryth will become famous soon enough
Default

You can't know what sign the last number of the series is going to be, that all depends on n, so the \pm means that it can be positive or negative depending on n. The initial pattern reveals an alternating series.
__________________
"Mathematics is the art of giving the same name to different things."
- J.H. Poincaré

Every simply connected closed three-manifold is homeomorphic to the three-sphere \mathbb{S}^3, where a three-sphere is simply a generalization of the usual sphere to one dimension higher.
Reply With Quote
  #9  
Old 06-06-2008, 02:14 PM
Junior Member
 
Join Date: Jun 2008
Posts: 13
Country:
Thanks: 10
Thanked 1 Time in 1 Post
Jacobsen is on a distinguished road
Default

[FONT='Cambria Math','serif']My first thought was to try an inductive argument, but I had a lot of difficulty getting it going. I don’t think what I came up with is sound, but nevertheless I decided to post what I came up with.

Proof. It suffices to show that for all
n≥2; 1-1/2+1/3-…±1/n ∈ (0,1).
Let Pn denote the proposition that
1-1/2+1/3-…±1/(n-1) ∈ (0,1)
and
1-1/2+1/3-…±1/(n-1)±1/n∈ (0,1).
Then P3 is true since
1-1/2=1/2∈ (0,1)
and
1-1/2+1/3=5/6∈ (0,1)
Assume Pn is true and that n is even. Then
1-1/2+1/3-…+1/(n-1) ∈ (0,1)
and
1-1/2+1/3-…+1/(n-1)-1/n ∈ (0,1).
Because 1/(n+1) < 1/n, it follows from the inductive hypothesis that
1-1/2+1/3-…+1/(n-1)-1/n+1/(n+1) ∈ (0,1).
The case where n is odd is similar. So by the principle of mathematical induction, for all n ≥ 3, Pn is true and hence for all n ≥ 2, 1-1/2 +1/3 -…±1/n ∈ (0,1) and hence not an integer. //

[/font]
Reply With Quote
  #10  
Old 07-07-2008, 05:14 PM
Member
 
Join Date: Jul 2008
Location: Boulder, CO
Posts: 58
Country:
Thanks: 13
Thanked 31 Times in 21 Posts
meymathis is on a distinguished road
Default

Quote:
Originally Posted by Danshader View Post
how about considering:
1 +1/2 + 1/3 + 1/4 + .... ===>A
and
1/2 + 1/4 + 1/6 +.... =====>B

to get the required series:
A - 2B
These two series do not converge.
Reply With Quote
Reply
Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off
Forum Jump


All times are GMT -7. The time now is 05:23 AM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2008, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.2.0 ©2008, Crawlability, Inc.
©2005 - 2008 Math Help Forum


Math Help Forum is a community of maths forums with an emphasis on maths help in all levels of mathematics.
Register to post your math questions or just hang out and try some of our math games or visit the arcade.