To understand which statements about \( n \) in the expression for Mersenne primes \( 2^n - 1 \) are true, let's analyze each statement.
Mersenne primes are primes of the form \( 2^n - 1 \) where \( n \) is a positive integer.
-
Statement 1: \( n \) must be an even number.
This statement is not true. For \( 2^n - 1 \) to be a prime, \( n \) must be a prime number, but it does not have to be even. In fact, \( 2^3 - 1 = 7 \) is a Mersenne prime, and here \( n = 3 \) is an odd number. Thus, \( n \) can be odd or even, but for the Mersenne number \( 2^n - 1 \) to be prime, \( n \) needs to be a prime number. -
Statement 2: \( n \) must be an odd composite number.
This statement is also not true. A composite number is a positive integer that has at least one positive divisor other than one and itself. Mersenne primes occur when \( n \) is a prime number, so it cannot be an odd composite number since composite numbers are not prime. -
Statement 3: \( n \) must be a prime number.
This statement is true. For \( 2^n - 1 \) to be a Mersenne prime, \( n \) must be prime. If \( n \) is not prime, \( 2^n - 1 \) is not necessarily prime. For example, if \( n = 4 \) (which is composite), then \( 2^4 - 1 = 15 \), which is not prime.
In conclusion, the only statement that must be true about \( n \) in the expression for Mersenne primes \( 2^n - 1 \) is:
Statement 3: it must be a prime number.