r76
| 1 | [[분류:정수론]] |
|---|
r89
| 2 | [include(틀:정수론)] |
|---|
r76
| 3 | [목차] |
|---|
| 4 | == 개요 == |
|---|
r82
| 5 | '''메르센 수''' [math(M_n)]은 [math(2^n-1)] 꼴의 수를 의미하고, '''메르센 소수'''는 [math(2^2-1=3)]와 같이 메르센 소수 중 소수인 수들을 뜻한다. 메르센 소수는 주로 큰 소수를 찾기 위해 탐색하는 유형의 수들이고, 그런 만큼 현재까지 발견된 가장 큰 5개의 소수까지는 모두 메르센 소수이다. |
|---|
r76
| 6 | |
|---|
r77
| 7 | == 수학적 성질 == |
|---|
r80
| 8 | * [math(2^n-1)]이 소수라면 [math(n)]도 소수이다. 1이 아닌 두 자연수 [math(r)]와 [math(s)]을 두고 [math(x^r=a)]로 치환하면 [math(x^{rs}-1=a^s-1=(a-1)(a^{s-1}+a^{s-2}+\dots a+1))]로 인수분해가 되고, [math(rs)]는 합성수이므로 [math(2^n-1)]에서 [math(n)]이 합성수라면 대응하는 메르센 수도 합성수라는 의미이기 때문이다. |
|---|
r81
| 9 | * 짝수 완전수는 모두 [math(2^{n-1}M_{n})]의 형태를 가지므로 메르센 소수는 모두 짝수 완전수와 일대일 대응된다. |
|---|
r82
| 10 | * 이진수로 표현했을 때 [math(n)]개의 1만으로 이루어져 있다. |
|---|
r88
| 11 | * 홀수소수 [math(p)]를 지수로 갖는 메르센 수의 소인수 [math(q)]는 모두 [math(8k\pm 1)] 꼴이며, [math(q\equiv 1\pmod {2p})]를 만족한다. |
|---|