For Question 16 consider the theorem and proof below then answer the question: Theorem. There are infinitely many prime numbers. Proof. Suppose to the contrary that there is only a finite number of prime numbers, viz, p1, P2 · . . , Pk- Let N = (p1 · P2 · ... · Pk) + 1. Since N is greater than each of the p1, p2, ... , Pk it must be a composite number. Also, since N > 1 and N is a natural number, then N must have a prime divisor. Let p E {p1, P2,. .. , Pk} be a prime divisor of N. Then p|N and p|p · P2 · ...· Pk since p occurs as a factor of p1 · P2 · ... · Pk. Now, recall that for any subset {a, b, c, m, n} of the set of integers if alb and alc, then a|(mb+ nc). Hence, we have that p| [N – (pı · P2 · ... Pk)], which implies that p|1. But p is a prime number, which implies that p2 2, a contradiction. Therefore, there are infinitely many prime numbers. Question: In the proof above we let "N = (p1 ·P2 · ... Pk) + 1." Is it necessary to add precisely 1 in this line of the proof? If yes, justify your answer clearly; if no, explain why any (positive) integer l would work.

College Algebra (MindTap Course List)
12th Edition
ISBN:9781305652231
Author:R. David Gustafson, Jeff Hughes
Publisher:R. David Gustafson, Jeff Hughes
Chapter8: Sequences, Series, And Probability
Section8.5: Mathematical Induction
Problem 42E
icon
Related questions
Topic Video
Question
For Question 16 consider the theorem and proof below then answer the question:
Theorem. There are infinitely many prime numbers.
Proof. Suppose to the contrary that there is only a finite number of prime numbers, viz, p1 , P2, ..., Pk-
Let N = (p1 · p2 · ... · Pk) + 1. Since N is greater than each of the p1, p2, ..., Pk it must be a
composite number. Also, since N > 1 and N is a natural number, then N must have a prime
divisor. Let p E {P1, P2, ... , Pk} be a prime divisor of N. Then p|N and p|p1 · P2 · ... Pr since
p occurs as a factor of p1 · P2 · ... Pr. Now, recall that for any subset {a, b, c, m, n} of the set
of integers if alb and alc, then a|(mb + nc). Hence, we have that p| [N – (pı · P2 · ... Pk)], which
implies that p|1. But p is a prime number, which implies that p 2 2, a contradiction. Therefore,
there are infinitely many prime numbers.
Question:
In the proof above we let “N = (p1 · P2 · ... Pk) + 1." Is it necessary to add precisely 1 in this
line of the proof?
If yes, justify your answer clearly; if no, explain why any (positive) integer l would work.
Transcribed Image Text:For Question 16 consider the theorem and proof below then answer the question: Theorem. There are infinitely many prime numbers. Proof. Suppose to the contrary that there is only a finite number of prime numbers, viz, p1 , P2, ..., Pk- Let N = (p1 · p2 · ... · Pk) + 1. Since N is greater than each of the p1, p2, ..., Pk it must be a composite number. Also, since N > 1 and N is a natural number, then N must have a prime divisor. Let p E {P1, P2, ... , Pk} be a prime divisor of N. Then p|N and p|p1 · P2 · ... Pr since p occurs as a factor of p1 · P2 · ... Pr. Now, recall that for any subset {a, b, c, m, n} of the set of integers if alb and alc, then a|(mb + nc). Hence, we have that p| [N – (pı · P2 · ... Pk)], which implies that p|1. But p is a prime number, which implies that p 2 2, a contradiction. Therefore, there are infinitely many prime numbers. Question: In the proof above we let “N = (p1 · P2 · ... Pk) + 1." Is it necessary to add precisely 1 in this line of the proof? If yes, justify your answer clearly; if no, explain why any (positive) integer l would work.
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Knowledge Booster
Propositional Calculus
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Recommended textbooks for you
College Algebra (MindTap Course List)
College Algebra (MindTap Course List)
Algebra
ISBN:
9781305652231
Author:
R. David Gustafson, Jeff Hughes
Publisher:
Cengage Learning
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,