Professional Documents
Culture Documents
Paulo Feofiloff
http://www.ime.usp.br/~pf/amostra-de-prova/
Exemplo 1
Considere a configurao do jogo Minesweeper indicada ao
lado. Cada B representa uma bomba. As posies em branco
no tm bombas. As posies marcadas com ? podem ou
no ter bombas. Uma posio marcada com um nmero k no
tem bomba mas vizinha de exatamente k bombas.
Cada posio do tabuleiro especificada por suas coordenadas. Assim, por exemplo, o extremo superior esquerdo do
tabuleiro tem coordenadas (1, 1) e o cruzamento da primeira
linha com a segunda coluna tem coordenadas (1, 2).
?
?
?
?
?
?
2
2
?
?
?
?
?
?
B
3
1
2
3
B
2
3
B
3
1
2
B
2
1
1
1
1
B
B
Exemplo 2
Proposio: A raiz quadrada
de 2 irracional, ou seja, no existem nmeros inteiros
positivos p e q tais que p/q = 2.
Prova, por contradio:
Suponha que existem nmeros inteiros positivos p e q tais que (p/q)2 = 2.
Escolha p e q de modo que eles no tenham divisor comum, ou seja,
de modo que no exista um nmero inteiro maior que 1 que divida p e q.
O nmero p2 par (pois p2 = 2q 2 ).
O nmero p par (pois o produto de quaisquer dois nmeros mpares mpar).
Seja s o nmero p/2.
O nmero q 2 par (pois q 2 = p2 /2 = (2s)2 /2 = 2s2 ).
O nmero q par.
Os nmeros p e q so divisveis por 2.
Isso contradiz a maneira como escolhemos p e q.
A contradio mostra que a raiz quadrada de 2 irracional.
Exemplo 3
Proposio: Para qualquer nmero natural no nulo n tem-se 12 + 22 + 32 + + n2 =
1
n(n + 1)(2n + 1).
6
Prova, por induo em n:
Base da induo: n = 1.
Nesse caso, os dois lados da identidade valem 1 e portanto so iguais.
Passo da induo: n > 1.
Por hiptese de induo, 12 + 22 + + (n 1)2 = 61 (n 1)n(2n 1).
Portanto, 12 + 22 + + n2 =
= 12 + 22 + + (n 1)2 + n2
= 61 (n 1)n(2n 1) + n2
Exemplo 4
Proposio: Em qualquer grafoP
(V, E), a soma dos graus dos vrtices igual ao dobro
do nmero de arestas, ou seja, vV d (v) = 2|E|.
Prova, por induo em |E|:
Base da induo: |E| = 0.
Nesse caso, d (v) = 0 para todo vrtice v e portanto
d (v) = 2|E|.
Exemplo 5
Proposio: Em qualquer grafo, todo vrtice no isolado saturado por um emparelhamento mximo.
Prova:
Seja G um grafo e u um vrtice no isolado de G.
Seja M um emparelhamento mximo em G.
Se M satura u ento nada mais temos que provar.
Suponha agora que M no satura u.
Seja uv qualquer uma das arestas que incidem em u.
O emparelhamento M satura v (pois mximo).
Seja vw a aresta de M que incide em v.
O conjunto M {uv} {vw} um emparelhamento.
Esse emparelhamento mximo (pois tem o mesmo tamanho que M ).
Esse emparelhamento satura u, como queramos provar.
Observao final
claro que voc no precisa seguir fielmente o formato dos exemplos acima: o texto
da prova pode ser complementado com comentrios e observaes que tornem a
leitura mais fcil e agradvel.
A propsito, veja o artigo de Reuben Hersh (Math Lingo vs. Plain English: Double
Entendre, The American Mathematical Monthly, v.104 (1997), pp. 48-51) sobre o jargo
da matemtica.
Exerccios
1. Prove, por induo em k, que 20 + 21 + + 2k = 2k+1 1.
2. [D. E. Knuth, Fundamental Algorithms] Seja a um nmero positivo qualquer.
Afirmo que para todo inteiro positivo n tem-se
an1 = 1 .
Eis a prova (por induo em n): Se n = 1 ento an1 = a0 = 1 e portanto a
afirmao est correta nesse caso. Agora tome n > 1 e suponha, a ttulo de
hiptese de induo, que ak1 = 1 quando k = n 1, n 2, . . . , 1. Temos ento
1
an2
=1 =1.
n3
a
1
Portanto, a afirmao est correta para todo inteiro positivo n, como queramos
provar. Onde est o erro da prova?
an1 = an2 a1 = an2
3. [D. E. Knuth, Fundamental Algorithms] Afirmo que para todo nmero inteiro
positivo n tem-se
Xn1
1
3 1
= .
(1)
i=1 i (i + 1)
2 n
Eis a prova (por induo em n): Para n = 1, ambos os lados de (1) valem 1/2
e portanto a afirmao est correta
caso. Agora tome n > 1 e suponha,
Pn2nesse
1
1
como hiptese de induo, que i=1
= 32 n1
. Teremos ento
i (i+1)
Xn1
Xn2
1
1
1
=
+
i=1 i (i + 1)
i=1 i (i + 1)
(n 1) n
3
1
1
=
+
2 n 1 (n 1) n
3
1
1
1
=
2 n1
n1 n
3 1
=
,
2 n
como queramos demonstrar. Onde est o erro da prova? Alguma coisa deve
estar errada, pois quando n = 6 o lado esquerdo de (1) vale 5/6 enquanto o lado
direito vale 4/3.
5
4. [M. Blum] Imagine uma dessas barras de chocolate retangulares que consiste
em quadradinhos dispostos em linhas e colunas. Uma tal barra pode ser quebrada ao longo de uma linha ou de uma coluna produzindo assim duas barras
menores. Qual o nmero mnimo de quebras necessrio para reduzir uma barra
com m linhas e n colunas aos seus quadradinhos constituintes?
5. [M. Blum] Imagine uma jarra contendo um certo nmero de bolas brancas e
bolas pretas. Suponha tambm que voc tem um suprimento ilimitado de bolas
brancas fora da jarra. Agora repita o seguinte procedimento enquanto ele fizer
sentido: Retire duas bolas da jarra; se as duas tiverem a mesma cor, coloque
uma bola branca na jarra; se as duas tiverem cores diferentes, coloque uma bola
preta na jarra. Qual a cor da ltima bola a sobrar na jarra?