UNIVERSIDADE FEDERAL DE SERGIPE

DEPARTAMENTO DE MATEMTICA
DISCIPLINA: Fundamentos de Matemtica
PROFESSOR: Paulo de Souza Rabelo
Denies, Teoremas e Provas
Uma denio explica o signicado matemtico de uma palavra, permitindo separar uma classe de
objetos de outra. A palavra geralmente denida em termos de propriedades. Por exemplo: (i) um
inteiro par se ele o produto de 2 e outro inteiro; (ii) um nmero natural dito ser primo se ele
maior que 1 e divisvel somente por 1 e ele mesmo.
As palavras teorema, proposio, lema e corolrio denotam armaes que se podem demonstrar
serem verdadeiras. Demonstra-se que um teorema verdadeiro por uma sequncia de armaes
que formam um argumento, chamado prova. Para construir provas, precisamos de mtodos qu nos
permitam deduzir novas armaes a partir de armaes j provadas. As armaes usadas numa
prova incluem axiomas ou postulados (armaes que assumimos como verdadeiras), as hipteses
do teorema a provar e teoremas previamente provados. Teoremas so as mais importantes armaes
matemticas. Proposies so armaes consideradas "menos importantes". Por exemplo, nos
teoremas abaixo encontre as hipteses e as concluses:
(1) Todo nmero natural pode ser escrito como um produto de primos;
(2) Existem innitos nmeros primos;
(3) O nmero

2 irracional.

Observao 1: Os melhores teoremas tm hipteses fracas e concluses fortes. Uma hiptese forte
refere-se a um pequeno conjunto de objetos. Uma concluso forte diz respeito a algo muito denido e
preciso sobre esses objetos. Por exemplo, a hiptese de (2) forte, pois refere-se somente ao conjunto
de primos, enquanto a hiptese de (1) fraca. Podemos enfraquecer as hipteses do teorema (3) por

investigar a raiz quadrada de nmeros primos, digamos "Se p primo, ento p irracional."Uma
parte importante do desao matemtico sabermos o quanto podemos enfraquecer as hipteses. Por
exemplo, se for n um nmero natural, a armao (3) falsa.
Observao 2: A recproca verdadeira? Considerar a recproca nos fora a considerar as hipteses
e concluses e muitas vezes nos diz algo importante. Por exemplo, "se f uma funo derivvel, ento
f contnua". A recproca verdadeira?
Um lema uma armao que serve de base para provar um teorema ou uma proposio. Um
corolrio uma armao de interesse que deduzida (conseqncia) de um teorema ou proposio.
Uma prova uma explanao do porque uma armao verdadeira. Provas so difceis de entender
porque o trabalho inicial em geral removido. Outra razo para os estudantes no gostarem de provas
que elas so difceis de criar. No existe procedimento, nem algoritmo ou mgica para criar provas.
Existem tcnicas que podemos empregar.
Exemplo: Sejam m e n nmeros naturais. O produto mn mpar se, e somente se, m e n so
mpares.
Prova: Suponha que m e n sejam nmeros mpares. Ento, por denio, podemos escrever
m = 2k + 1 e n = 2j + 1, para alguns nmeros naturais k e j . Assim mn = 2(2kj + j + k) + 1. Desde
que 2kj + j + k um nmero natural, temos que mn mpar. Reciprocamente, assuma que um dos
nmeros m ou n par. Sem perda de generalidade podemos assumir m = 2k para algum natural k.
Ento temos que mn = 2kn, isto , mn divisvel por 2 e da par. Logo, mn mpar somente se m
e n so mpares.
Ao ler uma prova (i) procure quebrar ela em pedaos (nesse caso, implicao e recproca), (ii)
identique os mtodos usados: clculo, direto, induo, contra-positiva, contradio, casos, contraexemplo, etc., (iii) encontre onde as hipteses foram usadas, (iv) verique o texto: "sem perda de
generalidade".

