11º ano
  1. Álgebra  1.1. Compreendendo Sequências e Séries em Álgebra  1.1.1. Compreendendo sequências aritméticas  1.1.2. Séries aritméticas  1.1.3. Compreendendo sequências geométricas  1.1.4. Entendendo séries geométricas  1.1.5. Convergência e divergência  1.1.6. Entendendo "soma ao infinito" na álgebra  1.1.7. Notação sigma  1.2. Números complexos  1.2.1. Compreendendo números imaginários e complexos  1.2.2. Operações com números complexos  1.2.3. Formas polar e cartesiana dos números complexos  1.2.4. Conjugados complexos  1.2.5. Módulo e argumento  1.2.6. Teorema de De Moivre  1.2.7. Potências e raízes de números complexos  1.3. Teorema Binomial  1.3.1. Expansão de um binômio  1.3.2. Termos comuns no teorema binomial  1.3.3. Coeficiente Binomial  1.3.4. Aplicações do Teorema Binomial  1.3.5. Triângulo de Pascal
  2. Funções e gráficos  2.1. Tipos de tarefas  2.1.1. Funções Polinomiais  2.1.2. Funções racionais  2.1.3. Função exponencial  2.1.4. Função logarítmica  2.1.5. Funções trigonométricas  2.1.6. Trabalho aos pedaços  2.2. Conversão de funções  2.2.1. Tradução  2.2.2. Compreendendo reflexões nas transformações de funções  2.2.3. Esticar e esticar  2.2.4. Compreendendo a rotação em funções e gráficos  2.3. Função Inversa  2.3.1. Encontrando o inverso  2.3.2. Gráficos de funções inversas  2.3.3. Propriedades da função inversa  2.3.4. Restrições para inversos
  3. Trigonometria  3.1. Razões e identidades trigonométricas  3.1.1. Relações trigonométricas básicas  3.1.2. Entendendo as identidades pitagóricas na trigonometria  3.1.3. Fórmulas de soma e diferença  3.1.4. Fórmula do ângulo duplo  3.1.5. Compreendendo as fórmulas de meia-ângulo na trigonometria  3.1.6. Fórmulas de produto a soma e soma a produto  3.2. Equações trigonométricas  3.2.1. Resolvendo equações trigonométricas  3.2.2. Soluções gerais em equações trigonométricas  3.3. Gráficos de funções trigonométricas  3.3.1. Gráfico de seno  3.3.2. Compreendendo o gráfico do cosseno  3.3.3. Gráfico da tangente  3.3.4. Ajuste de amplitude e duração  3.3.5. Mudança de fase no gráfico de funções trigonométricas  3.4. Aplicações da Trigonometria  3.4.1. Leis dos senos e cossenos  3.4.2. Área de triângulos  3.4.3. Resolvendo triângulos  3.4.4. Rolamentos e navegação
  4. Introdução ao cálculo  4.1. Compreendendo limites e continuidade em cálculo  4.1.1. O conceito de limite  4.1.2. Limites unilaterais  4.1.3. Compreendendo limites no infinito em cálculo  4.1.4. Continuidade de uma função  4.1.5. Tipos de descontinuidade  4.2. Discriminação  4.2.1. Definição de derivada  4.2.2. Regras de diferenciação  4.2.3. Derivadas de ordem superior  4.2.4. Regra da cadeia  4.2.5. Regra do produto  4.2.6. Compreendendo a regra do quociente no cálculo  4.3. Aplicações da diferenciação  4.3.1. Taxa de variação  4.3.2. Tangente e normal  4.3.3. Máximos e mínimos  4.3.4. Entendendo funções crescentes e decrescentes  4.3.5. Problemas de otimização  4.3.6. Traçando uma curva  4.3.7. Taxas relacionadas em aplicações de diferenciação  4.4. O que é integração?  4.4.1. Antiderivadas  4.4.2. Integral indefinida  4.4.3. Integral definida  4.4.4. Teorema Fundamental do Cálculo  4.4.5. Técnicas de Integração  4.4.6. Compreendendo a área sob a curva na integração  4.5. Aplicações da integração  4.5.1. Área entre curvas  4.5.2. Volumes de sólidos de revolução  4.5.3. Compreendendo o valor médio de uma função no cálculo
  5. Vetores e matrizes  5.1. Vetores  5.1.1. Introdução  5.1.2. Operações com vetores  5.1.3. Compreendendo o Produto Escalar  5.1.4. Produto vetorial  5.1.5. Aplicações em geometria  5.1.6. Projeção de vetores  5.2. Matrizes  5.2.1. Tipos de matrizes  5.2.2. Compreendendo operações com matrizes  5.2.3. Determinantes  5.2.4. Inverso de uma Matriz  5.2.5. Resolvendo sistemas de equações lineares  5.2.6. Regra de Cramer
  6. Probabilidade e Estatística  6.1. Entendendo a probabilidade em matemática  6.1.1. Conceitos básicos de probabilidade  6.1.2. Probabilidade condicional  6.1.3. Introdução a eventos independentes e dependentes em probabilidade  6.1.4. Teorema de Bayes  6.1.5. Probabilidade combinatória  6.2. Variáveis aleatórias  6.2.1. Distribuição de variáveis ​​aleatórias discretas  6.2.2. Variável aleatória contínua  6.2.3. Distribuições de probabilidade  6.3. Distribuições de probabilidade  6.3.1. Compreendendo a distribuição binomial  6.3.2. Distribuição normal  6.3.3. Distribuição de Poisson  6.3.4. Distribuição igual  6.4. Figuras  6.4.1. Medidas de tendência central  6.4.2. Medidas de dispersão  6.4.3. Coleta e representação de dados  6.4.4. Correlação e Regressão  6.4.5. Técnicas de amostragem
  7. Geometria Analítica  7.1. Retas em geometria coordenada  7.1.1. Forma de inclinação e intercepto na geometria coordenada  7.1.2. Fórmula de distância em linhas retas  7.1.3. Compreendendo a fórmula do ponto médio na geometria analítica  7.1.4. Ângulo entre linhas  7.1.5. Equação de linhas  7.2. Seções cônicas  7.2.1. Círculo  7.2.2. Introdução às parábolas  7.2.3. Elipse na seção cônica  7.2.4. Compreendendo a hipérbole em seções cônicas  7.2.5. Propriedades dos cônicos  7.2.6. Equações paramétricas de cones  7.2.7. Coordenadas polares de cônicas
  8. Lógica aritmética  8.1. Introdução à lógica na lógica matemática  8.1.1. Declarações e conectivos lógicos  8.1.2. Tabelas-verdade  8.1.3. Equivalência lógica  8.1.4. Quantificadores na lógica na lógica matemática  8.1.5. Técnicas de prova  8.2. Entendendo provas em lógica matemática  8.2.1. Evidência direta  8.2.2. Prova indireta  8.2.3. Compreendendo a prova por contradição  8.2.4. Prova por indução matemática

