자연수 n에 대하여 n2−n+1이 7의 배수가 되는 n은 3, 5에서 시작하여 7을 주기로 되풀이된다는 것을 보이려 한다.
모든 자연수 n에 대하여 n2−n+1의 n에 n+7을 대입하면
(n+7)2−(n+7)+1=(n2−n+1)+7×((가)) 이므로 n 대신 n+7을 대입해도 n2−n+1을 7로 나눈 나머지는 변하지 않는다. ⋯⋯ ㉠
또, 7 이하의 자연수 n에 대하여 8−n도 7 이하의 자연수이고, n2−n+1의 n에 8−n을 대입하면
(8−n)2−(8−n)+1=(n2−n+1)+7×((나)) 이므로 n 대신 8−n을 대입해도 n2−n+1을 7로 나눈 나머지는 변하지 않는다. ⋯⋯ ㉡
n2−n+1의 n에 1, 2, 3, 4를 차례로 대입한 값을 7로 나눈 나머지는 1, 3, 0, (다)이므로, ㉡에 의하여 7 이하의 자연수 n 중에서 n2−n+1이 7의 배수인 것은 n=3, n=5뿐이다.
모든 자연수 n은 음이 아닌 정수 q와 7 이하의 자연수 r에 대하여 n=7q+r로 나타낼 수 있고, ㉠을 거듭 쓰면 n2−n+1을 7로 나눈 나머지는 r2−r+1을 7로 나눈 나머지와 같다. 따라서 n2−n+1이 7의 배수인 자연수 n은 7로 나눈 나머지가 3 또는 5인 수 3,5,10,12,17,19,⋯이고, 3, 5에서 시작하여 7을 주기로 되풀이된다.
위의 (가), (나)에 알맞은 식을 각각 g(n), h(n)이라 하고, (다)에 알맞은 수를 p라 할 때, g(p)×h(p)의 값은?