Prove que...

Demonstre que...

Mostre que...

Como Fazer ???

Prof. Dr. Marco Antnio de Alcntara Fernandes
alcantaramarco@uol.com.br
marcoaaf@unemat.br
1
 Que nota voc daria?

Prove que:

2cos4x - 2sen4x + 4sen2x = 2, x R.

Demonstrao:

2cos4x - 2sen4x + 4sen2x = 2

2[cos4x - sen4x + 2sen2x] = 2

2[(cos2x + sen2x)(cos2x - sen2x) + 2sen2x] = 2

2[(1)(cos2x - sen2x) + 2sen2x] = 2

2[cos2x - sen2x + 2sen2x] = 2

2[cos2x + sen2x] = 2

2[1] = 2

2=2

Logo, a identidade dada acima vlida, cqd.

2
 Onde est o erro ?

Prove que 2 = 1.

Demonstrao:

Sejam a, b R tais que:

a=b

aa = ab

a2 = ab

a b = ab b2
2 2

(a b)(a + b) = b(a b)

(a + b)(a b) b(a b)
(a b) = (a b)

(a+b) = b

Tomando a = 1 na igualdade acima, obtemos:

1+1=1

2 = 1; qed.

3
 Demonstrao

1. Exemplos

1.
A TERRA TEM FORMA ESFRICA.

(i) Todos os corpos que, sob as mais

diversas posies, projetam sombra
redonda, tm, necessariamente, forma
esfrica.

(ii) A Terra, quando dos eclipses lunares, em

suas mais diversas posies em relao
Lua, sempre projeta sobre esta uma
sombra redonda .

(iii) Concluso: A Terra tem forma esfrica.

2.
52 1 = 24 = 3 8

72 1 = 48 = 6 8

112 1 = 120 = 15 8

152 1 = 224 = 28 8

O QUADRADO DE UM NMERO MPAR, SUBTRADO DE

UM, RESULTA EM UM NMERO DIVISVEL POR OITO.

4
O QUADRADO DE UM NMERO MPAR, SUBTRADO DE
UM, RESULTA EM UM NMERO DIVISVEL POR OITO.

(i) t mpar t = 2k + 1, para algum k N.

(ii) t2 1 = (2k + 1)2 1 = 4k(k + 1), k N.

(iii) Concluso:

(2k + 1)2 1 mltiplo de 8, para todo k N, cqd.

(Por qu?)

2. So necessrias para qu?

PRINCPIO DA RAZO SUFICIENTE

3. O que ?

CONJUNTO DE DEDUES, BEM ENCADEADAS DO

PONTO DE VISTA LGICO, FEITAS A PARTIR DE
AXIOMAS OU VERDADES J DEMONSTRADAS;
DEDUES A PARTIR DAS QUAIS SE ESTABELECE A
VERACIDADE DE UMA DADA PROPOSIO.

5
 Tcnicas de Demonstrao de
Identidades

Prove que: (1. Membro) = (2. Membro).

1. Mtodo:

(i) D um nome, digamos, A, a um dos membros, e

calcule esse membro. Voc obter uma
expresso do tipo:
A = C.
(ii) Faa o mesmo para o outro membro.

(iii) Se a expresso obtida no passo anterior for:

B = C,

conclua que a identidade vlida.

Justificativa:

Propriedade Transitiva das Igualdades

(A igualdade uma relao de equivalncia).

6
 Identidades - 1 Mtodo

Exemplo 1

Prove que:

2cos4x - 2sen4x + 4sen2x = 2, x R.

Demonstrao:

Seja I = 2cos4x - 2sen4x + 4sen2x, onde x R. Ento:

I = 2cos4x - 2sen4x + 4sen2x

I = 2[cos4x - sen4x + 2sen2x]

I = 2[(cos2x + sen2x)(cos2x - sen2x) + 2sen2x]

I = 2[(1)(cos2x - sen2x) + 2sen2x]

I = 2[cos2x - sen2x + 2sen2x]

I = 2[cos2x + sen2x]

I = 2[1]

Logo, a identidade dada acima vlida, cqd.

7
 Identidades - 1 Mtodo

Exemplo 2

Prove que:

sec2x + cossec2x = sec2x cossec2x,

