Lição de casa da aula: Prova por Contradição Mathematics
Nesta atividade, nós vamos praticar a utilizar a prova por contradição para mostrar que uma afirmação matemática é sempre verdadeira.
Q1:
Um aluno tentou provar a seguinte afirmação por contradição: “Para todos os inteiros pares e , o produto deles é divisível por 4. ” O trabalho do aluno é mostrado abaixo.
- Suposição: Todos os inteiros tal que é ímpar são pares.
- é par; então escreva
- Então, , então é par.
- Isso contradiz a suposição de que é ímpar.
- Portanto, se é ímpar, então deve ser ímpar.
Identifique o erro em seu trabalho.
- ANa segunda frase, eles deveriam ter escrito e .
- BNa frase final, eles tiraram a conclusão errada.
- CNa quarta frase, eles declararam a suposição errada.
- DNa terceira frase, a álgebra está incorreta.
- ENa primeira frase, eles deram a negação incorreta da afirmação que desejam provar.
Q2:
A Mariana quer provar por contradição que se é um número irracional, então ou é irracional.
Qual das seguintes hipóteses deve o Mariana utilizar no início da sua demonstração?
- ASuponha que é um número irracional e que nem nem é irracional.
- BSuponha que é um número irracional e que tanto e são irracionais.
- CSuponha que é um número racional e que nem nem é irracional.
- DSuponha que é um número racional e que ou é irracional.
- ESuponha que ou é um número irracional e que é irracional.
Qual das seguintes afirmações é a contradição que Mariana deve obter perto do final de sua demonstração?
- ASupor que nem nem é irracional leva à contradição de que é racional.
- BSupor que nem nem é irracional leva à contradição de que é irracional.
- CSupor que ou é irracional leva à contradição de que é irracional.
- DSupor que tanto e são irracionais leva à contradição de que é racional.
- ESupor que é irracional leva à contradição de que nem nem é irracional.
O colega de turma do Mariana faz a seguinte declaração: “se é um número racional, então ou deve ser racional.”
Refute a afirmação selecionando um contraexemplo adequado de entre os seguintes.
- A e
- B e
- C e
- D e
- E e