specific,Is 8703585473 divisible by 3?

advertisement
Theorem 2.6 There are infinitely many primes
Proof. The proof is done via the contradiction method.
Supposed only finitely primes, say ๐‘1 , ๐‘2 , โ‹ฏ , ๐‘๐‘˜ . Let m be
defined by
๐‘š = ๐‘1 ๐‘2 โ‹ฏ ๐‘๐‘˜ + 1.
Since ๐‘š is an integer > 1 then FTA implies that m is
divisible by some prime p. By assumption the prime p
must be one of those primes ๐‘1 , ๐‘2 , โ‹ฏ , ๐‘๐‘˜ . Thus,
p divides ๐‘1 ๐‘2 โ‹ฏ ๐‘๐‘˜ since p is one of them. Conseq.,
p also divides ๐‘š − ๐‘1 ๐‘2 โ‹ฏ ๐‘๐‘˜ = 1 which is impossible.
We deduce that assumption was false, so that there
must be infinite primes.
Let ๐‘๐‘› denote the ๐‘›๐‘กโ„Ž prime, so that ๐‘1 = 2, ๐‘2 =
3, ๐‘5 = 11, and so on.
2๐‘›−1
Corollary 2.7. For all ๐‘› ≥ 1, ๐‘๐‘› ≤ 2
.
This estimation is too weak, for instance ๐‘4 = 7 but
24−1
2
= 28 = 256 → 7 << 256.
Proof: see on the textbook.
For any positive number ๐‘ฅ, let ๐œ‹(๐‘ฅ) denote the number
of primes ๐‘ ≤ ๐‘ฅ, for example ๐œ‹(10) = 4, ๐œ‹(100) = 25.
Corrolary 2.8. ๐œ‹(๐‘ฅ ) ≥ ⌊log 2 (log 2 ๐‘ฅ)⌋ + 1.
2๐‘›−1
Proof. ๐‘› = ⌊log 2 (log 2 ๐‘ฅ)⌋ + 1 ↔ 2
≤ ๐‘ฅ. Then, by
Corollary 2.7 there are at least n primes ๐‘1 , ๐‘2 , โ‹ฏ , ๐‘๐‘› ≤
2
2๐‘›−1
≤ ๐‘ฅ → ๐œ‹(๐‘ฅ ) ≥ ๐‘› = ⌊log 2 (log 2 ๐‘ฅ)⌋ + 1.
This estimation is also too weak, for example:
๐‘ฅ = 109 → ๐‘› = 5.
In fact, the the number of primes ๐‘ ≤ 109 is
approximately 5 × 107 much numerous than 5.
GAUSS CONJECTURE in 1793:
๐‘ฅ
๐‘‘๐‘ก
๐‘ฅ
๐œ‹ (๐‘ฅ ) ≈ ∫
↔ ๐œ‹(๐‘ฅ) ≈
ln ๐‘ฅ
2 ln ๐‘ก
In the sense that
๐œ‹(๐‘ฅ)
๐‘ฅ/ ln ๐‘ฅ
→ 1 as ๐‘ฅ → ∞. This conjecture
finally proved by Hadamark and de la Vallee Poussin in
1896.
Theorem 2.9. There are infinitely many primes of the
form 4๐‘ž + 3.
Example: 7, 11, 19, 23, . . . all of has above type.
Theorem 2.10. If ๐‘Ž and ๐‘ are co-prime then there are
infinitely many primes of the form ๐‘Ž๐‘ž + ๐‘.
This is a general theorem proved by Dirichlet in 1837.
Theorem 2.9 correspond to ๐‘Ž = 4 and ๐‘ = 3.
Goldbach’s Conjecture: every even integer ๐‘› ≥ 4 is the
sum of two primes, e.g. 4=2+2, 6=3+3, 8=3+5, 12=5+7...
FERMAT AND MERSENNE PRIMES
Consider the integers of the form 2๐‘š ± 1; many small
primes 3, 5, 7, 17, 31, ... have this form.
Lemma 2.11. 2๐‘š + 1 is prime → ๐‘š = 2๐‘› for some ๐‘› ∈ ๐‘
Examples: 3 = 21 + 1 → 1 = 20 , 5 = 22 + 1 → 2 = 21 ,
17 = 24 + 1 → 4 = 22 , 31 = 25 − 1 ≠ 2๐‘š + 1 →? ? ?
Outline of proof. We prove the contraposition, that
๐‘š ≠ 2๐‘› → 2๐‘š + 1 is not a prime. Since ๐‘š ≠ 2๐‘› then it
must be hold ๐‘š = 2๐‘› ๐‘ž for some odd ๐‘ž > 1. Then,
consider the polynomial ๐‘ƒ(๐‘ก) โ‰” ๐‘ก ๐‘ž + 1 has root ๐‘ก = −1.
2๐‘›
Then, show that 2 + 1 is a proper factor of integer
2๐‘š + 1, which can not be prime.
DEFINITION:
2๐‘›
1. Numbers of the form ๐น๐‘› = 2 + 1 are called
Fermat numbers, and those which are primes are
called Fermat primes.
Examples: ๐‘› = 0, 1, 2, 3, 4 → ๐น๐‘› = 3, 5, 17, 257, 65537
are prime, but Euler in 1732 that
๐น5 = 232 = 4294967297 = 641 × 6700417 is composite.
No more Fermat prime have been found.
2. Integers of the form 2๐‘ − 1, where ๐‘ prime, are
called Mersenne numbers (in 1644); those which
are primes are called Mersenne primes.
Examples: for primes ๐‘ = 2, 3, 5, 7 the Mersenne
numbers ๐‘€๐‘ = 3, 7, 31, 127 are primes, but ๐‘€11 =
2047 = 23 × 89 is composite.
Primality-testing and factorization
(1) How do we decide that a given integer (big one) is
prime?
(2) How do we find the prime-power factorization of a
given large integer.
More specific,Is 8703585473 divisible by 3? Is it divisible
by 11?
Lemma 2.14. An integer ๐‘› > 1 is composite ↔ it is
divisible by some primes ๐‘ ≤ √๐‘›.
Proof. (←) If ๐‘› is divisible by such ๐‘ where 1 < ๐‘ ≤
√๐‘› < ๐‘› it follows that ๐‘› is composite.
(→) ๐‘› composite ↔ ๐‘› = ๐‘Ž๐‘, 1 < ๐‘Ž < ๐‘›, 1 < ๐‘ < ๐‘›; at
least one of ๐‘Ž and ๐‘ is less than or equal to √๐‘›, (since if
not then ๐‘Ž๐‘ > ๐‘›) and this factor will be divisible by a
prime ๐‘ ≤ √๐‘›, which then divides ๐‘›.
Eratosthenes Sieve is a systematic way of compiling a list
of all the primes up to a given integer N.
1. List the integers 2, 3, . . . , N.
2. Underline or encircle 2 (which is prime) and cross
out all the proper multiples 4, 6, 8, . . . of 2.
3. The first integer which is neither encircle nor cross
out is 3; this is prime. We encircle 3 and cross out
all the proper multiples 6, 9, 12, . . . of 3.
4. Encircle 5 and cross out it multiples.
5. We continue like this till every number in the list is
either encircled or crossed out.
All encircled numbers are primes.
Remark: the process can be stopped when the proper
multiples of all the primes ๐‘ ≤ √๐‘ have been crossed
out.
Decimal form of Integer:
๐‘ = ๐‘Ž๐‘˜ ๐‘Ž๐‘˜−1 โ‹ฏ ๐‘Ž1 ๐‘Ž0
โ‰” ๐‘Ž๐‘˜ 10๐‘˜ + ๐‘Ž๐‘˜−1 10๐‘˜−1 + ๐‘Ž1 10 + ๐‘Ž0 .
where ๐‘Ž๐‘– are integers in {0, 1, 2, โ‹ฏ , 9} and ๐‘Ž๐‘˜ ≠ 0.
1. N is divisible by 2 ↔ the last digit ๐‘Ž0 is even.
2. N is divisible by 3 ↔ the sum of all the digits is
divisible by 3.
3. N is divisible by 4 ↔ the number formed by last two
digits is divisible by 4.
4. N is divisible by 5 ↔ the last digit is either 0 or 5.
5. N is divisible by 6 ↔ the sum of all digits is divisible
by 3 and the last digit is even.
6. N is divisible by 7 ↔ M is divisible by 7 where M is
the number derived from N by subtracting twice the
last digit.
7. N is divisible by 8 ↔ the numbers formed by three
last numbers is divisible by 8.
8. N is divisible by 9 ↔ the sum of all the digits is
divisible by 9.
9. N is divisible by 10 ↔ the last digit is zero.
10.N is divisible by 11 ↔ the difference between the
sum of digits on the odd places and the sum of
digits on the even places is divisible by 11.
11.N is divisible by 12 ↔ the number formed by the
last two digits is divisible by 4 and the sum of all
digits is divisible by 3.
12.N is divisible by 25 ↔ the number formed by the
last two digits is divisible by 25.
13.N is divisible by 125 ↔ the number formed by the
last three digits is divisible by 125.
Download