Deduction, contradiction and induction
도입됨| English | 의미 |
|---|---|
| counterexample/ˈkaʊntəreɡzæmpl/ | 반례 |
When does a pattern become a proof?
- Checking several integers can suggest a pattern. What turns the pattern into a proof for every integer?
- This lesson studies counterexample 反例: A single valid case that disproves a universal claim.
The method
- A deductive proof starts from stated definitions or assumptions.
- A counterexample refutes an all-values claim.
- Induction requires a base case and an implication from n=k to n=k+1; checking successive cases alone is not induction.
Why does n=41 disprove "n²+n+41 is prime for every positive integer n"?
난이도 1/5 · 100 코인 + 오늘 첫 완료 시 소액 보너스
A universal claim falls to one counterexample. At n=41 the value is 41×43, divisible by 41, so not prime - no further cases are needed.
A worked case
For odd integers 2a+1 and 2b+1, their sum is 2(a+b+1), hence even. The claim n²+n+41 is always prime fails at n=41: the value is 41×43=1763. For 1+...+n=n(n+1)/2, the induction step adds k+1 to the assumed sum.
Deduction, contradiction and induction
A deductive proof starts from stated definitions or assumptions
Distinguish a proof for all integers from one counterexample.
Evaluate n²+n+41 at n=41.
난이도 2/5 · 140 코인 + 오늘 첫 완료 시 소액 보너스
At n=41 the value is 41²+41+41=41×43=1763.
Where it goes wrong
- Do not assume the conclusion while proving it.
- In contradiction, identify the impossible consequence and reject the initial contrary assumption.
- Induction is not compulsory in AQA 7357; it belongs in its own appropriate further-mathematics scope.
Not true: Checking the first ten integers proves a claim for every positive integer. A pattern can hold for the first ten cases and then fail; a proof must cover every case.
For 2a+1 and 2b+1 with a=3,b=4, find their sum.
난이도 2/5 · 140 코인 + 오늘 첫 완료 시 소액 보너스
The two odd integers are 7 and 9, whose sum is 16.
Checking the first ten integers proves a claim for every positive integer.
난이도 1/5 · 100 코인 + 오늘 첫 완료 시 소액 보너스
A pattern can hold for the first ten cases and then fail; a proof must cover every case.
Applying it
- AQA proof includes deduction, exhaustion and contradiction.
- IAL P2 introduces exhaustion and counterexample, while P4 introduces contradiction.
- Keep the method matched to the named unit.
Find 1+2+...+20.
난이도 2/5 · 140 코인 + 오늘 첫 완료 시 소액 보너스
Pair the endpoints: 20 terms have average 10.5, giving 20×10.5=210.
Match each proof method to its structure.
난이도 2/5 · 140 코인 + 오늘 첫 완료 시 소액 보너스
Each method has a required structure; checking many cases is evidence but never a proof of a universal claim.
In your course
- Pearson Edexcel International A Level Mathematics, unit P4.
- Every paper allows a calculator, but method marks still need the expression or equation written before its value.
- Counterexample: A single valid case that disproves a universal claim.
- A deductive proof starts from stated definitions or assumptions.
- Watch for: do not assume the conclusion while proving it.
Write from the sum 21
- Add the integers from 1 to 6.
- Six correct values do not prove a formula for every n.
What is the sum of the integers from 1 to 6?
42 divided by 2 is 21.
What is the sum from 1 to 6?
난이도 1/5 · 100 코인 + 오늘 첫 완료 시 소액 보너스
The triangular number for 6 is 21. Other options — 210 (the lesson sum to 20); 6 (the last term).