x R , x ( k ) 2, k Z .

Demonstrao:

Seja A = sec2x + cossec2x, onde xR, x ( k ) 2, k Z .

Temos, ento:
1 1
2 2 +
A = sec x + cossec x = cos 2 x sen 2 x

sen 2 x + cos 2 x 1
A = (cos 2 x )( sen 2 x ) = (cos 2 x )( sen 2 x ) = C.

Por outro lado, seja B = sec2x cossec2x. Da:

1 1 1
B = sec2x cossec2x = ( cos 2 x )( sen 2 x ) = (cos 2
x )( sen 2 x )
= C.

Logo, a identidade dada acima vlida, cqd.

8
 Tcnicas de Demonstrao de
Identidades

Prove que: (1. Membro) = (2. Membro).

2. Mtodo:

(i) D um nome diferena entre os dois membros;

ou seja, faa:

D = (1. Membro) (2 Membro).

(ii) Calcule D.

(iii) Se o resultado obtido para essa diferena for

zero (D = 0), conclua que a identidade vlida.

Justificativa:

Princpio da Tricotomia dos Nmeros Reais

Dados x,y R, ocorre exatamente uma dentre as

trs possibilidades abaixo:

(i) x>y (x y) > 0

(ii) x=y xy=0

(iii) x< y xy<0

9
 Identidades - 2 Mtodo

Prove que:

2cos4x - 2sen4x + 4sen2x = 2, x R.

Demonstrao:

Seja D = (2cos4x - 2sen4x + 4sen2x) - (2).

Temos, ento:

D = [2[cos4x - sen4x + 2sen2x]] - (2)

D = [2[(cos2x + sen2x) (cos2x - sen2x) + 2sen2x]] - (2)

D = [2[cos2x - sen2x + 2sen2x]] - (2)

D = [2[cos2x + sen2x] ] - (2)

D = [2] - (2)

D=0

Logo, a identidade dada acima vlida, cqd.

10
 Tcnicas de Demonstrao de
Identidades

Prove que: (1. Membro) = (2. Membro).

3. Mtodo:

(i) Aqui, sua argumentao ocorre a partir de um

fato cuja veracidade j foi anteriormente
estabelecida. Este argumento pode ser uma
definio, uma propriedade ou mesmo uma
outra identidade demonstrada anteriormente.

(ii) Obtenha um novo fato (uma igualdade, por

exemplo) que seja uma conseqncia do fato
inicial. Proceda deste modo, repetidas vezes,
enquanto puder obter novos resultados, atravs
de implicaes verdadeiras.

(iii) Se, ao proceder como dita o passo anterior,

voc, em algum momento, acabar obtendo a
identidade desejada, ento, conclua: a identidade
dada , de fato, verdadeira.

Justificativa:

O prprio significado (lgico) de implicao.

11
 Identidades - 3 Mtodo

Exemplo 1

Prove que:
2cos4x - 2sen4x + 4sen2x = 2, x R.

Demonstrao:

Nas primeiras aulas de Trigonometria, costuma-se

estabelecer que, para todo x R, ocorre:
sen2x + cos2x = 1.

Esta a chamada Relao Fundamental da

Trigonometria. Dela, obtemos:

(sen2x + cos2x)2 = (1)2

sen x + 2sen xcos2x + cos4x =1
4 2

sen x + 2sen x(1-sen2x) + cos4x =1
4 2

sen x + 2sen x - 2sen4x + cos4x =1
4 2

cos4x- sen4x + 2sen2x =1

2(cos4x- sen4x + 2sen2x) = 2(1)

2cos4x - 2sen4x + 4sen2x = 2, x R.

Logo, a identidade dada acima vlida, cqd.

12
 Identidades - 3 Mtodo

Exemplo 2

Demonstre que:

x2 = x , x R .

Demonstrao:

Sabemos que:
(i ) a 0

(ii )b 0
a =b .. (iii )b 2 = a

Faamos a = x e b = x. Deste modo, obtemos:

2

a = x2 0 ;

b = x 0;

b2 = x2 = x2 = a.

Logo, x 2 = x , x R, cqd.

13
 Tcnica de Demonstrao de
Desigualdades

Prove que: A> B

