Teoremas e Provas

Estruturas de Dados e Projeto de Algoritmos

Teorema: respostas a questes matemticas.

I

Humberto Longo
I
Instituto de Informtica
Universidade Federal de Gois

Instncia do teorema:
I

Ps-Graduao em Cincia da Computao, 2015

I

(1 1 de 1025)

Teoremas e Provas
I

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (40 150 de 1025)

Teoremas e Provas

Instncia que torna a hiptese verdadeira mas leva a uma

concluso falsa.
Encontrar um contra-exemplo suficiente para mostrar que o
teorema falso.
nico modo de mostrar que um teorema verdadeiro
provando-o!

A prova um argumento dedutivo cujas premissas so as

hipteses e cuja concluso a tese do teorema.
I
I

Exemplo 1.6

Argumento vlido.
Forma lgica das hipteses forma lgica da concluso.

Qual a estratgia de prova mais adequada s vrias formas de

hipteses e teses?

Teorema 1: Se x > 3 e y < 2, ento x2 2y > 5.

I

Tese verdadeira para toda instncia que torne a hiptese

verdadeira.

Contra-Exemplo
I

Atribuio particular de valores a variveis livres nas hipteses

e concluses.
Variveis livres podem assumir quaisquer valores do universo
em discusso.

Teorema correto:
I

INF/UFG EDPA 2015/1 Humberto Longo

Se certas condies so verdadeiras, ento alguma concluso

tambm verdadeira.
Hiptese verdadeira = Tese verdadeira.

x = 5 e y = 1 23 > 5 : No prova o teorema, apenas

verifica uma instncia do mesmo.

Teorema 2: Se x > 3, ento x2 2y > 5.

I

x = 4 e y = 6 x2 2y = 4 > 5 : Contra-exemplo!

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (41 150 de 1025)

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (42 150 de 1025)

Teoremas e Provas

Teoremas e Provas

Regras bsicas:
I

Nunca afirme alguma coisa se voc no puder justific-la

completamente.
Se voc tem qualquer dvida a respeito da justificativa para
uma afirmao, ento ela no adequada.
Se o seu raciocnio no o convence, como convencer a outros?

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (43 150 de 1025)

Transformao do Problema

Provar uma concluso da forma P Q

Notao:
I

Provar uma concluso da forma P Q:

a) Suponha que P verdadeiro.
b) Use este postulado para concluir que Q verdadeiro.

Exemplo 1.7
I

Sejam a, b
I

Dados: enunciados conhecidos ou aqueles que se assumiu

serem verdadeiros em algum ponto da demonstrao.
Objetivo: enunciados a serem provados.

Demonstraes (45 150 de 1025)

R. Prove que se 0 < a < b, ento a2 < b2.

R

Dados: a, b (hiptese).
Objetivo: Se 0 < a < b, ento a2 < b2 (tese).

I
I

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (44 150 de 1025)

Teoremas e Provas

a) Adicione P lista de hipteses.

b) Mude a concluso de P Q para Q.
I Se resolver o novo problema, na verdade ter mostrado que se
P verdadeiro ento Q tambm verdadeiro, ou seja, ter
resolvido o problema original P Q.
I

Afirmar um enunciado alegar que o mesmo verdadeiro e

isso no aceitvel em uma prova, a menos que possa ser
justificado.
Supor um enunciado permite dizer o que poderia ser
verdadeiro se o enunciado fosse verdadeiro.

INF/UFG EDPA 2015/1 Humberto Longo

I
I

Supor e Afirmar

Dados: a, b , 0 < a < b.

Objetivo: a2 < b2 .

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (46 150 de 1025)

Provar um Objetivo da forma P Q

Rascunho:

Dados
..
.
..
.
P
I

Objetivo da forma P Q Q P

P Q

Antes da transformao.

Depois da transformao.

Demonstraes (47 150 de 1025)

Objetivo da forma P Q Q P

R e tais que a > b. Prove que se ac bc,

R
R

Antes da transformao.

Depois da transformao.

Soluo:
Suponha que Q falso.
[Prove que P verdadeiro]
Portanto, P Q.

Demonstraes (48 150 de 1025)

