Prime Numbers in Linear Patterns
From Math Images
Line 18: | Line 18: | ||
Proof. | Proof. | ||
- | Given any prime number <math> p</math>, assume that <math>p </math> is neither congruent to 1 (mod 30) nor <math> q</math> (mod 30) for every prime <math> q</math> less than 30. Then <math> p </math> is congruent to <math>x </math> (mod 30), where <math> x </math> is some integer less than 30 that is not 1 and not a prime. Prime factorization of <math> x </math> must contain one of 2, 3, and 5. (If the prime factorization of <math>x </math> did not contain any of 2, 3, or 5, then the smallest possible value of <math> x</math> will be <math>7 * 7 =49 </math>, which is greater than 30). Thus, <math> x=2^a3^b5^c</math>, where <math> a,b,c >=0</math>, and at least one of <math> a,b,c</math> is greater than 0. Since <math> p </math> is congruent to <math> x</math>, we can write <math>p </math> as <math> p=30*n+2^a3^b5^c</math>, where <math>n </math> is an integer greater than or equal to 1. Then, <math>p=30*n+2^a3^b5^c=(2*3*5)n+2^a3^b5^c </math>. <math> p</math> is then equal to one of <math> 2(3*5*n+2^{a-1}3^b5^c</math> or <math> 3(2*5*n+2^a3^{b-1}5^c)</math> or <math>5(2*3*n+2^a3^b5^{c-1})</math>, which contradicts <math>p </math> being a prime number. Thus, <math> p \equiv 1 \pmod {30}</math> or <math> p \equiv q \pmod {30}</math>. | + | Given any prime number <math> p</math>, assume that <math>p </math> is neither congruent to 1 (mod 30) nor <math> q</math> (mod 30) for every prime <math> q</math> less than 30. Then <math> p </math> is congruent to <math>x </math> (mod 30), where <math> x </math> is some integer less than 30 that is not 1 and not a prime. Prime factorization of <math> x </math> must contain one of 2, 3, and 5. (If the prime factorization of <math>x </math> did not contain any of 2, 3, or 5, then the smallest possible value of <math> x</math> will be <math>7 * 7 =49 </math>, which is greater than 30). Thus, <math> x=2^a3^b5^c</math>, where <math> a,b,c >=0</math>, and at least one of <math> a,b,c</math> is greater than 0. Since <math> p </math> is congruent to <math> x</math>, we can write <math>p </math> as <math> p=30*n+2^a3^b5^c</math>, where <math>n </math> is an integer greater than or equal to 1. Then, <math>p=30*n+2^a3^b5^c=(2*3*5)n+2^a3^b5^c </math>. <math> p</math> is then equal to one of <math> 2(3*5*n+2^{a-1}3^b5^c)</math> or <math> 3(2*5*n+2^a3^{b-1}5^c)</math> or <math>5(2*3*n+2^a3^b5^{c-1})</math>, which contradicts <math>p </math> being a prime number. Thus, <math> p \equiv 1 \pmod {30}</math> or <math> p \equiv q \pmod {30}</math>. |
Line 39: | Line 39: | ||
Let <math> p </math> be a prime number less than 30 that is not equal to 2, 3, or 5. Let <math> q=30-p </math>. If <math> q </math> were not a prime, then <math> q </math> must have 2, 3, or 5 as a prime factor. Since <math> p=30-q </math>, <math> p </math> will also be divisible by 2, 3, or 5, contradicting our condition that <math> p </math> is a prime number. | Let <math> p </math> be a prime number less than 30 that is not equal to 2, 3, or 5. Let <math> q=30-p </math>. If <math> q </math> were not a prime, then <math> q </math> must have 2, 3, or 5 as a prime factor. Since <math> p=30-q </math>, <math> p </math> will also be divisible by 2, 3, or 5, contradicting our condition that <math> p </math> is a prime number. | ||
- | Such observation triggers one's interest to see whether the above statement is true for any multiples of 30, or for any number that is a product of the first few primes. However, this turns out not to be the case. | + | Such observation triggers one's interest to see whether the above statement is true for any multiples of 30, or for any number that is a product of the first few primes. However, this turns out not to be the case. |
|AuthorName=Iris Yoon | |AuthorName=Iris Yoon | ||
|Field=Algebra | |Field=Algebra | ||
|InProgress=No | |InProgress=No | ||
}} | }} |
Revision as of 00:12, 8 December 2012
Prime numbers in table with 180 columns |
---|
Prime numbers in table with 180 columns
- Prime numbers marked in a table with 180 columns
Contents |
Basic Description
Arranging natural numbers in a particular way and marking the prime numbers can lead to interesting patterns. For example, consider a table with 180 columns and infinitely many rows. Write positive integers in increasing order from left to right, and top to bottom. If we mark all the prime numbers, we get a pattern shown in the figure. We can see that prime numbers show patterns of vertical line segments.A More Mathematical Explanation
Instead of studying a table with 180 columns, we will study a table with 30 columns, as shown in [[#1 [...]
Instead of studying a table with 180 columns, we will study a table with 30 columns, as shown in Image 1.
Construction
First, create a table with 30 columns and sufficiently many rows. Write all positive integers starting from 1 as one moves from left to right, and top to bottom. Then, each row will start with a multiple of 30 added by 1, such as 1, 31, 61, 91, 121, ... . If we mark the prime numbers in this table we get Image 2.
Theorem 1
All prime numbers appear on columns that have a 1 or a prime number on its top row. In other words, for every prime number , either , or there exists a prime number less than 30 such that .
Proof. Given any prime number , assume that is neither congruent to 1 (mod 30) nor (mod 30) for every prime less than 30. Then is congruent to (mod 30), where is some integer less than 30 that is not 1 and not a prime. Prime factorization of must contain one of 2, 3, and 5. (If the prime factorization of did not contain any of 2, 3, or 5, then the smallest possible value of will be , which is greater than 30). Thus, , where , and at least one of is greater than 0. Since is congruent to , we can write as , where is an integer greater than or equal to 1. Then, . is then equal to one of or or , which contradicts being a prime number. Thus, or .
However, the statement does not generalize to other integer modulo groups. For instance, when we look at a table with 60 columns, 49 is not a prime number, but the column containing 49 will contain other prime numbers, such as 109.
Moreover, not all integers that are congruent to 1 (mod 30) or (mod 30), where is a prime number less than 30, are prime numbers. For instance, 49, which is congruent to 19 (mod 30), is not a prime number, but 49 still appears on the same column as 19. Let's call the columns that have a 1 or a prime number on its top row as prime-concentrated columns. One can observe that all composite numbers that appear on these prime-concentrated columns, say 49,77,91,119,121,133,143,161,169,..., have prime factors that are greater than or equal to 7. In other words, these composite numbers do not have 2, 3, or 5 as a prime factor.
Theorem 2
Composite numbers that appear on prime-concentrated columns do not have 2,3, or 5 as a prime factor.
Proof. Let be a composite number that appears on a prime-concentrated column, and assume that has at least one of 2, 3, or 5 as a prime factor. Since appears on the prime-concentrated column, can be written as , where is a positive integer and is a prime number smaller than 30. If had 2 as a prime factor, must also have 2 as a factor because 30 has 2 as a factor. This contradicts the fact that is a prime number. The same argument works for the case when has 3 or 5 as prime factors.
Another pattern to notice is that the prime-concentrated columns seem symmetric about the column that contains 15, which leads to the following observation.
Theorem 3
If is a prime number less than 30 and if is not equal to 2,3, or 5, then 30-p is a prime number.
Proof. Let be a prime number less than 30 that is not equal to 2, 3, or 5. Let . If were not a prime, then must have 2, 3, or 5 as a prime factor. Since , will also be divisible by 2, 3, or 5, contradicting our condition that is a prime number.
Such observation triggers one's interest to see whether the above statement is true for any multiples of 30, or for any number that is a product of the first few primes. However, this turns out not to be the case.
Teaching Materials
- There are currently no teaching materials for this page. Add teaching materials.
Leave a message on the discussion page by clicking the 'discussion' tab at the top of this image page.