Why doesnt Bertrand's postulate imply Legendre's conjecture?by camilus Tags: bertrand, conjecture, imply, legendre, postulate 

#1
Jul2009, 09:36 PM

P: 150

I mean, according to my knowledge, Bertrand's postulate has already been proved, I've already read and understood one, but Paul Erdos, and a few other mathematicians have proved it using various methods. I just finished reading Ramanujan's proof. Its amazingly advanced, and really short. The porblem of the inequality that Ramanujan uses to prove Bertrand's postulate is amazingly similar to an alternate formulation of Legendre's conjecture.
Well, I played a little bit with other representations of the Prime Counting Function and Ramanujan's inequality of the alternate formulation of Legendre's, and just assuming Bertrand's postulate to be true (which it has already been proved as I mentioned), I found a rather elementary (and obvious) proof of Legendre's. Can anyone explain why they say that Bertrand's postulate doesn't imply Legendre's conjecture? I read about the supposed error ratio of the Prime Number Theorem, so if anyone knows about this would they be so kind to elaborate why BT doesnt imply LC? 



#2
Jul2009, 09:54 PM

Sci Advisor
HW Helper
P: 3,680





#3
Jul2009, 10:12 PM

P: 150





#4
Jul2009, 10:17 PM

P: 150

Why doesnt Bertrand's postulate imply Legendre's conjecture?
So in fact, your argument about the shorter interval is completely incorrect. In the opposite.
BP says that there is atleast one prime p that n<p<2n. Any by analyzing the interval between n and 2n for all n is simple: 2n  n = n. the interval between any 2n and n will always be n. If n=100, than 2n=200. the interval between 2n and n is 2nn=200100=100=n. now, the interval between between n^2 and (n+1)^2 is actually bigger than the interval between n and 2n. 



#5
Jul2009, 10:45 PM

Sci Advisor
HW Helper
P: 3,680

If this doesn't make sense, you don't understand Bertrand's Postulate. 



#6
Jul2109, 12:24 PM

P: 150

pardon me, you're right I just analyzed the interval substituting n=x^{2} and saw that the interval is much much tighter. Just compare the graphs of y=x and y=2√(x)+1.
I apologize, I see what you're talking about now. Thanks. And it's regardless of which version you use, the n<p<2n version gave me the same result. It's a theorem, it has to. 



#7
Jul2109, 12:47 PM

Sci Advisor
HW Helper
P: 3,680





#8
Aug1209, 05:54 PM

P: 5

Bertrand's Postulate states: For n > 1, there is a prime p satisfying n < p < 2n.
M. El Bachraoui proved in 2006: For n > 2, there is always a prime p satisfying 2n < p < 3n. In general, if you were to prove: For all n >= k >= 1, there is always a prime p satisfying kn < p < (k+1)n, then you would have shown Legendre, since if you allow k = n, then you have that prime p satisfies n^2 < p < n^2 + n < (n+1)^2. The reason that Bertrand does not imply Legendre is by examining the intervals for Bertrand: [n,2n] and Legendre: [n^2, (n+1)^2] we can see that Legendre is a "tighter" interval. e.g. Suppose we want the lower bound to be 100, then we allow each intervals lower bound to be the n value that produces 100, so we have Bertrand (n=100) > [100, 200] and Legendre (n=10) > [100, 121] e.g. Again, we want our lower bound to be 25, then Bertrand (n=25) > [25, 50] Legendre (n=5) > [25, 36] This can be proven, but I am too lazy to do so right now. I have actually spent the last 8 months on proving that there is always a prime in the interval [kn, (k+1)n] for n >= k >= 1, and it is under review for a journal as we speak... err, I guess as we type. HeH. 



#9
Aug1209, 08:19 PM

Sci Advisor
HW Helper
P: 3,680

