의정부동 고등수학과외, 지운 식 다음 줄에서 드러난 귀납법의 시작점
수학적 귀납법 증명 초안에서 먼저 눈에 들어온 것은 계산 결과가 아니라 문장과 첫 식의 어긋남이었다. 밑줄 친 문제 문장과 실제 계산을 한 줄씩 대응하자, 지운 식의 다음 줄까지 필요한 조건이 이어지지 않았다. 원고에는 n=1을 확인한 줄 없이 곧바로 귀납 가정부터 적혀 있었다.
처음에는 일반적인 k에서 명제가 성립하는 모습을 보이면 첫 값은 생략해도 된다고 생각했다. 문제 문장에 밑줄을 그어 두었으니 조건이 식에 반영되었다고 판단한 것이다. 그러나 오답노트의 한 문장과 원래 답안을 대조하자, 적어 둔 원인 설명과 실제 풀이 흔적이 맞지 않았다.
귀납 가정 앞에 비어 있던 시작 단계
수학적 귀납법은 일반값을 다루는 과정만으로 끝나지 않는다. 명제가 시작값에서 성립해야 다음 단계로 이어지는 연쇄가 출발한다. 이 역할을 풀이에 반영하지 않은 것이 핵심이었다. 조건을 읽은 순서와 실제로 식에 사용한 순서도 서로 달랐다.
조건과 기호를 잇는 화살표
의정부동 고등수학과외 학습 기록에서는 조건마다 기호를 붙이고, 각 기호가 처음 사용되는 식까지 화살표로 이었다. 그 뒤 명제의 시작값을 직접 대입한 줄을 귀납 가정 앞에 따로 배치했다. 밑줄 표시만 남겨 두는 대신, 문장의 조건이 어느 식에 들어갔는지 답안 안에서 추적할 수 있게 만든 것이다.
검산도 두 단계로 나누었다. 먼저 시작값과 일반값을 계산식에 대입해 결론이 유지되는지 살폈다. 이후 최종값을 원래 문제 문장에 되돌려 넣어 범위와 조건이 맞는지 대조했다. 일반값과 경계값을 각각 넣은 뒤에야 결론이 유지되는 범위를 다시 정할 수 있었다.
새 시작값에서도 이어진 같은 기준
다음 자료에서는 시작값이 0이나 2인 명제가 제시됐다. 학생은 해설의 문장을 그대로 따라 쓰지 않고, 먼저 명제의 범위를 읽은 뒤 해당 시작값을 대입했다. 이어 일반값에 대한 귀납 가정을 적었고, 같은 수학적 근거로 다음 단계의 결론을 제시했다.
일반값, 경계값, 명제의 범위, 시작값 대입, 귀납 가정을 모은 검수 표에는 반복된 두 오류와 공통으로 빠진 조건이 함께 정리됐다. 처음 풀이와 수정 뒤 답안을 비교하니, 달라진 것은 계산량이 아니라 시작점을 먼저 세우는 순서였다.
다음 풀이에서 먼저 볼 한 줄
앞으로 수학적 귀납법을 풀 때는 명제의 시작값을 먼저 확인한다. 결론을 확정하기 전에는 제외값이나 경계값을 한 번 대입하고, 그 결과가 원문 조건과 맞는지 따로 대조한다. 이 두 줄이 귀납 가정에 들어가기 전 실제로 남아 있는지 살피는 것이 다음 점검 기준이다.