23p+1이 완전제곱수가 되는 소수 p가 존재하지 않음을 증명한 과정이다.
<증명>
23p+1이 완전제곱수가 되는 소수 p가 존재한다면
어떤 자연수 n에 대하여 23p+1=n2꼴로 나타낼 수 있다.
23p=(n−1)(n+1) … ①
23이 소수이므로 n−1과 n+1 중 적어도 하나는 23의 배수이다.
ⅰ) n−1이 23의 배수일 때,
n−1=23s (s는 자연수)로 놓고 이 식을 ①에 대입하면
p=s(23s+2) … ②
그런데 p가 소수이므로 s=A
이 값을 ②에 대입하면, p=B
∴ p는 소수가 아니다.
ⅱ) n+1이 23의 배수일 때,
n+1=23t (t는 자연수)로 놓고 이 식을 ①에 대입하면
p=t(23t−2) … ③
그런데 p가 소수이므로 t=A
이 값을 ③에 대입하면, p=C
∴ p는 소수가 아니다.
따라서, 23p+1이 완전제곱수가 되는 소수 p가 존재하지 않는다.
위의 <증명>과정에서 A+B+C의 값은? [3점]