1

UNIVERSIDADE FEDERAL DO PARAN

PIBID-PROGRAMA INSTITUCIONAL DE
BOLSAS DE INICIAO A
DOCNCIA

PROVAS E DEMONSTRAES EM MATEMTICA

Fabio da Costa Rosa

Fernanda Machado
Greicy Kelly Rockenbach da Silva
Janio de Jesus Cardoso
Orientadora: Elisangela de Campos

CURITIBA
2013

2
INTRODUO
Supomos que voc se deparasse com a seguinte afirmao:
Para todo numero Natural n, temos que P(n) (L-se a funo P aplicada no ponto n)
resultar em um nmero primo, onde a funo P da forma
P(n)=n+n+41
O que provavelmente aconteceria que voc iria acreditar na afirmao, mas vamos
verificar.
Uma primeira tentativa de comear a verificar a veracidade da afirmao, a aplicar a
funo P em alguns nmeros naturais, e verificar se realmente temos como resultado um
nmero primo.
P(1) = 1 + 1 + 41 = 43
P(2) = 2+2+41= 47, 47
P(3) = 3+3+41=53
P(4)= 4+4+41=61
P(5) = 5 + 5 + 41 = 71
Assim para n=1, 2, 3,4 e 5 a funo resulta em um nmeros primos.
Mas, como vamos saber se de fato essa funo leva todos os n (Natural) para um
nmero primo?
A intuio nos faz acreditar que realmente a afirmao verdadeira, entretanto se
considerarmos n= 41:
P (41)= 41 + 41 + 41 = 1763
Achamos um contra-exemplo, ou seja, um exemplo onde a afirmao no vale, pois
para n=41 a funo P no gera um nmero primo.
Nesse contexto destacamos a importncia da necessidade de se provar, demonstrar as
descobertas em Matemtica, antes de utilizarmos. Consequentemente essa relevancia atinge
os cursos de matemtica, que por sua vez, desenvolve ao longo do curso demonstraes e
provas de tudo, ou quase tudo, do que ser utilizado, ao contrrio do ensino fundamental e
mdio, onde aceitamos as frmulas e resultados como verdadeiros sem questionamento se
aquilo de fato verdadeiro.
Mas o que vem a ser prova e demonstrao em matemtica?
Primeiramente, vamos nesse mini-curso tratar provas e demonstraes como

3
sinnimos. Demonstrao matemtica basicamente um processo de raciocnio lgicodedutivo onde assumindo uma hipotese, se deduz, por argumentos, a tese, ou seja, uma
demonstrao garante que se a hipotese ocorre consequentemente a tese ocorre.
No teorema de Pitagoras: Em um tringulo retngulo, a soma dos quadrados dos
catetos igual ao quadrado da hipotenusa.
Nesse teorema, a hipotese ...um tringulo retngulo, pelo teorema essa hipotese
resulta na tese a soma dos quadrados dos catetos igual ao quadrado da hipotenusa.
Tendo em vista a importncia que j destacamos das provas e demonstraes, em
matemtica, desenvolveremos nesse mini-curso alguns tipos de demonstraes mais utilizados
no curso de matemtica, assim como alguns Sofismas.
TIPOS DE DEMONSTRAES
H vrias tcnicas de demonstrao em matemtica, entre elas h a demonstrao
direta, demonstrao por induo, demonstrao por absurdo e demonstrao por contrapositiva.
DEMONSTRAO DIRETA- DEDUO
Quando utilizado essa tcnica de demonstrao, inicia-se assumindo a hiptese como
verdadeira, aps feito uma sequencia de passos lgicos-dedutivos chegando-se diretamente
a tese, ou seja, apenas feito uma verificao.
Exemplo 01
Teorema: Existem dois, e apenas dois mltiplos simultneos de 2 e 3 entre os nmeros 9
19, incluindo estes.
Hiptese : Mltiplos simultneos de 2 e 3 entre os nmeros 9 at 19.
Tese: Existem apenas 2.
Uma maneira simples para a prova desse resultado, expressar todos os nmeros de 9
a 19, e verificar quais deles cumprem a hiptese, isto , que simultaneamente so mltiplos de
2 e 3.
A = { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19}
Nmeros que pertencem ao conjunto A que so mltiplos de 2:{10, 12, 14,16,18}
Nmeros que pertencem ao conjunto A que so mltiplos de 3:{9, 12, 15, 18}
Assim:

