정의·가정과 증명 전략

정리는 패턴이 아니라 논증의 의무다

실험은 주장이 참일 가능성을 시사합니다. 증명은 지정한 범위의 모든 경우에 왜 성립하는지 설명합니다. 반례는 보편 주장이 왜 실패하는지 설명합니다. 세 종류를 하나의 ‘검증 완료’ 표식으로 합치면 안 됩니다.

가정을 온전히 적을 수 있는 정리 ‘모든 정수 n에서 n²이 짝수이면 n도 짝수’를 다룹니다. 유한 실험은 구간만 검사하고 별도 논증은 모든 정수에서 증명합니다. 둘을 함께 보되 역할을 나눕니다.

정의·가정·결론

정의는 용어의 의미를 정합니다. 짝수는 어떤 정수 k에 대해 n=2k, 홀수는 n=2k+1입니다. 정리는 정의와 이미 받아들인 결과에서 정당화해야 하는 주장입니다.

정수 영역이 중요합니다. 실수로 옮겨도 ‘짝수’가 정수 배수를 뜻한다면 다른 문장이 됩니다. n=√2의 제곱은 2지만 n은 짝수 정수가 아닙니다. 숨긴 영역 변경이 익숙한 주장도 깨뜨릴 수 있습니다.

쉬운 방향의 직접 증명

먼저 ‘n이 짝수이면 n²도 짝수’를 보입니다. n=2k를 가정하면 n²=4k²=2(2k²)이고 2k²은 정수라 정의에 맞는 증인을 얻습니다.

이것은 기준 정리의 역방향입니다. 양방향을 모두 증명했다고 부르면 함의 단원의 오류를 반복합니다.

기준 방향의 직접 논증은 나눗셈의 나머지를 쓸 수 있습니다. n=2k+r, r∈{0,1}로 쓰면 n²의 짝홀은 r과 같습니다. 제곱이 짝수라는 가정이 r=0을 강제합니다. 처음부터 n이 짝수라고 가정한 것이 아니라 정당한 두 경우 분할을 사용한 것입니다.

대우 증명

대우는 ‘n이 홀수이면 n²도 홀수’입니다. 임의의 정수 k에 대해 n=2k+1로 쓰면

입니다. 2k²+2k가 정수라 제곱도 홀수입니다. 모든 홀수가 이 형태이므로 임의 정수의 대우를 보였고 원래 함의와 동치여서 정리가 따릅니다.

검사 한계나 n=3 같은 특정 예에 의존하지 않습니다. 예는 산술 검산에 유용하지만 모든 정수의 범위를 보장하는 것은 임의 정수에 대한 논증입니다.

모순 증명으로 재구성

n²이 짝수인데 결론이 실패한다고 가정합니다. 정수에서 짝수가 아니면 홀수라 n=2k+1입니다. 같은 전개로 n²이 홀수임을 얻어 가정과 모순됩니다. 한 정수가 동시에 짝수·홀수일 수 없다는 사실을 사용합니다.

모순은 실제 가정에서 따라야 합니다. 예상과 다른 식이나 불편한 수치가 나왔다는 것만으로 모순은 아닙니다. 어떤 확립된 사실들이 동시에 성립할 수 없는지 명시하세요.

실험에서는 대우와 모순의 표현을 바꿔 읽을 수 있습니다. 표현을 바꿔도 정리는 같고 유한 표가 무한 증명으로 바뀌지는 않습니다.

결론을 강화하려면 근거가 더 필요하다

두 번째 주장은 결론을 ‘4의 배수’로 바꿉니다. n=−2의 제곱은 4로 짝수지만 −2는 4의 배수가 아니어서 반례입니다. 짝수만 증명한 논증으로 더 강한 결론을 빌려올 수 없습니다.

세 번째 주장은 제곱이 홀수이면 원래 수가 짝수라고 합니다. −3은 제곱 9와 홀수 입력으로 즉시 반박합니다. 가정을 만족하며 결론을 깨는 반례 하나면 보편 주장이 거짓입니다.

가정을 만족하지 않는 사례는 반례가 아닙니다. n=3은 원래 짝수 제곱 정리의 가정을 만족하지 않습니다. 표의 함의 열에서 구분하세요.

순환 논증과 잘못된 약분

기준 증명에서 처음부터 n=2k라고 쓰면 결론을 가정한 셈입니다. 다른 흔한 오류는 0이 아님을 확인하지 않고 식으로 나누는 것입니다. x²=x에서 x로 나누면 x=0인 정당한 해를 버립니다.

각 단계는 정의·가정·항등식·선행 정리와 적용 조건을 가져야 합니다. 수치 해법이 답 하나를 반환했다고 이런 의무가 자동으로 채워지지는 않습니다.

유한 검사의 정확한 역할

표는 −B부터 B까지 정수를 모두 확인합니다. 그 유한 범위에서는 전수 검사입니다. B를 늘려 놓친 반례를 찾을 수 있지만 유한 구간 하나의 통과만으로 ℤ 전체를 증명하지는 못합니다.

검사는 부호·경계·과도한 결론을 발견하는 데 중요합니다. 논리적 강도는 범위에 달렸습니다. 명제의 전체 배정 공간이 유한이면 전수 진리표로 동치를 확인할 수 있지만 정수의 유한 검색은 무한 전체를 소진하지 못합니다.

AI 연구에 적용하기

강건성의 정의, 강건성을 보이는 정리, 공격을 측정하는 실험을 구분하세요. 교란 집합·모형·손실·양화사·가정을 적습니다. 성공한 공격은 특정 보장의 반례가 될 수 있지만 공격을 못 찾았다는 사실이 공격 부재의 증명은 아닙니다.

최적화 정리에서는 매끄러움·볼록성·잡음 유계·분모 비영 조건이 어디 쓰이는지 확인하세요. 실험은 정리의 관련성을 뒷받침할 수 있지만 증명을 대신하지 않습니다. 증명된 정리도 실험 모형과 가정이 다르면 바로 적용되지 않습니다.

연습과 근거

1. 두 짝수의 합이 짝수임을 직접 증명하세요.
2. n=3이 기준 정리의 반례가 아닌 이유는? 답: 제곱이 가정을 만족하지 않습니다.
3. x²=x를 x로 나누면 빠지는 경우는? 답: x=0입니다.
4. 연구 주장의 반례가 만족해야 할 가정과 깨야 할 결론을 적으세요.

보충은 MIT Mathematics for Computer Science 읽기 자료를 참고하세요. 기준 정리는 정수 가정을 명시하여 다룹니다.