Conjectura uma armao que acreditamos ser verdadeira, geralmente com base em alguma
evidncia, um argumento heurstico ou intuio, mas no temos prova. Quando uma prova de uma
conjectura encontrada, a conjectura torna-se um teorema. Muitas vezes conjecturas so mostradas
serem falsas. Em matemtica h uma certa confuso: por exemplo, o ltimo teorema de Fermat que
era uma conjectura um corolrio da conjectura Taniyama-Shimura, que na verdade um teorema.
O principal propsito de uma denio fazer com que algum saiba o que estamos falando. Dada
uma denio, necessitamos perguntar se um tal objeto existe, como eles so, se nico, se existe um
nmero nito. Por exemplo, um nmero primo p dito um primo-gmeo se p 2 ou p + 2 primo.
Assim, 5 e 7 so primos gmeos, tambm so 41 e 43. Mas, existem mais? Ningum sabe.
O MTODO DIRETO
Os mtodos de prova so importantes no apenas porque so usados para provar teoremas matemticos,
mas tambm por suas aplicaes em cincia da computao, incluindo vericao da correo de
programas de computadores, estabelecer a segurana de sistemas operacionais, fazer inferncia em
inteligncia articial, mostrar que as especicaes do sistema so consistentes, etc. O objetivo
ensinar voc a ler e entender uma prova escrita por identicar a tcnica que tem sido usada.
Para provar que P Q diretamente, voc prova que P P1 , que P1 P2 , e assim por diante,
at obter Pn Q. Ento a hiptese que P verdade e o uso repetido de modus ponens mostra que
Q verdade.
O mtodo direto o mtodo de prova mais amplamente usado. Na prtica, pode ser completamente
difcil entender as vrias armaes intermedirias que permitem voc proceder de P a Q. Com o
objetivo de encontrar elas, a maioria dos matemticos usam um processo chamado tcnica pra frentepra trs. Voc inicia trabalhando para frente e perguntando a si mesmo: o que eu sei sobre a hiptese?
Quais armaes seguem desse fato? E assim por diante. Nesse ponto temos uma lista de armaes
implicadas por P cuja conexo com a concluso Q ainda no est clara.
Agora trabalhamos para trs a partir de Q perguntando: Quais fatos garantem que Q verdadeiro? Quais armaes implicam nesses fatos? Temos agora uma lista de armaes que implicam
Q. Compare ela com a primeira lista. Se voc for um felizardo, alguma armao estar em ambas
as listas, ou mais provavelmente, existir uma armao S da primeira lista e uma armao T da
segunda lista tal que voc ser capaz de mostrar que S T . Logo, teremos que P S e S T e
T Q, donde P Q.
Obtendo sucesso na tcnica pra frente-pra trs, devemos reescrever a prova numa forma mais polida,
contendo somente os fatos que so necessrios na prova.
Exemplo: Se o tringulo retngulo XYZ com lados de comprimento x e y, e hipotenusa de compri2
mento z, tem uma rea de z4 , ento o tringulo XYZ issceles.
Primeiro de tudo precisamos identicar o que hiptese e o que concluso. Temos duas hipteses:
2
P1 - o tringulo XYZ retngulo e P2 - sua rea z4 . Nossa concluso Q - o tringulo XYZ
issceles. Vamos comear como o processo para trs: (1) Como posso mostrar que um tringulo
issceles? Certamente um modo mostrar que dois de seus lados tm comprimentos iguais. Ou seja,
Q1 : x = y Q; (2) Como posso mostrar que dois nmeros reais so iguais? Mostrando que sua
diferena zero. Ou seja, Q2 : x y = 0 Q1 . Para fazermos as perguntas corretas levamos em conta
a intuio, a criatividade, a experincia, diagramas, etc. Voc poderia mostrar tambm que dois lados
de um tringulo so iguais por mostrar que os ngulos opostos so iguais. Mas um exame do contedo
da armao P no parece proporcionar muita informao sobre os ngulos do tringulo XYZ.
No processo para frente fazemos perguntas em cima de nossas hipteses. Que quer dizer que a
2
2
rea do tringulo XYZ z4 ? Como denida a rea de um tringulo? Claro! P1 : xy = z4 . Que
2
sei eu sobre um tringulo retngulo? Conheo o Teorema de Pitgoras que diz que P4 : z 2 = x2 + y 2 .
Assim, P1 P2 P3 P4 . Podemos combinar as novas armaes para produzir mais armaes.
Por exemplo, de P3 P4 deduzimos que P5 : 2xy = x2 + y 2 . Podemos reescrever P5 de forma a obter
P6 : (x y)2 = 0. Portanto, encontramos que P1 P2 P3 P4 , P3 P4 P5 , P5 P6 , P6 Q2 ,
Q2 Q1 e Q1 Q.
2