4
Os nmeros que so simultaneamente mltiplos de 2 e 3 so :{12, 18}
Logo: Existem apenas 2.
Exemplo 02:
TEOREMA:
Se x um nmero real tal que 3 x + 1 > 7, ento x > 2.
Hiptese : 3 x + 1 > 7
Tese : x > 2
Assim pela Hiptese temos que 3 x + 1 > 7, como x um nmero real, so vlidas as
operaes fundamentais da aritmtica ( adio, subtrao, multiplicao e diviso).
Assim :
3x+1>7
3x+11>71
(subtraindo 1 em ambos os lados no altera a desigualdade), assim temos que:
3x>6
Dividindo ambos os lados por 3 mantem a desigualdade, assim:
(3x):3>6:3
Logo : x > 2
Exemplo 03:
TEOREMA :
A soma de dois nmeros racionais um nmero racional.
Convm notar aqui que no estamos tratando de algum ou alguns nmeros racionais
em especial, mas sim, de todos os racionais. Temos que :
Hiptese: Adio de dois nmeros Racionais.
Tese : A soma um nmero Racional.

5
O artifcio matemtico utilizado para demonstrar esse teorema, est na forma de
expressar o nmero Racional.
Todo nmero Racional pode ser expresso da seguinte forma:
p
q

onde p um nmero inteiro qualquer , e q um nmero inteiro diferente de zero.

Assim a adio de dois nmeros naturais pode ser escrita como :

p n
+
q j
Mas, temos que :

p n p. j + n.q
+ =
q j
q. j
Como (p . j + n . q) tem como resultado um nmero inteiro (produto de nmeros
inteiros inteiro, e a soma de nmeros inteiros inteiro), e (q . j) um nmero inteiro
diferente de zero (a multiplicao de dois nmeros inteiros diferentes de zero tem por
resultado um nmero diferente de zero) ento podemos concluir que:

p n
+
q j
um nmero racional.
DEMONSTRAO POR INDUO
Essa tcnica de demonstrao consiste em dois passos: base e passo de induo. O
passo base consiste em verificar que a proposio verdadeira para o menor elemento que
norteia a proposio. O passo de induo consiste em assumir que a proposio verdadeira
para n, a partir disso prova-se que verdadeiro para n+1 (usando a afirmao que vlido
para n).
Exemplo1

6
n(n+1)(2n+1)
6
Provar que a frmula 1+2+...+n =
verdadeira para todo n

pertencente aos Naturais.

No passo base verificamos que a frmula vlida para n=1 (primeiro nmero natural).
O passo de induo consiste em assumir que a proposio verdadeira para n, a partir
disso prova-se que verdadeiro para n+1 (usando a afirmao que vlido para n). No passo
de induo assumimos que para n a frmula verdadeira, ento devemos provar que 1+2+...
(n+1)(n+2)(2 (n+1)+1)
6
+n+(n+1) =
a partir da afirmao que assumimos anteriormente.

