Math 2.0

statement theorem

Dirichlet's theorem on arithmetic progressions

Statement

Let aa and dd be positive integers that are coprime. Then there are infinitely many prime numbers of the form a+nda + n d, with nn a natural number. That is, there are infinitely many primes pp with p≡a(modd)p \equiv a \pmod{d}.

Remarks

The hypothesis gcd⁡(a,d)=1\gcd(a, d) = 1 is necessary. Each term of a+nda + n d is a multiple of gcd⁡(a,d)\gcd(a, d), so at most one term can be prime when gcd⁡(a,d)>1\gcd(a, d) > 1. For d=4d = 4, the theorem gives infinitely many primes p≡1(mod4)p \equiv 1 \pmod 4 and infinitely many primes p≡3(mod4)p \equiv 3 \pmod 4. A special case with an elementary proof is that there are infinitely many primes congruent to 1 modulo n. The primes are in fact equally distributed among the φ(d)\varphi(d) possible classes, where φ\varphi is Euler's totient function.

History

Dirichlet proved the theorem in 1837. His proof introduced Dirichlet characters and Dirichlet LL-functions.

Explanations

L1 human

The sequence 3,7,11,15,19,23,…3, 7, 11, 15, 19, 23, \dots adds 44 at each step. It contains infinitely many primes. In general, a sequence a,a+d,a+2d,…a, a + d, a + 2d, \dots contains infinitely many primes, unless aa and dd have a common factor that blocks them all.

What this node needs for W2
  • edge about out: the concepts that the statement is about (0 of 1)
  • edge proves in: at least one proof node (0 of 1)
  • edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
  • explanation L2 (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 5 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Divisibility definition
  2. Greatest common divisor definition
  3. Prime number definition
  4. Coprime integers definition
  5. Dirichlet's theorem on arithmetic progressions statement

Sources

  1. Web https://en.wikipedia.org/wiki/Dirichlet%27s_theorem_on_arithmetic_progressions, lead section