Se possvel, reescreva o objetivo de alguma outra forma

(enunciado positivo) e use uma das estratgias de prova.

Exemplo 1.9

Objetivo
ac bc c 0

Sejam os conjuntos A, B, C
a C. Prove que a
/ A\B.

Rascunho:

ac > bc

Soluo:
Suponha c > 0. Multiplicando ambos os lados da
desigualdade a > b por c conclui-se que ac > bc. Portanto,
se ac bc ento c 0.

INF/UFG EDPA 2015/1 Humberto Longo

P Q

INF/UFG EDPA 2015/1 Humberto Longo

Dados
a, b, c
a>b
a, b, c
a>b
c>0

Objetivo

Objetivo da forma P

Exemplo 1.8
Sejam a, b, c
ento c < 0.

Dados
..
.
..
.
Q
I

Soluo:
Suponha que P verdadeiro.
[Prove que Q verdadeiro]
Portanto, P Q.

INF/UFG EDPA 2015/1 Humberto Longo

Rascunho:

Objetivo

Demonstraes (49 150 de 1025)

Dados
A, B, C
AC B
aC

INF/UFG EDPA 2015/1 Humberto Longo

U. Suponha que A C B e
Objetivo
a
/ A\B

Demonstraes (50 150 de 1025)

Objetivo da forma P
I

Objetivo da forma P

Se possvel, reescreva o objetivo de alguma outra forma

(enunciado positivo) e use uma das estratgias de prova.

Exemplo 1.9
I

Se possvel, reescreva o objetivo de alguma outra forma

(enunciado positivo) e use uma das estratgias de prova.

Exemplo 1.9

Obs-1:

Rascunho:

P Q P Q (P Q)
I

a
/ A\B

(a A a
/ B)
a
/ AaB
aAaB

[Definio de A\B]
[DeMorgan]
[Condicional]

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (51 150 de 1025)

Objetivo da forma P

INF/UFG EDPA 2015/1 Humberto Longo

Objetivo
a
/ A\B

aAaB

aB

Demonstraes (52 150 de 1025)

Objetivo da forma P

Nem sempre um objetivo da forma P pode ser reescrito

como enunciado positivo.

Rascunho:
Dados
..
.
..
.
P

Dados
A, B, C
AC B
aC
A, B, C
AC B
aC
A, B, C
AC B
aC
aA

Obs-2:

Objetivo

Prova por contradio:

I

P
I

hContradioi

Vantagem: supor P verdadeiro permite crescer a lista de

hipteses.
Desvantagem: Objetivo vago, ou seja, produzir uma
contradio de alguma coisa que verdadeiro.

Soluo:
Suponha que P verdadeiro.
[Prove a contradio]
Portanto, P falso.

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (53 150 de 1025)

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (54 150 de 1025)

Objetivo da forma P

Usar um Dado da forma P

Exemplo 1.10
I

Dados x, y
x 6= 3.
I

R, prove que se x2 + y = 13 e y 6= 4 ento

Numa prova por contradio tente fazer de P o objetivo.

I

Se P pode ser provado, P contradiz o dado P .

x 6= 3 (x = 3), logo estratgia anterior no pode ser usada.

Dados
x, y
x, y
x2 + y = 13
y 6= 4
x, y
x2 + y = 13
y 6= 4
x=3

R
R

Objetivo
x + y = 13 e y 6= 4 x 6= 3
x 6= 3

hContradioi

Dados
..
.
P
..
.
P

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (55 150 de 1025)

Objetivo
hContradioi
P

Soluo:
[Prove que P verdadeiro]
Como j se sabe que P verdadeiro, tem-se uma
contradio.

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (56 150 de 1025)

Dado da forma P Q

Provas por contradio

I

Provas por contradio podem ser usadas com objetivos que

no so da forma P .

Exemplo 1.11
I Dados A, B, C

U, tais que A\B C, se x A\C, ento x B.

Dados
A\B C
A\B C
x A\C

Objetivo
x A\C x B
xB

A\B C
x A\C
x
/B

hContradioi

A\B C
xA
x
/C
x
/B

xC

INF/UFG EDPA 2015/1 Humberto Longo

Soluo

Se P dado tambm ou se possvel provar que P

