Aula 5 Indução Matematica

Matemática Discreta
Professor Darso Gambôa
Eng. Electrónico e Informático

REGRAS
Interdito o uso de telemóvel ou PC
(salvo expressamente indicado)
Chefe da turma responsável pela
arrumação da sala no final da aula
2
Indução Matemática
Indução
Matemática
3
Demonstrações servem por exemplo para:

1. Verificar se uma determinada
implementação está correta.
2. Estabelecer se sistemas de operações são

seguros e correctos.
4
Na ciência da computação uma demonstração
pode ser utilizada para se ter certeza de que um
determinado algoritmo funciona de acordo com a
sua especificação. 5
Como exemplo de algoritmos que foram
validados utilizando-se argumentos formais,
podemos citar:
 Algoritmos de ordenação.
 Algoritmos de busca em bases de dados.
6
O objecto básico de uma demonstração é a
proposição que desejamos demonstrar. Essa
proposição recebe o nome de teorema.
7
Um teorema é uma proposição do tipo: pq. A

qual, prova-se, é verdadeira sempre que: p
q
Exemplo 1:
Para todos os números reais positivos x e y,
se x>y então >
8
Um teorema é 1º 2º
dividido em 2 partes Hipótese Tese
9
Na Hipótese:
 Onde podem-se encontrar as
informações conhecidas sobre o
teorema.
 Essas informações são tomadas como

verdadeiras a fim de se tentar obter uma
demonstração. 10
A Tese: é a parte do teorema que

desejamos validar.
A partir da hipótese, utilizando-se uma

sequência de argumentos formais,
buscamos uma demonstração para a tese.
11
Dessa forma o teorema pode ser escrito como a

seguinte implicação lógica:
Hipótese ⇒ Tese
12
Em algumas circunstâncias os teoremas

recebem nomes especiais.
1. Quando um teorema é utilizado como

parte da demonstração de um outro
teorema, em geral mais complexo, ele recebe
o nome de Lema.
13
2. Quando um teorema é uma

consequência imediata de outro, ele
recebe o nome de corolário.
14
EXEMPLO 2:
• Teorema 1: A soma dos ângulos internos

de um triângulo é 180 graus.
• Corolário 1: Cada ângulo de um triângulo

equilátero vale 60 graus.
15
Princípio da
Indução
Matemática 16
O que é o princípio
da
indução matemática
17
Para demonstrar que certas propriedades
e proposições são válidas no conjunto dos
números naturais, N, usa-se o Princípio de
Indução Matemática, que sucintamente
descreve o seguinte:
18
Uma propriedade é válida para todos os

números naturais se:
1º A propriedade é válida para n = 1.
2º Para todo o natural n, se a propriedade é
válida para n, então ela é válida para n + 1.

19
Suponhamos que pretendemos demonstrar que uma

propriedade p(n) é verdadeira para todo n N.
Procedimento:
1º p(1) é verdadeiro
2º Hipótese de Indução: Assumimos que p(n) é verdadeira

3º Tese de Indução: Vamos demonstrar que p(n + 1) é
verdadeira.
4º Demonstração: .... 20
Nota:
O método de indução também se aplica aos casos
em que a propriedade p(n) é válida apenas para n
≥ k, k N.
Nesse caso começamos por verificar que p(k) é
verdadeiro e procedemos do mesmo modo. 21

EXEMPLO 3:
Mostre que:
𝑛( 𝑛+1)
1+2+ 3+… +𝑛= ∀ 𝒏∈ 𝐍
2
22
23
Em suma, esse método funciona provando que o
enunciado é verdadeiro para um valor inicial, e então
provando que o processo usado para ir de um valor
para o próximo é valido. No entanto, se ambas as
situações são provadas, então qualquer valor pode ser
obtido através da repetição desse processo.

24
FIM
25

Aula 5 Indução Matematica

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aula 5 Indução Matematica

Enviado por

Direitos autorais:

Formatos disponíveis

Matemática Discreta

Professor Darso Gambôa

Eng. Electrónico e Informático

Interdito o uso de telemóvel ou PC

(salvo expressamente indicado)

Chefe da turma responsável pela

arrumação da sala no final da aula

Demonstrações servem por exemplo para:

2. Estabelecer se sistemas de operações são

Na ciência da computação uma demonstração

pode ser utilizada para se ter certeza de que um

determinado algoritmo funciona de acordo com a

Como exemplo de algoritmos que foram

validados utilizando-se argumentos formais,

O objecto básico de uma demonstração é a

proposição que desejamos demonstrar. Essa

proposição recebe o nome de teorema.

Um teorema é uma proposição do tipo: pq. A

 Essas informações são tomadas como

A Tese: é a parte do teorema que

A partir da hipótese, utilizando-se uma

Dessa forma o teorema pode ser escrito como a

Em algumas circunstâncias os teoremas

1. Quando um teorema é utilizado como

2. Quando um teorema é uma

• Teorema 1: A soma dos ângulos internos

• Corolário 1: Cada ângulo de um triângulo

Para demonstrar que certas propriedades

e proposições são válidas no conjunto dos

números naturais, N, usa-se o Princípio de

Indução Matemática, que sucintamente

Uma propriedade é válida para todos os

1º A propriedade é válida para n = 1.

2º Para todo o natural n, se a propriedade é

válida para n, então ela é válida para n + 1.

Suponhamos que pretendemos demonstrar que uma

2º Hipótese de Indução: Assumimos que p(n) é verdadeira

em que a propriedade p(n) é válida apenas para n

Nesse caso começamos por verificar que p(k) é

verdadeiro e procedemos do mesmo modo. 21

Em suma, esse método funciona provando que o

enunciado é verdadeiro para um valor inicial, e então

provando que o processo usado para ir de um valor

para o próximo é valido. No entanto, se ambas as

situações são provadas, então qualquer valor pode ser

obtido através da repetição desse processo.

Você também pode gostar