Académique Documents
Professionnel Documents
Culture Documents
DA MATEMTICA
VOLUME 1
COLEO ELEMENTOS
DA MATEMTICA
Marcelo Rufino de Oliveira
Mrcio Rodrigo da Rocha Pinheiro
CONJUNTOS
FUNES
ARITMTICA
3 edio (2010)
Ilustrao da Capa
Maximiliano / Zeef
Modificaes em 2010
Annysteyne M. Chaves
LOUDES PACHECO
Ficha Catalogrfica
Editora VestSeller
Impresso
APRESENTAO 3 EDIO
Este o primeiro volume da Coleo Elementos da Matemtica, programada para
apresentar toda a matemtica elementar em seis volumes:
Volume 1 Conjuntos, Funes, Exponencial, Logaritmo e Aritmtica
Autor: Marcelo Rufino de Oliveira e Mrcio Rodrigo da Rocha Pinheiro
Volume 2 Geometria Plana
Autores: Marcelo Rufino de Oliveira e Mrcio Rodrigo da Rocha Pinheiro
Volume 3 Seqncias, Combinatria, Probabilidade, e Matrizes
Autor: Marcelo Rufino de Oliveira, Manoel Leite Carneiro e Jefferson Frana
Volume 4 Nmeros Complexos, Polinmios e Geometria Analtica
Autores: Marcelo Rufino de Oliveira e Jefferson Frana
Volume 5 Geometria Espacial
Autor: Antonio Eurico da Silva Dias
Volume 6 Clculo
Autor: Mrcio Rodrigo da Rocha Pinheiro
A linguagem de conjuntos essencialmente a base de toda a linguagem matemtica.
Algo similar s regras gramaticais, aprendidas em vrios nveis de profundidade, durante toda
a vida escolar. No possvel expressar-se corretamente em certa linguagem sem antes
conhecer o bsico da estrutura lingstica. Analogamente, no conveniente buscar um
conhecimento mais detalhado de matemtica elementar abrindo mo das noes
fundamentais de conjuntos.
Como uma verdadeira alfabetizao matemtica, a linguagem dos conjuntos e das
funes deve tornar-se muito clara ao aluno, ainda que no haja total dela domnio, para que
a compreenso dos fatos cotidianos torne-se mais eficientes. As idias de agrupamento de
entes que tm em comum alguma propriedade importante, dos tipos e importncia dos
nmeros, de correspondncia entre elementos de conjuntos, distintos ou no, so
fundamentais para a formao do cidado consciente e analista do mundo que o rodeia. A
associao entre a linguagem gramatical e a linguagem matemtica d-se no mbito da
linguagem dos conjuntos e das funes. Praticamente toda a Matemtica pode ser (e de fato
) desenvolvida a partir destes conceitos.
A aritmtica trata do estudo particular de um conjunto numrico importante: o dos
nmeros inteiros. Sua importncia reside em vrios aspectos, tais quais estruturar os sistemas
de bases numricas (alicerces de todas as reas da matemtica), servir de base para a
informtica, aplicaes na cinemtica, quantizao da carga eltrica em condutores, suporte
na formulao de calendrios (ciclo anual de 365 dias, ciclo lunar de 28 dias, etc), alm de
aplicao direta em outras reas da matemtica: nmeros complexos (1 e 2 Leis de Moivre),
diviso de polinmios, geometria (polgonos estrelados), etc.
Finalmente, deseja-se deixar claro o carter experimental desta obra. Por meio dela,
busca-se reunir o melhor que h no que diz respeito preparao de alunos aos concursos
vestibulares mais difceis do Brasil. No entanto, embora se busque a perfeio, natural que
haja erros ou imprecises. Deseja-se manter um relacionamento atencioso com alunos e
outros professores, a fim de aprimorar este trabalho.
Os autores
ndice
Captulo 1. Conjuntos
1. Introduo Noes Primitivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Representaes de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Conjuntos Notveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4. Relao de Incluso Subconjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5. Igualdade entre Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6. Operaes entre Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7. Cardinalidade da Unio de Conjuntos Princpio da Incluso-Excluso . . . . . . . . .
8. Par Ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9. Produto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10. Principais Conjuntos Numricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
2
2
3
5
6
13
15
15
17
36
Captulo 2. Funes
1. Definies Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2. Igualdade de Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3. Funes Implcitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4. Grfico de uma Funo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
5. Imagem Direta e Imagem Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
6. Tipologia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
7. Composio de Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
8. Inverso de Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
9. lgebra de Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
85
10. Monotonicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
11. Paridade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
94
12. Funes Peridicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13. Algumas Transformaes Geomtricas Bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
14. Funo Afim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
15. Funes Quadrticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Captulo 3. Representao Decimal
1. Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
Captulo 4. Critrios de Divisibilidade
1. Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
Captulo 5. Propriedades da Divisibilidade
1. Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184
2. Algoritmo da Diviso Euclidiana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
Captulo 6. Nmeros Primos
1. Definio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Teorema Fundamental da Aritmtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4. Dois Teoremas Clssicos Sobre Nmeros Primos . . . . . . . . . . . . . . . . . . . . . . . . .
5. A Infinitude dos Nmeros Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6. Divisores Primos de um Inteiro Composto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7. Crivo de Eratstenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8. Primos Gmeos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
199
199
202
204
205
205
206
206
212
212
212
212
213
216
MMC
7. Definio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8. Clculo do MMC a partir das fatoraes cannicas . . . . . . . . . . . . . . . . . . . . . . . . .
9. Relao Entre MDC e MMC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
217
217
219
220
Captulo 8. Divisores
1. Definio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Nmero de Divisores Positivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Soma dos Divisores Positivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4. Produto dos Divisores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5. Nmeros Perfeitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6. Nmeros Amigos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7. Nmeros Deficientes e Abundantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
228
228
231
233
234
236
236
237
Captulo 9. Congruncias
1. Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 241
2. Sistemas Completos de Restos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
Captulo 10. Funo Mximo Inteiro
1. Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Expoente de um Primo na Fatorao de n! . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Nmero de Dgitos de um Inteiro Positivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
250
253
255
256
258
258
258
260
Apndices
1. Bases de Numerao
2. Tringulos Pitagricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Teoremas de Euler e Fermat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4. Teorema de Wilson
5. Equaes Diofantinas no lineares
6. Representaes de nmeros naturais como somo de potncias inteiras
262
265
269
275
278
287
Gabaritos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290
Captulo 1. Conjuntos
1. CONJUNTOS
1.1. INTRODUO NOES PRIMITIVAS
So aquelas aceitas sem definio matemtica formal, de modo que a experincia cotidiana e
exemplos ilustrativos sejam suficientes para repassar suas principais caractersticas. A rigor, utilizam-se
tambm espcies de barreiras ou limitaes lgicas das propriedades relativas a tais noes, papel
realizado pelos postulados ou axiomas, o que, no entanto, no cabe num curso deste nvel.
Neste estudo da linguagem de conjuntos, aceitar-se-o trs noes primitivas:
a) A prpria idia de CONJUNTO. Intuitivamente, consiste nas idias usuais de coleo ou
agrupamento de objetos quaisquer bem definidos, que, entretanto, no convm como definies, uma
vez que fogem ao senso comum as noes de coleo de apenas uma coisa (conjunto unitrio) ou, mais
acentuadamente, agrupamento de nada (conjunto vazio). Qual seria, por exemplo, a coleo de Ferraris
do professor Mrcio (formada, pelo menos por enquanto, por zero elementos)?
Usualmente, representa-se um conjunto por uma letra maiscula do nosso alfabeto. Assim, falase usualmente nos conjuntos A, B, M, X, Y1, Y2, etc.
b) ELEMENTO. Quando algum deseja iniciar uma coleo, de um modo geral no lhe
limitado o gnero (tipo) de coisas que pode colecionar. Pode-se, teoricamente, colecionar qualquer
coisa. Analogamente, a natureza dos membros (entes) formadores de um conjunto totalmente
arbitrria. Tais coisas (objetos) que constituem um conjunto (no vazio) que so denominadas
elementos do conjunto.
imprescindvel notar que at mesmo um conjunto pode ser (funcionar como) membro de outro
conjunto. Assim, por exemplo, o conjunto das selees de uma copa do mundo de futebol formado por
vrias equipes, as quais, por sua vez, podem ser consideradas como conjuntos de vrios jogadores, que
podem ser encarados como conjuntos de clulas, e assim por diante. Pode-se pensar no conjunto O dos
rgos de um determinado ser humano. O corao pertence a O. Por sua vez, o corao pode ser visto
tambm como um conjunto, C, formado por clulas especficas. Da, tem-se C funcionando como
elemento de O. Com igual propriedade, note-se que cada um dos alunos do 3 Militar pode ser encarado
como elemento do conjunto M, que representa tal turma, a qual, por sua vez, pode tambm ser vista
como elemento do conjunto I das turmas do Ideal Militar, o qual, a seu tempo, tambm pode ser visto
como elemento do conjunto E das escolas de Belm, e assim por diante.
Comumente, representa-se um membro genrico de um conjunto por uma letra minscula.
c) A noo de PERTINNCIA DE UM ELEMENTO A UM CONJUNTO. Corresponde
resposta a perguntas do tipo: tal ente (coisa) ou no elemento daquele conjunto? Admitir-se-
intrnseca a capacidade de responder, de forma nica, positiva ou negativamente a esta questo.
Igualmente, todo conjunto deve possuir tacitamente a capacidade de ter seus elementos bem
determinados (caracterizados). Assim, a gula, por exemplo, pertence ao conjunto dos pecados capitais,
ao passo que o professor Mrcio no pertence nem ao conjunto dos alunos do Ideal Militar, nem ao dos
homens que j pisaram em Marte (pelo menos de acordo como o que se sabe, atualmente).
A pertinncia ou no de um elemento a um determinado conjunto indicada pelos smbolos
(pertence) ou (no pertence), respectivamente.
Obs.: Como regra fundamental, a ser aceita sem demonstrao (axioma) tem-se que um conjunto
(ou qualquer objeto, de um modo mais geral) no pode ser elemento dele mesmo, ou seja, qualquer que
seja o conjunto A, impe-se A A. Entretanto, h outros axiomas (que no sero trabalhados aqui), cujo
principal objetivo consiste em evitar os denominados paradoxos: idias aparentemente perfeitas, mas
que levam a concluses contraditrias. Por exemplo, o mais famoso deles brinca com o axioma acima:
o paradoxo de Russel, que considera o conjunto X formado pelos conjuntos que no so elementos deles
mesmos (X = {AA A}, conforme notao a ser vista em seguida). A pergunta : X X? Em caso
afirmativo, X, por pertencer a X, no pode pertencer a X, o que uma contradio. Ento X no pode
pertencer a X. Mas, por definio X pertenceria a X (!?). Uma forma bem popular de apresentar este
paradoxo a seguinte: numa certa cidadezinha, existe um barbeiro que s faz a barba dos homens que
no barbeiam a si prprios (e de todos eles). Tente responder pergunta: quem faz a barba do barbeiro?
Tais paradoxos, entretanto, bem como uma apresentao mais rigorosa da Teoria dos Conjuntos
1
Captulo 1. Conjuntos
(desenvolvida formalmente a partir do final do sculo XIX, notadamente pelo matemtico russogermnico Georg Cantor), no cabem num curso deste nvel, muito embora as noes elementares aqui
desenvolvidas serem de grande utilidade para uma linguagem matemtica mais padronizada, utilizada
em praticamente todos os ramos da Matemtica (e, conseqentemente, em muitas reas do
conhecimento).
1.2. REPRESENTACES DE CONJUNTOS
De um modo geral, representa-se um conjunto por meio de chaves ou de uma linha fechada,
qualquer um dos quais deixando os elementos do conjunto, e somente eles, em seu interior, de maneira
explcita ou no.
a) Utilizando chaves:
a.1) Forma analtica ou tabular ou por enumerao: explicita elementos do conjunto, podendo
ser todos ou alguns, nesse ltimo caso sendo possvel notar diretamente quais so os elementos
subentendidos. Exemplos:
A = {a, e, i, o, u}; B = {1, 2, 3, ...}; C = {2, 3, 5, 7}.
a.2) Forma sinttica (caracterizao por meio de propriedade): expressa uma propriedade comum
a todos os elementos do conjunto e somente a eles. Exemplos.:
A = {aa vogal}; B = {bb um nmero natural positivo}; C = {cc primo menor que 10}.
b) Utilizando diagramas:
Consiste no uso de uma linha simples e fechada qualquer (em geral, uma circunferncia)
contornando os elementos do conjunto. Comumente, os elementos so indicados por pontos do interior
da linha. Tais diagramas so freqentemente chamados de diagramas de (Euler ) Venn. Exemplos:
B
C
A
u
a
2
1
i
3
2
e
o
5
3
7
m
Captulo 1. Conjuntos
S = {x R x + x + 1 = 0} = .
O interesse em adotar esses dois casos especiais de conjuntos (vazio e unitrio) a
generalizao. Assim, por exemplo, quando se fala no conjunto das razes de uma equao polinomial
do 2 grau, no necessrio afirmar que equaes como x2 + x + 1 = 0 no possui tal conjunto em R.
Diz-se, simplesmente, que tal conjunto existe e vazio.
Obs.: o conjunto {} unitrio.
2
c) Conjunto Soluo (S): tambm denominado conjunto verdade (de uma sentena aberta), o
conjunto das respostas a uma pergunta. Mais rigorosamente (como ser visto em Lgica Matemtica),
o conjunto dos valores que podem ser atribudos a variveis, de modo a transformar uma sentena aberta
em uma proposio verdadeira. Tambm chamado conjunto verdade. Exemplos:
O conjunto soluo da equao x2 5x + 6 = 0 S = {2,3}, uma vez que os elementos desse conjunto (e
somente eles) tornam a igualdade verdadeira.
O conjunto verdade da inequao x2 < x V = {x Rx2 < x} = {x R 0 < x < 1}.
d) Conjunto Universo (U): o maior conjunto do qual podem ser retiradas as respostas a um
certo problema. Noutras palavras, um conjunto fundamental a partir do qual saem as solues de uma
certa classe de questionamentos (mais precisamente, o conjunto do qual todos os conjuntos em estudo
so subconjuntos). Note-se que no permitido aqui que U U, ou seja, no existe um conjunto
formado por todos os conjuntos. O que o universo faz , apenas, limitar uma discusso. Exemplo:
Suponha-se que dado um certo ponto O. Qual a resposta pergunta: quais so os pontos que esto a
1cm de O? A resposta : depende! Se os pontos tiverem que estar sobre uma determinada reta que passe
por O, ento h exatamente dois pontos convenientes, que deixam O como ponto mdio do segmento de
extremidade neles. Se os pontos puderem situar-se sobre um plano que contm O, ento a soluo a
circunferncia de centro em O e raio 1cm. Se o ponto puder estar em qualquer lugar (espao), ento a
resposta a superfcie de uma esfera de centro em O e raio 1cm.
B
O
Captulo 1. Conjuntos
a) Sejam U = {u Zu divisor de 120} e V = {v Zv divisor de 24}. Percebe-se que V
U, uma vez que todo nmero que divide 24 tambm capaz de dividir 120.
b) Sejam P = {2, 3, 5, 7} e Q = {q Z1 < q < 9 e q mpar}. Note-se que, apesar de que 3 P
e 3 Q, 5 P e 5 Q, bem como 7 P e 7 Q, tem-se 2 P, mas 2 Q. Dessa forma, P no pode
ser subconjunto de Q, por no cumprir a definio para tal. Escreve-se, ento, que P Q.
c) Quando se diz que todo paraense brasileiro, deve-se entender que um fato (ser paraense)
implica, acarreta, ocasiona outro (ser brasileiro). Diz-se, ainda, que ser paraense condio suficiente
para ser brasileiro, ou que ser brasileiro condio necessria para ser paraense. Tudo isso se
generaliza para qualquer sentena do tipo HIPTESE TESE. Simplesmente, o que se faz na
linguagem de conjuntos ler a proposio inicial como o conjunto dos paraenses est contido no
conjunto dos brasileiros, isto , qualquer que seja o paraense, ele tambm brasileiro.
de fundamental importncia observar no penltimo exemplo que no importa quantos
elementos de um conjunto X pertenam a Y: se pelo menos um elemento do primeiro no estiver no
segundo, ocorre X Y. Noutros termos, para verificar que um conjunto X no um subconjunto de Y,
deve-se (e basta) exibir (pelo menos) um elemento de X que no seja elemento de Y.
Alm disso, tem-se que ou X Y ou X Y, no havendo uma terceira opo nem podendo
ocorrer as duas situaes simultaneamente (isto , os dois casos excluem-se mutuamente).
Estas duas ltimas observaes servem para demonstrar um fato considerado esquisito para
muitos alunos, que muitas vezes o aceitam sem saber o porqu: o de que o vazio subconjunto de
qualquer conjunto. Com efeito, se existisse algum conjunto A do qual o conjunto vazio no fosse
subconjunto, ento dever-se-ia ser capaz de exibir pelo menos um elemento do vazio que no
pertencesse a A. Mas isso impossvel, e esta contradio nasce do fato de supor que A. Portanto, a
nica possibilidade A, qualquer que seja o conjunto A. Alm desta, h outras propriedades
importantes da relao de incluso, a saber:
I. Para qualquer conjunto A, A A (REFLEXIVIDADE).
DEMONSTRAO:
De fato, a implicao x A x A trivialmente verdadeira ( bvio que todo elemento de A
est em A).
II. Se A B e B C, ento A C (TRANSITIVIDADE).
DEMONSTRAO:
Sabe-se que todo elemento de A est em B e que todo elemento de B est em C. Logo, qualquer
elemento de A, por ser tambm elemento de C, deve estar em C.
III. Se A um conjunto finito com n elementos, ento A tem, exatamente, 2n subconjuntos.
Exemplo:
Suponha-se que X = {a, b, c}. Formando os subconjuntos de X, tem-se que:
Subconjuntos com exatamente 0 elemento:
Subconjuntos com exatamente 1 elemento: {a}, {b} e {c}
Subconjuntos com exatamente 2 elementos: {a, b}, {a, c} e {b, c}
Subconjuntos com exatamente 3 elementos: {a, b, c} = X.
Como possvel perceber, h 8 = 23 subconjuntos de A.
Por que no foram contados conjuntos como {b, a} e {c, a, b}? Porque, como ser visto no
prximo item, tais conjuntos so respectivamente iguais a {a, b} e a {a, b, c} e, assim, j foram
computados.
Captulo 1. Conjuntos
Essa ltima propriedade admite muitas demonstraes interessantes e distintas, utilizando alguns
argumentos combinatrios. Duas das mais simples so as seguintes:
1 DEMONSTRAO de III: Se A vazio, isto , se n = 0, o nico subconjunto possvel o
prprio vazio. A frmula vlida uma vez que 20 = 1. Se n > 0, formar um subconjunto X qualquer de A
consiste em tomar n decises consecutivamente:
Deciso 1: pr ou no o primeiro elemento de A no subconjunto X.
Deciso 2: pr ou no o segundo elemento de A no subconjunto X.
...
Deciso n: pr ou no o ensimo (e ltimo) elemento de A no subconjunto X.
Portanto, de acordo com o teorema fundamental da contagem, j que cada deciso pode ser feita
de 2 modos (pr ou no pr), h um total de 2.2...2 = 2n subconjuntos distintos possveis de A.
2 DEMONSTRAO de III: Pode-se proceder como no exemplo acima, s que modo mais
geral. Dado o conjunto A = {a1, a2, ..., an}, formam-se
Subconjuntos com exatamente 0 elemento, em nmero de Cn,0: .
Subconjuntos com exatamente 1 elemento, em nmero de Cn,1: {a1}, {a2}, ..., {an}.
Subconjuntos com exatamente 2 elementos, em nmero de Cn,2: {a1, a2}, ..., {a1, an}, ..., {an 1,
an}.
...
Subconjuntos com exatamente n elementos, em nmero de Cn,n: o prprio A.
Portanto, h um total de Cn,0 + Cn,1 + Cn,2 + ... + Cn,n subconjuntos de A. Finalmente, pelo
teorema do desenvolvimento binomial:
(1 + 1)n = Cn,0.1n.10+ Cn,1.1n 1 .11 + Cn,2.1n 2 .12 + ... + Cn,n.1n n .1n. Portanto, a quantidade
exata de subconjuntos de A Cn,0 + Cn,1 + Cn,2 + ... + Cn,n = (1 + 1)n = 2n.
Denomina-se subconjunto prprio de A qualquer subconjunto X de A, tal que:
XeXA
Quando um subconjunto no prprio dito imprprio ou trivial (so os subconjuntos bvios,
de qualquer conjunto A: e A).
Obs.: Alguns autores definem subconjunto prprio de A como qualquer subconjunto de A, que
no o mesmo (ou seja, admitem a possibilidade de o conjunto vazio ser prprio). Outros insistem numa
diferenciao entre os conceitos de subconjuntos imprprios e o de subconjuntos triviais. Isto no ser
feito aqui, mas deve sempre ser deixado claro por quem o utiliza.
Denomina-se conjunto das partes de um conjunto A o conjunto de todos os subconjuntos (ou
partes) de A. representado por (A). Assim, se A = {a, b, c}, tem-se (A) = {, {a}, {b}, {c}, {a,b},
{a,c}, {b,c}, A}. Note-se que nunca (A) vazio, j que sempre possui, pelo menos, como elemento.
1.5. IGUALDADE ENTRE CONJUNTOS
Por definio, dois conjuntos so iguais quando possurem os mesmos elementos. Assim,
equivalentemente, ocorre igualdade entre dois conjuntos quando todo elemento do primeiro for tambm
elemento do segundo e, reciprocamente, qualquer elemento do segundo pertencer da mesma forma ao
primeiro.
Noutras palavras, pode-se garantir que dois conjuntos so iguais quando:
- O primeiro estiver contido no segundo (todo elemento do primeiro for tambm elemento do
segundo) e
- O segundo estiver contido no primeiro (qualquer elemento do segundo pertencer da mesma forma ao
primeiro).
Em smbolos:
5
Captulo 1. Conjuntos
A=BABeBA
(Propriedade Anti-Simtrica da Incluso de Conjuntos)
exatamente devido a essa definio que nem a ordem e nem a repetio dos elementos
diferencia conjuntos. Exs.:
a) Sejam os conjuntos X o conjunto das letras da palavra AMOR, Y o conjunto das letras da
palavra ROMA, Z o conjunto das letras da palavra AMORAS e W o conjunto das letras da palavra
MARASMO. Desse modo so vlidas, dentre outras, as seguintes relaes:
X Y; Y X; X = Y (a ordem das letras no distingue os conjuntos X e Y).
X Z; Z X (pois S Z, mas S X). Logo, X Z.
Z W; W Z; Z = W (nem ordem nem repetio dos elementos interessa diretamente em
linguagem de conjuntos).
b) Suponha-se a pergunta: quantos elementos tem o conjunto A em que os cinco primeiros
nmeros inteiros positivos so escritos uma quantidade de vezes igual ao seu valor absoluto?
De acordo com a definio de A, pode-se afirmar que:
A = {1, 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 5, 5}.
Entretanto, pela definio de igualdade de conjuntos, fcil ver que:
A = {1, 2, 3} e, portanto, tem 3 elementos.
1.6. OPERAES ENTRE CONJUNTOS
1.6.1. UNIO (ou REUNIO)
Dados dois conjuntos quaisquer A e B, chama-se de unio de A com B ao conjunto representado
por A B que consiste em todos os elementos que pertencem a A ou a B, podendo pertencer a ambos.
Formalmente:
A B = {x
x A ou x B}
A
Convm ressaltar que a simbologia x A ou x B exige que pelo menos uma das duas
afirmaes, a saber, x A, x B, seja verdadeira, podendo ser, eventualmente, as duas. Embora na
linguagem cotidiana seja freqente a interpretao do conectivo ou apenas no sentido exclusivo, o seu
significado matemtico correto inclusivo. Assim, para exemplificar, esto corretas afirmaes como: 2
5 (dois menor que ou igual a cinco); 7 7 (sete maior que ou igual a sete), apesar de 2 = 5 e
7 > 7 serem ambas afirmaes falsas. Naturalmente a afirmao 2 4 falsa, uma vez que nem 2 > 4,
nem 2 = 4. Da mesma forma, a sentena Este ano no bissexto ou 2005 verdadeira, ainda que
ambas as afirmaes sejam verdadeiras (incluso). Exs.:
a) Sejam A = {1, 2, 3} e B = {3, 4, 5, 6}. Ento A B = {1, 2, 3, 4, 5, 6}
b) Sendo P = {p Np par} e I = {i Ni = 2k +1, k N}, tem-se que P I = N.
Captulo 1. Conjuntos
1.6.2. INTERSEO (ou INTERSECO)
A interseo entre A e B (A B) o conjunto dos elementos que pertencem a A e a B
(simultaneamente). Matematicamente:
A B = {x
x A e x B}
A
Exemplos:
a) Se A = {1, 2, 3} e B = {3, 4, 5, 6}, conclui-se que A B = {3}.
b) Sendo X = {x Nx mltiplo de 12} e Y = {y Ny mltiplo de 10}, tem-se que X Y
= {x Nx mltiplo de 60}.
c) Supondo P o conjunto dos nmeros primos e C o conjunto dos nmeros compostos, tem-se
que P C = , pois no h inteiros que sejam primos e compostos, ao mesmo tempo.
Quando dois conjuntos tm interseo vazia so chamados de disjuntos.
A
IDEMPOTNCIA
A A = A; A A = A.
II.
COMUTATIVIDADE
A B = B A; A B = B A.
III.
ASSOCIATIVIDADE
(A B) C = A (B C);
(A B) C = A (B C).
IV. DISTRIBUTIVIDADE
A (B C) = (A B) (A C);
A (B C) = (A B) (A C).
7
Captulo 1. Conjuntos
V.
Captulo 1. Conjuntos
1.6.3. DIFERENA
Dados os conjuntos quaisquer A e B, a diferena entre A e B consiste no conjunto dos elementos
de A que no so elementos de B, ou seja, aqueles elementos que esto, apenas, em A. Em smbolos:
A B = {x
x A e x B}
A
Exemplos:
a) Sendo A = {1, 2, 3} e B = {3, 4, 5, 6}, conclui-se que A B = {1, 2} e que B A = {4, 5, 6}. Notese que A B B A, e, portanto, a diferena no comutativa, de um modo geral.
b) Tomando X = {x Nx divisor de 12} e Y = {y Ny divisor de 20}, conclui-se que X Y =
{3, 6, 12} e Y X = {5, 10, 15, 20}.
c) Sendo Mn o conjunto dos mltiplos do inteiro n, pode-se garantir que M5 M10 o conjunto dos
inteiros terminados em 5. J M10 M5 = , uma vez que impossvel encontrar um mltiplo de 10
que no seja mltiplo de 5.
d) Supondo P o conjunto dos nmeros pares e I o conjunto dos nmeros mpares, tem-se que P I = P,
pois todos os nmeros pares no so mpares. Analogamente, I P = I.
ALGUMAS PROPRIEDADES DA DIFERENA
Para quaisquer que sejam os conjuntos A e B so vlidas as seguintes propriedades.
I.
II.
III.
IV.
A A = .
A = A (ELEMENTO NEUTRO).
A (A B) = A B.
Se A B = , ento A B, e vice-versa, isto , se A B, ento A B = . Formalmente: A B
= se, e somente se, A B, ou ainda, A B = A B.
DEMONSTRAES:
I.
Basta notar que a afirmao x A e x A sempre falsa, o que define o conjunto vazio. Ou seja:
A A = {x x A e x A} = . Note-se que no interessante utilizar a anti-simetria (pelo
menos por enquanto sem Lgica), visto que o conjunto vazio no tem elemento.
II.
III.
Captulo 1. Conjuntos
47) (EPCAr-2004) Dados os conjuntos A, B e C
tais que [A (A B)] B = C , pode-se afirmar,
necessariamente, que
a) C (AXB)
b) n(A B) < n(B)
c) n(A C) > n(A B) n(B)
d) n(B C) = n(C)
41
Captulo 1. Conjuntos
53) Determine os conjunto A, B e C que
satisfazem as seguintes seis condies:
1) A B C = {z, x, v, u, t, s, r, q, p}
2) A B = {r, s}
3) B C = {s, x}
4) C A = {s, t}
5) A C = {p, q r, s, t, u, v, x}
6) A B = {p, q, r, s, t, u, x, z}
B C = {7}
... (2)
A B = {1, 2, 7, 9, 10}
... (3)
A C = {1, 2, 3, 5, 7, 8, 9, 10}
... (4)
BE = {3, 4, 5, 6, 8, 9}
... (5)
55) (Colgio Naval-97) Considere o conjunto A
dos nmeros primos positivos menores do que 20
e o conjunto B dos divisores positivos de 36. O
nmero de subconjuntos do conjunto diferena B
A
a) 32 b) 64 c) 128 d) 256 e) 512
Captulo 1. Conjuntos
= 4, n (A B) = 5 e n (A x B) = 36. Podemos
afirmar que n (A B) igual a:
a) 4 b) 6 c) 7 d) 9 e) 10
a 2 x + b 2 y + c 2 = 0
sendo a1. b1. c1. a2. b2. c2 0, pode-se afirmar que
a) M = N
b) M N = M c) M N =
d) M N = N
e) M N
Captulo 1. Conjuntos
III. 980 filiados votaram a favor de A ou de B,
mas no de C;
IV. 420 filiados votaram a favor de B, mas no de
A ou de C;
V. 1.220 filiados votaram a favor de B ou de C,
mas no de A;
VI. 640 filiados votaram a favor de C, mas no de
A ou de B;
VII. 140 filiados votaram a favor de A e de C,
mas no de B.
Determine o nmero de filiados ao PE que:
a) votaram a favor dos 3 candidatos.
b) votaram a favor de apenas um dos candidatos.
Captulo 1. Conjuntos
d) 18
e) 25
Captulo 1. Conjuntos
c) Bebs no sabem amestrar crocodilos.
d) Pessoas que sabem amestrar crocodilos
podem no ser lgicas.
e) Toda pessoa desprezada um beb.
f)
g)
h)
i)
j)
k)
l)
m)
n)
o)
p)
q)
r)
s)
t)
u)
X Y (X Z) (Y Z).
X Y (X Z) (Y Z).
X Y = X Y X = Y.
(X Y) Z = X (Y Z) Z X.
X Y X.
X Y = X X Y = .
X Y = X Y.
(X Y) (X Y) = .
(X Y) (X Y) = X.
X (Y Z) = (X Y) Z.
Y (X Y) = .
(X Y) Z = (X Z) (Y Z).
(X Y) Z = (X Z) (Y Z).
(X Y) Z = X (Y Z).
X Z = Y Z X = Y;
X Y = X = Y.
111) Se A B, ento B (A C) = (B C)
A para todo conjunto C. Por outro lado, se existir
C de modo que a igualdade acima seja satisfeita,
ento A B.
Captulo 1. Conjuntos
c)
d)
e)
f)
g)
h)
A (B C) = A (B C).
(A B) C = (A C) (B C).
(A B) C = (A C) (B C).
Se X Y ento P (X) P (Y).
Se X Y ento P (Y X) = P (Y) P (X).
A B se, e somente se, A BC = .
d) 1 e 4 so verdadeiras
e) 1 e 3 so verdadeiras
117) (IME-87) Dados dois conjuntos A e B,
define-se A B = (A B) (B A)
Prove que dados trs conjuntos arbitrrios X, Y e
Z
X (Y Z) = (X Y) (X Z)
a
R = x x = , b 0
e
inteiros quaisquer,
b
S = 2;1,3;0,444...; 2 , ento:
a) S R
b) S R = c) S R unitrio d)
S R tem dois elementos e) S R unitrio
a) No um nmero real
c) igual a 2
e) igual a 4
b) igual a 1
d) igual a 3
Captulo 1. Conjuntos
a c
a a+c c
<
< <
b d
b b+d d
a + a2 b
a a2 b
a b =
,
2
2
conhecida como frmula do radical duplo.
c) Obter racionais a e b, de modo que
18 8 2 = a + b 2 .
148) Seja X um conjunto ordenado qualquer.
Provar que, sendo a e b elementos de X:
a2 + b2 = 0 a = b = 0.
149) Provar que: 0 < a < b a
2ab
a+b
<
< ab <
< b. Provar tambm que,
a+b
2
sendo a e b positivos:
ab =
b so ambos racionais.
a+b
2ab a + b
a+b
=
ab =
a =b.
2
a+b
2
2
52
Captulo 2. Funes
f(x) = f(x)
(x, f(x))
(x, f(x))
II. Uma funo real de varivel real f: A B, definida num domnio simtrico, mpar se, e somente
se, o grfico de f simtrico em relao origem, o que equivalente a afirmar que o grfico de f possui
os dois eixos ordenados como eixo de simetria. Ou, ainda, que a origem um centro de simetria do
grfico de f.
DEMONSTRAO
A demonstrao anloga do teorema anterior, bastando apenas notar que a origem (0, 0) o
ponto mdio do segmento de extremidades nos pontos (x, f(x)) e (x, f(x)) = (x, f(x)), como
imediato. Assim, pode-se garantir que a funo f mpar se, e somente se, a ocorrncia do ponto (x, f(x))
em G(f) implica o surgimento do ponto (x, f(x)) no mesmo grfico.
f(x)
x
(x, f(x))
0
f(x)
(x, f(x))
OBSERVAO
De maneira similar possvel demonstrar o seguinte resultado para funes inversas.
Seja f uma funo real de varivel real bijetiva. Se os grficos de f e de sua inversa so traados
num mesmo sistema cartesiano, ento um o simtrico do outro em relao bissetriz dos quadrantes
mpares.
Para a demonstrao, s notar que, dado qualquer ponto (x, f(x)) = (x, y) de G(f), o ponto (y, x)
= (y, f 1 (y)) = (f(x), x) pertencer ao grfico de f 1. Dessa forma, j que a reta y = x (bissetriz dos
quadrantes mpares) a mediatriz do segmento de extremidades nos pontos (x, f(x)) e (f(x), x), as
curvas G(f) e G(f 1) so simtricas em relao quela bissetriz, quando representadas num mesmo
sistema cartesiano.
G(f)
y
y=x
(x0, y0)
y0 = f (x0)
G(f 1 )
x0
(y0, x0)
x0 y0 = f (x0) x
92
Captulo 2. Funes
III.
Suponha-se que f1 e f2 sejam funes pares e que g1 e g2 sejam funes mpares, todas reais de
varivel real. Sendo possvel definir as operaes funcionais a seguir em domnios convenientes
(comuns e simtricos), ento:
f
g
a) f1 + f2, f1.f2, g1.g2, 1 e 1 so pares.
f2
g2
f
b) g1 + g2, f1.g1 e 1 so mpares.
g1
DEMONSTRAO
Apenas para exemplificar, prove-se que f1 + f2 e g1.g2 so pares, assim como g1 + g2 e
f1
so
g1
DEMONSTRAO
Apenas para exemplificar, tem-se que:
(g1 g2)(x) = g1(g2(x)) = g1(g2(x)) = [g1(g2(x))] = g1(g2(x)) = (g1 g2)(x), ou seja, a composta de
duas funes mpares uma funo par.
Os demais casos so anlogos e ficam como exerccio.
93
Captulo 2. Funes
94
Captulo 2. Funes
5. Denomina-se maior (ou mximo) inteiro que no supera x o (nico) nmero inteiro k, tal que:
x 1 < k x.
Utiliza-se a notao k = [x]. O inteiro k tambm recebe o nome de parte inteira de x.
Assim, por exemplo: [5,7] = 5; [6] = 6; [ 91] = 91; [ 713, 94] = 714.
fcil provar que, dentre vrias outras propriedades:
[x] = x x Z (pois no h mais que um inteiro no intervalo (x 1, x], de comprimento menor
que 1; e, quando isso ocorre, o inteiro deve ser x).
0 x [x] < 1. De fato: x 1 < k = [x] x x [x] < 1 x 0 x [x] < 1. O nmero x
[x] comumente representado por {x} e recebe a denominao parte fracionria de x.
(x + 1) [x + 1] = x [x]. Basta demonstrar que [x + 1] [x] = 1 = (x + 1) x. Com efeito,
sendo m = [x + 1] e k = [x]. Ento, por definio, m e k so os inteiros que satisfazem:
(x + 1) 1 < m x + 1 e x 1 < k x, do que segue x < m x + 1 e x k < 1 x. Somando:
0 < m k < 2. obvio que m k inteiro. Logo, m k = 1.
Defina-se, agora, a funo f: R R, por f (x) = x [x]. De acordo com a ltima propriedade
demonstrada acima, tem-se f (x + 1) = f (x), x R. Logo, f peridica e um perodo de f 1. Resta
indagar se o perodo de f, isto , se 1 representa o perodo fundamental de f. A resposta sim. Em
verdade, supondo que houvesse um perodo T0, tal que 0 < T0 < 1, ento: f (x + T0) = f (x), x R. Mas
j que 1 perodo de f: f [(x + T0) + 1] = f [(x + 1) + T0] = f (x), x R . Da: [(x + 1) + T0] = [x] (*).
Basta demonstrar que, se dois nmeros tm mesma parte inteira, ento eles diferem por um nmero
menor que 1. De fato: [a] = [b] = k a 1 < k a; b 1 < k b. Sem perda de generalidade, supondo b
a k < 1 a
a, vem que:
b a 1 < 0 < 1 + b a . Somando a b a todos os membros das
b 1 < k b
desigualdades: 1 < a b < 1. De b a, tem-se 0 a b < 1. Portanto, de (*), conclui-se que:
(x + 1) + T0 x < 1 T0 < 0, o que um absurdo.
y
2 1
A propsito, tal funo tambm conhecida como dente de serra, denominao facilmente
justificvel pelo grfico, ilustrado acima.
6. Como saber se a funo real de varivel real de lei f (x) = cos x (definida para todo real no negativo
x) peridica ou no? A idia , como j foi feito precedentemente, supor inicialmente que f seja
peridica com perodo T. Caso isto ocorresse:
95
Captulo 2. Funes
x0
x0 + T
x
y0
T
As imagens repetem-se de T em T:
y0 = f (x0) = f (x0 + T) = f (x0 T)
DEMONSTRAO
Por hiptese, f (x + T) = f (x), x A. Note-se que, como trivial, a propriedade vlida para
T =1. Suponha-se que ela tambm seja vlida para um inteiro positivo k, genrico, isto , que f (x + kT)
= f (x), x A. Da, como T um perodo de f:
f [(x + kT) + T] = f (x). Mas: f [(x + kT) + T] = f [x + (k + 1)T]. Logo, f [x + (k + 1)T] = f (x), x A,
ou seja, (k + 1)T tambm um perodo de f. Assim, por induo finita, a propriedade verdadeira para
qualquer valor de k inteiro e positivo.
96
Captulo 2. Funes
OBSERVAO: Deve-se notar que, mesmo quando k um inteiro negativo (e mesmo quando k = 0,
como bvio), a propriedade f (x + kT) = f (x), x A, continua vlida. Assim, por exemplo, se T
um perodo de f, pode-se garantir que f (x) = f (x + T) = f (x + 2T) = f (x + 2469T) = f (x T) = f (x
2T) = f (x 11T) = ...
Em verdade, supondo que k seja um inteiro negativo, tem-se que m = k > 0. Desse modo,
aplicando o resultado demonstrado anteriormente no ponto x + kT, tem-se que:
f (x + kT) = f [(x + kT) + mT] (pois mT um perodo de f). Desta feita:
f (x + kT) = f [x + (k + m)T] = f (x), x A.
Finalmente, conveniente observar que esta propriedade formaliza a idia do carimbo exposta
anteriormente: deslocando-se a partir de x0, de T em T, tanto para a direita (x0 + k.T, com k > 0), quanto
para a esquerda (x0 + k.T, com k < 0), obtm-se apenas repeties do que ocorre para x0.
Conforme j foi visto, uma funo constante sempre peridica, possuindo como perodo
qualquer nmero real positivo T. Conseqentemente, no h um perodo fundamental, e os perodos no
guardam relao especial entre si. possvel provar (usando argumentos de Anlise Matemtica, que
no cabem num curso deste nvel) que h trs grandes grupos de funes contnuas reais de varivel real,
mutuamente exclusivos, e que englobam todos os tipos dessas funes:
a) As funes no peridicas.
b) As funes constantes, que no tm um perodo fundamental.
c) As funes que possuem um (nico) perodo fundamental.
Ou seja, como evidente, ou uma funo peridica ou no peridica. O mais interessante (e
no bvio) que uma funo peridica ou possui um perodo fundamental ou constante.
O teorema seguinte uma espcie de recproca do teorema I, aplicvel s funes peridicas no
constantes.
II. Suponha-se que f: A B seja uma funo peridica no constante. Se T0 o perodo fundamental de
f, ento qualquer perodo de f deve ser um mltiplo inteiro de T0. Mais precisamente:
f (x + T0) = f (x + T) = f (x), x A, e 0 < T0 T, T k N*: T = k.T0.
DEMONSTRAO
Suponha-se, por absurdo, que, embora f (x + T0) = f (x + T) = f (x), x A, 0 < T0 T, T e T =
k.T0, no fosse k inteiro. Ento, embora k Z, [k] seria inteiro. Da, 0 < k [k] < 1 (ver item 1.1,
exemplo 5). Pela observao anterior, devido ao fato de que [k].T0 seria tambm um perodo de f,
deveria ocorrer:
f (x + k.T0) = f [(x + k.T0) [k].T0] = f [x + (k [k]).T0] = f(x), x A.
Mas ento o nmero real positivo (k [k]).T0 seria tambm um perodo de f, o que um absurdo,
pois (k [k]).T0 < T0, ou seja, haveria um perodo de f menor que o fundamental.
Portanto, qualquer que seja o perodo T de uma funo peridica no constante de perodo
fundamental T0, deve haver algum inteiro positivo k, de modo que:
T = k.T0.
Dessa forma, por exemplo, qualquer perodo da funo f: R R, de lei f (x) = sen x, deve possuir a
forma 2k, com k natural no nulo. Analogamente, a funo dente de serra no pode possuir um nmero
no inteiro como perodo. De acordo com o teorema em II, caso se deseje confeccionar um carimbo para
reproduzir todo o grfico f (x) = x [x], permitido construir carimbos de comprimentos 1 (o menor de
todos), 2, 7 ou 2005 unidades. Mas impossvel carimbar totalmente esse grfico com carimbos de
comprimento 5/3, 1/2 ou , por exemplo.
Um corolrio do teorema precedente consiste no seguinte resultado: Se T1 e T2 so perodos de uma
mesma funo peridica no constante, ento a razo entre eles um nmero racional.
97
Captulo 2. Funes
De fato, supondo que o perodo fundamental seja T0, existem naturais no nulos, p e q, de tal sorte
T
p.T0 p
que T1 = p.T0 e T2 = q.T0. Portanto: 1 =
= , o qual , obviamente, um racional.
T2 q.T0 q
III. Sejam f e g funes peridicas, reais de varivel real, de perodos fundamentais T1 e T2. Supondo
T
p
bem definidas as operaes funcionais a seguir, sendo 1 = , com p e q inteiros e mdc (p, q) = 1,
T2
q
ento as funes f g, f.g e f/g, caso no sejam constantes, so peridicas, com perodo T = q.T1 =
p.T2.
DEMONSTRAO
Suponha-se que f (x + T1) = f (x), e que g (x + T2) = g (x), para todos os valores de x no domnio
comum a f e a g.
Desse modo, por exemplo, tem-se que: (f.g)(x + T) = f (x + T).g (x + T) = [f (x + q.T1)].[g (x +
p.T2)]. Como p e q so inteiros, pelo teorema I conclui-se que: (f.g)(x + T) = f (x).g(x) = (f.g)(x), ou
seja, T = q.T1 = p.T2 um perodo de f.g..
C = (A)
Homotetia de centro P e
PC PD
de razo
=
= k.
PA PB
B
M = (M) D = (B)
98
Captulo 2. Funes
3- Seja f: XY uma funo injetiva. Ento, para
cada subconjunto A de X, f(Ac) (f(A))c onde Ac
= {x X/ x A} e (f(A))c = {x Y/ x f(A)}.
Podemos afirmar que est (esto) correta(s):
a) as sentenas no 1 e no 2.
b) as sentenas no 2 e no 3.
c) Apenas a sentena no 1.
d) as sentenas no 1 e no 2.
e) Todas as sentenas.
b) ]0, 1[
c) ]e, e + 1[
e) ]1, +[
f(x)= x 2 , se 1 < x 1
4, se x > 1
a) se x
3
2
, f(g(x)) = 0
b) se 1 < x <
c) se
4
3
160
, f(g(x)) = 1
d) se 1 < x
e) n.d.a
3
2
4
3
, f(g(x)) = 1
Captulo 2. Funes
294) (ITA-91) Considere as afirmaes:
I- Se f: uma funo par e g: uma
funo qualquer, ento a composio gof uma
funo par.
II- Se f: uma funo par e g: uma
funo mpar, ento a composio fog uma
funo par.
III- Se f: uma funo mpar e inversvel
ento f 1: uma funo mpar.
Ento:
a) Apenas a afirmao I falsa;
b) Apenas as afirmaes I e II so falsas;
c) Apenas a afirmao III verdadeira;
d) Todas as afirmaes so falsas;
e) n.d.a.
a) A = [ 2 ,
1
]
2
[4 , + [
b) A = [ 1 , 4]
2
c) A = [ 3 , 1]
d) A = ] , 3] [1, + [
e) n.d.a.
0, se x Q
1, se x I
1, se x Q
g (x) =
0, se x I
Seja J a imagem da funo composta og :
. Podemos afirmar que:
a) J =
b) J = Q
c) J = {0}
d) J = {1}
e) J = {0,1}
(x) =
161
Captulo 2. Funes
ax + b
, - c < x < c, ento f(x), para c < x
x+b
< c, constante e igual a:
a) a + b b) a + c c) c d) b e) a
f (x ) =
Valor
Ponto
Valor
Ponto
mnimo
de
mximo
de
mnimo
mximo
-1
x 2 + (2m + 1) x + (m 2 + 2)
est definida e no negativa para todo x real :
d) ,
1
4
b) , +
4
9
4
>0
x 2 + (2m + 3) x + (m 2 + 3)
1 7
a) ,
4 4
<0
7
c) 0,
4
1 7
e) ,
4 4
162
Captulo 2. Funes
e) apenas III e IV.
318) (IME-96) Seja f uma funo real tal que x,
1
a : f(x + a) = + f(x) [f(x)]2 . f
2
peridica? Justifique.
q ( n + 1) = q ( n)
r ( n + 1) = 0
q ( n + 1) = q ( n) + 1
163
Captulo 2. Funes
326) Se f(x) = 1 1/x , com x 0, ento
determine o valor de
R = 96.f(2).f(3).f(4). ... .f(14).f(15).f(16).
a) 1
c)1
d) 4
e) 16
b) 0
x 1 e g(x) = 2x 3
x <1
x
e a um nmero real. Se
1 x
x0 = a, x1 = f(x0), x2 = f(x1), ..., x1996 = f(x1995), e
x1996 = 1, calcule a.
a) 0
b) 1/1997
c) 1995
d) 1995/1996
e) nda
338) Dados f ( x ) =
1 1
= , ento f(x) :
x 1 x
a) (x 1) 1
c) (x + 1)/x
b) x/(x + 1)
d) 1/x x
1
. Determine
(1 x )
Captulo 2. Funes
a) 3
b) 3/2
c) 2/3
344) Se f ( x ) =
d) 1
3x
e f(g(x)) = x, ento g(x) = ?
3x + 4
a) (3x + 4)/(3x)
c) (4x)/(3 3x)
e) nda
b) (3x)/(3x + 4)
d) (3x + 4)/4
345) Seja f ( x ) =
2x + 3
. Sabe-se que a inversa de
5x 1
a) 6
a) 1
x+b
. Determine o valor de b + c + d.
cx + d
b) 7
c) 8
d) 9
c) 3
d) 4
e) 5
e) nda
b) 2
1+ x
, f1(x) = f(f(x)), f2(x) =
1 3x
165
1 + f (x)
. Demonstre que f peridica.
1 f (x)
= .
Temos ento A = 15 e B = 24
B 24
B 8
7) (PUC/PR-2004) Um nmero A formado por trs algarismos, abc: o algarismo das dezenas a
metade do das unidades, o das centenas o triplo do das unidades. Invertendo-se a ordem dos algarismos
daquele nmero, obtm-se um nmero B, cba, igual ao nmero A diminudo de 396. A soma A + B
800 igual a:
a) 22
b) 24
c) 26
d) 28
e) 30
Soluo:
Segundo o enunciado temos as seguintes relaes entre os dgitos de A: c = 2b e a = 3c.
Portanto: 100a + 10b + c (100c + 10b + a) = 396 99a 99c = 396 a c = 4
2c = 4 c = 2 a = 6 b = 1 A + B 800 = 612 + 216 800 = 28.
8) Determine a soma dos algarismos do nmero (999.......995)2, onde o nmero 999........995 tem 99
dgitos iguais a 9.
Soluo:
x = (10100 5)2 = 10200 10.10100 + 25 = 10200 10101 + 25.
Assim, x um nmero da forma: 9999...9990000...0025, contendo 99 dgitos 9 e 99 dgitos 0.
Portanto: S = 9.(99) + 2 + 5 = 898
9) (OBM-97) O nmero N tem trs algarismos. O produto dos algarismos de N 126 e a soma dos dois
ltimos algarismos de N 11. O algarismo das centenas de N :
A) 2 B) 3 C) 6 D) 7 E) 9
Soluo:
Seja N = (abc)10. Pelo Enunciado temos que: a.b.c = 126 = 2.32.7 e b + c = 11.
A expresso b + c = 9 possui as seguintes possibilidades de resposta:
2 + 9 = 11 3 + 8 = 11 4 + 7 = 11 5 + 6 = 11
Como a.b.c = 2.32.7, ento temos apenas duas possibilidades para os dgitos de N: {2, 9, 7} ou {3, 6, 7}
Assim, para que b + c = 11 temos que duas possibilidades:
i) b = 2 e c = 9 a = 7
ii) b = 9 e c = 2 a = 7
10) (OBM-2000) Um certo nmero N de dois algarismos o quadrado de um nmero natural.
Invertendo-se a ordem dos algarismos desse nmero, obtm-se um nmero mpar. A diferena entre os
dois nmeros o cubo de um nmero natural. Podemos afirmar que a soma dos algarismos de N :
A) 7 B) 10 C) 13 D) 9 E) 11
Soluo:
168
11) Um nmero inteiro de seis dgitos inicia com 1. Se este dgito movido do extremo esquerdo para o
extremo esquerdo sem mudar a ordem dos outros dgitos, o novo nmero 3 vezes o original. A soma
dos dgitos dos nmeros :
Soluo:
Sejam n = (1abcde)10 e m = (abcde1)10 os nmeros. Assim: n = 105 + (abcde)10 e m = (abcde)10.10 + 1.
Substituindo: m = 10(n 105) + 1 m = 10n 106 + 1.
Como m = 3n 3n = 10n 106 + 1 7n = 106 1 = 999999 n = 142857.
Desta forma, a resposta 27.
12) Prove que o nmero 111...11 222...22 , para todo n natural, um quadrado perfeito.
2 n 1's
n 2 's
Soluo:
Inicialmente notemos que: 11...1 = (99...9)/9 = (102n 1)/9
222...22 = 2(111...11) = 2(999...99)/9 = 2(10n 1)/9
2
2
10 2 n 1 2.10 n 2 10 2 n 2.10 n + 1 10 n 1
= 333...33
Assim: 111...11 222...22 =
=
=
9
9
9
n 3's
3
13) (Olimpada da ndia-98) Existe algum inteiro positivo N tal que o nmero formado pelos ltimos
dois dgitos da soma 1 + 2 + 3 + ... + N 98?
Soluo:
N( N + 1)
Suponha que exista N tal que 1 + 2 + 3 + ... + N = ...98. Assim:
= ...98 N(N + 1) = ...96
2
Como o dgito das unidades de N(N + 1) 6, ento as nicas possibilidades para o algarismo das
unidades de N so 2 ou 7. Seja x o algarismo das dezenas de N. Assim, podemos armar o algoritmo para
multiplicar N e N + 1:
5
... a
...
x ... a
x ...
... 2a 6
... 3a
... 7a + 5 6
...
8a
... 5a 6
... 15a + 5 6
Note que nos dois casos o dgito das dezenas de N(N + 1) sempre mltiplo de 5, no podendo valer 9.
Assim, no existe nenhum inteiro N tal que o nmero formado pelos ltimos dois dgitos da soma 1 + 2
+ 3 + ... + N 98.
14) Mostre que 1 o nico inteiro positivo que igual a soma dos quadrados dos seus dgitos.
Soluo:
a) Como 92 + 92 + 92 + 92 = 324 o nmero deve possuir menos do que 4 dgitos, ou seja, n = (xyz)10
100x + 10y + z = x2 + y2 + z2 (100 x)x + (10 y)y = z(z 1)
Como o valor mximo de z 9, ento o valor mximo de z(z 1) 72. Como 100 x 91, temos que
x = 0 (10 y)y = z(z 1).
Os valores possveis de (10 y)y so: 0, 9, 16, 21, 24, 25
Os valores possveis de z(z 1) so: 0, 2, 6, 12, 20, 30, 42, 56, 72
Assim, (10 y)y = z(z 1) = 0 y = 0 e z = 1.
169
16) (Olimpada de Maio-98) Ins escolheu quatro dgitos distintos do conjunto {1, 2, 3, 4, 5, 6, 7, 8, 9}.
Formou com eles todos os possveis nmeros de quatro cifras distintas e somou todos esses nmeros de
quatro cifras. O resultado 193314. Encontre os quatro dgitos que Ins escolheu.
Soluo:
Digamos que os nmeros escolhidos so a, b, c e d.
Sabemos que todas as permutaes destes 4 nmeros igual a 4! = 24.
Fixando um nmero por vez em cada posio, temos ento a permutaes dos outros 3, que igual a 3!
= 6, ou seja, existem 6 nmeros iniciando com 1, 6 terminando em b, 6 com c como segundo dgito e
assim por diante.
Deste modo, podemos escrever a soma dos nmeros da seguinte forma:
S = abcd + abdc + acbd + acdb + ... + dcba S = 6(103 + 102 + 10 + 1)(a + b + c + d)
S = 6666(a + b + c + d) = 193314 a + b + c + d = 29
Como o maior valor da soma dos 4 nmeros 30 (9 + 8 + 7 + 6 = 30), devemos subtrair 1 de algum dos
nmeros, sem que seja obtido dois nmeros iguais. Notamos que isto s possvel quando escolhemos 5
no lugar de 6, implicando que os nmeros escolhidos so {5, 7, 8, 9}.
17) (IMO-68) Determine todos os nmeros naturais n cujo produto dos seus dgitos decimais igual a
n2 10n 22.
Soluo:
Suponha que n possui m > 1 dgitos e que seu primeiro dgito (mais significativo) d.
Inicialmente vamos provar que o produto dos dgitos decimais de n (Pn) menor ou igual a n.
Note que Pn mximo quando todos os dgitos de n (exceto o primeiro, que vale d) so iguais a 9
Pn d.9m 1. Por outro lado, n ser mnimo se depois de seu primeiro dgito (que d) existam m 1
zeros n d.10m 1. Assim: n d.10m 1 d.9m 1 Pn, para m > 1.
Deste modo, provamos que para todos os nmeros naturais n com mais de um dgito, o produto dos
dgitos decimais de n sempre menor ou igual a n.
Assim: Pn n n2 10n 22 n n2 11n 22 0 0 n 12.
Entretanto sabemos que Pn > 0 n2 10n 22 > 0 n 12.
Assim, n = 12 a nica possibilidade de soluo.
Conferindo, vemos realmente que P12 = (12)2 (10)(12) 22 = 12.
170
Exerccios
1) Achar um inteiro positivo de dois algarismos
que seja igual ao qudruplo da soma dos seus
algarismos.
10)
Sejam
os
inteiros
a = 111
...
11
m 1's
b = 1000
...
005 . Prove que ab + 1 um quadrado
m 1 1's
13) Se a = 3.643.712.546.890.623.517 e
b = 179.563.128,
determine o nmero de
algarismos do produto a.b.
171
8x3
y87
+
57z
2296
26) (Fuvest-88)
1 a b c
x
3
a b c 4
Acima est representada uma multiplicao, onde os
algarismos a, b e c so desconhecidos. Qual o valor
da soma a + b + c?
a) 5 b) 8 c) 11 d) 14 e) 17
* * 3 *
x
* * 3
3 * * *
* * * 3 3
* * * *
* * * * * * *
n 1
N = 99
...
...
9a n + 99
9a n 1 + ... + 9a 1 + a n + a n 1 + ... + a 1 + a 0
n
n 1
N = 9[11
...1a n + 11
...1a n 1 + ... + a 1 ] + a n + a n 1 + ... + a 1 + a 0
n
n 1
Como o primeiro termo mltiplo de 9, para que N seja mltiplo de 9 devemos ter que a expresso
an + an 1 + ... + a1 + a0 (que a soma dos dgitos de n) seja mltiplo de 9.
Divisibilidade por 10: um nmero inteiro divisvel por 10 se seu ltimo algarismo for igual a 0.
Demonstrao:
N = (anan 1...a2a1a0) = (anan 1...a2a10) + a0 = 10(anan 1...a2a1) + a0
Como 10(anan 1...a2a1) divisvel por 10, N divisvel por 10 se e somente se a0 (que o algarismo das
unidades de N) divisvel por 10, ou seja, se igual a 0.
Divisibilidade por 11: um nmero inteiro N = anan 1...a2a1a0 divisvel por 11 quando o inteiro
a0 a1 + a2 a3 + a4 a5 + ... + ( 1)nan for divisvel por 11.
Demonstrao:
N = (anan 1...a2a1a0) = a0 + 10a1 + 102a2 + 103a3 + 104a4 + 105a5 + ... + 10nan
N = a0 + (11 1)a1 + (99 + 1)a2 + (1001 1)a3 + (9999 + 1)a4 + (100001 1)a5 + ... + (100...00 1)nan
N = 11[a1 + 9a2 + 91a3 + 999a4 + 9091a5 + ... + ] + a0 a1 + a2 a3 + a4 a5 + ... + ( 1)nan
Como o primeiro termo mltiplo de 11, para que N seja mltiplo de 11 devemos ter que a expresso
a0 a1 + a2 a3 + a4 a5 + ... + ( 1)nan seja mltiplo de 11.
Divisibilidade por 2m ou 5m, m 1: um nmero inteiro de n algarismos divisvel por 2m ou 5m,
n m 1, se o nmero formado por seus ltimos m algarismos for divisvel por 2m ou 5m,
respectivamente.
Demonstrao:
N = (anan 1...a3a2a1a0) = (anan 1...an m00...0) + (an m 1...a1a0) = 10m(anan 1...an m) + (an m 1...a1a0)
N = 2m5m(anan 1...an m) + (an m 1...a1a0)
Como 2m5m(anan 1...an m) divisvel por 2m ou 5m, N divisvel por 2m ou 5m se e somente se
(an m 1...a1a0) (que o nmero formado pelos ltimos m algarismos de N) divisvel por 2m ou 5m,
respectivamente.
178
5) Determine todos os inteiros positivos N de trs dgitos tais que N e a soma dos seus dgitos seja
divisvel por 11.
Soluo:
Seja N = [abc]. Como N divisvel por 11 ento a b + c = 11.k1 (*)
Pelo enunciado a soma dos algarismos tambm deve ser divisvel por 11: a + b + c = 11.k2 (**)
Subtraindo (**) de (*): 2b = 11(k2 k1) 11 | b
b = 0 uma vez que 0 b 9.
(*) + (**): 2(a + c) = 11(k1 + k2) 11 | a + c
(a, c) = {(2, 9), (3, 8), (4, 7), (5, 6), (6, 5), (7, 4), (8, 3), (9, 2)}
N = {209, 308, 407, 506, 605, 704, 803, 902}
6) (Olimpada da Rssia-80) Todos os nmeros de dois dgitos de 19 80 so escritos em linha reta sem
espaos. obtido o nmero 192021....7980. Este nmero divisvel por 1980?
Soluo:
Fatorando 1980 temos: 1980 = 22.32.5.11
I) Como x = 192021...7980 termina em 80 e 80 divisvel por 4, ento x divisvel por 4.
II) 1 + 9 + 2 + 0 + 2 + 1 + 2 + 2 + ... + 7 + 9 + 8 + 0 =
= 1 + 10(2 + 3 + 4 + 5 + 6 + 7) + 8 + 9 + 6(1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9) =
= 1 + 270 + 17 + 270 = 558
Como 5 + 5 + 8 = 18 = 9.2 ento x divisvel por 9
III) Como x termina em 0, ento x divisvel por 5.
IV) Notamos que os dgitos de ordem mpar so os dgitos das unidades de cada par, ento:
a = 9 + 6(1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9) = 279
Notamos que os dgitos de ordem par so os dgitos das dezenas de cada par, ento:
b = 1 + 10(2 + 3 + 4 + 5 + 6 + 7) + 8 = 279
Como a b = 0, ento x tambm divisvel por 11.
Desta forma 192021...7980 divisvel por 1980.
7) Os inteiros de dois dgitos de 19 a 92 so escritos consecutivamente para formar o inteiro
N = 19202122...909192. Se 3k a maior potncia de 3 que fator de N, ento k =
a) 0 b) 1 c) 2 d) 3 e) mais de 3
Soluo:
Calculemos a soma dos dgitos de N:
S(N) = 1 + 9 + 10(2 + 3 + 4 + 5 + 6 + 7 + 8) + 3.9 + 7(1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9) + 1 + 2
S(N) = 705.
Como 3 | S(N) ento N divisvel por 3. Como 9 no divide S(N) ento 9 no divide N.
Desta forma, k = 1.
180
Exerccios
e) vale 0
396.
Questes de Olimpadas Nvel Intermedirio
16) (Rio Grande do Norte-97) O nmero 1234
no divisvel por 11, mas um nmero formado
por uma permutao de seus algarismos pode ser
divisvel por 11. Por exemplo, 1243 divisvel
por 11. Qual nmero total de permutaes do
nmero 1234 que divisvel por 11?:
a) 11 b) 1 c) 15 d) 8 e) 10
17)
(Cear-99)
Azambuja
escreveu
__4__1__6__3__ no quadro de sua sala de aula.
181
182
183
B) 11
C) 12
D) 13
E) 14
c) 50
d) 75
n2 3
n2 1
e) 101
195
4 4 4 4 um inteiro.
1
2
3
n
x +1
y
y +1
so naturais.
x
197
198
NMEROS PRIMOS
6.1. DEFINIO:
Seja p > 1 um inteiro positivo. Diz-se que p um nmero primo (ou apenas primo) se e somente
se p apresenta como seus nicos divisores 1 e p. Se um inteiro positivo n maior que 1 no primo ento
chama-se n de composto.
6.2. PROPRIEDADES:
(1) Se p um primo tal que p | ab, ento p | a ou p | b.
(2) Se p um primo tal que p | a1a2...an, ento existe um ndice k, com 1 k n, tal que p | ak.
(3) Se os inteiros p, q1, q2, ..., qn so todos nmeros primos e se p | q1q2...qn, ento existe um ndice k,
com 1 k n, tal que p = ak.
(4) Todo inteiro composto possui um divisor primo.
Exemplos:
1) Determinar todos os primos p tais que 3p + 1 um quadrado perfeito.
Soluo:
3p + 1 = x2 3p = x2 1 3p = (x + 1)(x 1)
Como p um nmero primo, ento as possibilidades so:
i) x + 1 = 3 e x 1 = p x = 2 e p = 1 impossvel pois 1 no primo
ii) x + 1 = p e x 1 = 3 x = 4 e p = 5
2) O menor nmero primo que divide 311 + 512 :
a) 2 b) 3 c) 5 d) 311 + 512 e) nda
Soluo:
Como 311 e 512 so nmeros mpares, ento a sua soma vai ser um nmero par. Assim sendo, 311 + 512
divisvel por 2, que o menor nmero primo.
3) (OBM-95) Quantos so os nmeros primos p, para os quais p1994 + p1995 um quadrado perfeito?
Soluo:
a) 0 b) 1 c) 22 d) 3 e) 4
Soluo:
Notemos que p1994 + p1995 = p1994(p + 1)
Desde que p1994 = (p997)2 um quadrado perfeito, ento para que p1994 + p1995 seja um quadrado
perfeito basta que p + 1 seja um quadrado perfeito:
p + 1 = x2 p = x2 1 p = (x 1)(x + 1)
Como p primo, a nica possibilidade x = 2 p = 3
4) Determine o menor inteiro positivo k tal que (k + 1) + (k + 2) + ... + (k + 19) seja um quadrado
perfeito.
Soluo:
Calculando (k + 1) + (k + 2) + ... + (k + 19) = 19k + 190 = 19(k + 10).
Desde que 19 primo, para que 19(k + 10) seja quadrado perfeito ento k + 10 deve ser divisvel por
19. O menor valor ocorre quando k + 10 = 19 k = 9.
Assim, para k = 9, temos (k + 1) + (k + 2) + ... + (k + 19) = 192.
No caso geral, k + 10 = 19x2 k = 19x2 10.
5) (Competio Descartes-99) Se p1 e p2 so nmeros primos distintos e A = (p1p2 + 1)4 1, mostre que
A possui ao menos 4 divisores primos distintos.
Soluo:
Seja p3 = p1p2 + 2.
199
1)(p12p22
1 2
1995
+ + ... +
divisvel por 1997.
2 3
1996
Soluo:
x 1
1
= 1 , temos:
x
x
p
p
1
1
1
1
1
1
1
1 1 1
= 1 + 1 + 1 + 1 + ... + 1
+1
= 1997 1 + + + + ... +
+
q
1995 1996
q
2
3
4
1995
1996
2 3 4
Pode-se agora agrupar os termos eqidistantes dos extremos, de modo que:
p
1 1
1 1
1
1
1
= 1997 1 +
+
+ +
+ +
+ ... +
q
998 999
1996 2 1995 3 1994
p
1997
1997
1997
1997
= 1997
+
+
+ ... +
q
998.999
1.1996 2.1995 3.1994
1
p
1
1
1
p
m
= 1997 1
+
+
+ ... +
= 1997 , onde n a multiplicao
q
998.999
q
n
1.1996 2.1995 3.1994
de 1 at 1996, sendo que nenhum destes termos divide 1997, pois 1997 um nmero primo. Assim,
temos que p.n = 1997.q.m, e como n no divide 1997, ento 1997 divide p.
Fazendo
8) Seja n um inteiro positivo maior ou igual a 5. Mostre que no mximo 8 membros do conjunto {n + 1,
n + 2, ... , n + 30} podem ser primos.
Soluo:
Observe que todos os membros do conjunto Sn = {n + 1, n + 2, ... , n + 30} podem ser expressos na
forma 30N + i , onde N um inteiro no negativo e i varia de 0 at 29. Note que 30N + i mltiplo de 2
para i = 0, 2, 4, ... , 28; mltiplo de 3 para i = 0, 3, 6, ... , 27; mltiplo de 5 para i = 0, 5, 10, ... , 25.
Ou seja, para n > 5, os nicos valores de i para os quais 30N + i pode ser primo so os inteiros positivos
menores que trinta e tais que mdc (30, i) = 1, que so os valores 1, 7, 11, 13, 17, 19, 23 e 29. Portanto,
para n > 5, existem no mximo 8 primos em Sn .
9) Seja p um primo, p > 3. Provar que se existe um inteiro a tal que p divide (a2 a + 3), ento existe um
inteiro b tal que p divide (b2 b + 25).
Soluo:
200
203
Assim temos que: a n + 1 = a 2 .(2c+1) + 1 = (a 2 ) 2c+1 (1) 2c+1 = X 2c+1 Y 2c+1 , que divisvel por X Y, de
forma que an + 1 no primo se 2c + 1 > 1.
Deste modo, conclumos que 2c + 1 = 1, e que se an + 1 primo ento n uma potncia de 2.
Exemplos:
1) Dado um nmero primo cujos dgitos so todos iguais a 1 (em expanso decimal), prove que o
nmero de dgitos deve ser um nmero primo.
Soluo:
Seja n o nmero primo dado, possuindo os dgitos iguais a 1
Suponhamos, por absurdo, que o nmero de dgitos s, seja um nmero composto s = ab
n = 111...111 9n = 999...999 = 10s 1 n = (10ab 1)/9
Como 10a 1 | 10ab 1 (10a 1)/9 | (10ab 1)/9 (10a 1)/9 | n n no primo,
contrariando o enunciado do exerccio. Portanto s deve ser primo.
2) Seja n um nmero natural consistindo de 1991 uns: n = 1111.....111 . Prove que n no um nmero
1991 1's
primo.
Soluo:
Como 1991 = 11.181, ento: n = 111...11 9n = 999...99 = 101991 1 = 1011.181 1
Assim, 9n = 1011.181 1 = (1011 1)(101980 101969 + 101958 101947 + 101936 ... + 1022 1011 + 1)
Desta forma, 9n divisvel por 1011 1, ou seja, 9n divisvel por 9999999999, implicando que n
divisvel por 1111111111.
5125 1
um nmero composto.
5 25 1
Soluo:
x 5 1 4
= x + x3 + x2 + x + 1.
x 1
Ento: N = x4 + x3 + x2 + x + 1 = (x2 + 3x + 1)2 5x(x + 1)2 =
= [( x 2 + 3x + 1) 5x ( x + 1)][( x 2 + 3x + 1) + 5x ( x + 1)] .
Como x = 525 temos: N = [(550 + 3.525 + 1) 513(525 + 1)][(550 + 3.525 + 1) + 513(525 + 1)], ou seja, N
a multiplicao de dois inteiros maiores que 1, implicando que N composto.
204
206
Exerccios
1) Achar as solues inteiras e positivas da
equao x2 y2 = 499.
2) Mostrar que todo inteiro da forma n4 + 4, com
n > 1, composto.
21) (UFC-2000) Se
p
, onde p e q so
q
1 1
+
3 4
nmeros inteiros positivos relativamente primos,
determine p + q.
210
A C
+
onde A,
B D
227
Captulo 9. Congruncias
CONGRUNCIAS
Sejam a e b dois inteiros quaisquer e seja m um inteiro positivo fixo. Diz-se que a congruente a
b mdulo m se e somente se m divide a diferena a b. Em outros termos, a congruente a b mdulo m
se e somente se existe um inteiro k tal que a b = km. Com a notao a b (mod. m) indica-se que a
congruente a b mdulo m. Portanto, simbolicamente:
a b (mod. m) m | (a b)
ou seja:
a b (mod. m) k Z / a b = km
8.1. PROPRIEDADES
Seja m um inteiro positivo fixo (m > 0) e sejam a, b, c e d inteiros quaisquer. So vlidas as
seguintes propriedades:
(1) a a (mod. m)
Demonstrao:
Como 0 divisvel por qualquer inteiro m 0, ento: 0 = a a = qm a = qm + a a a (mod. m)
(2) a b (mod. m) b a (mod. m)
Demonstrao:
Se a b (mod. m) a = qm + b
b = ( q)m + a b a (mod. m)
Captulo 9. Congruncias
Demonstrao:
Se a b (mod. m) a = qm + b (i). Elevando a n os dois lados de (i) temos que:
n
n n n p p p 1
n np
n
n
n
n
p
n
n
a = (b + qm) a = b + b (qm)
a = b + m b q m
p
p =1
i =1 p
an = bn + mk an bn (mod. m)
Exemplos:
1) (Mackenzie-2003) Ao ser dividido por 5, o nmero 4758 + 118a x 25847 deixa resto 1. Um possvel
valor do algarismo a, das unidades, :
a) 4 b) 5 c) 6 d) 7 e) 8
Soluo:
Note que: 118a = 1180 + a 118a a (mod. 5)
Como 25847 2 (mod. 5) (118a)(25847) 2a (mod. 5)
Como 4758 3 (mod. 5) 4758 + (118a)(25847) 2a + 3 (mod. 5)
Logo: 2a + 3 1 (mod. 5) 2a 4 (mod. 5) a = 2 ou a = 7.
2) (Colgio Naval-2005) Um nmero natural N deixa: resto 2 quando dividido por 3; resto 3 quando
dividido por 7; e resto 19 quando dividido por 41.
Qual o resto da diviso do nmero k = (N + 1).(N + 4).(N + 22) por 861?
a) 0 b) 13 c) 19 d) 33 e) 43
Soluo:
Pelo enunciado:
i) N 2 (mod. 3) N + 1 0 (mod. 3)
ii) N 3 (mod. 7) N + 4 0 (mod. 7)
iii) N 19 (mod. 41) N + 22 0 (mod. 41)
Logo: (N + 1)(N + 4)(N + 22) 0 (mod. mmc (3.7.41)) (N + 1)(N + 4)(N + 22) 0 (mod. 861)
3) (Colgio Naval-2004) O resto da diviso de 5131 + 7131 + 9131 + 15131 por 12 igual a.
a) 0 b) 2 c) 7 d) 9 e) 11
Soluo:
i) 7 5 (mod. 12) 7131 ( 5)131 (mod. 12) 5131 + 7131 0 (mod. 12) (1)
ii) 15 9 (mod. 12) 15131 ( 9)131 (mod. 12) 9131 + 15131 0 (mod. 12) (2)
Somando as congruncias (1) e (2): 5131 + 7131 + 9131 + 15131 0 (mod. 12)
4) (OBM-98) Qual o dgito das unidades do nmero 31998?
a) 1 b) 3 c) 5 d) 7 e) 9
Soluo:
32 1 (mod. 10) (32)999 ( 1)999 (mod. 10) 31998 1 (mod. 10) 31998 9 (mod. 10)
o dgito das unidades de 31998 9.
5) Demonstrar que 270 + 370 divisvel por 13.
Soluo:
22 + 32 0 (mod. 13) 22 32 (mod. 13) (22)35 ( 32)35 (mod. 13)
270 370 (mod. 13) 270 + 370 0 (mod. 13)
6) Mostrar que 1110 1 (mod. 100)
Soluo:
1110 1 = (11 1)(119 + 118 + 117 + ... + 112 + 11 + 1)
1110 1 = 10.(119 + 118 + 117 + ... + 112 + 11 + 1)
Basta agora provar que (119 + 118 + 117 + ... + 112 + 11 + 1) divisvel por 10.
242
Captulo 9. Congruncias
Como 11 1 (mod. 10) 1 11 11 11 11 ... 11 11 1 (mod. 10)
Somando temos: 119 + 118 + 117 + ... + 112 + 11 + 1 1 + 1 + 1 + ... + 1 (mod. 10)
119 + 118 + 117 + ... + 112 + 11 + 1 10 (mod. 10) 119 + 118 + 117 + ... + 112 + 11 + 1 0 (mod. 10)
2
7) (Olimpada do Rio de Janeiro-98) Mostre que o nmero N = 7601998 201998 + 19101998 6521998
divisvel por 1998.
Soluo:
Notemos inicialmente que 1998 = 2.33.37
i) 760 20 = 740 = 22.5.37 760 20 (mod. 2.37) 7601998 201998 (mod. 2.37)
7601998 201998 0 (mod. 2.37)
ii) 1910 652 = 1258 = 2.17.37 1910 652 (mod. 2.37) 19101998 6521998 (mod. 2.37)
19101998 6521998 0 (mod. 2.37)
Assim: 7601998 201998 + 19101998 6521998 0 (mod. 2.37)
2.37 | 7601998 201998 + 19101998 6521998
iii) 760 652 = 108 = 22.33 760 652 (mod. 33) 7601998 6521998 (mod. 33)
7601998 6521998 0 (mod.33)
iv) 1910 20 = 1890 = 2.33.5.7 1910 20 (mod. 33) 19101998 201998 (mod. 33)
19101998 201998 0 (mod.33)
Assim: 7601998 201998 + 19101998 6521998 0 (mod. 33) 33 | 7601998 201998 + 19101998 6521998
Como 2.37 | 7601998 201998 + 19101998 6521998 e 33 | 7601998 201998 + 19101998 6521998
2.33.37 | 7601998 201998 + 19101998 6521998 1998 | 7601998 201998 + 19101998 6521998
8) (Olimpada da Bulgria-2000) Determine o dgito das centenas de 21999 + 22000 + 22001.
Soluo:
Notemos que 21999 + 22000 + 22001 = 21999(1 + 2 + 4) = 21999.7
210 = 1024 210 24 (mod. 100) 220 76 (mod. 100) (220)99 (76)99 (mod. 100)
21980 76 (mod. 100) (210)(21980) (24)(76) (mod. 100) 21990 24 (mod. 100)
(29)(21990) (512)(24) (mod. 100) 21999 88 (mod. 100) 21999.7 16 (mod. 100)
Desde modo conclumos que os dois ltimos dgitos de 21999.7 so 16. Como 21999.7 divisvel por 8, e
um nmero divisvel por 8 se e somente se o nmero formado pelos seus trs ltimos algarismos
divisvel por 8, os ltimos 3 dgitos de 21999.7 podem ser 216, 416, 616 ou 816, ou seja, o algarismo das
centenas par.
9) (Olimpada do Mxico-87) Demonstre que para qualquer inteiro positivo n, o nmero
(n3 n)(58n + 4 + 34n + 2) mltiplo de 3804.
Soluo:
Inicialmente observemos que 3840 = 22.3.317
Como n3 n = (n 1)n(n + 1), ento 6 | n3 n, faltando provar que 2.317 | 58n + 4 + 34n + 2
Como 58n + 4 + 34n + 2 a soma de dois nmeros mpares, ento 2 | 58n + 4 + 34n + 2
Como 54 + 32 = 634 = 2.317 54 + 32 0 (mod. 317) 54 32 (mod. 317)
(54)2n + 1 ( 32)2n + 1 (mod. 317) 58n + 4 34n + 2 (mod. 317) 58n + 4 + 34n + 2 0 (mod. 317)
10) (Olimpada do Mxico-90) Prove que nn 1 1 divisvel por (n 1)2 para todo inteiro n > 2.
Soluo:
Notemos que nn 1 1 = (n 1)(nn 2 + nn 3 + nn 4 + ... + n2 + n + 1)
Basta provar agora que nn 2 + nn 3 + nn 4 + ... + n2 + n + 1 divisvel por n 1.
Notemos que:
i) n 1 (mod. n 1) n2 1 (mod. n 1) n3 1 (mod. n 1) n4 1 (mod. n 1) ...
nn 3 1 (mod. n 1) nn 2 1 (mod. n 1)
Ento, somando estas congruncias: nn 2 + nn 3 + ... + n + 1 1 + 1 + ... + 1 + 1 (mod. n 1)
nn 2 + nn 3 + nn 4 + ... + n2 + n + 1 n 1 (mod. n 1)
243
Captulo 9. Congruncias
n
n2
+n
n3
+n
n4
+ ... + n + n + 1 0 (mod. n 1)
2
11) (Olimpada da Inglaterra-92) Prove que 3n + 2.17n, onde n um inteiro no nulo, nunca um
quadrado perfeito.
Soluo:
i) 32 1 (mod. 10) 32k ( 1)k (mod. 10) 32k + 1 3( 1)k (mod. 10)
ii) 172 1 (mod. 10) 172k ( 1)k (mod. 10) 172k + 1 17( 1)k (mod. 10)
I) 32k + 2.172k ( 1)k + 2.( 1)k (mod. 10) 32k + 2.172k 3( 1)k (mod. 10)
Como no existe quadrado perfeito que termine em 3 ou 7, ento 32k + 2.172k nunca vai ser um
quadrado
II) 32k + 1 + 2.172k + 1 3( 1)k + 34( 1)k (mod. 10) 32k + 1 + 2.172k + 1 37( 1)k (mod. 10)
32k + 1 + 2.172k + 1 3( 1)k (mod. 10)
Analogamente ao caso anterior, temos que no existe quadrado perfeito da forma 32k + 1 + 2.172k + 1.
12) (IMO-64) (a) Determine todos os nmeros naturais n para os quais 7 divide 2n 1.
(b) Prove que no existe um nmero natural n para o qual 7 divide 2n + 1.
Soluo:
a) Notemos que 23 = 8 = 7 1 23 1 (mod. 7) 23k 1 (mod. 7) 7 | (23k 1)
Assim, se n divisvel por 3, ento 2n 1 divisvel por 7.
II) 23k 1 = 7x 2(23k 1) = 2(7x) (23k + 1 1) 1 = 7y 23k + 1 1 = 7y + 1
se n da forma n = 3k + 1, ento 7 no divide 2n 1.
III) 2(23k + 1 1) = 2(7y + 1) 33k + 2 2 = 14y + 2 33k + 2 1 = 7z + 3.
Logo, se n da forma n = 3k + 2, ento 7 no divide 2n 1.
b) I) 23k 1 = 7x 23k + 1 = 7x + 2
II) 23k + 1 1 = 7y + 1 23k + 1 + 1 = 7y + 3
III) 33k + 2 1 = 7z + 3 33k + 2 + 1 = 7z + 5
Assim, 7 nunca divide 2n + 1.
13) (Olimpada da ustria-Polnia-93) Determine todos os nmeros naturais x, y 1 tais que 2x 3y =
7.
Soluo:
Analisemos a expresso mdulo 3.
i) 2 1 (mod. 3) 2x ( 1)x (mod. 3)
ii) 3 0 (mod. 3) 3y 0 (mod. 3)
Assim, 2x 3y = 7 2x 3y 7 (mod. 3) ( 1)x 1 (mod. 3) x par
Analisemos agora a expresso mdulo 8.
i) 32 1 (mod. 8) 32k 1 (mod. 8) 32k + 1 3 (mod.8)
Como 2x 3y = 7 2x 3y 1 (mod. 8)
Se x = 0 2x 1 (mod. 8) 3y 2 (mod. 8) impossvel
Se x = 2 2x 4 (mod. 8) 3y 5 (mod. 8) impossvel
Se x 3 2x 0 (mod. 8) 3y 1 (mod. 8) y par
Deste modo conclumos que x e y so pares, x 4. Portanto, x = 2n e y = 2m, n e m nmeros naturais.
Assim: 2x 3y = 7 22n 32m = 7 (2n 3m)(2n + 3m) = 7 2n 3m = 1 e 2n + 3m = 7
i) 2.2n = 8 2n + 1 = 8 n = 2 x = 4.
ii) 2.3m = 6 3m = 3 m = 1 y = 2
Assim, x = 4 e y = 2 a nica soluo.
14) (Olimpada da Espanha-2004) Determinar os quatro ltimos dgitos de 32004.
Soluo:
Temos que 32 = 9 = 10 1. Graas a esta expresso, a frmula do binmio de Newton nos permite
simplificar os clculos:
244
Captulo 9. Congruncias
Exerccios
xy
resultado de
z
(A) 1
(B) 3
24
(C) 5
(D) 7
(E) 9
Questes de Olimpadas
377 1
mpar e composto.
2
[x]
(4) = , x , m Z*+
m m
Demonstrao:
x [ x ] + [ x ]
Sabemos que x = [x] + , com 0 < 1. Assim: =
.
=
+
m m m m
x [ x ]
Como 0 < 1 e m Z*+ ento 0 < 1 . Pela propriedade 3: = .
m
m m
(5) [n + x] = n + [x], n Z, x
Demonstrao:
Pela propriedade 1: x = [x] + (0 x < 1) [n + x] = [n + [x] + ]
Como [x] Z, ento pela propriedade 3: [n + [x] + ] = n + [x]
Exemplos:
[ ] [ ]
1) Prove que k x = k [ x ] x 0, k Z *+ .
Soluo:
Seja m um nmero inteiro tal que: mk [x] x < (m + 1)k m k [ x ] k x < m + 1
[ x ] = [ [x] ]
k
2) (Olimpada da Blgica-99) [x] designa o maior inteiro menor ou igual a x. O conjunto de solues em
x + 2
:
2
da equao [x + 1] =
a) um intervalo aberto
b) um intervalo meio aberto
c) um intervalo fechado
d) unitrio
e) vazio
Soluo:
Notemos que: [x + 1] = [x/2 + 1] [x] + 1 = [x/2] + 1 [x] = [x/2] 1 x < 1 [ 1, 1[
Ou seja, temos um intervalo meio aberto.
250
1
1
1
4) Calcule o valor de 1 +
+
+ ... +
.
2
3
1.000.000
Soluo:
k +1 k k +1 + k
1
k +1 k =
=
k +1 + k
k +1 + k
1
1
Como para k = 1, 2, 3, ... temos k + 1 > k
< k +1 k <
.
2 k +1
2 k
Aplicando, para a inequao da esquerda, k = 0, 1, 2, ..., n 1, e somando todas estas inequaes, temos:
1
1
1
1+
+
+ ... +
< 2 n 1
2
3
n
Aplicando, para a inequao da direita, k = 1, 2, ..., n, e somando todas estas inequaes, temos:
1
1
1
1+
+
+ ... +
> 2 n +1 2
2
3
n
1
1
1
Ou seja: 2 n + 1 2 < 1 +
+
+ ... +
< 2 n 1
2
3
n
Aplicando n = 1.000.000, e sabendo que 1.000.001 1.000.000 = 1.000 , temos:
1
1
1
1998 < 1 +
+
+ ... +
< 1999
2
3
n
1
1
1
+
+ ... +
Assim, podemos afirmar que 1 +
= 1998
2
3
1.000.000
)(
[ ] [ ]
258
259
Exerccios
1) Exprimir 100 como soma de dois inteiros
positivos de modo que o primeiro seja divisvel
por 7 e o segundo seja divisvel por 11.
Questes de Olimpadas
6) (Rio Grande do Norte-95) Uma caixa
automtica de banco s trabalha com notas de 5 e
10 cruzeiros. Um usurio deseja fazer um saque
de 100 cruzeiros. De quantas maneiras distintas a
caixa eletrnica poder fazer o pagamento?