Em geral no prtico escrever todo o processo que levou prova, pois isto requereria muito
tempo e espao. Ao invs, apresentamos uma verso condensada e poucas vezes fazermos referncia
ao processo pra trs. Por exemplo, escreveramos a prova anterior da seguinte forma: Das hipteses e
2
da frmula para a rea de um tringulo retngulo obtemos que xy = z4 . Pelo Teorema de Pitgoras,
2
z 2 = x2 + y 2 e substituindo na expresso anterior temos que (x y)2 = 0. Portanto, x = y e o tringulo
XYZ issceles.
Exemplo: "Se a soma de dois nmeros inteiros par, ento a sua diferena tambm par". Para
provarmos este fato, suponhamos m, n Z tais que m + n par. Ou seja, m + n = 2k para algum
inteiro k. Assim, m = 2k n e da a diferena pode ser expressa como
m n = (2k n) n = 2(k n).

Desde de que a diferena entre dois inteiros continua sendo um inteiro, segue que o nmero m n
par, como queramos demonstrar.
Um erro comum querer argumentar atravs de exemplos: se m = 14 e n = 6, ento m + n = 20
que par e m n = 88 que tambm par. Logo a armao est correta. ISSO NO PROVA!
Exemplo: s vezes assumimos o que para ser mostrado com o intuito de descobrirmos uma
tcnica de prova. Consideremos o seguinte teorema: Sejam m e n nmeros reais. Se n > m > 0, ento
m+1
m
n+1 > n . Assim, assumindo que nossa concluso verdadeira, temos que (m + 1)n > (n + 1)m (note
que isso verdadeiro porque m > 0 e n > 0). Dessa forma, mn + n > mn + m e cancelando a parcela
em comum, obtemos que n > m. Nossa esperana poder reverter o argumento. De fato, partindo de
nossa hiptese temos que
n >m
mn + n = mn + n
(m + 1)n > (n + 1)m
m
m+1
> .

n+1
n

Muitas vezes um teorema arma que determinadas proposies P1 , P2 , , Pn so equivalentes, isto

, P1 P2 P3 Pn (o que assegura que as n proposies tm a mesma tabela verdade).
Uma maneira de provar o teorema usa a tautologia
[P1 P2 P3 Pn ] [(P1 P2 ) (P2 P3 ) (Pn P1 )]

Para cada inteiro n as seguintes armaes so equivalentes:

(i) n mpar;
Exemplo:

(ii) n2 mpar;
(iii) n2 2n + 1 par.
Assim, devemos mostrar que (i) (ii), (ii) (iii) e (iii) (i). A prova da primeira implicao
direta, pois se n mpar, ento n = 2k + 1 para algum inteiro k. Assim, n2 = (2k + 1)2 =
2(2k 2 + 2k) + 1 = 2m + 1 expressa que n2 mpar. Na segunda implicao, (ii) (iii), nossa hiptese
que n2 impar. Dessa forma, n2 + 1 par, ou seja n2 + 1 = 2k para algum inteiro k. Logo,
n2 2n + 1 = 2k 2n = 2(k n) o que nos mostra a validade da armao (iii). Finalmente, devemos
mostrar a terceira implicao. Acontece que o mtodo direto aqui j no to bvio. Usaremos uma
expresso lgica equivalente implicao P Q que a sua contrapositiva Q P . Dese modo,
devemos mostrar que se n par, ento n2 2n + 1 mpar. Mas isso fcil, pois se n = 2k para
algum inteiro k, segue que n2 2n + 1 = (2k)2 2(2k) + 1 = 2(2k2 2k) + 1. Logo, da veracidade da
contrapositiva segue a veracidade da implicao em sua forma direta (iii) (i).
QUE LEGAL! Ento a contrapositiva que usamos quando queremos mostrar que uma determinada funo injetiva! Vejamos uma funo f : A B injetiva se elementos distintos no domnio A
so levados em elementos distintos na imagem, ou seja, x = y f (x) = f (y). Quando vericamos a
injetividade de uma funo, digamos f (x) = ax + b, mostramos que se f (x) = f (y), ento x = y , que
a contrapositiva da denio. Neste caso, como ax + b = ay + b implica x = y , segue que f injetiva.
3

