r51
| 1 | [목차] |
|---|
r53
| 2 | [include(틀:정수론)] |
|---|
r51
| 3 | == 개요 == |
|---|
r53
| 4 | 1964년 수학자 윌런스(C. P. Willans)가 제안한 공식. n에 자연수를 대입하면 n번째 소수로 만드는 공식이로, 다음과 같다. |
|---|
| 5 | >[math(p_{n}=\displaystyle 1+\sum_{i=1}^{2^{n}}\left \lfloor(\frac{n}{\sum_{i}^{j=1}\left \lfloor(\cos\pi\frac{(j-1)!+1}{j})^{2}\right \rfloor})^{\frac{1}{n}}\right \rfloor)] |
|---|
| 6 | |
|---|
| 7 | == 유도 == |
|---|
r55
| 8 | 먼저 [math(\frac{(j-1)!+1}{j})]는 어떤 자연수가 소수인지를 판별하는 역할이다. [[윌슨의 정리]]에 따르면 [math(\frac{(j-1)!+1})]는 [math(j)]가 1이거나 소수일 때는 나누어떨어지고, [math(j)]가 합성수일 때는 나누어떨어지지 않는다. 따라서 [math(\frac{(j-1)!+1}{j})]가 정수인지 아닌지를 확인함으로서 [math(j)]가 소수인지를 판별할 수 있다. |
|---|