Na matemática e lógica, uma prova direta é uma forma de mostrar que certa afirmação é falsa ou verdadeira através de uma combinação de axiomas, lemas e teoremas já estabelecidos.
Este artigo não cita fontes confiáveis. (Agosto de 2021) |
Em cada passo, usa-se implicação "Se p, então q" com p sendo verdadeiro.
Este exemplo ilustra a diferença entre um prova direta e uma prova por contradição, dita indireta. Considere o teorema da desigualdade das médias: Se p e q são números reais não-negativos então:
expandindo:
somando 4pq a cada lado:
fatorando:
extraínda a raiz quadrada (aqui se usa que e ):
logo
o o resultado segue.
Suponha, por absurdo, que existem dois números reais não negativos p e q tais que:
então, tomando quadrados, temos:
o que implica:
ou, reescrevendo:
fatorando o lado direito:
o que é um absurdo pois : .
This article uses material from the Wikipedia Português article Prova direta, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Conteúdo disponibilizado nos termos da CC BY-SA 4.0, salvo indicação em contrário. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Português (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.