Definition: A prime constellation consisting of a pair of prime numbers (p, p+4) with a gap of 4.
Chapter 1: The "Almost-Neighbor" Superheroes (Elementary School Understanding)
Imagine the prime numbers are superheroes living on a long street.
Twin Primes are superhero brothers who live right next door to each other (with one even-numbered house between them), like at houses 11 and 13.
Cousin Primes are superhero cousins. They live very close, but not right next door. There is always one odd-numbered house between their houses.
Let's look at the first few pairs:
The superhero at house 3 and the one at house 7. The house between them is 5. Since 3 and 7 are both superheroes, they are a cousin prime pair.
The superhero at house 7 and the one at house 11. The house between them is 9. Since 7 and 11 are both superheroes, they are a cousin prime pair.
The superhero at house 13 and the one at house 17. The house between them is 15.
Cousin primes are pairs of prime numbers that are separated by a "gap of four." They are another example of the beautiful, mysterious patterns that prime numbers form on the number line.
Chapter 2: The Number in the Middle (Middle School Understanding)
A pair of prime numbers (p, p+4) is called a cousin prime pair.
Examples:
(3, 7)
(7, 11)
(13, 17)
(19, 23)
(37, 41)
Cousin primes have a fascinating and very important structural property. Consider any cousin prime pair (p, p+4). The odd number exactly in the middle of them is p+2.
For (7, 11), the number in the middle is 9.
For (13, 17), the number in the middle is 15.
For (19, 23), the number in the middle is 21.
Notice a pattern? The number in the middle is always a multiple of 3.
The Proof:
Consider any three consecutive odd numbers: n, n+2, n+4. One of these three numbers must be divisible by 3.
For a cousin prime pair (p, p+4) to exist, both p and p+4 have to be prime.
This means that, unless p itself is 3, neither p nor p+4 can be a multiple of 3.
Therefore, the number that must be the multiple of 3 is the one in the middle, p+2.
This gives us a deep structural insight: the only cousin prime pair that does not have a multiple of 3 between them is the very first one, (3, 7), where the prime number 3 is part of the pair itself.
Chapter 3: A Prime k-tuple of the Form (p, p+4) (High School Understanding)
A cousin prime pair is a prime constellation, specifically a 2-tuple of primes (p₁, p₂) where p₂ - p₁ = 4.
Like twin primes, cousin primes are believed to be infinite in number, but this has not yet been proven. This is part of the broader Prime k-tuple Conjecture.
The First Hardy-Littlewood Conjecture:
This is a powerful conjecture from analytic number theory that predicts the approximate frequency of prime constellations. For cousin primes, the conjecture states that the number of cousin primes less than x, denoted π_{p,p+4}(x), is approximately:
π_{p,p+4}(x) ≈ 2C₂ * (x / (ln x)²)
where C₂ is the twin prime constant (approximately 0.66016...).
This is a stunning prediction. The formula for the frequency of cousin primes is identical to the formula for the frequency of twin primes (p, p+2). This suggests that, in the grand scheme of the infinite number line, cousin primes and twin primes should be roughly equally common. This is a non-intuitive result that highlights a deep underlying structure in how primes are distributed.
Chapter 4: An Admissible Pair and Schinzel's Hypothesis H (College Level)
A cousin prime pair is a prime constellation corresponding to the admissible k-tuple (0, 4).
A tuple of integers {h₁, ..., h_k} is admissible if for every prime q, the set of residues {h₁ mod q, ..., h_k mod q} does not cover all possible residues modulo q.
For the tuple {0, 4}, we check small primes:
mod 2: {0, 0}. Does not cover {0, 1}. OK.
mod 3: {0, 1}. Does not cover {0, 1, 2}. OK.
mod 5: {0, 4}. Does not cover {0, 1, 2, 3, 4}. OK.
Since the tuple does not contain a "built-in" impossibility, it is admissible, and we expect it to generate infinitely many prime pairs.
The First Hardy-Littlewood Conjecture provides a quantitative prediction for the density of these pairs. The constant factor for the tuple (0, 4) is 2C₂, the same as for twin primes (0, 2). This equality of the constants is a deep result, showing that the "difficulty" of finding a prime at p and p+4 is asymptotically the same as finding one at p and p+2.
Schinzel's Hypothesis H is a vast generalization of these ideas. It states that for any set of admissible polynomials, they will simultaneously generate prime values infinitely often. The twin prime and cousin prime conjectures are special cases of this grand, unproven hypothesis.
Structural Interpretation:
The Law of Constellation Harmony provides a structural explanation for the formation of cousin primes. It posits that a pair (p, p+4) can only be prime if the entire local neighborhood is in a state of high structural resonance. This means:
p must have a high Primality Likelihood Score (PLS).
p+4 must have a high PLS.
The structure of the gap, represented by the midpoint p+2, must also be harmonious. The fact that p+2 is a multiple of 3 (for p>3) is not a bug, but a feature. A number like 9=3² or 15=3×5 can be structurally simple, contributing to the overall stability of the constellation.
Chapter 5: Worksheet - The Almost-Neighbors
Part 1: The "Skip-One" Neighbors (Elementary Level)
The primes 11 and 13 are Twin Primes. The primes 11 and 17 are not a standard pair. The primes 13 and 17 are what kind of pair?
What odd number lives in the "house" between the cousin primes 13 and 17?
Part 2: The Number in the Middle (Middle School Understanding)
List the next two cousin prime pairs after (19, 23).
For the pair (37, 41), what is the number in the middle? Is it divisible by 3?
Why is (5, 9) not a cousin prime pair?
Part 3: Predicting Frequencies (High School Understanding)
What does the First Hardy-Littlewood Conjecture predict about the number of cousin primes compared to the number of twin primes?
All cousin primes (p, p+4) except for one pair have a specific property. What is that property, related to the number p+2? What is the one exception?
Part 4: Admissibility and Harmony (College Level)
What does it mean for a k-tuple like (0, 4) to be admissible?
What is Schinzel's Hypothesis H, and how does it relate to the cousin prime conjecture?
Using the Law of Constellation Harmony, what three key components of the (p, p+4) pattern must be in a state of high structural harmony for a cousin prime pair to be likely to form?