많은 문서에서 '는 무리수다'를 귀류법으로 증명하고 있는데 문제가 있습니다. 는 유리수가 아니다. = 는 무리수이다. 위의 두 문장을 같다고 생각하여 귀류법으로 증명하는 듯합니다. 하지만 위 문장은 같지 않습니다. '유리수가 아니다'는 무리수나 허수일 수 있기 때문입니다. '는 무리수이다'를 귀류법으로 증명하기 위해서는 '허수가 아니다'나 '는 실수다'를 먼저 증명해야 합니다. 수학은 '같음'만을 추구하는 학문이며 증명에서 다음 단계로 넘어가기 위해서는 반드시 '같음'이 인증되어야 합니다. 수학은 단 하나의 오류만 있어도 전체 증명을 부정합니다. 귀류법 귀류법(歸謬法)과 같은 말로 쓰이는 말은 배리법(背理法), 반증법(反證法)이 있습니다. 기본적으로 귀류법은 부정명제를 증명할 때 사용합니다. 즉, '~아..