Deduction, contradiction and counterexamples
| 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. For contradiction, assume the contrary and derive an impossibility. For exhaustion, check every case in a finite complete list.
- 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 que vale para todos os valores. Para contradição, assuma o oposto e deduza uma impossibilidade. Para exaustão, verifique cada caso em uma lista finita completa.
- 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.
Odd integers 2a+1 and 2b+1 sum to 2(a+b+1), hence even. To disprove that n²+n+41 is always prime, use n=41: the value is 41×43=1763. In a contradiction proof that √2 is irrational, assume √2=p/q in lowest terms; p²=2q² forces both p and q even, contradicting lowest terms.
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.
Inteiros ímpares 2a+1 e 2b+1 somam 2(a+b+1), logo par. Para refutar que n²+n+41 é sempre primo, use n=41: o valor é 41×43=1763. Em uma prova por contradição de que √2 é irracional, assuma √2=p/q em forma irreduzível; p²=2q² força tanto p quanto q a serem pares, contradizendo a forma irreduzível.
Deduction, contradiction and counterexamples
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
- 7357 · A-level · A. Match the target tier and specification before assigning extensions.
- 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
- 7357 · Nível A · A. Combine o nível-alvo e as especificações antes de atribuir extensões.
- 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.