[2023학년도 논술길잡이] 직접 증명이 막힐 때는 '결론'을 부정해 볼 것

고1 수학에서 배운 바와 같이 어떤 명제와 그 ‘대우’ 명제의 참·거짓은 동일하다. 따라서 직접 증명이 막히면 결론을 부정했을 때 가정에 위배되는 모순이 생기는지를 보이면 된다. 이러한 증명법을 간접 증명 또는 귀류법이라고 하며 수리논술 답안을 채점할 때 직접 증명과 간접 증명의 논리성은 동일하게 인정되므로 증명 문제가 나오면 간접 증명을 항상 염두에 둘 필요가 있다.

포인트

수리논술에서 출제되는 증명 문제의 유형에는 가정으로부터 결론을 이끌어내는 일반적인 직접 증명 외에 수학적 귀납법에 의한 증명과 귀류법(간접증명) 등이 있다.