ou A B;
ou A < B;
ou A B.

Mtodo:

(i) D um nome diferena entre os dois

membros; isto , faa:

D=AB
(ii) Analise o sinal de D (em geral, FATORANDO D).

(iii) Caso a desigualdade assim obtida seja D> 0

(ou D 0; ou D< 0; ou D 0; respectivamente),
conclua: a desigualdade dada vlida.

Justificativa:

Princpio da Tricotomia dos Nmeros Reais.

14
 Desigualdades Exemplo 1

a+b 2
Prove que ( ) > ab , a,b R, a > 0, b > 0, a b.
2

Demonstrao:

a+b
Seja D = ( 2 ) ab . Ento:
2

a 2 + 2 ab + b 2
D= ab
4

a 2 + 2 ab + b 2 4 ab
D= 4

a 2 2 ab + b 2
D= 4

(a b) 2
D= 4

D > 0.

a+b 2
Logo, ( ) > ab , a,b R, a > 0, b > 0, a b, cqd.
2

15
 Desigualdades Exemplo 2
a+b
a +b + c ( )+c
2
Sejam A = 3 e B= 2
,

onde a,b,c R , e a b c.

Quem maior: A? B? s vezes A? s vezes B?

Demonstrao:

Seja D = A B . Ento:

a+b
)+c (
a+b+c 2
D= (
3
)
2

a+b+c a + b + 2c
D= (
3
)(
4
)

4 a + 4 b + 4 c 3 a 3b 6 c
D= 12

a + b 2c
D= 12

( a c ) + (b c )
D= 12

D 0.

Logo, A B, a,b,c R, a b c, qed.

16
 Implicaes

Prove que:

SE P ENTO Q.
P IMPLICA Q.
Q IMPLICADO POR P.
P SOMENTE SE Q.
Q DESDE QUE P.
Q SEGUE DE P.
P uma CONDIO SUFICIENTE para Q.
Q uma CONDIO NECESSRIA para P.

(PQ)

( Hiptese Tese )

17
 Tcnicas de Demonstrao de
Implicaes

1. Mtodo Direto
Partimos da hiptese, e, de implicao em
implicao, chegamos tese.

( A C D E ... B ) ( A B )
Justificativa:

O prprio significado (lgico) de implicao.

2. Mtodo Indireto
Partimos da negao da tese e chegamos
negao da hiptese.

Justificativa:

Decorre da seguinte tautologia:

(AB) ( ~B ~A )

Mtodo Indireto Ampliado

(i) Enumeramos todos os casos possveis (um dos
quais, evidente, a prpria tese);
(ii) Mostramos que, exceto a tese, cada um dos
outros casos implicam em uma contradio ou em
um absurdo;
(iii) Conclumos, por excluso, que obrigado a
acontecer a tese.
18
 Tcnicas de Demonstrao de
Implicaes

Exemplo 01

Prove que, se x + y + x y = (xy+1) , ento x y = 1 .

2 2 2 2 2

Hiptese: x + y + x y = (xy+1)
2 2 2 2 2

Tese: x y = 1

Demonstrao (Mtodo Direto):

x2 + y2 + x2 y2 = (xy+1)2

x + y + x y = x2 y2 + 2xy+1
2 2 2 2

x2 2xy + y 2 = 1

(x y)2 = 1

( x y) 2 = 1

x y = 1 , cqd.

19
 Tcnicas de Demonstrao de
Implicaes

Exemplo 02

Supondo que 6 um nmero irracional,

mostre que o nmero real 5 6 tambm o .

Hiptese: 6R Q
Tese: 5 6 R Q
Demonstrao (Mtodo Indireto):

Suponhamos que 5 6 seja racional; isto ,

5 6 =t , t Q .

Dividindo ambos os membros da igualdade acima

por 5, obtemos:
t
6= .
5

Mas a diviso de racionais continua sendo racional,

sempre que o denominador no for nulo. Isto
significa que o que a ltima igualdade nos diz que
6 racional, o que a negao da hiptese.

Logo, se 6 irracional, ento 5 6 tambm o ,

qed.
20
 Tcnicas de Demonstrao de
Implicaes

Exemplo 03

Mostre que, se duas retas so distintas e paralelas

a uma terceira todas situadas em um mesmo
plano , ento elas so paralelas entre si.
r s

r // t
Hiptese: r, s, e t so retas coplanares tais que: .
s / / t
Tese: r // s

Demonstrao (Mtodo Indireto Ampliado):

As posies relativas de duas retas coplanares so:
(a) coincidentes;
(b) concorrentes;
(c) paralelas.

O caso (a) contraria a hiptese. J o caso (b) contraria um

postulado:

Por um ponto P dado, fora de uma reta r dada,

passa uma e s uma reta paralela a r.

Como s existem trs casos possveis e os dois primeiros

implicam em absurdos, ento, por excluso (pois um dos
casos tem que ser verdadeiro) conclui-se que o caso (c)
verdadeiro; ou seja, r // s , cqd.

21
 Tcnicas de Demonstrao de
Implicaes

Exemplo 04

Mostre que a soma de um nmero racional com

um irracional resulta em um nmero irracional.

Hiptese: a Q; b R Q
Tese: a + b R Q

Demonstrao (Mtodo Indireto):

Suponhamos que ( a + b) seja racional; isto ,

a +b = t , t Q .
Somando ( a ) a ambos os membros desta igualdade
obtemos:
b = t a.

Mas, por hiptese, a Q ; e como Q fechado em

relao operao de adio, a ltima igualdade nos diz
que b Q , o que vai contra a hiptese.

Logo, a soma de um racional com um irracional

irracional, qed.

22
 Tcnicas de Demonstrao de
Implicaes
Exemplo 05

Prove que, se a, b, e c so mpares, ento a equao

ax 2 + bx + c = 0 no possui soluo inteira.
Demonstrao:

Sejam a, b, e c mpares, e x um nmero inteiro. claro

que, se x inteiro, ento x par ou x mpar.

Suponhamos, inicialmente, que x seja par. Teremos,

neste caso:

x par x2 par;

x2 par ax2 par;

a mpar

x par
b mpar
bx par;

ax2 par
bx par
(ax2+bx) par;

(ax2+bx) par
c mpar
(ax2+bx+c) mpar ax2+bx+c 0.

Logo, quando x par, no pode ser soluo da equao

dada.
23
 Agora, suponhamos que x seja mpar. Teremos,
neste caso:

x mpar x2 mpar;

x2 mpar
a mpar
ax2 mpar;

x mpar
b mpar
bx mpar;

ax2 mpar
bx mpar
(ax2+bx) par;

(ax2+bx) par
c mpar
(ax2+bx+c) mpar ax2+bx+c 0.

Assim, quando x mpar, tambm no pode ser soluo

da equao dada.

Conclumos, ento, que, quando a, b, e c so mpares, a

equao ax + bx + c = 0 no possui soluo inteira, qed.
2

24
 Equivalncias

Prove que:

P SE, E SOMENTE SE Q.

Q SE, E SOMENTE SE P.

SE P ENTO Q, E RECIPROCAMENTE.

SE Q ENTO P, E RECIPROCAMENTE.

P uma CONDIO NECESSRIA E SUFICIENTE para Q.

Q uma CONDIO NECESSRIA E SUFICIENTE para P.

P UM CRITRIO PARA Q.

Q UM CRITRIO PARA P.

P EQUIVALE A Q.

Q EQUIVALE A P.

(PQ)
25
 Equivalncias - Exemplo 01
Dado a Z, mostre que a mpar se, e somente se,
a2 mpar.
Demonstrao:

(Mtodo Direto)

Com efeito, como a mpar, podemos escrever a

= 2q + 1, para algum qZ. Da, obtemos:
a 2 =(2q+1) 2 =(4q 2 +4q+1)=2(2q 2 +2q)+1=2p+1 ,
onde p = (2q2 + 2q) Z, pois qZ. Isto significa
que a2 mpar.

(Mtodo Indireto)

Suponhamos que a seja par; isto , que a = 2u,

para algum uZ. Da:

a 2 =(2u) 2 =4u 2 =2(2u 2 )=2v ,

onde v = 2u Z, pois uZ. Isto significa que a2
2

par. Contra o fato de a2 ser mpar, por hiptese.

Logo, a2 mpar implica em a mpar.

Assim, dado a Z, temos que a mpar se, e

somente se, a2 mpar, cqd.
26
 Teoremas de Unicidade

Prove que o Conjunto Vazio nico.

Lema:

Dado um conjunto A, tem-se A ; isto , o

Conjunto Vazio subconjunto de qualquer
conjunto.
Demonstrao do Lema:

Seja A um conjunto fixado. Com efeito, a fim de que

ocorresse A , deveria existir (pelo menos) um
elemento x tal que x e x A . Isso impossvel,
simplesmente porque o Conjunto Vazio no possui
elemento algum. Assim, conclumos que A ,
simplesmente porque o contrrio no pode ocorrer.

Demonstrao do Teorema:

Suponhamos que 1 e 2 sejam conjuntos

vazios. Devemos mostrar que 1 = 2 .

Por um lado, como 1 um conjunto vazio,

conclumos (tomando A = 2 ) do Lema acima, que
1 2 . Do mesmo modo, como 2 um
conjunto vazio, podemos concluir, ainda (agora
com A = 1 ) do Lema acima, que 2 1 .

Estas duas incluses estabelecem que 1 = 2 , cqd.

27
 Teoremas de Existncia

Prove que entre dois nmeros racionais

distintos dados sempre existe um outro nmero
racional.

Demonstrao:

Sejam x e y dois nmeros racionais distintos dados,

e, sem perda de generalidade, suponhamos que
x< y.

Por um lado, somando x a ambos os membros da

desigualdade x < y , obtemos:
x+ y
x+ x < x+ y 2x < x + y x<
2
.

Por outro lado, agora somando y ao invs de x,

encontramos:
x+ y
x+ y < y+ y x + y < 2y 2
< y.
Essas duas igualdades juntas nos do:
x+ y
x< < y.
2
x + y
E, como x e y so racionais, claro que 2
tambm um nmero racional, uma vez que o
conjunto dos racionais fechado para a soma, e a
metade de um nmero racional ainda racional.

Isso conclui a demonstrao.

28
 Teoremas de Existncia e
Unicidade

Mostre que trs pontos no-colineares

determinam uma circunferncia.

Isto : se A, B e C so pontos no-colineares,

ento existe uma nica circunferncia que os
contm.
Demonstrao:

1 Parte: Existncia

Dados os pontos no-colineares A, B e C, denotaremos

por o plano por eles determinado.

O lugar geomtrico dos pontos que eqidistam de A e B

uma reta, que denominamos MEDIATRIZ do segmento AB ;
aqui, denotaremos essa reta por s. Do mesmo modo, t ir
denotar a mediatriz do segmento BC .

fcil ver que a mediatriz de um segmento a reta que

intersecta perpendicularmente esse segmento no seu
ponto mdio.

B
s

t
A
P

29
Assim, podemos concluir que s e t tm um nico ponto em
comum, pois, por hiptese, A, B e C no so colineares.
Esse ponto, que a interseco entre r e s, ser
denotado por P.

Por um lado, como P pertence mediatriz de AB , temos

que PA PB ; e, por outro lado, como P pertence
mediatriz de BC , conclumos que PB PC .

Assim, PA PB PC ; isto , o ponto P eqidista de A, B

e C. Denotemos por a circunferncia cujo centro P e
cujo raio r = med (PA) . claro que uma
circunferncia que contm os pontos A, B e C.

2 Parte: Unicidade

Suponhamos que existam duas circunferncias, digamos,

1 e 2 cujos centros denotaremos por O1 e O2 ambas
contendo os pontos A, B e C. Devemos mostrar que 1 e
2 so iguais; isto , possuem o mesmo centro (em
conseqncia disto tero tambm o mesmo raio).

Denotemos por s a mediatriz de AB , e por t a mediatriz

de BC . Por um lado, como O1 A O1 B , temos que O1
pertence a s; enquanto que, como O1 B O1C , temos que
O1 pertence a t. Como s e t so distintas, segue da que
s t = {O1} .

Raciocinando analogamente, obtemos s t = {O2 } .

Assim, conclumos que O1 e O2 coincidem. Logo, as

circunferncias 1 e 2 tm ambas o mesmo centro O1 e o
mesmo raio O1 A , cqd.

30