n
Prova: 1+2+3+ ... + n + (n + 1) = 6 (n + 1)(2n + 1) + (n + 1) (observe que a soma at n
(n/6)(n + 1)(2n + 1).
n
1+2+3+ ... + n + (n + 1) = (n +1)[( 6 )(2n + 1) + (n + 1)]

1
6
1+2+3+ ... + n + (n + 1) = (n + 1)( )(2n + n + 6n + 6)
1
1+2+3+ ... + n + (n + 1)=(n + 1)( 6 )(2n + 7n + 6)

1
3
6
1+2+3+ ... + n + (n + 1) = (n + 1)( ).2(n + 2 ) .(n + 2)
n+1
1+2+3+ ... + n + (n + 1)= [ 6 (n + 1)/6](n + 2)(2n + 3)

O polinmio ax + bx + c, com razes x 1 e x2 pode ser decomposto em a(x x 1)(x - x2).

3
3
Como as razes de 2n + 7n + 6 so -2 e - 2 , temos 2n + 7n + 6 = 2(n + 2 )(n + 2).

Exemplo 2
n
Provar que: 1.2 + 2.3 + 3.4 + ... + n(n + 1) = ( 3 )(n + 1)(n + 2) para todo n pertence aos
naturais.
(1) Passo base:
Para n = 1: 1.2 = 2

7
1
1
( 3 )(1 + 1)(1 + 2) = ( 3 )(2)(3) = 2.
n
(2) Hiptese: 1.2 + 2.3 + 3.4 + ... + n(n + 1) = ( 3 )(n + 1)(n + 2)

n+1
(3) Provar que: 1.2 + 2.3 + 3.4 + ... + n(n + 1) + (n + 1)(n + 2) = [ 3 ](n + 2)(n + 3).
n
Prova: 1.2 + 2.3 + 3.4 + ... + n(n + 1) + (n + 1)(n + 2) = ( 3 )(n + 1)(n + 2) + (n + 1)(n + 2)

n
1.2 + 2.3 + 3.4 + ... + n(n + 1) + (n + 1)(n + 2) = (n + 1)(n + 2)[( 3 ) + 1]
n+3
1.2 + 2.3 + 3.4 + ... + n(n + 1) + (n + 1)(n + 2) =(n + 1)(n + 2)[ 3 ]

n+1
1.2 + 2.3 + 3.4 + ... + n(n + 1) + (n + 1)(n + 2) = [ 3 ](n + 2)(n + 3).
DEMONSTRAO POR ABSURDO- CONTRADIO
Quando se quer demonstrar por absurdo uma proposio, parte-se supondo que a
negao da tese verdadeira e aps aplica-se as tcnicas da demonstrao direta, ou seja,
feito uma sequencia de passos lgicos-dedutivos at chegarmos a concluso que a negao da
tese no pode ocorrer, ou seja, que a negao da tese um absurdo. Portanto resta que a tese
verdadeira.
Exemplo 1
Demonstre que

um nmero irracional.

Para mostrar que 2 um nmero irracional pela tcnica da reduo por absurdo,
supomos inicialmente que 2 racional, aplicando uma sequecia lgica de implicaes a
partir dessa afirmao, chegamos que a suposio que 2 racional no pode ocorrer.
Vejamos detalhadamente:

Vamos supor que

racional. Ento,

no seja irracional, ento vamos escrever

como um numero

8
= e sendo mdc (p,q) = 1, ou seja, est na forma irredutvel.

elevando os dois lados da igualdade ao quadrado, obtemos:

2=

ento

ou seja, p mltiplo de 2, ou seja, p = 2k. Com isso,

(2k) = 2q
4k=2q
2k=q
ento q tambm mltiplo de 2. O que um absurdo, pois contradiz a afirmao de que o
mdc (p,q) = 1. Portanto

irracional.

Exemplo 2
Mostre que se n
Dem: Seja n

e n for divisvel por 2, ou seja, n for par, ento n divisvel por 2.

, tal que n seja divisvel por 2. Suponha que n no seja divisel por 2, isto ,

n seja impar. Logo n da forma n = 2k + 1, para algum k

Z. Temos,

n = (2k + 1) = 4k + 4k + 1 = 2(2k + 2k) + 1 = 2m + 1, onde m = 2k + 2k

Z.

Portanto n impar, o que contradiz a hiptese de n quadrado ser divisvel por 2. Chegamos a
um absurdo.
Exemplo 3. Se um nmero somado a ele mesmo igual a ele mesmo, ento esse nmero
zero.
Representamos por x um numero qualquer. A hiptese afirma que x + x = x, e a tese x = 0.
A prova por absurdo. Supomos que x 0.
Por hiptese, x + x = x, ento 2x = x e x 0. Dividindo ambos os lados da equao por x,
obtemos: 2 = 1, o que um absurdo.

9
DEMONSTRAES USANDO A CONTRA POSITIVA
As demonstraes utilizando essa tcnica seguem o seguinte principio:
Para duas sentenas quaisquer H e T, onde, H representa a hiptese e T representa a
tese, tem-se:
(H

T) equivale a ( T

H)

Onde H representa a negao de H, e T representa a negao de T.

Veja o seguinte exemplo.
Teorema: Se n

e n for divisvel por 2 ( isto , n for par) ento n divisvel por 2 (

n par).
Temos que
Hipotese: H = n e n for divisvel por 2 ( isto , n for par).
Tese: T = n divisvel por 2 ( n par)
A contra positiva dessa afirmao seria da forma:
T

H
Onde:
H=n

e n NO for divisvel por 2 ( isto , n impar)

T = n NO divisvel por 2 ( n impar)

E o teorema poderia ser enunciado assim:
Se n

impar, ento n impar."

A demonstrao dos dois teoremas equivalente.

Esse mtodo de demonstrao chamada indireta, pois, provar H
provar a implicao T

T , reduz-se a

H .

COMPARANDO DIFERENTES TIPOS DE DEMONSTRAES

Teorema: se 2 x + x - 1= 0 ento x < 1
Demonstrao 1-Direta
Faz-se encontrando as razes da equao 2x + x + 1, que so x = -1 e x= 0,5, portanto ambas
menores que 1.
Demonstrao 2- Indireta usando a Reduo ao absurdo

10
Supondo 2 x + x - 1= 0 e x1 . Logo se x1 , ento 1 x 0 e 2x 0 . Dessas duas
desigualdades, usando novamente a hiptese, teramos 0 < 2x = 1- x 0, o que uma
absurdo, portanto x < 1
Demonstrao 3- Usando a contra positiva
Faz-se demonstrando que se x1 ento 2 x + x 1 0.
De fato se x1 , temos x10 e 2x > 0.
Somando as duas desigualdades teremos que x 1 + 2x > 0, o que significa que 2 x + x 1
0

SOFISMAS
Se voc usar de argumentos no vlidos em uma deduo, possvel se obter vrios
tipos de resultados, resultados esse que podem ser at absurdos, causadores de surpresas.
Exemplo 1
a) Igualdade aparente: 3 = 4
Comeamos com a seguinte igualdade :
Que podemos escrever como