verdadeiro, conclua que Q verdadeiro.
I

Suponha x A\C.
[Prove que x B].
Portanto, se x A\C, ento x B.
Suponha x A\C.
Suponha x
/ B.
[Prove a contradio].
Assim, x B.
Portanto, se x A\C, ento x B.
Suponha x A\C (x A e x
/ C).
Suponha x
/ B.
[Prove que x C].
Isto contradiz o fato de x
/ C.
Assim, x B.
Demonstraes (57 150 de 1025)
Portanto, se x A\C, ento x B.

Se P e P Q so verdadeiros, ento Q tambm verdadeiro.

Se P Q verdadeiro e Q falso, ento P deve ser falso
tambm.

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (58 150 de 1025)

Dado da forma P Q

Provas por contradio

Exemplo 1.12

Exemplo 1.13

I Suponha P (Q R). Prove que R (P Q).

I

P Q Q P .

Dados
P (Q R)
P (Q R)
R

Objetivo
R (P Q)
P Q

P (Q R)
R
P

P (Q R)
R
P

QR

Soluo
Suponha R.
[Prove que P Q].
Portanto, R (P Q).
Suponha R.
Suponha P .
[Prove Q].
Portanto, P Q.
Portanto, R (P Q).
Suponha R.
Suponha P .
De P e P (Q R),
segue que Q R.
[Prove Q].
Portanto, P Q.
Portanto, R (P Q).

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (59 150 de 1025)

Provar um Objetivo da forma x P (x)

Considere x um objeto arbitrrio e prove P (x).

Rascunho:

Objetivo
x P (x)
P (x)

Soluo:
Considere um x arbitrrio.
[Prove P (x)].
Como x arbitrrio, conclui-se que x P (x).

INF/UFG EDPA 2015/1 Humberto Longo

Dados
AB
aA
(a B b B)
AB
aA
aBb
/B
AB
aA
aBb
/B

Objetivo
b
/B

Soluo

b
/B

aB

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (60 150 de 1025)

Provar um Objetivo da forma x P (x)

Dados
..
.
..
.
x arbitrrio

Sejam A, B e tais que A B. Considere elementos

genricos a e b tais que a A e a e b no pertencem ao
mesmo tempo a B. Prove que b
/ B.

Demonstraes (61 150 de 1025)

Exemplo 1.14
I

Sejam A, B

Rascunho:

Dados
A, B
A, B
AB =A
A, B
AB =A
A, B
AB =A
xA

U
U
U
U

U. Prove que se A B = A, ento A B.

Objetivo
AB =AAB
AB
x (x A x B)
xB

INF/UFG EDPA 2015/1 Humberto Longo

Soluo
Suponha A B = A.
Considere um x A arbitrrio.
[Prove que x B].
Portanto, x A x B
Como x arbitrrio, conclui-se que
x (x A x B). Assim, A B.
Portanto, se A B = A, ento A B.

Demonstraes (62 150 de 1025)

Provar um Objetivo da forma x P (x)

Provar um Objetivo da forma x P (x)

Exemplo 1.15

Tente encontrar um valor de x para o qual voc acredita que

P (x) seria verdadeiro e prove P (x) para este x.

Rascunho:
Dados
..
.
..
.
x=

Prove que para todo nmero real x, se x > 0 ento existe um

nmero real y tal que y(y + 1) = x.

Rascunho:
Dados
x
x>0
x >0

Objetivo
x P (x)
P (x)

y=
I

Soluo:
Seja x = .
[Prove P (x)].
Portanto, x P (x).

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (63 150 de 1025)

Tcnicas gerais

Objetivo
x (x > 0) y (y(y + 1) = x)
y (y(y + 1) = x)
y(y + 1) = x

1+ 1+4x
2

Soluo:
Suponha
um nmero real arbitrrio x > 0. Seja

1+ 1+4x
y=
. [Prove que y(y + 1) = x]. Logo,
2
y (y(y + 1) = x). Assim, x > 0 y (y(y + 1) = x).
Portanto, como x arbitrrio, conclui-se que
x (x > 0) y (y(y + 1) = x).

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (64 150 de 1025)

Exemplos de demonstraes
Exemplo 1.16

