1. 가정의 범위를 포괄적으로 설정하기 (Strong Induction)

• 단순히 특정 시점인 **"n=k일 때 성립한다"**고만 가정하는 것은 논리적 오류를 유발할 수 있습니다. 증명 과정에서 k번째 항뿐만 아니라 그 이전의 항들(예: 1부터 k까지)의 성질을 이용해야 하는 경우가 많기 때문입니다.

• 따라서, 오류를 방지하기 위해서는 **"n≤k인 모든 자연수(즉, l이 k 이하인 모든 경우)에 대해 성립한다고 가정"**해야 합니다. 소스에서는 학생이 단지 한 점(n=k)에서만 성립한다고 가정한 것을 두고 "큰 논리적 오류"라고 지적하며, 이전의 모든 항에 대해 성립함을 가정해야 다음 단계(k+1)로 논리를 확장할 수 있다고 설명합니다.

2. 결론을 전제로 사용하지 않기 (Circular Reasoning Avoidance)

• 증명해야 할 결론(예: an=1/n)이 이미 참이라고 전제하고 식을 변형하거나 논의를 진행해서는 안 됩니다.

• 올바른 접근법은 "주어진 조건(점화식 등)"과 "귀납법의 가정(n≤k일 때 성립함)"을 출발점으로 삼아, 목표하는 식(k+1일 때의 식)을 유도해 내는 것입니다. 소스에서는 결론을 전제로 논의를 진행하면 논리적 늪에 빠지게 된다고 경고합니다.

3. 초기값 검증 (Base Case)

• 당연해 보이더라도 n=1 (또는 문제에 따라 필요한 초기값들)일 때 실제로 성립하는지 명확히 확인하고 보여주는 과정이 필수적입니다.

즉, **"n≤k일 때 성립한다고 가정"**하는 강력한 귀납법을 적절히 사용하고, 결론을 미리 참으로 쓰지 않고 유도해 내는 논리적 흐름을 지키는 것이 오류를 방지하는 핵심입니다.