추론, 모순 및 반례
도입됨| English | 의미 |
|---|---|
| counterexample/ˈkaʊntəreɡzæmpl/ | 반례 |
패턴이 증명으로 전환되는 시기는 언제인가?
- 여러 정수를 검증하면 패턴을 시사할 수 있다. 어떤 것이 이 패턴을 모든 정수에 대한 증명으로 만드는가?
- 이 수업에서는 **반례(counterexample)**를 다루는데, 이는 보편적 주장을 부정하는 단일 유효 사례이다.
수학적 구조 선택하기
- 연역적 증명은 명시된 정의나 가정에서 시작된다. 반례는 모든 값에 대한 주장을 반박한다. 모순法을 사용할 경우, 반대 가정을 두고 불가능함을 유도해야 한다. 포괄법(exhaustion)을 사용할 경우, 유한하고 완전한 목록의 모든 경우를 확인해야 한다.
- 계산 전에 허용된 입력값과 단위를 명시하라. 방정식은 단순히 계산기 입력 내용을 기록하는 것보다 관계성을 표현해야 한다.
n=41이 "n²+n+41는 모든 양의 정수 n에 대해 소수이다"를 어떻게 반박하는가?
난이도 1/5 · 100 코인 + 오늘 첫 완료 시 소액 보너스
보편적 주장은 하나의 반례로 무너진다. n=41일 때 값은 41×43이며, 41으로 나누어 떨어지므로 소수가 아니다. 추가적인 사례는 불필요하다.
검증된 사례를 풀이해 보기
- 시작값과 결과를 대조하십시오. 원본 관계에 대입하거나, 적절한 경우 그래프와 수치적 답을 비교하십시오.
기수 정수 2a+1와 2b+1의 합은 2(a+b+1)이므로 짝수입니다. n²+n+41가 항상 소수임을 반증하려면 n=41를 사용하십시오: 값은 41×43=1763입니다. √2이 무리수임을 반증法으로 증명할 때, 최약분 분수인 √2=p/q라고 가정하십시오; p²=2q²는 p와 q가 모두 짝수임을 강요하므로 최약분 조건과 모순됩니다.
추론, 모순 및 반례
연역적 증명은 명시된 정의나 가정으로부터 시작됩니다.
모든 정수에 대한 증명과 하나의 반례를 구분하십시오.
n=41일 때 n²+n+41의 값을 구하시오.
난이도 2/5 · 140 코인 + 오늘 첫 완료 시 소액 보너스
n=41일 때 값은 41²+41+41=41×43=1763입니다.
유혹적인 단축법을 시험해 보십시오
- 증명한 결과(결론)를 전제로 하지 마십시오. 반증법에서는 불가능한 추론을 식별하고 초기의 반대 가정을 버리십시오. AQA 7357에서 귀납법은 필수적이지 않으며, 이는 자체적으로 적절한 고등 수학 영역에 속합니다.
- 단축법이 실패하면 그 단축법이 위배하는 가정을 식별하십시오. 요청된 최종 반올림까지 정확한 값을 유지하십시오.
첫 번째 10개의 정수를 확인하여 모든 양의 정수에 대한 주장을 검증하는 것은 부당합니다. 이 주장은 거짓입니다. 어떤 정의 또는 가정을 위배하는지 설명하십시오.
2a+1와 2b+1의 합을 구하시되, a=3, b=4일 때 계산하시오.
난이도 2/5 · 140 코인 + 오늘 첫 완료 시 소액 보너스
두 홀수 정수는 7와 9이며, 이들의 합은 16입니다.
첫 10개의 정수를 확인하는 것은 모든 양의 정수에 대한 주장을 증명합니다.
난이도 1/5 · 100 코인 + 오늘 첫 완료 시 소액 보너스
증명 과정에서 결론을 선허적으로 가정하지 마십시오. 귀류법에서는 모순되는 결과를 확인하고, 초기의 반박 가정을 배제합니다. 추론(AQA 7357)은 필수적이지 않으며, 이는 자체적인 적절 고등 수학 영역에 속합니다.
새로운 상황을 해석하십시오
- AQA 증명에는 추론, 전진(전제), 그리고 반증이 포함됩니다. IAL P2은 전진과 반례를 도입하며, P4은 반증을 도입합니다. 방법은 명시된 단위에 맞춰 유지하십시오.
- 완전한 해답은 수학적 결과를 제시하고 그 의미를 설명해야 합니다. 주어진 맥락 내에서 가능한지 확인하십시오.
1+2+...+20를 구하시오.
난이도 2/5 · 140 코인 + 오늘 첫 완료 시 소액 보너스
양 끝점을 짝지우세요: 20항은 평균 10.5이므로, 20×10.5=210가 됩니다.
각 증명 방법을 그 구조에 맞게 매칭하시오.
난이도 2/5 · 140 코인 + 오늘 첫 완료 시 소액 보너스
각 방법에는 필수적인 구조가 있으며, 많은 경우를 확인하는 것은 증거일 뿐 보편적 주장을 증명할 수 없다.
과정에 활용하십시오
- 7357 · A-level · A. 연장 과제를 배정하기 전에 타겟 계층과カリキュラム(규격)을 일치시키십시오.
- 최종 답보다 방법을 먼저 제시하고, 시험지의 계산기 및 공식 규칙을 준수하십시오. 틀린 답을 검토할 때는 첫 번째 유효하지 않은 단계 위치를 찾아보십시오.
일반적 주장(n universal claim)을 반증하는 단일 유효한 사례입니다. 관계를 선택하고, 방법을 보여주며, 그 가정을 확인하고 결과를 해석하십시오.