0=0

3x-3x=4x-4x

Colocando o 3 e o 4 em evidencia 3 ( x x)= 4 ( x- x)

Cortando os termos em comum temos

3= 4

b)2=1
Seja a e b nmeros reais diferentes de zero. E supondo que a = b
Multiplicando os dois lados por a temos
a.a=b.a
isto :
a = b . a
Subtraindo b de ambos os lados temos :
a b = ab b
Podemos reescrever o fator do primeiro membro como:
(a + b) . ( a b) = ab b

11
Colocando b em evidencia do lado direito temos :
(a + b) . ( a b) = b ( a b)
Cortando ( a b) ambos os lados
(a+b) = b
Isto :
2b=b
Logo:
2=1

Exemplo 2
Igualdade aparente resultante de uma soma.
2+2=5
Comeamos com a seguinte igualdade:
-20= -20
16-36 = 25-45
Somamos (81/4) nos dois lados,
16-36+(81/4) = 25-45+(81/4)
Isso pode ser escrito da seguinte forma:
(4-(9/2)) = (5-(9/2))
Tirando a raiz quadrada em ambos os lados temos:
4-(9/2) = 5-(9/2)
Somando (9/2) nos dois lados da igualdade temos:
4=5
Como 4=2+2 chegamos a seguinte concluso:
2+2=5
Exemplo 3: Sofisma Geomtrico Aritmtico.
Teorema: Todos os tringulos semelhantes so congruentes.
Demonstrao:

12

Considere os seguintes tringulos semelhantes :

A'

C
C'

B
B'

Pelas relaes de semelhana de tringulos da geometria Plana, temos :

B 'C ' A' B '

=
BC
AB
B'C'AB=BCA'B'
onde XY representa o comprimento de um segmento de reta com as extremidades X e Y.
Da igualdade anterior decorrem as seguintes implicaes :
0=0
(B'C') . AB (B'C') . AB = (BC) . A'B' (BC) . A'B'
(B'C') . AB B'C' ( B'C' . AB) = BC ( BC . A'B') (BC) A'B'
B'C' ( B'C' . AB BC . A'B') = BC ( B'C' . AB BC . A'B')
B'C' = BC
Analogamente se prova as igualdades A'B' = AB e C'A' = CA. Logo essas igualdades
garantem que quaisquer dois tringulos semelhantes so congruentes.
Lembrando:
Dois tringulos so semelhantes se os trs ngulos so ordenadamente congruentes e
se os lados homlogos so proporcionais.
Dois tringulos so congruentes quando os lados e ngulos do primeiro tringulo
esto em correspondncia com os lados e ngulos do segundo tringulo de tal forma que os
lados em correspondncia tm a mesma medida, assim como os ngulos.

13
EXERCCIOS
1) Prove por induo que:
(a) a = b ento an = bn
(b) am + n = am an
(c) (ab)n = anbn
(d) (am)n = amn
(e) 1 + 3 + 5 + 7 +

+ (2n 1) = n

(f) 5n 1 mltiplo de 4.
2) Conta-se a seguinte histria sobre o matemtico alemo Carl Friedrich Gauss (1777-1855),
quando ainda garoto. Na escola, o professor, para aquietar a turma de Gauss, mandou os
alunos calcularem a soma de todos os nmeros naturais de 1 a 100. Qual no foi a surpresa
quando, pouco tempo depois, o menino deu a resposta: 5050. Indagado como tinha descoberto
to rapidamente o resultado, Gauss, ento com nove anos de idade, descreveu o mtodo a
seguir.
Sendo,
Sn = 1 + 2 +

+ n;

o objetivo encontrar uma frmula fechada para Sn.

Somando a igualdade acima, membro a membro, com ela mesma, porm com as parcelas do
segundo membro em ordem invertida, temos que,
Sn = 1 + 2 +

Sn = n + (n + 1) +
+1
_______________________________
2Sn = (n + 1) + (n + 1) + + (n + 1)
Da segue-se que 2Sn = n(n + 1) e, portanto,
Sn =
Prove, por induo, que Sn=1 + 2 + 3 +

+n=

3) Pela tcnica da prova direta, mostre que: A soma de dois nmeros pares um nmero par.
4) Demonstrar por absurdo que: se um nmero somado a ele mesmo igual a ele mesmo,
ento esse nmero 0.

14
REFERNCIA S BIBLIOGRFICAS
CAVALCANTI, Jorge. Teoremas e demonstraes.
Disponvel em:
<http://www.univasf.edu.br/~jorge.cavalcanti/Mat_Disc_Parte04.pdf>. Acesso em: 05 abr.
2013.
HEFEZ,
Abramo.
Induo
Matemtica.
Disponvel
em:
<http://server22.obmep.org.br:8080/media/servicos/recursos/296654.o>. Acesso em: 03 abr.
2013.
MORAIS FILHO, Daniel Cordeiro de. Um Convite a Matemtica: Fundamentos
Lgicos com tcnicas de demonstrao, notas histricas e curiosidades.. 3. ed. Campina
Grande: Fabrica de Ensino, 2010. 194 p.
MALTA, Iaci; PESCO, Sincio; LOPES, Hlio. Clculo a uma varivel. 3ed.
Gvea: Puc-rio, 2006. 483 p.