That sounds like a cute result. Weak (like Bertrand's Postulate), but perhaps sometimes useful  and probably hard to prove. 



#10
Aug1309, 01:10 AM

P: 5

It's interesting to note that Chebyshev was the first to show Bertrand in 1850, and Erdos stated it elementarily in 1932 although it wasn't until 2006 when Bachraoui showed [itex][2n, 3n][/itex].
Another interesting thing is that Erdos checked the values for [itex]n = 1, 2, ..., 96[/itex], and Bachraoui had to check from 2 until 945. It is believed that in order to show each case you need to check exponentially many beginning cases. You can find Bachraoui's proof via this URL: http://www.mhikari.com/ijcmspasswo...13162006.pdf The worst thing is, both Erdos and Bachraoui's proofs are simplistic by most proof techniques, yet Legendre's conjecture has been around for over 150 years. Another interesting conjecture is by Dorin Andrica, who stated the following: For all [itex]n>0[/itex], let [itex]p_{n}[/itex] denote the nth prime number, then [itex]\sqrt{p_{n+1}}  \sqrt{p_{n}} < 1[/itex]. In fact, if Andrica's Conjecture is proven, then Legendre is a direct corollary. I believe the converse is true as well, though I have been unable to find a proof on the internet. 



#11
Aug1309, 01:36 AM

Sci Advisor
HW Helper
P: 3,680





#12
Aug1309, 01:48 AM

P: 5

Throw me an Email: my user name on here @gmail.com and I'll be happy to send a preprint to you.




#13
Aug1509, 05:01 PM

P: 57

He starts the proof like this , let v(x) be the sum of logarithms of all primes less than or equal to x, Now consider : [tex]\Psi[/tex](x) = v(x) + v (x^[1/2]) + v(x^[1/3]) + ....  eq.1 then he writes : log ( [x] ! ) = [tex]\Psi[/tex](x) + [tex]\Psi[/tex](x/2) + [tex]\Psi[/tex](x/3) + .... eq.2 where [x] is the greatest integer <= x Why is equation 2 valid ...... it certainly does not seem to be an obvious statement to me ...... Can someone please explain how to derive eq 2 , given eq 1 . I was able to follow the steps of Ramanujan's proof after the 2nd equation ( assuming that there exists some Sterlings approx of which he talks about ... nd that the result of the approx is what he mentions it to be ) ... but plz help me with the 2nd step .. Is there something that is very clear to everyone else that I am missing here ?? 



#14
Aug1509, 11:21 PM

P: 57

Ok ..... I was able to show that eq 2 ..i.e :
log ( [x] ! ) = [tex]\Psi[/tex](x) + [tex]\Psi[/tex](x/2) + [tex]\Psi[/tex](x/3) + .... is indeed valid. But still this was not at all obvious to me , and only after reading the lemma 2 part in the wikipedia proof of Bertrands postulate ( http://en.wikipedia.org/wiki/Proof_o...%27s_postulate) ... and then thinking for quite some time was i able to see that eq 2 is indeed valid. In order to prove lemma 2 , wikipedia states that The exponent of p in n! is [tex]\sum[/tex] [n/p^j] where summation is from j=1 to infinity , and [ ] is the greatest integer function. I see that the above statement which is easily proved (but even to see that this was true ,again took me some time ) , does in fact lead to equation 2 that Ramanujan has used . I guess I certainly do not have the mental faculty to comprehend such things that are quite obvious to others. 



#15
Aug1609, 01:15 AM

P: 57

Regarding the converse  i.e. given Legendre's Conjecture , then Andrica's Conjecture also holds .  I can see that if Legendre,s Conjecture is stated for real values of n > 1 , and not just integer values of n , then Legendre does indeed imply Andrica. But did Legendre state the Conjecture for only integers or for all real values as well ? I think it was stated for only integers , because if he wanted to state it for real values he could have said that there exists a prime b/w n & n + 2 * sqrt(n) +1 , instead of n^2 and (n+1)^2 If Legendre only quoted for integers , then I do not see Legendre leading to Andrica ... but I may be wrong. 



#16
Nov509, 07:49 AM

P: 5

Also, if Legendre's Conjecture is proven, it not only guarantees that there's a prime in the interval... it actually gurantees that there are 2 primes satisfying the inequality. This may be easily shown, but I haven't typed up the proof yet. 



#17
Feb1710, 01:50 PM

P: 57

because only one of p(n) or p(n + 1) needs to lie in the interval : (n^2 + 1 , n^2 + 2n) according to legendre , not both . 



#18
Feb1710, 02:33 PM

Sci Advisor
HW Helper
P: 3,680

I have to echo srijithju here. Let me give my own reasoning.
Suppose that Legendre's conjecture holds, but only barely: there is a huge prime gap near n^2. In particular, the closest primes to n^2 are (n1)^2 + a and (n+1)^2  b for small a and b. So the prime gap is of length (n+1)^2  b  (n1)^2  a = 4n  a  b. Now Andrica's conjecture has the convenient form p_n+1  p_n < 2sqrt(p_n) + 1 (this follows naturally from the fact that sqrt(p_n + 2sqrt p_n + 1)  sqrt(p_n) = 1). So in this case we have 4n  a  b < 2sqrt((n1)^2 + a) + 1 < 2sqrt((n1)^2 + a + a^2/4) + 1 = 2(n1) + a + 1 = 2n + a  1 that is 2n < 2a + b  1 which is false for a,b small as assumed. Basically, the gaps allowed in Legendre's conjecture are two times too long for it to imply Andrica's conjecture. (On an unrelated note, there's a bad error in your pdf relating to the order of quantifiers.) 


Register to reply 
Related Discussions  
Legendre's conjecture?  Linear & Abstract Algebra  3  
Legendre's equation  Calculus & Beyond Homework  2  
Bertrand's Box Paradox and Monty Hall Problem  Brain Teasers  2  
legendre's differential equation  Differential Equations  4  
Proof of Golbach's conjecture and the twin prime conjecture  Linear & Abstract Algebra  9 