소수판별법: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
Number0316 (토론 | 기여)
내용들을 더 추가하고 잘못된 내용 고쳤습니다.
Number0316 (토론 | 기여)
잔글편집 요약 없음
107번째 줄:
* k ≡ 1 또는 5 (mod 6)이고 <math>3\nmid n</math>이면 <math>s_0=(2+\sqrt{3})^k+(2-\sqrt{3})^k</math>이다.
* 다른 경우는 k가 3의 배수일 때이다. 이때는 밑의 방식대로 구하면 된다.
**1. 두 식 <math>\left ( \frac{P-2}{N} \right )=1</math> 그리고 <math>\left ( \frac{P+2}{N} \right )=-1</math>을 만족시키는 자연수 P를 구한다. 여기서 각 등식의 왼쪽 항의 기호는 [[야코비 기호]]이다.
**2. 위에서 구한 값 P와 Q=1을 이용하여 뤼카 수열 중 k번째 항인 <math>V_k</math>를 구한다. 이때, <math>s_0=V_k</math>가 된다.