PROVA POR CONTRADIO (REDUO AO ABSURDO)

Suponha que voc assume a verdade de uma armao R e que por um argumento vlido verica-se
que R S . Se a armao S de fato falsa, ento existe somente uma concluso possvel: a armao
original R deve ser falsa porque se R e R S so verdadeiras, ento por modus ponens, S teria que ser
verdadeiro. Nesse sentido, para provarmos um teorema do tipo P Q, assumiremos como habitual
que P verdadeiro. Ento supondo Q como sendo verdade, vericamos que P Q S , onde S
uma armao conhecida ser falsa. Conclumos ento que Q deve ser falso, donde Q verdadeiro.
Teorema: A raiz quadrada de 2 um nmero irracional.

Prova: Suponha que 2 seja um nmero racional, ou seja, que existam inteiros m e n = 0 tais que
2 = m . Sem perda de generalidade, podemos assumir que m e n seja tais que mdcm, n = 1. Ento
n
temos que

2=

m
m2
2 = 2 m2 = 2n2 .
n
n

Isto implica que 2 divide o nmero m2 e assim 2 divide m (verique!). Logo, podemos escrever m = 2k,
para algum inteiro k. Substituindo m na expresso acima, obtemos que (2k)2 = 2n2 , donde n2 = 2k2 .
Dessa forma, conclumos 2 tambm divide n, mas isso no possvel pois tomamos m e n tais que
que
mdcm, n = 1. Portanto, 2 um nmero irracional.
Note que h uma diferena sutil entre uma prova por contradio e uma prova utilizando a contrapositiva. A prova por contradio termina quando encontramos um absurdo, que necessariamente
no tem ligao direta com a hiptese P ou a hiptese assumida Q, enquanto que na contrapositiva
precisamos determinar exatamente P .

PROVAS TIPO P SE, E SOMENTE SE, Q

Temos que provar as duas condicionais: P Q e sua recproca Q P .
Exemplo: Seja a = 0,b e c nmeros reais. Ento
2

ax + bx + c = 0 x =

b2 4ac
.
2a

b
c
Desde que a = 0, podemos dividir a expresso ax2 + bx + c = 0 por a para obtermos x2 + a x + a = 0.
2 + x + = 0. Posteriormente
Sem perda de generalidade, podemos assumir que estamos resolvendo x
b
c
podemos substituir por = a e = a . Assim, por completar os quadrados, temos que

) ( )2 + = 0
2
2

x + = ( )2
2
2

