연역, 모순법 및 귀납법
도입됨| English | 의미 |
|---|---|
| counterexample/ˈkaʊntəreɡzæmpl/ | 반례 |
패턴이 증명으로 전환되는 시기는 언제인가?
- 여러 정수를 검증하면 패턴을 시사할 수 있다. 어떤 것이 이 패턴을 모든 정수에 대한 증명으로 만드는가?
- 이 수업에서는 **반례(counterexample)**를 다루는데, 이는 보편적 주장을 부정하는 단일 유효 사례이다.
수학적 구조 선택하기
- 연역적 증명은 명시된 정의나 가정에서 시작한다. 반례는 전칭 명제를 반박한다. 귀납법은 기본 사례와 n=k에서 n=k+1로의 함의를 요구하며, 순차적인 경우만 확인하는 것은 귀납법이 아니다.
- 계산 전에 허용된 입력값과 단위를 명시하라. 방정식은 단순히 계산기 입력 내용을 기록하는 것보다 관계성을 표현해야 한다.
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이다. 1+...+n=n(n+1)/2에 대해, 귀납 단계는 가정한 합에 k+1을 더한다.
연역, 모순법 및 귀납법
연역적 증명은 명시된 정의나 가정으로부터 시작됩니다.
모든 정수에 대한 증명과 하나의 반례를 구분하십시오.
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 코인 + 오늘 첫 완료 시 소액 보너스
각 방법에는 필수적인 구조가 있으며, 많은 경우를 확인하는 것은 증거일 뿐 보편적 주장을 증명할 수 없다.
과정에 활용하십시오
- 에덱셀 IAL 수학; 공식 단위 P2. 다른 단위의 심화 과정은 범위 검토에서 식별되며, 추가 과금 대상이 아닙니다.
- 최종 답보다 방법을 먼저 제시하고, 시험지의 계산기 및 공식 규칙을 준수하십시오. 틀린 답을 검토할 때는 첫 번째 유효하지 않은 단계 위치를 찾아보십시오.
일반적 주장(n universal claim)을 반증하는 단일 유효한 사례입니다. 관계를 선택하고, 방법을 보여주며, 그 가정을 확인하고 결과를 해석하십시오.