11º ano → Lógica aritmética → Entendendo provas em lógica matemática ↓


Prova indireta


No fascinante mundo da matemática, provar enunciados é uma das tarefas mais importantes. As provas ajudam-nos a verificar que os enunciados matemáticos são universalmente verdadeiros. Existem muitos métodos para provar enunciados, e um método poderoso é conhecido como prova indireta. Nesta discussão, exploraremos o que é uma prova indireta, como ela é usada, qual é a sua estrutura lógica, e veremos exemplos em ação para fortalecer a nossa compreensão.

Compreendendo a prova indireta

A prova indireta, também conhecida como prova por contradição, é um método de raciocínio lógico utilizado para demonstrar a verdade de um enunciado assumindo o oposto do que se quer provar, e mostrando que esta suposição leva a uma contradição. Em outras palavras, começa-se por assumir a negação da conclusão desejada e demonstra-se que esta suposição leva a uma contradição com fatos ou crenças conhecidas.

A estrutura básica de uma prova indireta é a seguinte:

  1. Assumir o oposto do que se quer provar.
  2. Mostrar que esta suposição leva logicamente a uma contradição.
  3. Concluir que a suposição é falsa, e portanto, o enunciado original deve ser verdadeiro.

Estrutura lógica

A base lógica da prova indireta reside na lei da não-contradição e no princípio do reductio ad absurdum.

  • Lei da Contradição: Uma afirmação não pode ser verdadeira e falsa ao mesmo tempo. Esta lei é fundamental na lógica, que afirma que uma proposição ((P)) e sua negação ((neg P)) não podem ser ambas verdadeiras.
  • Reductio ad absurdum: Este é um termo latino que significa "redução ao absurdo". É uma técnica na qual se assume o oposto do que precisa ser provado, e por meio de inferências lógicas chega-se a uma conclusão absurda ou falsa, estabelecendo assim a verdade da proposição original.

Passos para apresentar a prova indireta

Para aplicar a prova indireta de forma eficaz, é necessário seguir cuidadosamente os seguintes passos:

  1. Identificar a proposição: Declara claramente a proposição ou o enunciado que precisa ser provado.
  2. Assumir a negação: Assumir o oposto (negação) da proposição.
  3. Conclusão lógica: Usar o raciocínio lógico para deduzir uma série de afirmações a partir das negações.
  4. Chegar a uma contradição: Mostrar que uma das afirmações derivadas contradiz um fato conhecido, uma definição ou uma suposição inicial.
  5. Concluir a prova: Declarar que, como a suposição leva a uma contradição, a negação assumida é falsa. Portanto, a proposição original é verdadeira.