Provar um objetivo da forma P Q.

I

Usar um Dado da forma P Q.

I

Trate P e Q como dados separados.

Provar um objetivo da forma P Q.

I

Prove P e Q separadamente.

Prove P Q e Q P separadamente.

Usar um Dado da forma P Q.

I

Trate como dois dados separados: P Q e Q P .

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (65 150 de 1025)

Dados A, B, C tais que A B e A e C so disjuntos,

prove que A B\C.

Rascunho:
Dados
AB
AC =
AB
AC =
AB
AC =
xA
AB
AC =
xA

INF/UFG EDPA 2015/1 Humberto Longo

Objetivo
A B\C
x (x A x B\C)
x B\C

xB
x
/C

Demonstraes (66 150 de 1025)

Exemplos de demonstraes

Exemplos de demonstraes

Exemplo 1.17

Exemplo 1.18

Prove que x P (x) x P (x).

Rascunho:

Dados A, B, C

U, prove que A (B\C) = (A B)\C.

A (B\C) = (A B)\C [A (B\C) (A B)\C]

=

Dados
x P (x)
x P (x)
x P (x)

Objetivo
x P (x)
hContradioi

x P (x)
x P (x)
x arbitrrio
x P (x)
x arbitrrio
P (x)

x P (x)
P (x)

[(A B)\C A (B\C)]

x ((x A (B\C) x (A B)\C)

I Rascunho:

hContradioi
=
=

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (67 150 de 1025)

Induo Matemtica

I
I

Prove P (0).
Prove que n

Exerccios:
I
I

Prove que n
Prove que n

Objetivo
x (A B)\C
x A (B\C)

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (68 150 de 1025)

Induo Forte

Provar um objetivo da forma n

Rascunho:
I

Dados
x A (B\C)
x (A B)\C

INF/UFG EDPA 2015/1 Humberto Longo

I
I

Demonstraes (69 150 de 1025)

Prove que n [( k < n P (k)) P (n)], n, k

N.

Suponha que n um nmero natural arbitrrio (n

Suponha que k < n P (k).
Prove P (n).

N).

Obs: No necessrio provar o caso base.

I

Objetivo
(3.j = (n + 1)3 (n + 1))

N, P (n).

Rascunho:
I

N, n 5, P3 (2n > n2).

N, P (3 | (n n)).
j

Provar um objetivo da forma n

I

N, P (n) P (n + 1).

Dados
n
(3.k = n3 n)

N P (n).

Suponha que se tenha provado

n [( k < n P (n)) P (n + 1)], n, k .
Se n = 0, conclui-se que k < 0 P (k) P (0).
Pode-se concluir que P (0) verdadeiro.

INF/UFG EDPA 2015/1 Humberto Longo

Demonstraes (70 150 de 1025)

Livros Texto I

Livros Texto II
C. H. Papadimitriou, U. V. Vazirani e S. Dasgupta.
Algoritmos.
Mcgraw-Hill Brasil, 2009.

J. L. Gersting
Fundamentos Matemticos para a Cincia da Computao.
LTC Editora, 3 Edio, 2001.
R. P. Grimaldi
Discrete and Combinatorial Mathematics An Applied Introduction.
Addison Wesley, 1994.
D. J. Velleman
How To Prove It A Structured Approach.
Cambridge University Press, 1996.

D. E. Knuth.
The Art of Computer Programming. Volume 1 Fundamental Algorithms.
Addison Wesley, 1998.
D. E. Knuth.
The Art of Computer Programming. Volume 2 Sorting and Searching.
Addison Wesley, 1998.

T. H. Cormen, C. E. Leiserson e R. L. Rivest.

Introduction to Algorithms.
McGraw-Hill, New York, 1990.

INF/UFG EDPA 2015/1 Humberto Longo

U. Manber.
Algorithms: A Creative Approach.
Addison-Wesley, 1989.

N. Ziviani.
Projeto de Algoritmos com Implementaes em Pascal e C.
Editora Thomson. 2a Edio. 2004.

Bibliografia (1024 1025 de 1025)

INF/UFG EDPA 2015/1 Humberto Longo

Bibliografia (1025 1025 de 1025)