Deduction, contradiction and induction
| English | Português |
|---|---|
| counterexample/ˈkaʊntəreɡzæmpl/ | contraexemplo |
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.
Quando um padrão se torna uma prova?
- Verificar vários inteiros pode sugerir um padrão. O que transforma esse padrão em uma prova para todo inteiro?
- Esta lição estuda contraexemplo: Um único caso válido que invalida uma afirmação universal.
Choose the mathematical structure
- 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.
- State the allowed inputs and units before calculating. An equation should express the relationship, not just record a calculator entry.
Escolha a estrutura matemática
- Uma prova dedutiva parte de definições ou premissas declaradas. Um contraexemplo refuta uma afirmação universal. Indução exige um caso base e uma implicação de n=k para n=k+1; verificar casos sucessivos isoladamente não é indução.
- Declare as entradas permitidas e as unidades antes de calcular. Uma equação deve expressar a relação, não apenas registrar uma entrada de calculadora.
Which description correctly defines counterexample?
A single valid case that disproves a universal claim.
Work through a checked case
- Check the result against the starting quantities. Substitute into the original relation, or compare the graph and numerical answer where appropriate.
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.
Passe por um caso verificado
- Verifique o resultado em relação às quantidades iniciais. Substitua na relação original ou compare o gráfico e a resposta numérica quando apropriado.
Para inteiros ímpares 2a+1 e 2b+1, sua soma é 2(a+b+1), logo par. A afirmação de que n²+n+41 é sempre primo falha em n=41: o valor é 41×43=1763. Para 1+...+n=n(n+1)/2, o passo indutivo adiciona k+1 à soma assumida.
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.
At n=41 the value is 41²+41+41=41×43=1763.
Test a tempting shortcut
- 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.
- When a shortcut fails, identify the assumption it breaks. Keep an exact value until the requested final rounding.
Checking the first ten integers proves a claim for every positive integer. This claim is false. Explain which definition or assumption it violates.
Teste um atalho tentador
- Não assuma a conclusão enquanto a prova. Na contradição, identifique a consequência impossível e rejeite a suposição inicial contrária. A indução não é obrigatória no AQA 7357; ela pertence ao seu próprio escopo adequado de matemática avançada.
- Quando um atalho falha, identifique a premissa que ele viola. Mantenha o valor exato até o arredondamento final solicitado.
Verificar os primeiros dez inteiros prova uma afirmação para todo inteiro positivo. Esta afirmação é falsa. Explique qual definição ou premissa ela viola.
For 2a+1 and 2b+1 with a=3,b=4, find their sum.
The two odd integers are 7 and 9, whose sum is 16.
Checking the first ten integers proves a claim for every positive integer.
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.
Interpret a new situation
- 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.
- A complete solution gives the mathematical result and explains what it means. Check that it is possible in the stated context.
Interprete uma nova situação
- A prova do AQA inclui dedução, exaustão e contradição. O IAL P2 introduz exaustão e contraexemplo, enquanto P4 introduz contradição. Mantenha o método correspondente à unidade nomeada.
- Uma solução completa fornece o resultado matemático e explica o que ele significa. Verifique se é possível no contexto declarado.
Find 1+2+...+20.
Pair the endpoints: 20 terms have average 10.5, giving 20×10.5=210.
Match each part of a complete solution to its purpose.
An assumption justifies the model; a check tests the result; interpretation connects it to the question.
Use this in your course
- edexcel IAL mathematics; official unit P2. Other-unit enrichment is identified in the scope review; it is not an extra cash-in requirement.
- Give the method before the final answer, and use the paper's calculator and formula rules. Review a wrong answer by locating the first invalid step.
A single valid case that disproves a universal claim. Choose the relationship, show the method, check its assumptions and interpret the result.
Use isso em seu curso
- edexcel IAL matemática; unidade oficial P2. O enriquecimento de outras unidades é identificado na revisão do escopo; não é um requisito adicional de pagamento extra.
- Forneça o método antes da resposta final e siga as regras de calculadora e fórmulas do papel. Revise uma resposta errada localizando o primeiro passo inválido.
Um único caso válido que desprova uma afirmação universal. Escolha a relação, mostre o método, verifique suas premissas e interprete o resultado.