Exemplo visual 1: Triplas pitagóricas

Vamos considerar provar que ((3, 4, 5)) é uma tripla pitagórica, ou seja, satisfaz o teorema de Pitágoras: (a^2 + b^2 = c^2).

    Suponha (a = 3), (b = 4), e (c = 5).
    Precisamos provar: (3^2 + 4^2 = 5^2).

    Prova indireta:
    1. Suponha que (3^2 + 4^2 neq 5^2).
    2. Calcule (3^2 + 4^2 = 9 + 16 = 25).
    3. Mas (5^2 = 25) também.
    4. Assim, (3^2 + 4^2 = 5^2) (Contradição da suposição).

    conclusão:
    A suposição ((3^2 + 4^2 neq 5^2)) leva a uma contradição.
    Portanto, ((3, 4, 5)) é uma tripla pitagórica.

Exemplo visual 2: Racionalidade da raiz quadrada

Provar que (sqrt{2}) é irracional usando prova indireta.

    Enunciado: (sqrt{2}) é irracional.

    Prova indireta:
    1. Suponha que (sqrt{2}) é racional.
    2. Então, pode ser expresso como uma fração (frac{a}{b}), onde (a) e (b) são inteiros que não têm fator comum a não ser 1 (fração irredutível).
    3. ((sqrt{2} = frac{a}{b}) Rightarrow (2 = frac{a^2}{b^2}) Rightarrow (a^2 = 2b^2)).
    4. Isso implica que (a^2) é par, então (a) é par.
    5. Seja (a = 2k), substitua de volta em (a^2 = 2b^2),
       ((2k)^2 = 2b^2 rightarrow 4k^2 = 2b^2 rightarrow 2k^2 = b^2).
    6. Isso implica que (b^2) é par, então (b) é também par.
    7. Se (a) e (b) são ambos pares, então eles terão um fator comum de 2, o que contradiz a suposição de que não têm fatores comuns.

    conclusão:
    A suposição de que (sqrt{2}) é racional leva a uma contradição.
    Portanto (sqrt{2}) é irracional.

Exemplo: Propriedades dos números pares e ímpares

Provar que não existe um maior número ímpar.

    Proposição: Não existe um maior número ímpar.

    Prova indireta:
    1. Suponha que existe um maior número ímpar, chamá-lo de (n).
    2. Então (n) é o maior número ímpar.
    3. Considere o número (n + 2). Este é também um número ímpar.
    4. (n + 2 > n); Portanto (n) não é o maior número ímpar. (Contradição)

    conclusão:
    A ideia de que existe um maior número ímpar leva a paradoxo.
    Portanto, não existe um maior número ímpar.

Vantagens do uso da prova indireta

A prova indireta pode ser bastante útil por várias razões:

  • Simplifica o processo de provar um enunciado, onde a prova direta pode ser complexa ou não imediatamente evidente.
  • Ajuda a reforçar habilidades básicas de raciocínio lógico, como reconhecer contradições e usar suposições para explorar possibilidades.
  • Alguns enunciados matemáticos são mais fáceis de provar indiretamente do que diretamente, tornando as provas indiretas uma ferramenta valiosa para os matemáticos.

Limitações e desafios

Apesar de a prova indireta ser um método poderoso, ela tem seus próprios desafios:

  • Esta abordagem pode não parecer intuitiva à primeira vista, já que envolve provar o oposto do que se deseja mostrar.
  • Encontrar a contradição certa pode, às vezes, ser desafiador, exigindo um entendimento profundo do problema.
  • Um estudante pode inadvertidamente assumir aquilo que está tentando provar em sua prova, resultando em raciocínio circular.

Conclusão

A prova indireta, ou prova por contradição, é uma técnica fundamental na lógica e no raciocínio matemático. Ela permite que os matemáticos estabeleçam a verdade de muitos tipos de enunciados ao explorar as implicações de seus opostos. Compreender e dominar essa técnica pode enriquecer o conjunto de ferramentas matemáticas de um estudante, levando a uma compreensão mais profunda e à capacidade de enfrentar problemas complexos.

Os exemplos dados aqui deixam claro que a prova indireta não é apenas um conceito abstrato, mas uma ferramenta viva e potente que revela o poder e a beleza da inferência lógica. Ao continuar sua jornada matemática, a habilidade de usar a prova indireta com destreza certamente abrirá portas para novos níveis de compreensão e percepção.


11º ano → 8.2.2


U
username
0%
concluído em 11º ano

← Anterior (8.2.1)
Evidência direta
Próximo (8.2.3) →
Compreendendo a prova por contradição

Comentários 



Prova indireta

https://www.buddymath.com/g11/8.2.2?bmal=pt