Professor

Douglas Maioli

TÉCNICAS DE
DEMONSTRAÇÃO
 TEOREMA
Um Teorema é uma afirmação que foi provada como verdadeira,
utilizando outras afirmações demonstradas anteriormente.
Enquanto uma afirmação não é provada (ou invalidada), a chamamos de
Conjectura
Na matemática chamamos de Axiomas afirmações tão simples, que não
precisam de demonstrações
 TEOREMA
Dado , se for verdadeiro e provarmos que também o será,
torna-se um teorema.
 CONTRAEXEMPLO
Como provamos que uma afirmação é falsa? Basta encontramos
um contraexemplo, isto é, um no seu domínio, em que é verdadeiro,
mas é falso.

Todos os cachorros são feios.

Contraexemplo: Mel é uma cachorra bonita.
 CONTRAEXEMPLO
Como provamos que uma afirmação é falsa? Basta encontramos
um contraexemplo, isto é, um no seu domínio, em que é verdadeiro,
mas é falso.

Se é um inteiro maior que 1, então .

Contraexemplo:
TÉCNICAS DE DEMONSTRAÇÕES
que serão estudadas nesta aula
Exaustiva
Direta
Contraposição
Redução ao Absurdo
 DEMONSTRAÇÃO EXAUSTIVA
Na demonstração exaustiva (por exaustão) provamos que a afirmação é
verdadeira para todos os possíveis valores de no domínio.

Se é um inteiro entre 1 e 5, então .

𝟐 𝟐
 DEMONSTRAÇÃO EXAUSTIVA
Na demonstração exaustiva (por exaustão) provamos que a afirmação é
verdadeira para todos os possíveis valores de no domínio.

Se é um inteiro entre 1 e 5, então .

𝟐 𝟐

1 0 0
2 1 1
3 4 4
4 9 9
5 16 16
 DEMONSTRAÇÃO DIRETA
Na demonstração direta se estabelece uma sequência de
demonstração partindo de e chegando a ..

Se é um inteiro, então .
 DEMONSTRAÇÃO DIRETA
Na demonstração direta se estabelece uma sequência de
demonstração partindo de e chegando a ..

Se são números inteiros pares, então o produto também é um

número inteiro par.
Hipótese:
são números inteiros pares
Tese:
é um inteiro par.
 DEMONSTRAÇÃO DIRETA
Se são números inteiros pares, então o produto também é um
Hipótese: número inteiro par.
são números inteiros pares
Teorema conhecido: é um inteiro par se, e
somente se, existe , tal que .
Existe inteiros , tais que
 DEMONSTRAÇÃO DIRETA
Se são números inteiros pares, então o produto também é um
Hipótese: número inteiro par.
são números inteiros pares
Teorema conhecido: O produto entre dois números
inteiros é um número inteiro.
Existe inteiros , tais que

é um número inteiro
 DEMONSTRAÇÃO DIRETA
Se são números inteiros pares, então o produto também é um
Hipótese: número inteiro par.
são números inteiros pares
Teorema conhecido: é um inteiro par se, e somente
se, existe , tal que .
Existe inteiros , tais que

é um número inteiro
é um número inteiro par
 CONTRAPOSIÇÃO
Na regra de equivalência da contraposição, temos que

Dado um número inteiro, temos que, se é par, então é par.

Dado um número inteiro, temos que, se é ímpar, então é ímpar.
Hipótese:
é um número ímpar
, para algum inteiro.

Como é um número inteiro, segue que

é um número ímpar
 REDUÇÃO AO ABSURDO
(OU PROVA POR CONTRADIÇÃO)
Temos a seguinte equivalência tautológica:

Dado dois número inteiros, temos que, se são ímpares, então

é par.
Hipótese:
é um número ímpar
é um número ímpar
é um número ímpar
 REDUÇÃO AO ABSURDO
(OU PROVA POR CONTRADIÇÃO)
é um número irracional.
Hipótese:
é um número racional
 CUIDADO COM O
No caso do “se, e somente se”, então temos que fazer duas
demonstrações.