x = ( )2
2
2
(x +

c
b
b
( )2
2a
2a
a
2 4ac
b
b

2a
4a2
b b2 4ac

.
2a

Faa a prova da recproca.

Exemplo: Sejam X e Y conjuntos. Ento X = Y se, e somente se, X Y e Y X .
Prova: Se X = Y , ento X e Y tm os mesmos elementos. Assim, se x X ,ento x Y o que
implica X Y . Analogamente, se x Y , ento x X o que implica Y X . Agora para a recproca
4

suponhamos que X Y e Y X . Ento cada elemento de X est em Y e cada elemento de Y est

em X . Isto signica que X e Y possuem os mesmos elementos, ou seja, X = Y .
Observao: Existem alguns erros que acontecem e devemos evitar:
(1) Quando resolvemos uma equao, passamos de uma linha para a seguinte mostrando que a
primeira implica a segunda. Contudo importante checar que a segunda implica a primeira. O
que queremos uma seqncia de equivalncias para encontrar todas as solues. Por exemplo:

x+3=x+1

x + 3 = (x + 1)2
x + 3 = x2 + 2x + 1
0 = x2 + x 2
0 = (x 1)(x + 2).

Ento x = 1 ou x = 2 so nossas solues. Devemos observar que x = 2 no soluo. Isso

se deve porque nem todas as implicaes so reversveis. Descubra qual.
(2) No divida por zero. Por exemplo, suponha a = b. Ento ab = a2 e dessa forma ab b2 = a2 b2 .
Assim, colocando b em evidncia no primeiro termo e usando o fato que a diferena de quadrados
o produto da soma pela diferena, obtemos que (a b)b = (a b)(a + b). Dividindo por (a-b)
encontramos que b = a + b. Desde que a = b, segue que b = 2b, e conseqentemente, 1 = 2!

PROVA POR CASOS

Algumas vezes no podemos provar um teorema usando um nico argumento que valha para todos
os casos possveis. Introduzimos ento um mtodo que pode ser usado para provar um teorema por
considerar diferentes casos separadamente. Este mtodo baseado na regra de inferncia
[(P1 P2 Pn ) Q] [(P1 Q) (P2 Q) (Pn Q)].

Assim, para provarmos uma condicional P Q conveniente, s vezes, fazermos a decomposio

P (P1 P2 Pn ). Temos visto que X = Y pode ser provado por mostrarmos que X Y e
Y X . Em outras palavras, quebramos o problema em dois casos. No mtodo de casos precisamos
exaurir todas as possibilidades.
Teorema(Desigualdade Triangular): Suponha que x e y sejam nmeros reais. Ento
|x + y| |x| + |y|.

Prova: Consideremos os casos em que x e y so ambos positivos, ambos negativos ou diferentes em

sinal.
Caso 1: Suponha x 0 e y 0. Ento x + y 0 e por denio de valor absoluto temos que |x + y| =
x + y = |x| + |y|.
Caso 2: Suponha x < 0 e y < 0. Ento x + y < 0 e por denio de valor absoluto temos que |x + y| =
(x + y) = x + (y) = |x| + |y|.
Caso 3: Suponha que x e y tenha sinais diferentes, digamos x 0 e y < 0. Assim temos dois subcasos
a considerar: x + y 0 ou x + y < 0. No primeiro subcaso encontramos que |x + y| = x + y
x + (y) = |x| + |y|. Observe que trocamos y < 0 por algo maior y > 0. No segundo subcaso,
segue da denio de valor absoluto que |x + y| = (x + y) = x + (y) x + (y) = |x| + |y|.

Esses trs casos exaure todas as possibilidades e nossa prova est completa.
Exemplo: O quadrado de qualquer inteiro mpar tem a forma 8m + 1 para algum inteiro m.
Suponhamos que n um inteiro mpar. Pelo Teorema do Algoritmo da Diviso, n pode ser escrito em
uma das seguintes formas
4q ou 4q + 1 ou 4q + 2 ou 4q + 3,
para algum inteiro q . Desde que n mpar e 4q e 4q + 2 so pares, o nmero n deve ter uma das
formas: 4q + 1 ou 4q + 3. Consideremos ento esses dois casos.
Caso 1: Se n = 4q + 1, ento n2 = (4q + 1)2 = 8(2q 2 + q) + 1 mpar;
Caso 2: Se n = 4q + 3, ento n2 = (4q + 3)2 = 8(2q 2 + 3q + 1) + 1 mpar.

PROVAS DE EXISTNCIA
Retornaremos nossa ateno para provas de teoremas de existncia, isto , teoremas que armam
dentro do universo de discurso a existncia de um objeto ou objetos com uma certa propriedade P .
Simbolicamente, x, P (x).
Exemplos: (1) Alguns nmeros primos so da forma 32n + 1, onde n um inteiro.
(2) Nem todos os nmeros reais so racionais.
(3) O Teorema do Valor Mdio diz que se f uma funo contnua sobre o intervalo fechado [a, b] e
df
derivvel sobre o intervalo aberto (a, b), ento existe c (a, b) tal que dx (c) = f (b)f (a) .
ba
A maneira mais bvia de provarmos um teorema da forma x, P (x) encontrar (construir) um objeto
especco a no universo de discurso para o qual P (a) verdadeiro. Este mtodo de prova tambm
chamado prova por construo. A denio de limite um exemplo de uma armao de existncia.
Sejam f : R R e c R. A armao
lim f (x) = L

xc

signica que para cada > 0 dado, existe um > 0 tal que, se 0 < |x c| < ento f (x) L| < .
Assim, para mostrarmos que limx2 (5x + 4) = 14, tomamos um > 0 qualquer e exibimos para ele
um > 0 de forma que a denio de limite seja satisfeita. Para construirmos um tal > 0 usamos o
que queremos provar. Ou seja,
|(5x + 4) 14| = |5x 10| = 5|x 2|

e observamos que esta expresso ser menor que se zermos |x 2| < 5 . Logo, dado > 0,

existe 5 tal que se |x 2| < temos |(5x + 4) 14| < .

Exemplo: Consideremos o seguinte teorema: Para qualquer inteiro n, a multiplicao de matrizes
n n no comutativa. Dizer que a multiplicao comutativa dizer que x, y; (xy = yx). Assim,
o nosso teorema arma justamente a negao desse fato, ou seja,

x, y; (xy = yx) xy; (xy = yx).

Logo, para provarmos o teorema, devemos encontrar duas matrizes, digamos 2 2, A e B , com a
propriedade que AB = BA. Por exemplo, A =

1 2
3 4

eB=

1 1
3 2

satisfazem tal condio.

Tambm possvel d uma prova de existncia no construtiva, isto , no encontramos um elemento

a tal que P (a) seja verdade, mas provamos que x, P (x) verdadeiro em alguma forma.
y
Exemplo: Mostre que existem nmeros irracionais x e y tais que x racional. Consideremos o
2

nmero 2 . Se ele racional, ento x = 2 e y = 2 so dois nmeros irracionais tais que xy

2
2

racional. Por outro lado, se 2 irracional, ento fazendo x = 2 e y = 2 temos que

2

xy = ( 2 ) 2 = ( 2)2 = 2

racional. Mostramos ento que a existncia do par x e y .

6

USO DE CONTRA-EXEMPLOS
Um contra-exemplo um exemplo que desaprova uma armao universal. Ou seja, dada uma armao tipo x, P (x), queremos encontrar um a no universo de discurso tal que P (a) seja falso. De fato,
recorde que x, P (x) x, P (x).
n
Exemplo:: Em 1540 Fermat armou que para todo inteiro positivo n, o inteiro Fn = 22 + 1
primo, mas no foi capaz de fornecer uma prova. De fato, observamos que F0 = 3, F1 = 5, F2 = 17,
F3 = 257 e F4 = 65.537 so primos. Mas isto no constitui uma prova! Somente em 1732 que Euler
(iler) estabeleceu que F5 = 4.294.967.297 = 641 6.700.417 era um nmero composto e, portanto, a
conjectura de Fermat era falsa.
Observaes:
(1) Um nico exemplo no pode provar uma armao universal, mas um nico contra-exemplo pode
desaprov-la.
(2) Para d um contra-exemplo de uma armao condicional P Q, encontre um caso onde P
verdade, mas Q falso.
(3) A conjectura de Goldbach - "Todo inteiro par maior que 4 pode ser representado como uma
soma de dois primos", cuja soluo vale um milho de dlares, teve sua veracidade vericada no
computador para nmeros at 1017 . Mas prova que bom, nada!
Exemplo: Encontre um contra-exemplo para a proposio: para todos os nmeros reais x e y , se
x y , ento |x| |y|. Precisamos encontrar nmeros reais a e b tais que a b, porm |a| > |b|. Tente!

PROVAS DE UNICIDADE
Algumas vezes em Matemtica, desejamos provar no somente que um objeto com certas propriedades
existe, mas tambm que existe somente um tal objeto, isto , o objeto nico. O mtodo essencialmente o mtodo de prova por contradio. Seja P (x) a funo proposicional e x um objeto com
as propriedades requeridas. Ento supomos que existem dois objetos distintos satisfazendo as mesmas
propriedades, ou seja, xy, [P (x) P (y) (x = y)]. A concluso falsa que geralmente obtida da
nossa hiptese que x = y .
Exemplo: Mostre que se a, b, c e d so nmeros reais tais que ad bc = 0, ento existe uma nica
soluo para o sistema de equaes
ax + by =s
cx + dy =t

quaisquer que sejam os reais s e t. Para provarmos a existncia construiremos uma soluo. claro
que a ou c diferente de zero, pois se ambos fossem zero teramos ad bc = 0, contrariando nossa
hiptese. Vamos supor a = 0. Ento podemos "tirar"o valor de x na primeira equao e substituir na
segunda equao. De fato,
x=

s by
s by
at cs
c
+ dy = t (ad bc)y = at cs y =
.
a
a
ad bc

dsbt
Retornando esse valor de y na expresso em x, encontramos que x = adbc . Logo exibimos uma
soluo. Agora para mostrarmos que esta nica, supomos a existncia de duas solues distintas,
digamos (x1 , y1 ) e (x2 , y2 ). Ou seja,

ax1 + by1 =s
cx1 + dy1 =t

e
ax2 + by2 =s
cx2 + dy2 =t.

Agindo de forma semelhante ao realizado para encontrar uma soluo, vericamos que
x1 =

ds bt
at cs
= x2 e y1 =
= y2 .
ad bc
ad bc

INDUO MATEMTICA
Existem muitas armaes matemticas que podem ser formuladas como n, P (n), onde o universo de
discurso o conjunto dos nmeros naturais. Por exemplo:
(1) a soma dos primeiros n + 1 nmeros naturais dado pela expresso

n(n+1)
;
2

(2) para todo nmero natural n, qualquer conjunto com n elementos possui 2n subconjuntos;
(3) n N, n! nn .
Assumiremos o seguinte axioma: (Axioma da Boa-Ordenao) Todo subconjunto no-vazio dos
nmeros naturais contm um menor elemento.
Teorema (O Princpio de Induo Matemtica): Assuma que para cada inteiro no-negativo n r,
uma armao P (n) dada, onde r 0. Se
(i) P (r) uma armao verdadeira; e
(ii) sempre que P (k) for uma armao verdadeira implicar que P (k + 1) tambm o seja, com k r;
ento P (n) verdade para todo n r natural.
Prova: Seja S o subconjunto dos naturais constitudo pelo nmeros naturais j r tais que P (j)
falso. Provaremos que S vazio. Para isso usamos uma prova por contradio. Suponha que S
no-vazio. Ento podemos usar o Axioma da Boa-Ordenao para garantir a existncia de um menor
elemento em S , digamos d. Desde que P (d) falso, pela denio de S , e P (r) verdadeiro, devemos
ter d > r 0. Conseqentemente, d 1. Como d 1 < d, ele no pode est em S , donde P (d 1)
verdadeiro. Mas pela hiptese (ii) segue que P (d) = P ((d 1) + 1) tambm verdadeiro. Isto uma
contradio, pois d S . Portanto, S vazio.
Observao: Note que (ii) no arma que P (k) verdadeiro para todo k natural, mas somente que
uma relao condicional vale. A hiptese (ii) chamada a hiptese de induo. Expresso como uma
regra de inferncia, o Princpio de Induo pode ser estabelecido como
[P (r) k r, (P (k) P (k + 1))] n r, P (n).

Para todo nmero natura n, a soma dos n + 1 primeiros naturais dada pela expresso
= n(n+1) . Assim, para provarmos que de fato essa armao vale para todo n, devemos
2
vericar que as hipteses (i) e (ii) so vlidas. claro que P (0) verdadeiro, pois 0 i = 0 e
i=0
0(0+1)
= 0. Com o intuito de mostrarmos a validade da hiptese (ii), supomos que a expresso vlida
2
para n = k, ou seja, P (k) verdadeiro. Em outras "palavras", k i = k(k+1) . Devemos vericar que
i=0
2
isto implica que P (k + 1) tambm verdadeiro. De fato isto acontece, pois
Exemplo:

P (n) :

n
i=0 i

k+1

i=
i=0

i
i=0

+k+1=

k(k + 1)
k(k + 1) + 2(k + 1)
(k + 1)((k + 1) + 1)
+k+1=
=
.
2
2
2

Em qual ponto usamos a hiptese de induo? Portanto, pelo Princpio de Induo Matemtica
podemos concluir que a expresso P (n) vlida para todo n natural.
8

Exemplo: Conjecture uma frmula para a soma dos n primeiros nmeros naturais mpares e prove-a
por induo matemtica. Vamos testar com os primeiros nmeros mpares. Temos

Para
Para
Para
Para

n =1 : 1 = 1;
n =2 : 1 + 3 = 4;
n =3 : 1 + 3 + 5 = 9;
n =4 : 1 + 3 + 5 + 7 = 16...

Assim, podemos conjecturar que

1 + 3 + 5 + + 2k 1 = k 2

(1)

para n = k. Vimos que P (1) verdadeiro. Suponha ento que P (k) verdade e mostremos que nesse
caso P (k + 1) tambm verdade, para k 1. Ou seja,
1 + 3 + 5 + + 2k 1 + 2(k + 1) 1 = (k + 1)2 .

Observando esta expresso, somemos a parcela 2(k + 1) 1 a ambos os termos da expresso(1):

1 + 3 + 5 + + 2k 1 + 2(k + 1) 1 =k 2 + 2(k + 1) 1
=k 2 + 2k + 1
=(k + 1)2

como queramos. Logo, pelo princpio de induo matemtica temos que nossa conjectura vlida para
todo n N.
n subconjuntos. Se
Exemplo: Para cada natural n, qualquer conjunto com n elementos tem 2
n = 0, ento o conjunto deve ser vazio, e assim o nico subconjunto dele ele mesmo. Ou seja, P (0):
"conjuntos com zero elementos tem 20 = 1 subconjunto" verdadeiro. Para vericarmos (ii), assumimos
a veracidade de P (k): "conjuntos com k elementos tem 2k subconjuntos"e usamos esta hiptese de
induo para provarmos que P (k + 1) tambm verdadeiro. Para fazermos isto, consideremos T um
conjunto com k + 1 elementos e xemos c algum elemento de T . Assim, os subconjuntos de T ou
contm c ou no. Os subconjuntos de T que no contm c so precisamente os subconjuntos de T c.
Desde que o conjunto T c tem k elementos, segue da hiptese de induo que ele tem 2k subconjuntos.
Agora, cada subconjunto de T que contm c deve ser da forma {c} D, onde D um subconjunto de
T c. Logo, existem 2k subconjuntos de T que contm c. Conseqentemente, o total de subconjuntos
de T 2k + 2k = 2 2k = 2k+1 . Portanto, P (k + 1) tambm verdadeiro, e pelo Princpio de Induo
Matemtica podemos concluir que P (n) verdade para todo n natural.
n < n! para cada nmero natural n 4. Ora, P (4) verdade porque
Exemplo: Prove que 2
4 = 16 < 24 = 4!. Agora, supondo que P (k) verdadeiro, ou seja, 2k < k!, mostremos que P (k + 1)
2
tambm verdadeiro, isto , 2k+1 < (k + 1)! para todo k 4. Vericar este fato mais fcil que
ganhar do time do amengo, pois
2k+1 =2 2k
<2 k! pela hiptese de induo
<(k + 1) k! porque k + 1 > 2
=(k + 1)!.

Portanto, o princpio de induo matemtica garante que a desigualdade 2n < n! vlida para todo
n 4.
Teorema(Segundo Princpio de Induo Matemtica) Suponha que para cada inteiro no-negativo
n uma armao P (n) dada. Se
(i) P (0) verdadeiro;
9

(ii) Se P (0), P (1), , P (k) so verdadeiros, ento P (k + 1) verdadeiro;

ento P (n) verdade para todo n N.
Exemplo: Mostre que se n um inteiro maior que um, ento n pode ser escrito como o produto
de primos. Aqui consideramos, quando o nmero n primo, o produto como tendo um fator somente.
Assim, P (2) verdade pois 2 = 2. A hiptese indutiva que P (j) verdade para todo inteiro 2 j k
e devemos mostrar que P (k + 1) tambm veradeira. Existem dois casos a considera, a saber: quando
k + 1 primo e quando (k + 1) composto. No primeiro segue de imediato que P (k + 1) verdadeiro.
Por outro lado, quando k + 1 composto, isto , k + 1 = ab, com 2 a b k, segue por hiptese de
induo que a eb podem ser escritos como produto de primos. Portanto, k + 1 tambm escrito como
o produto de primos.

10