请输入您要查询的字词:

 

单词 BertrandsConjectureProofOf
释义

Bertrand’s conjecture, proof of


This is a version of Erdős’s proof as it appears in Hardy and Wright.

We begin with the following lemma.

Lemma.

Let n be a positive integer and p be a prime. The highest power of p dividing n! is jnpj, where x is the floor of x.

Proof.

Let pk divide n! with k as large as possible. Every pth term of the sequenceMathworldPlanetmath 1,,n is divisible by p, so contributes a factor to pk. There are np such factors. Every p2th term contributes an extra factor above that, providing np2 new factors. In general, the pjth terms contribute npj extra factors to pk. So the highest power of p dividing n! is jnpj.∎

We now prove the theoremMathworldPlanetmath.

Bertrand’s conjecture.

Let n>2 be a minimal counterexample to the claim. Thus there is no prime p such that n<p<2n.

In the sequence of primes

2,3,5,7,13,23,43,83,163,317,631,1259,2503,

each succeeding term is smaller than the double of its predecessor. This showsthat n2503.

The binomial expansion (http://planetmath.org/BinomialTheorem) of (1+1)2n has 2n+1 terms and has largest term (2nn). Hence

(2nn)4n2n+14n(2n)2.

For a prime p define r(p,n) to be the highest power of p dividing (2nn). To compute r(p,n), we apply the lemma to (2n)! and n!. We get that

r(p,n)=j12npj-2j1npj=j1(2npj-2npj).

The terms of the sum are all 0 or 1 and vanish whenj>log(2n)logp, sor(p,n)log(2n)logp, that is,pr(p,n)2n.

Now (2nn)=ppr(p,n). By the inequalityMathworldPlanetmath just proved, primes larger than 2n do not contribute to this productPlanetmathPlanetmath, and by assumptionPlanetmathPlanetmath there are no primes between n and 2n. So

(2nn)=1pnp primepr(p,n).

For n>p>2n3, 32>np>1 and so for p>2n3>2n we can apply the previous formulaMathworldPlanetmathPlanetmath for r(p,n) and find that it is zero. So for all n>4, the contribution of the primes larger than 2n3 is zero.

If p>2n, all the terms for higher powers of p vanish and r(p,n)=2np-2np.Since r(p,n) is at most 1, an upper boundMathworldPlanetmath for thecontribution for the primes between 2n and 2n3 is the product of all primes smaller than 2n3. This product isexp(ϑ(2n3)), where ϑ(n) is the Chebyshev functionMathworldPlanetmath

ϑ(n)=pnp primelogp.

There are at most 2n primes smaller than 2n and by the inequality pr(p,n)2n their product is less than(2n)2n. Combining this information, we get the inequality

4n(2n)2(2nn)(2n)2nexp(ϑ(2n3)).

Taking logarithms and applying the upper bound of nlog4 for ϑ(n) (http://planetmath.org/UpperBoundOnVarthetan), we obtain the inequality n3log4(2n+2)log(2n), which is false for sufficiently large n, say n=211. This shows that n<211.

Since the conditions n2503 and n<211 are incompatible, there are no counterexamplesMathworldPlanetmath to the claim.∎

References

  • 1 G.H. Hardy, E.M. Wright, An Introduction to the Theory of Numbers, Oxford University Press, 1938.
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 17:49:00