Академический Документы
Профессиональный Документы
Культура Документы
Podemos,
Referncias Bibliogrcas
[1] Eves, Howard.
New York:
Curso de Anlise,
LTC, 1996.
Vol.
1.
Rio de Janeiro:
SBM,
Unidades 1 e 2
Conjuntos
Sumrio
1.1
Introduo
. . . . . . . . . . . . . . . . . . . . . . .
1.2
A Noo de Conjunto . . . . . . . . . . . . . . . . .
1.3
A Relao de Incluso . . . . . . . . . . . . . . . . .
1.4
O Complementar de um Conjunto . . . . . . . . . .
12
1.5
Reunio e Interseo
. . . . . . . . . . . . . . . . .
16
1.6
Exerccios Recomendados . . . . . . . . . . . . . . .
19
1.7
Exerccios Suplementares
. . . . . . . . . . . . . . .
20
1.8
Textos Complementares . . . . . . . . . . . . . . . .
24
unidades 1 e 2
Introduo
1.1
Introduo
Em muitos casos, livros didticos de Matemtica do ensino bsico introduzem determinados assuntos (tipicamente, funes) com uma linguagem fortemente baseada em conjuntos, que subitamente abandonada em seguida. Tais
inconsistncias de linguagem podem atrapalhar consideravelmente a aprendizagem.
r s = P,
(veja a Reexo da p. 5), preciso ter claro por que a verso rigorosamente
correta seria
r s = {P }.
Conjuntos
1.2
A Noo de Conjunto
matemticas.
Um conjunto formado por elementos. Na verdade, podemos dizer mais do
que isso. Um conjunto denido por seus elementos (e nada mais). Este fato
se reete claramente na noo de igualdade entre conjuntos: dois conjuntos
so iguais se, e somente se, possuem os mesmos elementos. Isto , no pode
haver dois conjuntos diferentes que tenham os mesmos elementos. Em Teoria
de Conjuntos, esta propriedade corresponde ao chamado Axioma da Extenso
(para saber mais, veja [5]).
Dados um conjunto
se
e um objeto qualquer
ou no um elemento do conjunto
A?
a,
A e escreve-se a A.
A e pe-se a
/ A.
pertence ao
no pertence ao
unidades 1 e 2
A Noo de Conjunto
unidades 1 e 2
satisfaz a condio
Q,
tem a propriedade
podemos escrever
y B,
ou o objeto
em que
Q.
x A
P eB
P
A = {. . . , 4, 2, 0, 2, 4, 6, . . .}
x tem a propriedade P
x A e y B.
B = {1, 2}.
x A e y B,
condio Q?
satisfaz a
tem a propriedade
(A B),
(A B).
(A B)
As propriedades e
A (B C) = (A B) (A C)
A A B,
Q);
A B
B A,
ento
unidades 1 e 2
Conjuntos
= {x ; x 6= x},
exemplo, tem-se
que
ou seja,
tem-se sempre
Por
tais
x
/
conjunto
encontrar um objeto
tal que
mesma coisa.
A Relao de Incluso
diz-se que
um subconjunto de
Sejam
B,
parte de
B.
B,
que
est contido em
B,
ou que
Definio 1
A B.
Exemplo 1
(a) Sejam
A 6 B porque 2 A
3 B mas 3
/ A.
3. Tem-se
pois
mas
A Relao de Incluso
unidades 1 e 2
Exemplo 2
est contida em
est no plano
ou equivalentemente, que
um subconjunto de
pois
r pertencem tambm a .
Neste caso, deve-se escrever r . Porm, no correto dizer que r
pertence a , nem escrever r . Os elementos do conjunto so pontos e
todos os pontos que pertencem a
no retas.
AA
A). A outra ,
no mnimo, curiosa: tem-se A, seja qual for o conjunto A. Com efeito,
se quisssemos mostrar que 6 A, teramos que obter um objeto x tal que
x mas x
/ A. Como x impossvel, somos levados a concluir que
A, ou seja, que o conjunto vazio subconjunto de qualquer outro.
Diz-se que A um subconjunto prprio de B quando A subconjunto de
B e a incluso no corresponde a nenhum desses dois casos extremos, isto ,
quando se tem A B com A 6= e A 6= B .
vale
A,
pertence a
tem-se:
(i) reexividade:
A A;
conjunto
A, B
(ii) antissimetria: se
(iii) transitividade: se
AB
B A,
AB
ento
B C,
A = B;
ento
A C.
A e B so iguais, prova-se
de A pertence a B e todo
AB
elemento de
B A, ou seja,
B pertence a A.
unidades 1 e 2
Conjuntos
conjuntos: os conjuntos
elementos.
Por sua vez, a propriedade transitiva da incluso a base do raciocnio
dedutivo, sob a forma que classicamente se chama de silogismo. Um exemplo
de silogismo (tipicamente aristotlico) o seguinte:
animal, todo animal mortal, logo todo ser humano mortal. Na linguagem
de conjuntos, isso seria formulado assim: sejam
H, A
respectivamente
A M,
logo
H M.
H A
Vejamos como.
Sejam
propriedades aplicveis a
U . Essas propriedades denem os conjuntos A, formado pelos elementos de U que gozam de P ; e B , formado pelos elementos de
U que tm a propriedade Q. Se todos os elementos que possuem a propriedade
P tambm tm a propriedade Q, dizemos que a propriedade P implica (ou
acarreta) a propriedade Q e escrevemos P Q. Isto equivalente a dizer que
todo elemento que pertence a A tambm pertence a B , isto , que A B .
elementos de um conjunto
Seja
Exemplo 3
R P.
A
A B.
Neste caso,
o conjunto
Exemplo 4
Para todo x R,
x2 + x 1 = 0 x3 2x + 1 = 0.
x2 + x 1 = 0
tambm raiz de
x3 2x + 1 = 0.
unidades 1 e 2
A Relao de Incluso
Assim, a relao do Exemplo 3 pode ser expressa de diversas formas equivalentes: ser retngulo implica ser paralelogramo, se
um retngulo ento
P Q
dizemos que a condio
valente, que a condio
P suciente
Q necessria
para a condio
para a condio
Q,
P.
No incomum confundir esses signicados. Os termos necessrio e suciente em Matemtica tm signicados especcos, que podem diferir da forma
como os entendemos em linguagem cotidiana. Isto pode se constituir em um
obstculo para a aprendizagem. Entender o que signica suciente pode ser
relativamente mais fcil, uma vez que este termo sinnimo de bastante.
Talvez isso tenha a ver com o fato de que uma condio suciente geralmente
mais forte do que a concluso a que se quer chegar. Por outro lado, uma condio necessria , em geral mais fraca do que a concluso. Observe atentamente
os exemplos a seguir.
Exemplo 5
nZ
que so mltiplos de
4.
est
par. Por
mltiplo de
4 n
par
par
6 n
mltiplo de
4.
seja
mltiplo de
4.
4.
unidades 1 e 2
Conjuntos
Todo retngulo possui lados opostos paralelos. Porm, existem quadrilteros convexos com lados opostos paralelos que no so retngulos.
para que um quadriltero convexo
Exemplo 6
Assim,
lados opostos sejam paralelos, mas esta propriedade apenas no assegura que
suciente, para que um quadriltero seja retngulo. Equivalentemente, ser retngulo uma condio suciente, mas no necessria, para que um quadriltero
tenha lados opostos paralelos. Ou ainda,
retngulo
A implicao
QP
6 Q
retngulo.
P Q.
chama-se a recproca de
Evidentemente, a
x 2x + 1 = 0, mas no da equao x + x 1 = 0.
x=1
Portanto,
x R,
x3 2x + 1 = 0 6 x2 + x 1 = 0.
Q P , dizemos
P se, somente se, Q, ou que P equivalente a Q ou, ainda, que P necessrio
e suciente para Q. Neste caso, escreve-se
Quando so verdadeiras ambas as implicaes
P Q
P Q.
Em linguagem de conjuntos, isto signica que o conjunto dos elementos que
tm a propriedade
Q.
P a propriedade de um tringulo, cujos
2
2
2
e Q a propriedade de valer z = x + y .
Sejam
retngulo
x, y < z ,
P Q.
lados medem
Ento
ser
Exemplo 7
unidades 1 e 2
A Relao de Incluso
P, Q
P Q
Q R,
ento
P R.
Exemplo 8
x2 x 2 = 0 ,
(P )
(Q)
(R)
(S )
x2 x 2 = 0 ;
(x 2)(x + 1) = 0;
x = 2 ou x = 1;
x {2, 1}.
Se chamarmos respectivamente de
o nmero
P , Q, R e S
signicam que
P Q R S.
Isto , se o nmero
satisfaz
P ento satisfaz Q
P S , ou seja,
x2 x 2 = 0,
ento
x {2, 1}.
x2 x 2 = 0
so
1.
acima que se houver razes desta equao elas devem pertencer ao conjunto
10
Conjuntos
{2, 1}.
unidades 1 e 2
SRQ
1 so de fato as
P.
Logo,
S P.
P S,
x x 2 = 0.
Conclumos que
ou seja,
Quando se resolve uma equao, importante ter em mente que cada passo
do processo representa uma implicao lgica. Pode acontecer dessas implicaes no poderem ser revertidas, isto , de suas recprocas no serem verdadeiras. Nesses casos, o conjunto obtido no nal apenas contm (mas no igual a)
o conjunto das razes este ltimo, podendo at mesmo ser vazio. Ilustremos
esta possibilidade com um exemplo.
Considere a equao
reais.
x2 + 1 = 0 .
(P )
(Q)
(R)
(S )
P , Q, R
representa a
x2 + 1 = 0
x4 1 = 0 ;
x4 = 1;
x {1, 1}.
(multiplicando por
x2 1);
P Q R S , logo P S .
x + 1 = 0 pertence ao conjunto {1, 1}.
Evidentemente, tem-se
raiz real da equao
Ou seja, toda
{1, 1}
x2 + 1 = 0,
e nada mais.
Na verdade, a implicao
P Q
falsa. Sabemos que o conjunto das solues reais da equao vazio. Assim,
a deduo acima apenas ilustra o fato de que
{1, 1}.
Como sabemos, o
11
Exemplo 9
unidades 1 e 2
O Complementar de um Conjunto
O Complementar de um Conjunto
U,
U,
U . Uma vez
a U e todos
xado
U,
todos os
os conjuntos sero
inteiros.
Definio 2
Dado um conjunto
tar de
ao conjunto
UC =
C = U.
U,
xA
ou
x
/A
xA
x
/A
A U,
tem-se
AC
C
= A.
(Todo conjunto
(ii) Se
AB
ento
B C AC .
12
Conjuntos
unidades 1 e 2
A B B C AC .
Na realidade, na presena da regra (i), a regra (ii) pode ser reforada,
valendo a equivalncia abaixo
A B B C AC .
Esta equivalncia pode ser olhada sob o ponto de vista lgico, usando-se as
propriedades
P Q
Q P
(a negao de
P Q (P
implica
implica a negao de
Q)
equivale a dizer
P ).
X de ser um retngulo
e P a propriedade de ser um paralelogramo. Ento P a propriedade que
tem um quadriltero convexo de no ser um paralelogramo e R a de no
ser um retngulo. Neste caso, as implicaes R P e P R lem-se,
consideremos
Q P .
respectivamente, assim:
Se
um retngulo, ento
Se
no um paralelogramo, ento
um paralelogramo;
no um retngulo.
A implicao
Q.
Q P
13
Exemplo 10
unidades 1 e 2
O Complementar de um Conjunto
original.
Exemplo 11
mpar;
composto.
n N, n > 2,
contrapositiva da outra:
Dado
n N, n > 2: n
Dado
n N, n > 2: (n
mpar)
Dado
n N, n > 2: n
primo
par
mpar;
(n
primo);
composto.
Em Matemtica frequente, e muitas vezes til, substituir uma implicao por sua contrapositiva, a m de tornar seu signicado mais claro ou mais
manipulvel.
Q P
P Q
Exemplo 12
A implicao
P Q
s
A contrapositiva
Q P
so paralelas.
signica:
14
r,
ento
unidades 1 e 2
Conjuntos
Q P
do que
P Q.
P Q por contradio.
no perpendicular a
O raciocnio bem
s reta r
pelo ponto
em
A, segue-se
r.
t
s
denida por:
B \ A = {x ; x B e x
/ A}.
Note que em geral, essa operao entre conjuntos no comutativa, isto ,
15
Definio 3
unidades 1 e 2
Reunio e Interseo
Definio 4
Reunio e Interseo
Dados os conjuntos
(i) a reunio
AB
(ii) a interseo
B:
AB
ou de
B;
e de
B.
xA
veremos que
xAB
xB
x AB
xAB
signica
xA
ou
xAB
signica
xA
x B;
x B.
AB
AB
B , ento, A B e A B so os
P ou Q e P e Q, respectivamente.
dene o conjunto
propriedades
Exemplo 13
Diremos que
propriedade
se
x R tem a propriedade P
x2 5x + 6 = 0.
se
, respectivamente).
Q a propriedade que
x2 3x + 2 = 0,
e tem a
A = {1, 2} e o
2
conjunto dos nmeros que tm Q B = {2, 3}. Assim, a armao x
3x + 2 = 0 ou x2 5x + 6 = 0 equivale a x {1, 2, 3}; e a armao
2
2
x 3x + 2 = 0 e x 5x + 6 = 0 equivale a x {2} ou x = 2. Noutras
O conjunto dos nmeros que possuem a propriedade
palavras,
A B = {1, 2, 3}
16
A B = {2}.
Conjuntos
As propriedades relacionadas com as operaes de unio e interseo constituem teoremas cujas demonstraes, em geral, no so difceis (veja os Exerccios 2, 3 e 4). A comutatividade e associatividade decorrem diretamente das
denies, e a distributividade de vericao um pouco menos imediata.
A B = B A,
A B = B A.
(A B) C = A (B C),
(A B) C = A (B C).
A (B C) = (A B) (A C),
A (B C) = (A B) (A C).
Estas propriedades constituem, na realidade, regras que regem o uso combinado dos conectivos lgicos ou e e.
A conexo entre as operaes de unio e interseo e a relao de incluso
dada pelas seguintes equivalncias:
A B = B A B A B = A.
E, nalmente, se
so subconjuntos do universo
(A B)C = AC B C
U,
tem-se
(A B)C = AC B C .
Estas ltimas relaes, atribudas ao matemtico ingls Augustus de Morgan, signicam que a negao de P ou
e
Q
ou
Q
Q
e a negao de P
Q.
Terminamos esta unidade apresentando um resumo do que estudamos. Exploramos as relaes fundamentais entre a linguagem da lgebra de conjuntos
17
unidades 1 e 2
Reunio e Interseo
unidades 1 e 2
A=B P Q
AB P Q
AC
P
AB P Q
AB P Q
18
Conjuntos
1.6
Exerccios Recomendados
1. Decida quais das armaes a seguir esto corretas. Justique suas respostas.
(a)
(b)
(c)
{}
(d)
{}.
3. Demonstre que
4. Dados
A B = B A B A B = A.
A, B U ,
(a)
(A B)C = AC B C ;
(b)
(A B)C = AC B C .
5. Considere
(a)
A BC C ;
(b)
AC B C C ;
(d)
AC B C C ;
(e)
A BC C C .
(c)
AC B C C ;
B \ A = {x ; x B e x
/ A}.
Mostre que
a)
B\A=
b)
B\A=B
B A;
c) vale a igualdade
A B = ;
B\A=A\B
19
A = B.
unidades 1 e 2
unidades 1 e 2
Exerccios Suplementares
A \ (B \ C) = (A \ B) \ C.
7. D exemplos de implicaes, envolvendo contedos do ensino mdio, que
sejam: verdadeiras, com recproca verdadeira; verdadeiras, com recproca
falsa; falsas, com recproca verdadeira; falsas, com recproca falsa.
x + x = 2.
x + 3 = x.
x=1
Concluso(?):
x2 2x + 1 = 0
x2 2 1 + 1 = 0
x2 1 = 0
x = 1
x = 1 x = 1.
1.7
Exerccios Suplementares
1. Sejam
A, B
A (B C) = (A B) C.
20
Conjuntos
x):
x,
(1)
Para todo
(2)
Existe algum
(a) Sendo
universo
P (x);
condio P (x).
satisfeita a condio
que satisfaz a
U)
x2 = 1.
2
Para todo nmero inteiro n, vale n > n.
2
Para todo nmero real x, tem-se x > 1 ou x < 1.
Para todo nmero real x existe um nmero natural n tal que
n > x.
Existe um nmero natural n tal que, para todo nmero real x,
tem-se n > x.
v.
tal que
21
unidades 1 e 2
unidades 1 e 2
Exerccios Suplementares
4. Considere um grupo de
(a) Suponhamos que o estado do Rio de Janeiro seja invadido por tropas
do estado de So Paulo. O texto acima obriga a Unio a intervir no
estado? Na sua opinio, qual era a inteno dos legisladores nesse
caso?
(b) Reescreva o texto do artigo 34 de modo a torn-lo mais preciso.
22
Conjuntos
f : A P (A)
que seja
sobrejetiva.
A; x
/ f (x)}.
23
e considere
X = {x
unidades 1 e 2
unidades 1 e 2
Textos Complementares
1.8
Na Sala de Aula
Textos Complementares
24
Conjuntos
Clareza e Rigor
Na Sala de Aula
{x}. Isto
diz que a interseo de duas retas r e s o ponto P (em
cujo nico elemento P ) e se escreve r s = P , em vez de
unidades 1 e 2
r s = {P }.
Por outro lado, certas imprecises so desnecessrias e podem atrapalhar o
prprio desenvolvimento da capacidade do aluno de se expressar adequadamente
em Matemtica. Por exemplo, evite escrever coisas como
nmeros pares}. Isto incorreto. O smbolo
{. . .}
= {conjunto dos
A=
A = {2n ; n Z}.
A=
{nmeros pares}, ou
25
unidades 1 e 2
Na Sala de Aula
Textos Complementares
O Conjunto Vazio
s vezes vemos em livros do ensino bsico armaes que sugerem a existncia de mais de um conjunto vazio, como ser vazio fosse uma propriedade
que pudesse valer para diferentes conjuntos. Em Matemtica, o conjunto vazio
nico. De fato, como j observamos, dois conjuntos so iguais se, e somente,
se possuem os mesmos elementos.
26
Conjuntos
Denies
Na Sala de Aula
unidades 1 e 2
chama-se paralelogramo a um quadriltero no qual os lados opostos so paralelos. Alguns autores escrevem, em lugar disso: um quadriltero um paralelogramo se, e somente se, os lados opostos so paralelos. Aos olhos dos alunos,
isso pode parecer mais um teorema que uma denio.
27
unidades 1 e 2
Na Sala de Aula
Textos Complementares
28
Conjuntos
Na Sala de Aula
N Z Q R C.
No entanto, do ponto de vista histrico, nem sempre foi assim. Por exemplo,
os nmeros racionais positivos j eram conhecidos vrios sculos antes de que
fosse conferido aos inteiros negativos o estatuto de nmero.
Alm disso, o
conceito de conjunto muito mais recente que a ideia de nmero e grande parte
dos desenvolvimentos tericos envolvendo nmeros (especialmente os naturais)
deram-se sem a estrutura de conjunto como conhecemos hoje.
A adoo da linguagem e da notao de conjuntos em Matemtica s se
tornou uma prtica universal a partir da terceira ou quarta dcada do sculo
vinte. Esse uso, que permitiu elevados graus de preciso, generalidade e clareza
nos enunciados, raciocnios e denies, provocou uma grande revoluo nos
mtodos, no alcance e na profundidade dos resultados matemticos.
No defendemos que a ordem do desenvolvimento histrico dos conceitos
matemticos seja reproduzida em sala de aula isto no seria factvel nem
produtivo para os objetivos do ensino. Entretanto, a reexo sobre esse desenvolvimento especialmente os obstculos enfrentados pode ajudar o professor
a entender certas diculdades vivenciadas hoje pelos alunos com os conceitos e
a linguagem matemtica. Para saber mais, veja, por exemplo, [2].
Se queremos iniciar nossos alunos em Matemtica, necessrio que os familiarizemos com os rudimentos da linguagem e da notao dos conjuntos. Isto,
inclusive, vai facilitar nosso prprio trabalho, pois a preciso dos conceitos
uma ajuda indispensvel para a clareza das ideias. Por outro lado, na sala de
aula, h alguns cuidados a tomar. O principal deles refere-se ao comedimento,
ao equilbrio, moderao.
29
unidades 1 e 2
unidades 1 e 2
Textos Complementares
A auto-crtica o maior
aliado do bom professor. Em cada aula, trate a si mesmo como um aluno cujo
trabalho est sendo examinado: pense antes no que vai dizer mas critique-se
tambm depois. No hesite em corrigir-se em pblico, nem em admitir que no
sabe a resposta de uma pergunta demonstre-se sempre disposto a pesquisar
e a aprender mais. Longe de desprestigiar, esse hbito fortalecer a conana
dos alunos no seu mestre.
30
Conjuntos
a A,
de um
elemento
31
unidades 1 e 2
unidades 1 e 2
Textos Complementares
Q.
Q P
necessrio: se
no ocorrer (embora
ocorra).
x3 2x + 1 6= 0 x2 + x 1 6= 0;
n
no par
no mltiplo de
4;
Q
no um retngulo.
Para entender melhor o termo necessrio, procure pensar em outras situaes familiares. Por exemplo, quando dizemos que
n N n Z,
estamos
n ser natural suciente para que n seja inteiro, ou equivalenten ser inteiro necessrio para que n seja natural (embora n possa
armando que
mente, que
32
Conjuntos
Denies
unidades 1 e 2
so seus divisores. Esta propriedade merece ser rotulada por um nome especial
pois muito importante na teoria matemtica sobre os nmeros inteiros (neste
caso, um papel importante tambm em outros campos).
Toda denio matemtica uma equivalncia lgica. Isto , quando enunciamos uma denio matemtica, estamos atribuindo um nome aos objetos
matemticos que tm certas propriedades o que signica que sero chamados
pelo nome escolhido todos os objetos com essas propriedades, e nenhum alm
destes.
33
unidades 1 e 2
Textos Complementares
5 metros
de altura passaro com nota 10 sem precisar prestar exames, ele certamente
estar falando a verdade, mesmo que corrija suas provas com o mximo de
rigor.
Com efeito, sejam
P Q
34
P.
Conjuntos
ento
Q.
a > b > c so as
2
2
2
ento a = b + c .
Se
Por isso, s vezes, se diz que a Matemtica a cincia das condies necessrias. Ou ento se diz como Bertrand Russel: Na Matemtica nunca sabemos
do que estamos falando nem se verdade o que estamos dizendo.
35
unidades 1 e 2
unidades 1 e 2
Textos Complementares
P Q.
preciso ter cuidado para entender bem essas noes distintas sem confundilas.
Para ilustrar
P Q
a propriedade de
(enunciada acima) a
36
Conjuntos
ento no matemtico.
A negao de todo tringulo issceles equiltero existe um tringulo issceles no equiltero.
Sua contrapositiva :
se um tringulo
3. Finalmente, importante no confundir a ideia de recproca, com negao, nem com contrapositiva. Tratam-se de trs noes bem diferentes!
No caso dos exemplos acima, as recprocas so: todo lsofo matemtico e todo tringulo equiltero issceles.
Observe que a armao todo tringulo issceles equiltero falsa, enquanto sua recproca verdadeira. No entanto, este um caso particular.
No h nenhuma relao a priori entre a veracidade de uma armao
e a veracidade de sua recproca.
armaes:
Todo tringulo equiltero issceles;
Todo tringulo equiltero equingulo;
Todo tringulo issceles retngulo.
Temos que a primeira armao verdadeira mas sua recproca falsa
(como acabamos de observar); a segunda armao verdadeira e sua recproca tambm verdadeira (neste caso, as armaes so equivalentes);
a terceira armao falsa e sua recproca tambm falsa.
Para entender melhor essas ideias, procure pensar em outros exemplos familiares.
37
unidades 1 e 2
unidades 1 e 2
Textos Complementares
Menino ou Menina?
O conectivo ou mais um exemplo de um termo cujo signicado especco
em Matemtica um tanto diferente daquele que lhe atribudo na linguagem
corrente. No dia-a-dia, ou quase sempre refere duas alternativas mutuamente
excludentes (vamos de nibus ou de trem?).
Q
ou
vlida, podendo
A = {x Z ; x > 10}
ento
B = {x Z ; x < 20},
A B = Z.
Ao sair da
sala onde acabara de realizar um parto, foi abordado pelo pai da criana, que
lhe perguntou: Foi menino ou menina, doutor?. Resposta do mdico: Sim.
De fato, se
B o
x A B.
38
unidades 1 e 2
Conjuntos
Nesta unidade, comentamos sobre vrios termos cujos signicados matemticos precisos diferem signicativamente de seus usos em linguagem corrente.
Os nomes escolhidos para os conceitos matemticos so, em geral, inspirados
na linguagem corrente.
a = b,
so
ABC
ABC
so guras que podem ser superpostas exatamente uma sobre a outra. A rigor,
porm, esta terminologia inadequada. Duas guras geomtricas que coincidem
por superposio devem ser chamadas congruentes.
Talvez valha a pena observar que a palavra igual em Geometria j foi usada
num sentido at bem mais amplo. Euclides, que viveu h 2300 anos, chamava
iguais a dois segmentos de reta com o mesmo comprimento, a dois polgonos
com a mesma rea e a dois slidos com o mesmo volume.
Na linguagem corrente, s vezes se diz que duas pessoas ou objetos so iguais
quando um certo atributo, ao qual se refere o discurso naquele momento,
possudo igualmente pelas pessoas ou objetos em questo. Assim, por exemplo,
quando dizemos que todos so iguais perante a lei, isto signica que dois
cidados quaisquer tm os mesmos direitos e deveres legais.
39
unidades 1 e 2
Textos Complementares
40
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitombeira, Joo Bosco. Trigonometria e Nmeros Complexos. Rio de Janeiro:
SBM, Coleo Professor de Matemtica.
[2] Eves, Howard. An Introduction to the History of Mathematics. New York:
Holt, Rinehart and Winston, 1964. 29
[3] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
[4] Figueiredo, Djairo G. Nmeros Irracionais e Transcedentes Rio de Janeiro:
SBM, Coleo Iniciao Cientca.
[5] Halmos, Paul. Naive Set Theory. New York: Springer, 1974. 2, 3
[6] Hefez, Abramo e Fernandez, Ceclia de Souza. Introduo lgebra Linear.
Rio de Janeiro: SBM, Coleo PROFMAT, 2012.
[7] Lima, Elon Lages. Coordenadas no Espao. Rio de Janeiro: SBM, Coleo
Professor de Matemtica.
[8] Lima, Elon Lages. Curso de Anlise, Vol. 1. Rio de Janeiro: SBM, Projeto
Euclides, 1976.
[9] Lima, Elon Lages. Logaritmos. Rio de Janeiro: SBM, Coleo Professor de
Matemtica.
[10] Lima, Elon Lages. Meu Professor de Matemtica e Outras Histrias. Rio
de Janeiro: SBM, Coleo Professor de Matemtica.
[11] Lima, Elon Lages. Anlise Real, Vol. 1. Rio de Janeiro: IMPA, Coleo
Matemtica Universitria.
41
Algumas Reexes
Armaes Sempre Verdadeiras
Na Sala de Aula
s vezes verdadeiras
ou
sempre falsas.
sempre verdadeiras,
falsa.
O Conjunto Vazio
Na Sala de Aula
s vezes vemos em livros do ensino bsico armaes que sugerem a existncia de mais de um conjunto vazio, como
ser vazio
conjunto vazio
o mesmo
A incluso uma relao entre conjuntos, que no deve ser confundida com
a relao de um elemento pertencer a um conjunto. A relao
a A,
de um
elemento
Na Sala de Aula
est contida em
est no plano
ou equivalentemente, que
um subconjunto de
pois
r pertencem tambm a .
Neste caso, deve-se escrever r . Porm, no correto dizer que r
pertence a , nem escrever r . Os elementos do conjunto so pontos e
todos os pontos que pertencem a
no retas.
necessrio
e do termo
P Q
suciente
P suciente
Q necessria
para a condio
para a condio
Q,
P.
No incomum confundir esses signicados. Os termos necessrio e suciente em Matemtica tm signicados especcos, que podem diferir da forma
como os entendemos em linguagem cotidiana. Isto pode se constituir em um
obstculo para a aprendizagem. Entender o que signica suciente pode ser
relativamente mais fcil, uma vez que este termo sinnimo de bastante.
Talvez isso tenha a ver com o fato de que uma condio suciente geralmente
mais forte do que a concluso a que se quer chegar. Por outro lado, uma condio necessria , em geral mais fraca do que a concluso. Observe atentamente
os exemplos a seguir.
nZ
4.
que so mltiplos de
est
Exemplo 1
par. Por
n mltiplo de 4 n par
n par 6 n mltiplo de 4.
Todo retngulo possui lados opostos paralelos. Porm, existem quadrilteros convexos com lados opostos paralelos que no so retngulos.
para que um quadriltero convexo
Assim,
lados opostos sejam paralelos, mas esta propriedade apenas no assegura que
Exemplo 2
Q.
contrapositiva Q P
necessrio: se
no ocorrer (embora
ocorra).
n no par n no mltiplo de 4.
Q no tem lados opostos paralelos Q no um retngulo.
Para entender melhor o termo necessrio, procure pensar em outras situaes familiares. Por exemplo, quando dizemos que
n N n Z,
estamos
n ser natural suciente para que n seja inteiro, ou equivalenten ser inteiro necessrio para que n seja natural (embora n possa
armando que
mente, que
Exemplo 3
mpar;
composto.
n N, n > 2,
contrapositiva da outra:
Dado
n N, n > 2: n
Dado
n N, n > 2: (n
mpar)
Dado
n N, n > 2: n
primo
par
mpar;
(n
composto.
primo);
Diferena de conjuntos
diferena
denida por:
B \ A = {x ; x B e x
/ A}.
Note que em geral, essa operao entre conjuntos no comutativa, isto ,
preciso ter cuidado para entender bem essas noes distintas sem confundilas.
Para ilustrar
contrrio,
ou
negao
com a ideia
oposto.
P Q
a propriedade de
(enunciada acima) a
negao
contraposi-
tiva.
equivalente a esta; enquanto
contradiz a armao original.
a ne-
ento no matemtico.
A negao de todo tringulo issceles equiltero existe um tringulo issceles no equiltero.
Sua contrapositiva :
se um tringulo
necessariamente
contrapositiva ne-
o,
nem com
contrapositiva.
recproca,
com
nega-
No caso dos exemplos acima, as recprocas so: todo lsofo matemtico e todo tringulo equiltero issceles.
Observe que a armao todo tringulo issceles equiltero falsa, enquanto sua recproca verdadeira. No entanto, este um caso particular.
No h nenhuma relao a priori entre a veracidade de uma armao
e a veracidade de sua recproca.
armaes:
Para entender melhor essas ideias, procure pensar em outros exemplos familiares.
Referncias Bibliogrcas
[1] Eves, Howard.
New York:
Anlise I
Curso de Anlise,
Vol.
1.
Rio de Janeiro:
SBM,
y = x2
...
, referindo-se funo
f : R R que
y = x2
associao de uma funo, se so estabelecidos domnio e contradomnio compatveis. Como veremos mais adiante, h mais de uma funo correspondendo
a esta lei de associao. Portanto, o uso do termo a funo
referir funo
f :RR
que a
xR
associa
y = x2 ,
para se
, um abuso de linguagem
matemtica. claro que, em sala de aula, abusos de linguagem no so proibidos, pois, em um grande nmero de situaes, a linguagem matemtica formal
no compatvel com os objetivos de aprendizagem do ensino bsico. Entretanto, seu uso requer certos cuidados e deve ser equilibrado, de forma a no
levar formao de concepes limitadas que dicultem ou mesmo impeam o
desenvolvimento futuro da aprendizagem matemtica pelos alunos. Para cometer imprecises, encontrando seu equilbrio com o formalismo, indispensvel
que tenhamos perfeita clareza com a formulao matemtica precisa.
Do ponto de vista pedaggico, o uso descuidado do termo a funo
x2
y=
Esta unidade tem por objetivo fazer uma reviso geral e breve das ideias
fundamentais relacionadas com o conceito de funo, importantes para o ensino bsico.
Referncias Bibliogrcas
[1] Eves, Howard. An Introduction to the History of Mathematics. New York:
Holt, Rinehart and Winston, 1964.
[2] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
[3] Lima, Elon Lages.
Curso de Anlise,
Vol.
1.
Rio de Janeiro:
SBM,
3
Funes
Sumrio
3.1
Introduo
. . . . . . . . . . . . . . . . . . . . . . .
3.2
O Conceito de Funo . . . . . . . . . . . . . . . . .
3.3
Funes e Cardinalidade . . . . . . . . . . . . . . . .
3.4
Exerccios Recomendados . . . . . . . . . . . . . . .
3.5
Exerccios Suplementares
. . . . . . . . . . . . . . .
10
3.6
Textos Complementares . . . . . . . . . . . . . . . .
12
Introduo
Unidade 3
3.1
Introduo
Frequentemente empregamos, ou lemos em livros didticos do ensino bsico, termos do tipo a funo
a cada nmero real
y = x2
. . . , referindo-se funo
f : R R que
y = x2
associao de uma funo, se so estabelecidos domnio e contradomnio compatveis. Como veremos mais adiante, h mais de uma funo correspondendo
a esta lei de associao. Portanto, o uso do termo a funo
referir funo
f :RR
que a
xR
associa
y = x2 ,
para se
, um abuso de linguagem
matemtica. claro que, em sala de aula, abusos de linguagem no so proibidos, pois, em um grande nmero de situaes, a linguagem matemtica formal
no compatvel com os objetivos de aprendizagem do ensino bsico. Entretanto, seu uso requer certos cuidados e deve ser equilibrado, de forma a no
levar formao de concepes limitadas que dicultem ou mesmo impeam o
desenvolvimento futuro da aprendizagem matemtica pelos alunos. Para cometer imprecises, encontrando seu equilbrio com o formalismo, indispensvel
que tenhamos perfeita clareza com a formulao matemtica precisa.
Do ponto de vista pedaggico, o uso descuidado do termo a funo
y=
Funes
3.2
Unidade 3
O Conceito de Funo
Exemplo 1
Considere as funes
p : R [0, +[
x 7
x2
As funes
q : [0, +[ R .
x
7
x
Elas so invertveis?
So
bijetivas?
y = x
funo inversa de
.
responder claramente a estas questes, devemos recordar todas as denies envolvidas, desde a prpria denio de funo, passando pelas de funo injetiva,
sobrejetiva, bijetiva e invertvel. Em seguida, voltaremos a este exemplo.
Sejam
Uma
funo
Definio 1
f : X Y
elemento y Y .
uma relao
associa um e somente um
x X,
Alm disso,
(i) Os conjuntos
so chamados
domnio
contradomnio
de
f,
respectivamente;
f (X) = {y Y ; x X, f (x) = y} Y
de f ;
(ii) O conjunto
imagem
(iii) Dado
x X,
chamado
o (nico) elemento
imagem de x.
y = f (x) Y
chamado
correspondente
Unidade 3
O Conceito de Funo
f :X Y
(I)
(II)
Definio 2
gf : X Y U
V
x 7 f (x) 7 g(f (x))
Definio 3
Uma funo
f :X Y
invertvel
g:X Y
tal que
(i)
f g = IY ;
(ii)
g f = IX .
Observamos que
IA
A,
ou seja,
IA : x A 7 x A.
Neste caso, a funo
dita
funo inversa de f
4
e denotada
g = f 1 .
Funes
Unidade 3
Definio 4
f :X Y.
(i)
(ii)
(iii)
tal que
f (x) = y ;
tal que
f (X) = Y ;
x1 , x2 X , f (x1 ) = f (x2 ) x1 = x2 ;
y f (X), existe um nico x X
f (x) = y ;
tal que
y Y,
existe um nico
xX
f (x) = y .
peq
q p:
se
p q : [0, +[
x
7
qp:
Assim,
q p 6= IR .
no so invertveis.
[0, +[
2
7
( x) = x
[0, +[ R
x2
7
x2 = |x|.
R
x
p q = I[0,+[
pq
q
p
O Conceito de Funo
Unidade 3
X Y ),
Ento,
f :X Y
Se a funo original
sobrejetiva, ento
(I)
(II)
cobre todo o
seu contradomnio, que o domnio de sua relao inversa. Logo, sua relao
(I). Se f
x X.
yY
est associado
(II). Decorre
Teorema 5
Demonstrao
Uma funo
f :XY
Dado
[0, +[
no a
aos nmeros
(II).
y.
associa cada
Portanto, satisfaz
associa cada
(I), mas
y > 0
y2.
Funes
p nem q
Unidade 3
possuem
funes inversas.
3.3
Funes e Cardinalidade
Assim,
Dois conjuntos
so ditos
Funes e Cardinalidade
Unidade 3
Teorema 7
Demonstrao
Y Y,
Y.
Basta considerar
denida por
Teorema 8
e um subconjunto
subconjunto de
Demonstrao
isto
X.
bijeo.
Funes
3.4
1.
Unidade 3
Exerccios Recomendados
Em cada um dos itens abaixo, dena uma funo com a lei de formao dada (indicando domnio e contradomnio).
Verique se injetiva,
mdc;
22
22
(e) que a cada polinmio (no nulo) com coecientes reais associa seu
grau;
(f ) que a cada gura plana fechada e limitada no plano associa a sua
rea;
(g) que a cada subconjunto de
2.
f :RR
x0 = 0.
Denio 3,
g1 : Y X e
ento g1 = g2 .
Sugesto:
, se existem
3.
todo
y Y.
Seja
f :XY
(a)
(b)
f
f
g:Y X
tal que
f g = IY
(isto ,
para
(isto ,
g1 (y) = g2 (y),
g:Y X
tal que
g f = IX
Unidade 3
Exerccios Suplementares
4.
Seja
5.
f : X Y uma funo.
g2 : Y X tais que f g1 = IY
neste caso, f ser invertvel).
g1 : Y X e
e g2 f = IX , ento g1 = g2 (portanto,
6.
7.
Seja
f :XY
um subconjunto de
X.
Dene-se
f (A) = {f (x) ; x A} Y.
Se
8.
AeB
Seja
so subconjuntos de
f :XY
subconjuntos de
X.
f (A B) f (A) f (B).
A, B X ?
f (A B) = f (A) f (B),
para todos
Justique.
3.5
1.
Exerccios Suplementares
Seja
ou
f :XY
y Y , denimos a contra
imagem
Mostre que
(a) Se
injetiva e
um elemento qualquer de
sobrejetiva e
Y,
f 1 (y)?
um elemento qualquer de
10
o que se pode
(y)?
Y,
o que se pode
Funes
(c) Se
bijetiva e
um elemento qualquer de
2.
Seja
ou
f :XY
Y,
o que se pode
(y)?
3.
4.
5.
(a)
f 1 (A B) = f 1 (A) f 1 (B);
(b)
f 1 (A B) = f 1 (A) f 1 (B).
Seja
f :XY
(a)
f (f 1 (B)) B ,
(b)
Seja
f :XY
para todo
B Y;
se, e somente se,
sobrejetiva.
(a)
f 1 (f (A)) A,
para todo
A X;
(b)
f 1 (f (A)) = A,
para todo
AX
f :XY
g : Y X.
11
injetiva.
Unidade 3
Unidade 3
Textos Complementares
3.6
Textos Complementares
A Denio de Bourbaki
Acima, denimos funo como um tipo especial de relao entre dois conjuntos. Podemos pensar em relao como qualquer forma de associar elementos
de um conjunto
Y.
Entretanto, no enunci-
amos uma denio para esse termo isto , neste texto consideramos relao
como um termo primitivo, sem denio (assim, como os termos ponto e reta
geralmente so considerados na Geometria Euclidiana).
Uma alternativa para este caminho denir uma relao entre os conjuntos
(x, y) X Y .
Para todo
x X,
isto , como
Formar um conjunto de
X Y,
xX
com elementos
existe um nico
y Y | (x, y) f.
Neste texto,
optamos pelo enunciado da Denio 1 por ser esta mais prxima da prtica de
sala de aula do ensino bsico.
12
Funes
De Euler a Bourbaki
O conceito funo um dos mais genricos e mais unicadores de toda a Matemtica contempornea, fazendo-se presente em efetivamente todos os seus
campos, incluindo lgebra, Geometria, Anlise, Combinatria, Probabilidade,
etc.
(1707-1783) e por
Suponhamos que
w, w
z.
[. . . ] No faz [. . . ]
Unidade 3
13
Unidade 3
Textos Complementares
Como comentamos acima, atualmente, o conceito de funo no est atrelado a existncia de frmulas algbricas, nem mesmo a variveis numricas.
Uma funo pode ter como varivel, no apenas nmeros, mas quaisquer objetos matemticos como vetores, conjuntos, e at mesmo outras funes (ver
Exerccio 1). Para saber mais, veja por exemplo [2].
14
Funes
g :Y X
com
f g = IY ,
mas no existe
f :X Y,
g:Y X
de f ;
tal que
f g = IY
dita uma
funo inversa
g:Y X
esquerda de f .
tal que
g f = IX
dita uma
funo inversa
direita
Assim, pode existir inversa direita sem que exista inversa esquerda, e
vice-versa. Se ambas, existirem a funo original ser invertvel.
No caso do Exemplo 1,
funo inversa
15
Unidade 3
Unidade 3
Textos Complementares
Os Tamanhos do Innito
Os Teoremas 7 e 8 expressam ideias que podem parecer a princpio bastante
intuitivas, a saber,
f : X Y,
Y , pois X
sucientemente
Y;
f : X Y,
Y , pois X
sucientemente
Y.
conjuntos nitos,
#X ,
X,
No
deno-
(i) Existe
f :XY
bijetiva
#X = #Y
(ii) Existe
f :XY
injetiva
#X 6 #Y
(iii) Existe
f :XY
sobrejetiva
#X > #Y
Portanto, para conjuntos nitos, as duas ideias intuitivas acima correspondem precisamente aos teoremas matemticos.
conjuntos innitos,
A denio de conjuntos
16
Funes
n 2n
que determina uma correspondncia um a um entre o conjunto dos nmeros
naturais e o conjunto dos nmeros pares. Neste sentido, podemos pensar que
existem tantos nmeros naturais quanto pares embora o conjunto dos pares
esteja contido estritamente no dos naturais. Outro paradoxo de Galileo a correspondncia um a um entre dois segmentos de reta, de comprimentos distintos,
por meio de uma construo geomtrica simples (ilustrada abaixo).
O
A
B
B
Da mesma forma que existem tantos naturais quantos pares, podemos provar
que existem tantos nmeros naturais quantos inteiros e quantos racionais (isto
ser feito mais adiante). Hoje, essas propriedades dos conjuntos innitos no
so mais vistas como paradoxos.
Neste sentido,
podemos pensar que existem innitos maiores que outros. Por meio do argumento proposto por ele, que cou conhecido como diagonal de Cantor,
f : N R, sempre
existir um elemento y R tal que y 6= f (x), para todo x N. Isto , no
pode haver uma bijeo entre N e R. Assim, embora N, Z e Q sejam cardinalmente equivalentes, a cardinalidade de R estritamente maior que a destes
possvel mostrar, por exemplo, que, dada qualquer injeo
conjuntos.
17
Unidade 3
Unidade 3
Textos Complementares
No nal do sculo XIX, muitos matemticos ilustres viam com sria desconana as novas ideias lanadas nos trabalhos pioneiros de Georg Cantor.
Mas, lenta e seguramente, esse ponto de vista se consolidou.
O trabalho de
18
Funes
Unidade 3
N e Q so cardinalmente
NN
ao
N N.
NN
(p, q)
de
sobre o conjunto
NN
Q+ dos
a frao
p
, temos
q
nmeros racionais
positivos.
Esta funo no injetiva, pois, claramente, um mesmo nmero racional
positivo imagem de mais de um ponto do conjunto
1
o nmero
2
imagem de
(1, 2)
e tambm de
(2, 4)
N N.
Por exemplo,
(e de innitos outros).
Q+ ,
NN
nmero racional, basta pul-lo e passar para o prximo, obtendo assim uma
bijeo entre
Q+ .
19
Unidade 3
Textos Complementares
cardinalmente equivalente a
Q.
enumervel.
20
um conjunto
Funes
Frmulas e Funes
Unidade 3
Na Sala de Aula
y = x2
p1 : R R
x 7 x2
p2 : [0, +[ [0, +[ .
x
7
x2
p1
p2 ,
acima, so
funes diferentes tanto que uma bijetiva e a outra no. Por outro lado,
existem funes que no so denidas por uma nica frmula em todo o seu
domnio, como por exemplo
h: R R
(
x 7
0, se x R \ Q
1, se x Q .
21
Unidade 3
Na Sala de Aula
Textos Complementares
22
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitombeira, Joo Bosco. Trigonometria e Nmeros Complexos. Rio de Janeiro:
SBM, Coleo Professor de Matemtica.
[2] Eves, Howard. An Introduction to the History of Mathematics. New York:
Holt, Rinehart and Winston, 1964. 14
[3] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
[4] Figueiredo, Djairo G. Nmeros Irracionais e Transcedentes Rio de Janeiro:
SBM, Coleo Iniciao Cientca.
[5] Halmos, Paul. Naive Set Theory. New York: Springer, 1974.
[6] Hefez, Abramo e Fernandez, Ceclia de Souza. Introduo lgebra Linear.
Rio de Janeiro: SBM, Coleo PROFMAT, 2012.
[7] Lima, Elon Lages. Coordenadas no Espao. Rio de Janeiro: SBM, Coleo
Professor de Matemtica.
[8] Lima, Elon Lages. Curso de Anlise, Vol. 1. Rio de Janeiro: SBM, Projeto
Euclides, 1976.
[9] Lima, Elon Lages. Logaritmos. Rio de Janeiro: SBM, Coleo Professor de
Matemtica.
[10] Lima, Elon Lages. Meu Professor de Matemtica e Outras Histrias. Rio
de Janeiro: SBM, Coleo Professor de Matemtica.
[11] Lima, Elon Lages. Anlise Real, Vol. 1. Rio de Janeiro: IMPA, Coleo
Matemtica Universitria.
23
1 O Conceito de Funo
Exemplo 1
Considere as funes
p : R [0, +[
x 7
x2
As funes
q : [0, +[ R .
x
7
x
Elas so invertveis?
So
bijetivas?
y = x2
funo inversa de
.
responder claramente a estas questes, devemos recordar todas as denies envolvidas, desde a prpria denio de funo, passando pelas de funo injetiva,
sobrejetiva, bijetiva e invertvel. Em seguida, voltaremos a este exemplo.
Sejam
Uma
funo
Definio 1
f : X Y
elemento y Y .
uma relao
associa um e somente um
x X,
Alm disso,
(i) Os conjuntos
so chamados
domnio
contradomnio
de
f,
respectivamente;
f (X) = {y Y ; x X, f (x) = y} Y
de f ;
(ii) O conjunto
imagem
chamado
(iii) Dado
x X,
chamado
o (nico) elemento
y = f (x) Y
correspondente
imagem de x.
A Denio de Bourbaki
Acima, denimos funo como um tipo especial de relao entre dois conjuntos. Podemos pensar em relao como qualquer forma de associar elementos
de um conjunto
Y.
Entretanto, no enunci-
amos uma denio para esse termo isto , neste texto consideramos relao
como um termo primitivo, sem denio (assim, como os termos ponto e reta
geralmente so considerados na Geometria Euclidiana).
Uma alternativa para este caminho denir uma relao entre os conjuntos
(x, y) X Y .
Para todo
x X,
isto , como
Formar um conjunto de
X Y,
xX
com elementos
existe um nico
y Y | (x, y) f.
Neste texto,
optamos pelo enunciado da Denio 1 por ser esta mais prxima da prtica de
sala de aula do ensino bsico.
Como estabelecido na Denio 1, uma funo um terno constitudo por
elementos:
f :X Y
(I)
(II)
Definio 2
gf : X Y U
V
x 7 f (x) 7 g(f (x))
Uma funo
f :X Y
invertvel
g:X Y
Definio 3
tal que
(i)
f g = IY ;
(ii)
g f = IX .
Observamos que
IA
A,
ou seja,
IA : x A 7 x A.
Neste caso, a funo
dita
funo inversa de f
e denotada
g = f 1 .
Definio 4
f :X Y.
(i)
(ii)
(iii)
tal que
f (x) = y ;
f (X) = Y ;
x1 , x2 X , f (x1 ) = f (x2 ) x1 = x2 ;
tal que
f (x) = y ;
tal que
y Y,
existe um nico
xX
f (x) = y .
peq
q p:
se
p q : [0, +[
x
7
qp:
Assim,
q p 6= IR .
no so invertveis.
[0, +[
2
7 ( x) = x
[0, +[ R
x2
7
x2 = |x|.
R
x
p q = I[0,+[
pq
q
p
X Y ),
Ento,
f :X Y
sobrejetiva, ento
cobre todo o seu contradomnio, que o domnio de sua relao inversa. Logo,
sua relao inversa satisfaz a condio condio (i). Se
yY
x X.
uma funo
for sobrejetiva e
Uma funo
f :XY
Teorema 5
Demonstrao
Dado
[0, +[
aos nmeros
y.
associa cada
y >0
associa cada
nem
Frmulas e Funes
Na Sala de Aula
y = x2
p1 : R R
x 7 x2
p2 : [0, +[ [0, +[ .
x
7
x2
p1
p2 ,
acima, so
funes diferentes tanto que uma bijetiva e a outra no. Por outro lado,
existem funes que no so denidas por uma nica frmula em todo o seu
domnio, como por exemplo
h: R R
(
x 7
0, se x R \ Q
1, se x Q .
Na Sala de Aula
De Euler a Bourbaki
O conceito funo um dos mais genricos e mais unicadores de toda a Matemtica contempornea, fazendo-se presente em efetivamente todos os seus
campos, incluindo lgebra, Geometria, Anlise, Combinatria, Probabilidade,
etc.
(1707-1783) e por
Suponhamos que
w, w
z.
[. . . ] No faz [. . . ]
da quantidade
g :Y X
com
f g = IY ,
mas no existe
f :X Y,
denimos:
g:Y X
de f ;
tal que
f g = IY
dita uma
funo inversa
g:Y X
esquerda de f .
tal que
g f = IX
dita uma
funo inversa
direita
Assim, pode existir inversa direita sem que exista inversa esquerda, e
vice-versa. Se ambas, existirem a funo original ser invertvel.
No caso do Exemplo 1,
funo inversa
2 Funes e Cardinalidade
O conceito de funo tambm est fortemente relacionado com uma das
noes mais primordiais de toda a Matemtica: a contagem. Na pr-histria,
mesmo antes de que fossem conhecidos os nmeros ou a escrita, o homem j
empregava processos de contagem. Esses processos consistiam basicamente em
controlar uma quantidade por meio da comparao com objetos de referncia,
que em geral eram pequenas pedras ou marcaes na rocha, na madeira ou
em outros materiais. Em termos modernos, isto corresponde a estabelecer uma
correspondncia um a um, isto , uma bijeo entre dois conjuntos.
Assim,
Dois conjuntos
so ditos
Y Y,
isto
Y.
Basta considerar
denida por
Teorema 7
e um subconjunto
subconjunto de
X.
Demonstrao
Teorema 8
Demonstrao
bijeo.
Os Tamanhos do Innito
f : X Y,
Y , pois X
sucientemente
Y;
f : X Y,
Y , pois X
sucientemente
Y.
conjuntos nitos,
#X ,
X,
No
deno-
(i) Existe
f :XY
bijetiva
#X = #Y
(ii) Existe
f :XY
injetiva
#X 6 #Y
(iii) Existe
f :XY
sobrejetiva
#X > #Y
Portanto, para conjuntos nitos, as duas ideias intuitivas acima correspondem precisamente aos teoremas matemticos.
conjuntos innitos,
A denio de conjuntos
10
Para comear, um conjunto innito se, e somente se, admite uma bijeo
com um subconjunto prprio (isto diferente de vazio e do conjunto todo).
Em outras palavras, um conjunto innito cardinalmente equivalentes a uma
parte prpria de si mesmo. Quando retiramos elementos de um conjunto nito,
o subconjunto restante tem cardinalidade estritamente menor que o original.
Entretanto, podemos retirar uma parte de um conjunto innito sem que a sua
cardinalidade seja alterada.
Esta surpreendente propriedade tem intrigado matemticos h muito tempo.
Galileo Galilei (1563-1643), em sua obra clssica Discorsi e Dimostrazioni Matematiche Intorno a Due Nuove Scienze, editada em 1638, cita os assim chamados
paradoxos do innito. Um desses paradoxos a associao
n 2n
que determina uma correspondncia um a um entre o conjunto dos nmeros
naturais e o conjunto dos nmeros pares. Neste sentido, podemos pensar que
existem tantos nmeros naturais quanto pares embora o conjunto dos pares
esteja contido estritamente no dos naturais. Outro paradoxo de Galileo a correspondncia um a um entre dois segmentos de reta, de comprimentos distintos,
por meio de uma construo geomtrica simples (ilustrada abaixo).
O
A
B
B
Da mesma forma que existem tantos naturais quantos pares, podemos provar
que existem tantos nmeros naturais quantos inteiros e quantos racionais (isto
ser feito mais adiante). Hoje, essas propriedades dos conjuntos innitos no
so mais vistas como paradoxos.
11
Neste sentido,
podemos pensar que existem innitos maiores que outros. Por meio do argumento proposto por ele, que cou conhecido como diagonal de Cantor,
f : N R, sempre
existir um elemento y R tal que y 6= f (x), para todo x N. Isto , no
pode haver uma bijeo entre N e R. Assim, embora N, Z e Q sejam cardinalmente equivalentes, a cardinalidade de R estritamente maior que a destes
possvel mostrar, por exemplo, que, dada qualquer injeo
conjuntos.
No nal do sculo XIX, muitos matemticos ilustres viam com sria desconana as novas ideias lanadas nos trabalhos pioneiros de Georg Cantor.
Mas, lenta e seguramente, esse ponto de vista se consolidou.
O trabalho de
N e Q so cardinalmente
NN
ao
N N.
12
NN
(p, q)
de
sobre o conjunto
NN
Q+ dos
a frao
p
, temos
q
nmeros racionais
positivos.
Esta funo no injetiva, pois, claramente, um mesmo nmero racional
positivo imagem de mais de um ponto do conjunto
1
o nmero
2
imagem de
(1, 2)
e tambm de
(2, 4)
N N.
Por exemplo,
(e de innitos outros).
NN
nmero racional, basta pul-lo e passar para o prximo, obtendo assim uma
bijeo entre
Q+ .
cardinalmente equivalente a
Q.
um conjunto
enumervel.
13
1.
Rio de Janeiro:
SBM,
envolve maiores diculdades. Tais diculdades esto relacionadas com as caractersticas especcas do conjunto dos reais. Em geral, no ensino bsico, a
introduo de cada um dos conjuntos numricos motivada por limitaes algbricas do conjunto anterior. Por exemplo, as motivaes para a construo de
R,
para
no
2.
(ou,
de forma mais geral, a razo entre a diagonal e o lado de um quadrado qualquer), concluiremos que esta deve ser tal que
d2 = 2.
Porm, necessrio
ainda mostrar que no existe um nmero racional que satisfaa essa condio.
Alm disso, mesmo se considerarmos todos os nmeros que so razes de equaes polinomiais com coecientes inteiros (como
d2 = 2),
chamados nmeros
O exemplo
Na educa-
uma unidade comum segundo a qual todas as grandezas envolvidas tm medidas inteiras, estas grandezas so ditas comensurveis (literalmente, que podem
ser medidas juntas). Entretanto, dado um conjunto nito de grandezas, nem
sempre possvel encontrar uma unidade comum da qual todas sejam mltiplos
inteiros. Este o caso, por exemplo, do lado e a diagonal do quadrado, ou do
permetro e o dimetro do crculo.
Nesta unidade, veremos de que modo o processo de medio das grandezas
ditas contnuas conduz noo de nmero real. Usaremos como prottipo a
determinao do comprimento de um segmento de reta. Este exemplo de medio to signicativo que o conjunto dos nmeros reais tambm conhecido
como a reta real ou, simplesmente, a reta.
Referncias Bibliogrcas
[1] Eves, Howard. An Introduction to the History of Mathematics. New York:
Holt, Rinehart and Winston, 1964.
[2] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
[3] Lima, Elon Lages.
1.
Rio de Janeiro:
SBM,
4
Comensurabilidade
e Nmeros Reais
Sumrio
4.1
Introduo
. . . . . . . . . . . . . . . . . . . . . . .
4.2
4.3
Nmeros Reais . . . . . . . . . . . . . . . . . . . . .
4.4
. . . . . . . . . .
11
4.5
Exerccios Recomendados . . . . . . . . . . . . . . .
14
4.6
Exerccios Suplementares
. . . . . . . . . . . . . . .
15
4.7
Textos Complementares . . . . . . . . . . . . . . . .
16
Introduo
Unidade 4
4.1
Introduo
envolve maiores diculdades. Tais diculdades esto relacionadas com as caractersticas especcas do conjunto dos reais. Em geral, no ensino bsico, a
introduo de cada um dos conjuntos numricos motivada por limitaes algbricas do conjunto anterior. Por exemplo, as motivaes para a construo de
R,
para
no
cotidianas que justiquem a necessidade dessa expanso. Os nmeros racionais do conta perfeitamente das medies empricas de segmentos ou reas,
por exemplo enquanto os nmeros reais atendem ao problema terico da proporo de grandezas de mesma espcie,
consistente de medida.
2.
(ou,
de forma mais geral, a razo entre a diagonal e o lado de um quadrado qualquer), concluiremos que esta deve ser tal que
d2 = 2.
Porm, necessrio
ainda mostrar que no existe um nmero racional que satisfaa essa condio.
Alm disso, mesmo se considerarmos todos os nmeros que so razes de equaes polinomiais com coecientes inteiros (como
algbricos,
d2 = 2),
chamados nmeros
o bsica, denimos
circunferncia.
que
O exemplo
Na educa-
sempre possvel encontrar uma unidade comum da qual todas sejam mltiplos
Unidade 4
Unidade 4
4.2
AB
decomposto, por
n 1 pontos interiores, em n
de AB ser igual soma das
segmentos.
u, a medida
igual a n. Neste
inteiro de u.
nem todos os
AB
no mltiplo inteiro de
u0
u,
AB
para
ser um nmero
natural.
No exemplo ilustrado na Figura 4.1, temos que, em relao unidade
medida de
AB
igual a
3,
mas a medida de
u = 2 u0 , temos
CD ser 5.
que, em relao a
2,
u0 ,
CD
no um nmero natural.
u,
AB
ser
u0
tal que
e a medida de
Mas, dados dois segmentos quaisquer, ser que sempre possvel encontrar
uma unidade comum
Desde
A u
C u
ABCD
u.
um quadrado de lado
CB e
marcamos a interseo com a diagonal AC . Obtemos assim um ponto B1 AC
tal que B1 C = BC = a. Em seguida, marcamos um ponto C1 AB tal que
B1 C1 AC . Construmos desta forma um quadrado AB1 C1 D1 de lado a1 e
diagonal d1 (Figura 4.2).
Traamos um arco de circunferncia com centro no vrtice
e raio
Observamos que
\1 = CB
\
\
\
BC = B1 C CBB
1 B C1 BB1 = C1 B1 B BC1 = B1 C1 = a1 .
Logo,
a1 = AB1 = AC B1 C = AC BC = d a = (q p) u.
\1 =
CBB1 issceles, por construo. Logo, CBB
\
\
CB
1 B . Como os ngulos CBC1 e CB1 C1 so retos, conclumos que C1 BB1 =
C\
1 B1 B . Logo, o tringulo BC1 B1 tambm issceles. Ento, BC1 = B1 C1 .
Alm disso, o tringulo
Ento,
Unidade 4
Unidade 4
D1
B1
C1
B
Figura 4.2: Segmentos incomensurveis.
a1
d1
a = a1 + d 1
a1 < d1
(pois
a1
u.
d1
so, respectivamente,
2 a1 < a.
Aplicando a mesma construo ao quadrado
AB1 C1 D1 ,
quadrado
e tal
obtemos um novo
mltiplos inteiros de
u,
e diagonais
2 an < an1 .
Portanto,
2n an < a = p u.
Neste caso, para
sucientemente grande,
an
u,
contradi-
Unidade 4
veis.
5.
AB
CD
es-
ao par de segmentos
A2 B2 , C2 D2
A1 B1 , C1 D1
A1 B1
A2 B2
=
.
C1 D1
C2 D2
Cada par de segmentos
AB , CD
formada por todos os pares de segmentos que esto na mesma razo que
AB ,
u.
Definio 1
Unidade 4
Nmeros Reais
Nmeros Reais
u,
em relao qual
x,
que chamaremos
abscissa de X :
Xx.
Mas, para que esta construo esteja completa, de forma que cada ponto
A,
de comprimento
A origem
O.
OA
diferente de
u.
A reta
A outra a
ser chamada a
OA
reta real,
origem,
como unidade
ou o
A que contm
semirreta negativa.
chamado a
Tomaremos o segmento
semirreta positiva.
O,
eixo real.
chama-se a
X estiver direita de
O e o segmento de reta OA couber um nmero exato n N de vezes em OX ,
diremos que a abscissa de X o nmero natural n. Se o segmento de reta OA
couber um nmero exato n de vezes em OX , mas X estiver esquerda de O ,
Seja
OA.
Se o ponto
Unidade 4
o inteiro negativo
n.
O conjunto
Z,
formado
com
Ele a reunio
e o conjunto
da origem, temos:
OA = n w
OX = m w.
m
ou
n
m
,
n
conforme
O conjunto
Q, formado pelas
OX comensurvel
0
O
1
w
5
2
de abscissa
1
2
OX = 5 u =
5
2
w =
1
2
u,
u.
5
.
2
OX .
teremos que
OX = 5 w.
em
Portanto,
Unidade 4
Nmeros Reais
Porm, estes pontos no esgotam a reta, uma vez que, como vimos, existem
segmentos
OX
u.
OA e tomar um segmento OX
congruente com
NZQR.
Em resumo, dado qualquer segmento
OX ,
racional
p
:
q
10
AB
p
= Q.
q
CD
Assim, a razo entre segmentos incomensurveis um nmero irracional.
Por exemplo, a incomensurabilidade entre o lado e a diagonal do quadrado se
traduz, em termos atuais, no fato de que
2 6 Q.
fato, que reproduzimos acima (p. 5), traduz-se numa prova da irracionalidade
de
2.
Seja
que
teramos portanto,
m 2
n
o que implicaria em
m2 = 2 n2 .
= 2,
Mas, como
m2
na decomposio de
2n
n2 .
Ento, o expoente do
m2 = 2 n2 ,
O conjunto
R.
11
Unidade 4
Unidade 4
A interpretao dos nmeros reais como abscissas dos pontos de uma reta
fornece uma viso intuitiva bastante esclarecedora sobre a relao de ordem, a
soma e tambm o produto de nmeros reais. Consideremos
reta real dos quais
y,
pontos na
respectivamente, so as abscissas.
Z
OY
X
OY
XZ
XZ
a seguinte propriedade:
x<y
12
x z < y z.
x 1
x y
x y
13
Unidade 4
Unidade 4
Exerccios Recomendados
4.5
1.
Exerccios Recomendados
Fixemos uma unidade de medida
comensurveis entre si.
u.
Sejam
AB
CD
dois segmentos
suas respostas.
AB
e de
CD
em relao a
so nmeros racionais?
(b) Se a medida de
sobre a medida
2.
AB um
de CD ?
portante na demonstrao de
3.
2 6 Q
(p. 11).
p 6 Q.
n N qualquer,
mostre que
nQ
pN
um nmero
n N.
Isto , no
4.
dimetro de uma crculo, irracional. Entretanto, os argumentos matemticos para provar este fato so avanados demais para o ensino mdio.
(a) Que argumentos voc empregaria para mostrar aos alunos do ensino
mdio que o nmero
no
5.
14
Unidade 4
1.
Exerccios Suplementares
Nesta unidade, discutimos a interpretao da operao de diviso como
medida (p.
de medida e o dividendo
(i)
p>q
mltiplo inteiro de
q.
(ii)
p > q,
mas
no mltiplo inteiro de
q.
(iii)
1.
p<q
mltiplo inteiro de
p.
(iv)
p < q,
mas
no mltiplo inteiro de
p.
1.
Os dois exemplos tratados aqui correspondem aos casos (i) e (ii). Use a
interpretao da diviso como medida para representar as divises
2 5
,
3 2
1 5
4 2
os graus de diculdade.
2.
u2 ,
15
u2 .
Unidade 4
Textos Complementares
4.7
Textos Complementares
Contar e Medir
A existncia de grandezas incomensurveis mostra que o problema da medida no pode ser reduzido ao problema da contagem.
Isto , se s existissem
dade comum
Medir esses
As-
16
Um Nmero Incomensurvel?
havia um nmero
Unidade 4
Uma
17
Unidade 4
Na Sala de Aula
Textos Complementares
Estamos
20
balas em
cada saquinho?
no um nmero natural.
20
quando
balas cabem em
20
20.
Portanto,
balas.
exemplos a seguir.
Exemplo
5 1
.
2 4
5
Sejam p =
2
vezes em p, isto
q=
1
.
4
cabe exatamente
1
4
18
Assim,
5
2
10
q , a medida do
5
1
5 1
= 10 , ou = 10.
2
4
2 4
segmento de comprimento
Unidade 4
5 2
.
2 3
5
Sejam p =
2
Exemplo
e
q=
2
.
3
comum entre
q,
segmento de comprimento
em
1
3
em
2.
Isto , dividimos
em
15
partes iguais e
ser igual a
em
1
p = 15 w e w = q , a medida de p
4
5
15 2
5 2
15
15
, ou =
.
w = . Assim, =
4
2
4
3
2 3
4
relao a
1
2
em
w
0
2
3
w,
subdividindo
(i)
(ii)
a
p =
b
1
em d
b
5
2
q =
c
,
d
partes iguais e
1
d
em
partes iguais.
1
1
d vezes em , e cabe a vezes em p, portanto w cabe a d vezes
b
b
em p, isto , p = (a d) w ;
1
1
analogamente, w cabe b vezes em
, e
cabe c vezes em q , portanto w
d
d
1
cabe b c vezes em q , isto , w =
q.
bc
w
cabe
w uma subdiviso da unidade q e contanto quanp, conclumos que a medida de p quando q tomando
cabe em
19
Unidade 4
Textos Complementares
ad
1
ad
=
.
bc
bc
a c
ad
=
.
b d
bc
A interpretao da diviso como medida se aplica a qualquer diviso entre
dois nmeros reais, representados, por exemplo, por segmentos de reta. No caso
dos segmentos serem incomensurveis, no ser possvel encontrar uma unidade,
como zemos acima, e o resultado da diviso ser um nmero irracional. Neste
caso, podemos tambm usar subdivises do divisor para encontrar aproximaes
racionais
e a diagonal do quadrado.
m
a,
d=
n
isto ,
d
6 Q.
a
1<
m, n N
tais que
3
d
< ,
a
2
4
d
5
< < ,
3
a
3
5
d
6
< < ,
4
a
4
e assim por diante. Em sala de aula, essas aproximaes podem ser vericadas
com ajuda de uma calculadora ou computador.
20
Unidade 4
Na Sala de Aula
u,
u2
u,
u2 ,
ser dada
S = 15 u2 .
u2
u, mas so comensurveis com
1
u, podemos encontrar um subdiviso, w = u, da qual ambos sejam mltiplos
k
1 2
2
u ,
inteiros. Esta subdiviso determinar uma nova unidade de rea, w =
n
2
em que n = k . Basta ento preencher o retngulo com quadrados de lado w e
Se esses lados no so mltiplos inteiros de
u2 ,
m
,
n
sendo
que cabem
S = 176 w2 = 176
21
1 2 176 2
u =
u.
9
9
Unidade 4
Textos Complementares
u, no ser
22
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitombeira, Joo Bosco. Trigonometria e Nmeros Complexos. Rio de Janeiro:
SBM, Coleo Professor de Matemtica.
[2] Eves, Howard. An Introduction to the History of Mathematics. New York:
Holt, Rinehart and Winston, 1964. 14, 3
[3] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996. 3
[4] Figueiredo, Djairo G. Nmeros Irracionais e Transcedentes Rio de Janeiro:
SBM, Coleo Iniciao Cientca.
[5] Halmos, Paul. Naive Set Theory. New York: Springer, 1974.
[6] Hefez, Abramo e Fernandez, Ceclia de Souza. Introduo lgebra Linear.
Rio de Janeiro: SBM, Coleo PROFMAT, 2012.
[7] Lima, Elon Lages. Coordenadas no Espao. Rio de Janeiro: SBM, Coleo
Professor de Matemtica.
[8] Lima, Elon Lages. Curso de Anlise, Vol. 1. Rio de Janeiro: SBM, Projeto
Euclides, 1976.
[9] Lima, Elon Lages. Logaritmos. Rio de Janeiro: SBM, Coleo Professor de
Matemtica.
[10] Lima, Elon Lages. Meu Professor de Matemtica e Outras Histrias. Rio
de Janeiro: SBM, Coleo Professor de Matemtica.
[11] Lima, Elon Lages. Anlise Real, Vol. 1. Rio de Janeiro: IMPA, Coleo
Matemtica Universitria.
23
AB
decomposto, por
n 1 pontos interiores, em n
de AB ser igual soma das
segmentos.
u, a medida
igual a n. Neste
inteiro de u.
nem todos os
AB
no mltiplo inteiro de
u,
AB
para
ser um nmero
natural.
No exemplo ilustrado na Figura 1, temos que, em relao unidade
medida de
AB
igual a
3,
mas a medida de
u = 2 u0 , temos
CD ser 5.
que, em relao a
2,
u0 ,
CD
u,
no um nmero natural.
AB
ser
u0
tal que
e a medida de
Mas, dados dois segmentos quaisquer, ser que sempre possvel encontrar
uma unidade comum
Desde
A u
C u
ABCD
u.
um quadrado de lado
CB e
marcamos a interseo com a diagonal AC . Obtemos assim um ponto B1 AC
tal que B1 C = BC = a. Em seguida, marcamos um ponto C1 AB tal que
B1 C1 AC . Construmos desta forma um quadrado AB1 C1 D1 de lado a1 e
diagonal d1 (Figura 2).
Traamos um arco de circunferncia com centro no vrtice
e raio
Observamos que
\1 = CB
\
\
\
BC = B1 C CBB
1 B C1 BB1 = C1 B1 B BC1 = B1 C1 = a1 .
Logo,
a1 = AB1 = AC B1 C = AC BC = d a = (q p) u.
\1 =
CBB1 issceles, por construo. Logo, CBB
\
\
CB
1 B . Como os ngulos CBC1 e CB1 C1 so retos, conclumos que C1 BB1 =
C\
1 B1 B . Logo, o tringulo BC1 B1 tambm issceles. Ento, BC1 = B1 C1 .
Alm disso, o tringulo
Ento,
a1
d1
a = a1 + d 1
a1 < d1
(pois
a1
u.
d1
so, respectivamente,
2 a1 < a.
Aplicando a mesma construo ao quadrado
AB1 C1 D1 ,
quadrado
e tal
obtemos um novo
mltiplos inteiros de
u,
e diagonais
2 an < an1 .
Portanto,
2n an < a = p u.
Neste caso, para
sucientemente grande,
an
u,
contradi-
veis.
Definio 1
5.
AB
CD
es-
ao par de segmentos
A2 B2 , C2 D2
A1 B1 , C1 D1
A1 B1
A2 B2
=
.
C1 D1
C2 D2
Cada par de segmentos
AB , CD
formada por todos os pares de segmentos que esto na mesma razo que
AB ,
u.
Contar e Medir
A existncia de grandezas incomensurveis mostra que o problema da medida no pode ser reduzido ao problema da contagem.
Isto , se s existissem
dade comum
Medir esses
As-
2 Nmeros Reais
Visando uma construo objetiva do conjunto dos nmeros reais, a partir
de agora vamos xar uma unidade padro de referncia
mediremos todos os segmentos.
u,
em relao qual
x,
que chamaremos
X:
Xx.
Mas, para que esta construo esteja completa, de forma que cada ponto
esteja associado a um nmero, e cada nmero esteja associado a um ponto,
precisaremos inventar novos nmeros
A,
de comprimento
A origem
O.
OA
diferente de
u.
A reta
O,
chamado a origem,
Tomaremos o segmento
OA
como unidade
A que contm
chama-se a
de
X estiver direita de
O e o segmento de reta OA couber um nmero exato n N de vezes em OX ,
diremos que a abscissa de X o nmero natural n. Se o segmento de reta OA
couber um nmero exato n de vezes em OX , mas X estiver esquerda de O ,
diremos que a abscissa de X o inteiro negativo n. O conjunto Z, formado
pelo nmero 0 e pelas abscissas dos pontos X do eixo real, tais que o segmento
unitrio cabe um nmero exato de vezes em OX , chama-se o conjunto dos
nmeros inteiros. Ele a reunio Z = N {0} (N), dos nmeros naturais
com 0 e o conjunto N dos nmeros negativos.
Seja
OA.
Se o ponto
0
O
1
u
da origem, temos:
OA = n w
OX = m w.
m
ou
n
m
,
n
conforme
O conjunto
Q, formado pelas
OX comensurvel
0
O
5
2
u
Figura 5: Nmeros racionais.
de abscissa
5
. Temos que o segmento
2
no
1
2
Porm, estes pontos no esgotam a reta, uma vez que, como vimos, existem
segmentos
OX
u.
OA e tomar um segmento OX
congruente com
NZQR.
OX ,
racional
p
:
q
p
AB
= Q.
q
CD
Assim, a razo entre segmentos incomensurveis um nmero irracional.
Por exemplo, a incomensurabilidade entre o lado e a diagonal do quadrado se
traduz, em termos atuais, no fato de que
2 6 Q.
fato, que reproduzimos acima (p. 2), traduz-se numa prova da irracionalidade
de
2.
Seja
que
teramos portanto,
m 2
n
o que implicaria em
m2 = 2 n2 .
= 2,
Mas, como
m2
na decomposio de
2n
n2 .
Ento, o expoente do
m2 = 2 n2 ,
Na Sala de Aula
Tradicionalmente, uma das maiores diculdades da Matemtica do ensino bsico so as operaes com fraes, especialmente a diviso.
Estamos
20
balas em
cada saquinho?
no um nmero natural.
20
quando
balas cabem em
20
20.
Portanto,
balas.
exemplos a seguir.
5 1
.
2 4
5
Sejam p =
2
vezes em p, isto
Exemplo
e
q=
1
.
4
cabe exatamente
1
4
Assim,
5
2
10
q , a medida do
5
1
5 1
= 10 , ou = 10.
2
4
2 4
segmento de comprimento
5 2
.
2 3
5
Sejam p =
2
Exemplo
e
q=
2
.
3
comum entre
q,
segmento de comprimento
em
1
3
em
2.
Isto , dividimos
em
15
partes iguais e
ser igual a
em
1
p = 15 w e w = q , a medida de p
4
5
15 2
5 2
15
15
, ou =
.
w = . Assim, =
4
2
4
3
2 3
4
relao a
1
2
em
w
0
2
3
w,
subdividindo
(i)
(ii)
a
p =
b
1
em d
b
5
2
q =
c
,
d
partes iguais e
1
d
em
partes iguais.
1
1
d vezes em , e cabe a vezes em p, portanto w cabe a d vezes
b
b
em p, isto , p = (a d) w ;
1
1
analogamente, w cabe b vezes em
, e
cabe c vezes em q , portanto w
d
d
1
cabe b c vezes em q , isto , w =
q.
bc
w
cabe
w uma subdiviso da unidade q e contanto quanp, conclumos que a medida de p quando q tomando
cabe em
10
ad
1
ad
=
.
bc
bc
a c
ad
=
.
b d
bc
A interpretao da diviso como medida se aplica a qualquer diviso entre
dois nmeros reais, representados, por exemplo, por segmentos de reta. No caso
dos segmentos serem incomensurveis, no ser possvel encontrar uma unidade,
como zemos acima, e o resultado da diviso ser um nmero irracional. Neste
caso, podemos tambm usar subdivises do divisor para encontrar aproximaes
racionais
e a diagonal do quadrado.
m
a,
d=
n
isto ,
d
6 Q.
a
1<
m, n N
tais que
4
d
5
< < ,
3
a
3
3
d
< ,
a
2
5
d
6
< < ,
4
a
4
e assim por diante. Em sala de aula, essas aproximaes podem ser vericadas
com ajuda de uma calculadora ou computador.
Na Sala de Aula
u,
u2
u,
u2 ,
ser dada
S = 15 u2 .
11
u2
u, mas so comensurveis com
1
u, podemos encontrar um subdiviso, w = u, da qual ambos sejam mltiplos
k
1 2
2
inteiros. Esta subdiviso determinar uma nova unidade de rea, w =
u ,
n
2
em que n = k . Basta ento preencher o retngulo com quadrados de lado w e
Se esses lados no so mltiplos inteiros de
u2 ,
m
,
n
sendo
que cabem
S = 176 w2 = 176
1 2 176 2
u =
u.
9
9
u, no ser
12
Um Nmero Incomensurvel?
havia um nmero
Uma
R.
y,
pontos na
respectivamente, so as abscissas.
13
a Figura 7,
Z
OY
X Y
OY
XZ
XZ
Figura 6: Soma de nmeros reais.
x1
xy
xy
a seguinte propriedade:
x<y
14
x z < y z.
Referncias Bibliogrcas
[1] Eves, Howard. An Introduction to the History of Mathematics. New York:
Holt, Rinehart and Winston, 1964.
[2] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
[3] Lima, Elon Lages.
Curso de Anlise,
15
Vol.
1.
Rio de Janeiro:
SBM,
K,
com
n-simas,
exponenciais, logartmicas
e trigonomtricas).
As letras
N, Q
nmero em alemo.
Referncias Bibliogrcas
[1] Ferreira, J. A Construo dos Nmeros. Rio de Janeiro: SBM, Coleo
Textos Universitrios, 2010.
[2] Hefez, A. Curso de lgebra Volume 1,
4a
jetivo desta unidade provocar a reexo sobre algumas questes tericas que
fundamentam essas propriedades, e que muitas vezes passam despercebidas.
Em primeiro lugar, devemos observar que escrever um nmero real em representao decimal signica express-lo como uma soma cujas parcelas so
produtos de dgitos entre
positivos e negativos.
por potncias de
10,
de expoentes inteiros,
se escreve na forma
a = a0 + a1 101 + a2 102 + ,
sendo
a0
um nmero natural e os
an , n > 0,
dgitos entre
(1)
9.
Neste caso,
no se tratam mais de simples somas no sentido algbrico, que teriam necessariamente que ser nitas, mas sim, de somas innitas (o que representado pelo
smbolo de reticncias). Isto , tratam-se de
sries.
Mas, o que uma srie? Bem, a princpio podemos pensar em uma srie
como sendo apenas uma
soma formal
S = x0 + x1 + x2 + + xn + .
Entretanto,
somas
parciais
s0 = x0 , s1 = x0 + x1 , s2 = x0 + x1 + x2 , . . . , sn = x0 + x1 + + xn ,
for convergente (para saber mais, veja [2]). Assim, uma
(cujos temos so dados pelas somas dos termos de outra sequncia), e determinar a soma de uma srie signica determinar o limite dessa sequncia.
No ensino bsico assume-se tacitamente o fato de que as sries na forma (1)
so sempre convergentes o que equivale a dizer que o conjunto dos nmeros
reais completo. Portanto, ao fazermos operaes com dzimas peridicas para
obter fraes geratrizes, estamos na verdade efetuando operaes com limites
que s so legtimas porque sabemos de antemo que as sries envolvidas so
convergentes.
Em particular, fundamental compreender bem a igualdade
1 = 0, 9999 . . .,
0, 9999 . . .
x1 = 0, 9, x2 = 0, 99, x3 =
10
com limites, que s so vlidos porque sabemos que esses limites existem. Reciprocamente, para converter fraes em representaes decimais, empregamos
0,
no enumervel (isto ,
de Cantor
cia direta deste fato que o conjunto dos nmeros irracionais tambm no
enumervel. Assim, neste sentido, podemos dizer que
9,
igual a zero.
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
[2] Lima, Elon Lages.
Anlise I
Curso de Anlise,
Vol.
1.
Rio de Janeiro:
SBM,
Unidades 5 e 6
Completeza e representao
dos Nmeros Reais
Sumrio
5.1
Introduo
. . . . . . . . . . . . . . . . . . . . . . .
5.2
5.3
Representao Decimal
. . . . . . . . . . . .
. . . . . . . . . . . . . . . .
5.4
5.5
Os Nmeros Reais . . . . . . . . . . . . . . . . . . .
13
5.6
Exerccios Recomendados . . . . . . . . . . . . . . .
15
5.7
Exerccios Suplementares
. . . . . . . . . . . . . . .
16
5.8
Textos Complementares . . . . . . . . . . . . . . . .
20
unidades 5 e 6
Introduo
5.1
Introduo
Na unidade anterior, discutimos a noo de comensurabilidade na Matemtica grega e sua relao com a existncia de nmeros irracionais, que nos
conduziram ao modelo dos nmeros reais como pontos de uma reta orientada,
em que se destacam dois deles para representar a unidade de medida. Apesar
de sua simplicidade, elegncia e de seu grande apelo geomtrico, este modelo
para os nmeros reais no permitia ir to longe quanto a Matemtica do Sculo
XIX exigia para o seu desenvolvimento. Por m, os matemticos do nal daquele sculo numa minuciosa reviso dos fundamentos da Matemtica nos proporcionaram um modelo algbrico-analtico para os nmeros reais de extrema
ecincia, permitindo o extraordinrio avano desta cincia que se sucedeu.
Na matemtica contempornea, existem duas construes principais equivalentes para o conjunto dos nmeros reais, uma atravs das sequncias de Cauchy,
devida a Cantor [7] e a outra atravs da noo de corte nos racionais, devida
a Dedekind [3]. Entretanto, no adotaremos aqui esta abordagem construtiva
pois nos afastaria dos nossos objetivos, tornando o nosso caminho muito longo.
Ao contrrio, adotaremos uma abordagem axiomtica, relativamente simples.
Os nossos axiomas esto todos contidos na seguinte frase:
ordenado
completeza
Q tambm possui todas as propriedades das operaes e da ordem, isto , Q tambm um corpo ordenado, mas no completo.
n-simas,
exponenciais, logartmicas
e trigonomtricas).
+ Para Saber Mais - As Letras dos Conjuntos Numricos - Clique para ler
5.2
axiomas.
Os nmeros
R formalmente
x 6 y , que compatvel com a adio e multiplicao pelas leis conhecidas como monotonicidades:
Para todos x, y, z R,
O termo
x 6 y = x + z 6 y + z,
relao de ordem
x 6 y , z > 0 = x z 6 y z.
Unidade 5
unidades 5 e 6
Representao Decimal
Finalmente, a
completeza
de
constitui-se de uma
O segundo grupo de axiomas estabelece as propriedades referentes ordem: as propriedades reexiva, antissimtrica e transitiva, que so as condies mnimas para que se tenha uma relao de ordem; a tricotomia,
que garante que dois nmeros reais
quaisquer so comparveis,
x > y;
x < y, x = y
ou
R:
completeza.
Explicitaremos esse ltimo axioma na prxima seo, quando trataremos da
representao decimal dos nmeros reais.
Representao Decimal
A forma mais comum de representar os nmeros reais por meio de expresses decimais. Vamos falar um pouco sobre elas. E claro que basta considerar
os nmeros reais positivos, pois, para tratar de nmeros negativos, basta acrescentar o sinal de menos.
Uma
= a0 , a1 a1 . . . an . . . ,
Unidade 5
Definio 1
(5.1)
em que
a0
um nmero inteiro
para determin-los.
a0 +
a1
a2
an
+ 2 + + n + .
10 10
10
(5.2)
nmeros racionais
n = a0 +
Quando se substitui
a1
an
+ + n,
10
10
por
n ,
n = 1, 2, . . . .
(5.3)
1
= 10n .
10n
Assim,
a0
a0 +
a1
6 ,
10
, a1
Exemplo 1
unidades 5 e 6
a2
a0 +
a1
a2
+ 2 6 , etc.
10 10
0 6 1 6 2 6 < n 6
. Mais precisamente, tem-se 0 6 n 6 10
para cada n = 0, 1, 2, 3, 4, . . ..
Diz-se ento que o nmero real o limite desta sequncia de nmeros
racionais. O fato de que existe sempre um nmero real que limite desta
sequncia (isto , que tem os n como seus valores aproximados) uma forma
de dizer que o corpo ordenado dos nmeros reais completo. Portanto, o nosso
axioma da completeza l-se:
Axioma 2
Completeza
5.4
an
se tornam iguais a
zero
= a0 , a1 a2 . . . an 000 . . . .
Ento,
= a0 +
a1
an
+ + n
10
10
um nmero racional; na realidade uma frao decimal (frao cujo denominador uma potncia de
10).
Por exemplo,
13, 42800 . . . = 13 +
2
8
13428
4
+
+
=
.
10 100 1000
1000
Unidade 5
= a0 , a1 a2 . . . an . . .
seja peridica.
= 0, 999 . . . =
9
9
9
+
+
+ .
10 100 1000
0, 999 . . . na realidade
0, 99, 0, 999, etc. E,
0, 9,
0, 999 . . . =
9
9
9
+
+ n + = 1,
10 100 10
0, 111 . . . =
1
1
1
1
+
+ + n + = .
10 100
10
9
0, aaa . . . =
Por exemplo,
a,
tem-se
a
a
a
a
+
+ + n + = .
10 100
10
9
0, 777 . . . =
7
.
9
unidades 5 e 6
9
99
9
9
99
9
+
=
,
+
=
,
10 100
100
1000 10000
10000
9
9
99
+ 2k = 2k ,
...,
2k1
10
10
10
...,
obtemos
9
9
99
99
9
9
+ 2 +
+
1=
+ 4 + =
+
3
10
10 10
100 1002
10
1
1
+
+ ,
= 99
100 1002
logo
1
1
1
1
+
+
+ =
.
2
3
100 100
100
99
Da resulta que, para quaisquer dgitos
b,
tem-se
ab
ab
ab
0, abab . . . =
+
+
+ = ab
2
100 100
1003
1
1
+
+
100 1002
.
Ento,
0, abab . . . =
ab
.
99
(5.4)
Por exemplo,
37
37
37
+
+ = 37
0, 3737 . . . =
+
2
100 100
1003
Definio 3
1
1
+
+
100 1002
37
.
99
perivrgula
repetem-se indenidamente na mesma ordem. Para indicar de forma mais precisa o perodo, empregamos tambm a notao
1 Para
= a0 , a1 . . . a p .
0, 7
Por exemplo,
37,
0, 37
p N,
Unidade 5
xo, podemos
generalizar a frmula (5.4) para uma dzima peridica cujo perodo tem
p dgitos.
Observando que
9
9
99
10p 1
+ + p =
=
,
10
10
10p
10p
9
9
99
10p 1
+
+
=
=
,
10p+1
102p
102p
102p
obtemos
1=
9
10
+ +
10p 1
10p
9
10p
10p 1
102p
9
10p+1
+ +
+ = (10p 1)
102p
1
10p
1
102p
logo,
1
1
1
1
+ 2p + 3p + = p
.
10 10
10
10 1
Portanto, para quaisquer p dgitos a1 . . . ap , tem-se que
ap . . . a 1 ap . . . a 1 ap . . . a 1
+
+
+
0, a1 . . . ap =
10p 102p
103p
1
1
1
= ap . . . a 1
+
+
+ .
10p 102p 103p
Ento,
ap . . . a1
.
(5.5)
10p 1
p
Na expresso acima, lembramos que 10 1 = 9 . . . 9 (em que o dgito 9
5231
aparece p vezes). Por exemplo, 0, 5231 =
. Este argumento permite-nos
9999
concluir que toda dzima peridica simples representa um nmero racional. A
0, a1 . . . ap =
geratriz).
frao geratriz
A geratriz de uma dzima peridica simples uma frao cujo numerador o perodo e cujo denominador o nmero formado por
tantos noves quantos so os algarismos do perodo.
unidades 5 e 6
Definio 4
= 0, 35172
172
35 999 + 172
100 = 35, 172 = 35 +
=
=
999
999
35(1000 1) + 172
35000 + 172 35
35172 35
=
=
=
.
999
999
999
Portanto,
35172 35
.
99900
= 0, b1 . . . bm a1 . . . ap
a1 . . . ap
=
p1
10
b1 . . . bm (10p 1) + a1 . . . ap
b1 . . . bm 10p b1 . . . bm + a1 . . . ap
=
=
10p 1
10p 1
b1 . . . b m a1 . . . a p b1 . . . b m
=
.
10p 1
10 = b1 . . . bm , a1 . . . ap = b1 . . . bm +
Logo,
0, b1 . . . bm a1 . . . ap =
b1 . . . bm a1 . . . ap b1 . . . bm
.
10m (10p 1)
(5.6)
10
mostraremos a seguir.
Para obter a expresso decimal do nmero racional
diviso continuada de
p
, faz-se o processo de
q
140 27
50 0, 518 . . .
230
140
...
14
= 0, 518518 . . .
27
No difcil perceber por que esse processo gera dzimas peridicas. Como
nas divises sucessivas s podem ocorrer os restos
mximo
0, 1, 2, . . . q 1,
aps no
p
? Isto , por que esse algoritmo funciona?
q
De forma mais geral, o procedimento pode ser descrito como a seguir. Pri-
meiro, divide-se
e
p
r0
= a0 + ,
q
q
a0 N, 0 6
11
r0
< 1.
q
(5.7)
Unidade 5
unidades 5 e 6
a0
p
. No segundo passo,
q
a parte inteira de
direita do resto
r0 ,
10r0
r1
= a1 + ,
q
q
a1 N,
06
r1
< 1.
q
a1 6
10r0
q
< 10.
Assim, a
r0
a1
r1
=
+
,
q
10 10q
a1 N, 0 6 a1 < 10,
06
r1
1
< .
10q
10
(5.8)
a1
r1
p
= a0 +
+
,
q
10 10q
a0 , a1 N, 0 6 a1 < 10,
06
r1
1
< .
10q
10
(5.9)
p
.
q
p
o racional
gera uma dzima peridica simples, composta ou uma expresso
q
decimal nita, bem como uma estimativa do nmero de algarismos do perodo,
veja [12, pp. 158-171].
toda expresso decimal peridica representa um nmero racional e que, reciprocamente, todo nmero racional pode ser representado por uma expresso decimal peridica. Ao enunciar
Em resumo, nesta seo, mostramos que
0, 35000 . . .
0.
0.
Por exemplo,
este caso, por ser muito particular. Os argumentos desta seo consistem na
demonstrao do seguinte teorema.
12
Um nmero
peridica.
5.5
Os Nmeros Reais
Vejamos agora como comparar e operar com nmeros reais por meio de suas
representaes decimais.
No possvel generalizar os algoritmos usuais das quatro operaes com
nmeros naturais para expresses decimais de nmeros reais.
Os algoritmos
exemplo?
Podemos entretanto usar os algoritmos para calcular aproximaes racionais
= a0 , a1 a2 . . . e = b0 , b1 b2 . . .,
Nmeros Reais -
A relao de ordem em
R,
= a0 , a1 a2 . . . an . . .
= b0 , b1 b2 . . . bn . . .
6 traduz-se do
se 6= , tem-se que an < bn para o primeiro
tal que
an 6= bn .
13
Unidade 5
Teorema 5
unidades 5 e 6
Os Nmeros Reais
Propriedade Arquimediana Essa propriedade garante que dado um nmero
real
tal que
n>
Densidade dos Racionais Essa propriedade nos diz que os nmeros racionais
formam um conjunto denso nos nmeros reais, ou seja, dados dois nmeros
reais
com
< ,
tal que
<r<
(cf.
Exerccio 9).
Recordando, um nmero real que no racional chamado de
irracional.
nmero
Na prtica, nossos olhos (e mesmo os instrumentos mais delicados de aferio) tm um extremo de percepo (ou de preciso), sendo incapazes de distinguir diferenas inferiores a esse extremo. Portanto, nenhuma medio experimental pode oferecer como resultado um nmero irracional. Deve-se entretanto
lembrar que, quando o raciocnio matemtico assegura a incomensurabilidade,
o nmero racional (com um nmero nito de casas decimais) obtido experimentalmente apenas um valor aproximado o valor exato um nmero irracional.
Por isso, armamos na Unidade 4 que os nmeros racionais do conta das me-
empricas,
medida.
dies
problema terico da
14
Exerccios Recomendados
Os Exerccios 1 a 4 a seguir envolvem tpicos sobre nmeros reais habitualmente tratados na escola, mas com os quais os estudantes costumam ter
algumas diculdades. Por exemplo, o Exerccio 1 envolve um processo simples
de aproximao que pode ser feito em sala de aula, com ajuda de uma calculadora de bolso. Este processo de aproximao pode ser prolongado indenidamente e pode ser usado para construirmos as expresses decimais dos nmeros
irracionais que admitem representao por meio de radicais. Estas expresses
decimais so, em geral, dadas nos livros didticos sem qualquer justicativa,
3.
Os Exerccios 3 e 4 exploram um
1.
10
2.
2,
m
, onde
n
3, 5, 3 2, 3 3
5.
(a) Sob que condies este nmero admite uma representao decimal
nita?
(b) Quando a representao uma dzima peridica simples?
3.
O nmero
4.
0, 123456789101112131415 . . .
racional ou irracional?
cios que pedem para classicar nmeros dados como racionais ou irracionais.
como
0, 1515 . . .
ou
0, 26 . . .,
Voc considera
5.
inverso
o simtrico de x R o (nico) nmero x R
15
x, y R
vale:
Unidade 5
unidades 5 e 6
Exerccios Suplementares
(a)
(x) = x;
(b)
(c)
(x) (y) = x y .
6.
(x) = x?
7.
Sejam dados
= a0 , a1 a2 . . . an . . . e = b0 , b1 b2 . . . bn . . ., nmeros reais
6 traduz-se do seguinte
se =
6 tem-se que an < bn para o primeiro ndice n tal que
an 6= bn .
8.
9.
10.
1.
tal que
n > .
e
nmeros reais, com < , mostre que existe r Q tal que < r < .
Mostre que o conjunto dos racionais denso nos reais, ou seja, dados
Mostre que o conjunto dos irracionais denso nos reais, ou seja, dados
e nmeros
< < .
5.7
reais, com
< ,
R\Q
tal que
Exerccios Suplementares
Nesta unidade (p.
uma relao
4,
considerada uma
(i)
(ii)
relao de ordem
so as propriedades:
reexiva: x 4 x, x X ;
antissimtrica: x, y X , x 4 y , x 4 y x = y ;
16
X,
seja
(iii)
transitiva: x, y, z X , x 4 y , y 4 z x 4 z .
(iv)
Unidade 5
tricotomia: x, y X
x 4 y , x = y , y 4 x.
A,
considere
P(A)
parcial.
A,
isto
A.
P(A).
(b) A ordem denida pela relao de incluso total ou parcial? Justique sua resposta.
2.
ordenado se nele est denida uma relao de ordem compatvel com as operaes algbricas (p. 3), no sentido
que valem as propriedades de monotonicidade. Dizer corpo ordenado e
corpo munido de uma ordem o mesmo? Considere o exemplo a seguir.
Comentamos que um corpo dito
ordem
lexicogrca, denida como segue. Se z1 = a1 + i b1 e z2 = a2 + i b2 so
nmeros complexos, diremos que z1 6 z2 se:
Podemos denir no conjunto dos nmeros complexos, a chamada
a1 < a2
ou (a1
= a2
b1 < b2 )
resposta.
(b) possvel munir
3.
um
dos
Q A.
Alm disso, todos os nmeros reais que admitem expresso por meio de
radicais (tais como
n,
com
k, n N)
17
so algbricos. Assim,
Q ( A.
unidades 5 e 6
Exerccios Suplementares
Q enumervel, isto , pode ser posto em
com N. O objetivo deste exerccio mostrar
tambm enumervel.
(i) A reunio de uma famlia enumervel de conjuntos nitos ou enumerveis um conjunto enumervel.
Sugesto:
n N,
considere
Pn
n (incluindo o polinmio
bijetiva entre Pn e o produto
Zn+1 .
pZ[x]
concluir que
4.
enumervel.
10,
podemos encontrar expresses em relao a uma base N, com 2,
qualquer. Dizemos que um nmero R est expresso na base se ele
Da mesma forma que expressamos um nmero real qualquer na base
escrito na forma:
= a0 +
+
X
an n
n=1
em que
a0 Z
e os
an
so dgitos entre
1.
18
a0 = 0
5.
an = 1, n N.
dada por
(a) Mostre que um nmero racional, representado como frao irredutvel por
p
, admite expresso decimal nita se, e somente se, o
q
denominador
ou
5.
19
Unidade 5
unidades 5 e 6
Textos Complementares
5.8
Na Sala de Aula
Textos Complementares
0, 9999... = 1.
Em sala de aula,
0, 9999 . . . < 1, ento teria que existir um outro nmero real, diferente de 0, 9999 . . . e de 1, que casse entre 0, 9999 . . . e 1. Voc seria capaz
verdade que
20
Unidade 5
Na Sala de Aula
21
unidades 5 e 6
Na Sala de Aula
Textos Complementares
O Valor de
Muitos alunos no ensino bsico concebem os nmeros irracionais (ou mesmo
os nmeros racionais com representao decimal innita) como nmeros que
no tm valor exato ou nmeros aproximados. No existem nmeros cujos
valores no sejam exatos! Para entender isto, basta vericar que cada nmero
real representado por um ponto
xo
Porm,
entre o permetro e o dimetro de um crculo, nos garante que este nmero est
56
bilhes
Talvez essas concepes errneas sejam reforadas por abordagens inadequadas frequentes. No incomum encontrarmos em livros didticos frases do
no
um nmero
irracional, mas ao mesmo tempo ele aparece igualado a um nmero com representao decimal nita. Em situaes em que o uso de aproximaes para
nmeros irracionais necessrio, procure usar preferencialmente frases do tipo
aproxime
por
3, 14
ou considere
= 3, 14.
22
O que 2 ?
Na Sala de Aula
Professor, o que 2 ?
Como voc responderia?
Provavelmente, se a pergunta fosse
o que 23
ou
o que 2 3 ,
1
seria mais
23
23 = 214 =
Analogamente,
23
1
2
= 3
4
2
2.
1 3
1
2 3 = 23 3 = 2.
Portanto, por denio de raiz, devemos ter
23 =
3
2.
a>0
m, n N,
an =
Mas, o que
1
,
an
an =
am .
2 ?
para
completeza
estend-la para R por
Q,
devemos
ax ,
com
Unidade 5
xR
nicado a este smbolo. Entretanto, isto no motivo para que esta questo
23
unidades 5 e 6
Textos Complementares
seja simplesmente ignorada. Muitos livros didticos denem potenciao apenas at expoentes racionais, e, alguns captulos depois, apresentam a funo
exponencial com domnio em
R,
aproximao para
2 ,
por exemplo.
2x
x
3
3, 1
3, 14
3, 141
3, 1415
a coluna da direita
2 .
2 um nmero,
isto existe
tal que
= 2 ,
24
Na Sala de Aula
Muitas vezes o professor do ensino mdio se pergunta o porqu da necessidade de aprender, por exemplo, que os racionais so densos em
R.
De fato,
o argumento de aproximar um nmero real por nmeros racionais ser fundamental na nossa abordagem das funes elementares e ser utilizado em vrias
ocasies, como por exemplo, na demonstrao do Teorema Fundamental da
Propocionalidade, que ser apresentada na Unidade 9, e para denirmos, na
Unidade 13, a exponencial de um nmero real arbitrrio.
Terminamos comentando que, no contexto dos nmeros reais, a densidade
de
R \ Q.
racionais em relao aos irracionais a escrita simples que estes nmeros reais
apresentam, a saber, a escrita na forma
ponto a favor de
Matemtica.
a
,
b
onde
aZ
b N.
Um outro
resultado vlido para todo nmero real, sem diculdade, o provamos para os
racionais a partir da validade do resultado para os inteiros. S depois provamos o
resultado para os irracionais usando aproximaes por racionais, ou seja, usando
a densidade de
em
R.
Unidade 5
do ensino mdio acaba achando desnecessrio, pois na maioria dos textos esta
passagem omitida. claro que no se espera que o professor do ensino mdio
ensine isso aos seus alunos com todo o formalismo, mas necessrio que ele
tenha bem claro em mente o signicado do que est tentando ensinar.
25
unidades 5 e 6
Na Sala de Aula
Textos Complementares
2,
...
Qc
pode
Podemos
ajudar os alunos do ensino mdio a construir tal noo intuitiva por meio da
representao decimal.
0!
26
N, Q
nmero em alemo.
27
Unidade 5
nmero
(ou
unidades 5 e 6
Textos Complementares
O que um Axioma?
Como sabemos,
teoremas
tros por meio de implicaes lgicas. Entretanto, como para demonstrar fatos
matemticos, precisamos conhecer previamente outros fatos verdadeiros, essas
cadeias de implicaes no podem regredir indenidamente, preciso comear
de algum lugar.
Por isso, muitas teorias matemticas so estabelecidas axiomaticamente,
isto , construdas tendo como alicerce uma lista de
axiomas,
que so
fatos
suciente, no sentido
perfeitamente caracterizado, sem que
que o objeto
haja a possi-
mnima, no sentido
que no devem ser includos como axiomas fatos que possam ser demonstrados
como teoremas a partir dos demais axiomas.
possam ser estabelecidas.
28
Unidade 5
Descrever
tido que
senIsto
representados).
Em particular, a propriedade de
caracterizao. Observe que
Q,
completeza
29
unidades 5 e 6
Textos Complementares
30
nmero real,
que associa a cada expresso decimal um nmero real uma funo sobrejetiva
e quase injetiva.
A primeira das armaes acima (sobrejetividade) signica que,
arbitrariamente um nmero real positivo
a0 , a1 a2 . . . an . . .
dado
tal que
a0
a1
a2
6 ;
1 = a0 +
2 = a0 +
a1
10
a1
10
6 ;
a2
+ 10
2 6 ;
n = a0 +
a1
10
+ ... +
Ento, como j
tomando sucessivamente
.
.
.
an
> 0.
.
.
.
Por exemplo, quando escrevemos que
= 3, 14159265...
an
10n
6 ;
estamos dizendo
que
3 < < 4;
3, 1 < < 3, 2;
3, 14 < < 3, 15,
etc.
0 6 an 6 8,
a0 , a1 . . . an 999 . . .
a0 , a1 . . . (an + 1)000 . . . .
3, 275999 . . . = 3, 276000 . . .
31
0, 999 . . . = 1, 000 . . . .
Unidade 5
unidades 5 e 6
Textos Complementares
32
Unidade 5
A Diagonal de Cantor
f : N R,
de
nmeros reais. Podemos construir essa lista representando cada um dos nmeros
reais na forma decimal (por simplicidade, consideramos apenas nmeros reais
entre
1):
1
2
3
4
5
.
.
.
.
.
.
ao longo da diagonal,
tro-
formamos uma nova expresso decimal, que representa um nmero real. Por
construo, o nmero real assim formado difere de qualquer um dos presentes
na lista,
de todos aqueles constantes da lista. Com isso, conclumos que nenhuma funo
f :NR
pode cobrir os reais totalmente, pois sempre que for dada tal
33
unidades 5 e 6
Textos Complementares
funo, seremos capazes de exibir um nmero real que no pertence sua imagem. Por causa dessa ilustrao, o argumento cou conhecido como
diagonal
de Cantor.
Quando um conjunto nito ou tem a mesma cardinalidade que
que ele
enumervel.
N,
diz-se
R no enumerque Q enumervel.
Qc dos nmeros
c
irracionais no-enumervel (pois, como Q enumervel, se Q fosse enumervel, R tambm seria). Isto signica que existem muito mais nmeros irracionais
racionais, teremos
R = QQ
Qc
do que racionais!
Podemos ir ainda mais alm. Veremos no Exercco 3 que, se acrescentarmos
aos racionais todos os nmeros irracionais que possuem expresso por radicais
(tais como
3,
5,
4
3
Isto quer dizer que existem muito mais nmeros que no admitem representao
por radicais ou como fraes (tais como
tais representaes!
34
e),
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitom-
Rio de Janeiro:
New York:
Rio de Janeiro:
SBM, Coleo
Anlise I
Coordenadas no Espao.
Professor de Matemtica.
[10] Lima, Elon Lages.
SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages.
Matemtica.
[12] Lima, Elon Lages.
35
Rio
unidades 5 e 6
REFERNCIAS BIBLIOGRFICAS
Anlise Real,
Matemtica Universitria.
36
axiomas.
Os nmeros
O que um Axioma?
Como sabemos,
teoremas
tros por meio de implicaes lgicas. Entretanto, como para demonstrar fatos
matemticos, precisamos conhecer previamente outros fatos verdadeiros, essas
cadeias de implicaes no podem regredir indenidamente, preciso comear
de algum lugar.
axiomas,
que so
fatos
suciente, no sentido
perfeitamente caracterizado, sem que
que o objeto
haja a possi-
mnima, no sentido
que no devem ser includos como axiomas fatos que possam ser demonstrados
como teoremas a partir dos demais axiomas.
possam ser estabelecidas.
R formalmente
x 6 y , que compatvel com a adio e multiplicao pelas leis conhecidas como monotonicidades:
Para todos x, y, z R,
O termo
x 6 y = x + z 6 y + z,
Finalmente, a
completeza
de
relao de ordem
x 6 y , z > 0 = x z 6 y z.
constitui-se de uma
O segundo grupo de axiomas estabelece as propriedades referentes ordem: as propriedades reexiva, antissimtrica e transitiva, que so as condies mnimas para que se tenha uma relao de ordem; a tricotomia,
que garante que dois nmeros reais
quaisquer so comparveis,
x > y;
x < y, x = y
ou
R:
completeza.
Nesta unidade, explicitaremos este ltimo axioma quando tratarmos da representao decimal dos reais.
Descrever
tido que
senIsto
representados).
Em particular, como observamos acima, a propriedade de
um papel crucial nesta caracterizao. Observe que
completeza
tem
0, 9999... = 1?
Na Sala de Aula
0, 9999... = 1.
Em sala de aula,
0, 9999 . . . < 1, ento teria que existir um outro nmero real, diferente de 0, 9999 . . . e de 1, que casse entre 0, 9999 . . . e 1. Voc seria capaz
verdade que
Na Sala de Aula
sempre bom lembrar que, como toda expresso decimal innita representa
o limite de uma srie, ento as operaes que fazemos para deduzir as frmulas
de fraes geratrizes de dzimas peridicas no so simples operaes no sentido
algbrico, e sim operaes com limites. Portanto, essas operaes s so vlidas
porque sabemos de antemo que todos os limites com que operamos existem.
Se aplicarmos operaes com limites sem ter essa certeza, podemos chegar a
resultados inconsistentes.
Na Sala de Aula
Muitas vezes o professor do ensino mdio se pergunta o porqu da necessidade de aprender, por exemplo, que os racionais so densos em
R.
De fato,
o argumento de aproximar um nmero real por nmeros racionais ser fundamental na nossa abordagem das funes elementares e ser utilizado em vrias
ocasies, como por exemplo, na demonstrao do Teorema Fundamental da
R \ Q.
racionais em relao aos irracionais a escrita simples que estes nmeros reais
apresentam, a saber, a escrita na forma
ponto a favor de
Matemtica.
a
,
b
onde
aZ
b N.
Um outro
resultado vlido para todo nmero real, sem diculdade, o provamos para os
racionais a partir da validade do resultado para os inteiros. S depois provamos o
resultado para os irracionais usando aproximaes por racionais, ou seja, usando
a densidade de
em
R.
do ensino mdio acaba achando desnecessrio, pois na maioria dos textos esta
passagem omitida. claro que no se espera que o professor do ensino mdio
ensine isso aos seus alunos com todo o formalismo, mas necessrio que ele
tenha bem claro em mente o signicado do que est tentando ensinar.
O Valor de
Na Sala de Aula
xo
entre o permetro e o dimetro de um crculo, nos garante que este nmero est
56
bilhes
Talvez essas concepes errneas sejam reforadas por abordagens inadequadas frequentes. No incomum encontrarmos em livros didticos frases do
no
um nmero
irracional, mas ao mesmo tempo ele aparece igualado a um nmero com representao decimal nita. Em situaes em que o uso de aproximaes para
nmeros irracionais necessrio, procure usar preferencialmente frases do tipo
aproxime
por
3, 14
ou considere
= 3, 14.
O que
2 ?
Na Sala de Aula
Professor, o que 2 ?
Como voc responderia?
o que 23
ou
o que 2 3 ,
1
seria mais
23
23 = 214 =
Analogamente,
23
1
2
= 3
4
2
2.
1
3
3
= 23 3 = 2.
23 =
3
2.
a>0
m, n N,
an =
Mas, o que
1
,
an
an =
am .
2 ?
para
completeza
estend-la para R por
Q,
devemos
ax ,
com
xR
nicado a este smbolo. Entretanto, isto no motivo para que esta questo
seja simplesmente ignorada. Muitos livros didticos denem potenciao apenas at expoentes racionais, e, alguns captulos depois, apresentam a funo
exponencial com domnio em
R,
aproximao para
2 ,
por exemplo.
2x
x
3
3, 1
3, 14
3, 141
3, 1415
a coluna da direita
2 .
2 um nmero,
isto existe
tal que
= 2 ,
A Diagonal de Cantor
f : N R,
de
nmeros reais. Podemos construir essa lista representando cada um dos nmeros
reais na forma decimal (por simplicidade, consideramos apenas nmeros reais
entre
1):
1
2
3
4
5
.
.
.
.
.
.
ao longo da diagonal,
tro-
formamos uma nova expresso decimal, que representa um nmero real. Por
construo, o nmero real assim formado difere de qualquer um dos presentes
na lista,
de todos aqueles constantes da lista. Com isso, conclumos que nenhuma funo
f :NR
pode cobrir os reais totalmente, pois sempre que for dada tal
funo, seremos capazes de exibir um nmero real que no pertence sua imagem. Por causa dessa ilustrao, o argumento cou conhecido como
diagonal
de Cantor.
Quando um conjunto nito ou tem a mesma cardinalidade que
que ele
enumervel.
N,
diz-se
R no enumerque Q enumervel.
R = Q Qc .
Qc
Qc
dos nmeros
R tambm seria).
Q enumervel, se Qc
fosse enumer-
do que racionais!
Podemos ir ainda mais alm. Se acrescentarmos aos racionais todos os nmeros reais que so razes de polinmios com coecientes inteiros (chamados
de nmeros algbricos) o que inclui os irracionais que possuem expresso por
radicais (tais como
4 3
3, 3 5,
2 + 1,
enumervel. Isto quer dizer que existem muito mais nmeros que no admitem
representao como fraes ou por meio de radicais (tais como
e),
do que
Na Sala de Aula
2,
...
Qc
pode
Podemos
ajudar os alunos do ensino mdio a construir tal noo intuitiva por meio da
representao decimal.
0!
10
O que Completeza?
1.
2.
(Teorema
de Bolzano-Weierstrass)
3.
4.
5.
(Propriedade
do Supremo)
completeza
Dizemos que um
conjunto
X R
supremo
de
X.
A menor
Q,
X = x Q ; x2 < 2 .
No difcil ver que esse conjunto limitado superiormente. Alm disso,
seu supremo
s,
11
s2 = 2.
no tem supremo em
Q.
[??] ou [??].
Isto ocorre porque
Na posio
Referncias Bibliogrcas
[1] Ferreira, J.
Anlise I
Curso de Anlise,
12
Vol.
1.
Rio de Janeiro:
SBM,
Estas noes esto relacionadas com alguns tpicos sobre os quais os alunos
do ensino fundamental e do ensino mdio, em geral, tm grandes diculdades,
tais como, resoluo de inequaes, funes e equaes modulares. Para que
possamos ajud-los a sanar tais diculdades, a reexo sobre alguns aspectos
tericos relacionados com essas ideias essencial.
Na seo 4.4,
nas propriedades
positivos.
um corpo
ordenado.
Certique-se de compreender
R.
Outra observao importante diz respeito ao sinal menos (). comum
x,
tal que
Na comeo
x + (x) = 0.
da seo 4.5. Intervalos,
x, y I , x < z < y z I .
Isto , um intervalo pode ser caracterizado como um subconjunto
que todo nmero localizado entre dois elementos de
de
I.
tal
tambm um elemento
I R
R.
R. comum encontrarmos
em livros didticos comentrios do tipo: entre dois nmeros reais quaisquer,
existe um nmero racional e um nmero irracional. Como j observamos na
Unidade 4, consequncia imediata desta propriedade o fato de que, entre dois
nmeros reais quaisquer, existem
a < b.
Quando a = b, devemos incluir na lista de tipos de intervalos o conjunto vazio
e os conjuntos unitrios {a} que correspondem aos casos chamados intervalos
degenerados. importante observar que devemos incluir os casos de intervalos
Na denio de intervalo, optou-se por incluir apenas os casos em que
por vacuidade.
Esta
conjunto conexo.
Os leitores
Valor Absoluto,
envolve
como
distncia at a origem,
|x y|
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
[2] Lima, Elon Lages.
Anlise I
Curso de Anlise,
Vol.
1.
Rio de Janeiro:
SBM,
7
Desigualdades,
Intervalos e
Valor Absoluto
Sumrio
7.1
Introduo
. . . . . . . . . . . . . . . . . . . . . . .
7.2
Desigualdades
. . . . . . . . . . . . . . . . . . . . .
7.3
Intervalos . . . . . . . . . . . . . . . . . . . . . . . .
7.4
Valor Absoluto . . . . . . . . . . . . . . . . . . . . .
7.5
Exerccios Recomendados . . . . . . . . . . . . . . .
10
7.6
Exerccios Suplementares
. . . . . . . . . . . . . . .
11
7.7
Textos Complementares . . . . . . . . . . . . . . . .
12
Unidade
Introduo
7.1
Introduo
Estas noes esto relacionadas com alguns tpicos sobre os quais os alunos
do ensino fundamental e do ensino mdio, em geral, tm grandes diculdades,
tais como, resoluo de inequaes, funes e equaes modulares. Para que
possamos ajud-los a sanar tais diculdades, a reexo sobre alguns aspectos
tericos relacionados com essas ideias essencial.
Na Seo 2 (Desigualdades), convidamos o leitor a prestar bastante ateno
nas propriedades (P1) e (P2), que denem o conjunto
positivos.
R+ ,
um corpo
ordenado.
Certique-se de compreender
R.
Outra observao importante diz respeito ao sinal menos (). comum
x,
tal que
x + (x) = 0.
x, y I , x < z < y z I .
Isto , um intervalo pode ser caracterizado como um subconjunto I R tal
que todo nmero localizado entre dois elementos de I tambm um elemento
de I . Assim, um intervalo um subconjunto de R que no tem buracos, ou,
em termos matemticos, um subconjunto conexo de R.
o caso). Esta discusso pode ser empregada para ajudar os alunos a superarem
a ideia conceitualmente incorreta de innito como um nmero muito grande .
Como observaremos na Seo 3, a ideia de intervalo tambm nos permite
descrever a importante propriedade de densidade dos nmeros racionais e irracionais em
R.
entre dois
nmeros reais quaisquer, existe um nmero racional e um nmero irracional.
comum encontrarmos em livros didticos comentrios do tipo:
innitos
nmeros
imediata para os alunos. Assim, vale a pena frisar de forma mais contundente
a distribuio dos nmeros racionais e irracionais na reta real.
O conceito de mdulo, abordado na Seo 4 (Valor Absoluto), envolve
comumente diculdades de compreenso por parte dos alunos, especialmente
quando o problema exige separar em casos uma expresso algbrica envolvendo
mdulos. Assim, importante ter clara a equivalncia entre as duas denies
de valor absoluto dadas no incio da Seo 4, bem como sua interpretao
como
distncia at a origem,
7.2
|x y|
Desigualdades
A relao de desigualdade
x<y
todas
R+ .
Assim,
R+ = {x R ; x > 0}.
As propriedades bsicas dos nmeros positivos, das quais resulta tudo o que
se pode provar sobre desigualdades, so as seguintes:
Unidade
Unidade
Desigualdades
positivo, ou
x + x = 0. E
escreve-se x < 0.
que
e
quando
y > x)
1. Tricotomia.
alternativas:
so obtidas a seguir.
x, y R vale uma,
x < y , x = y ou y < x;
Dados
2. Transitividade.
Se
x<y
3. Monotonicidade da adio.
y < z,
Se
ento
x < y,
x < z;
x + z < y + z;
4. Monotonicidade da multiplicao.
Se
(o que signica
x < y)
tem-se
yx
z R,
ou zero (e ento
x = y)
ou negativa
y < x).
x<yey<z
z x = (y x) + (z y)
yx
positiva, ou
z y so
seja, x < z .
e
mente da denio de
Ora,
x + x0 < y + x0
x + x0 < y + y 0 .
y + x0 < y + y 0 .
Unidade
Por
z > 0,
logo
(y x)z > 0,
ou seja
duas desigualdades, desde que os nmeros que nelas ocorrem sejam positivos.
O enunciado preciso :
4'.
ento
xx0 <
x<y
Sejam
x, y, x0 , y 0
nmeros positivos. Se
x<y
x0 < y 0 ,
yy 0 .
0
y,
obtendo
e ambos os membros de
yx0 < yy 0 .
x <y
xx0 < yy 0 .
x, x0 , y e y 0
0
demonstrao acima requer apenas a positividade de x e y
0
da resulta tambm que y > 0.)
(4'), basta que apenas trs dos quatro nmeros
sejam positivos. (A
mas, como
x0 < y 0 ,
5.
Se
x 6= 0
ento
x2 > 0
positivo).
x>0
por (P2), (x)(x) > 0.
Com efeito, se
6.
Se
0 < x < y
ento,
ento
1
x
= x ( x1 )2
7.
Se
isto ,
x<y
x<y
Logo,
1/xy ,
vem
negativo, ento
xz > yz
Unidade
Desigualdades
y x e z positivo, isto
vem xz yz > 0. Portanto,
(y x)(z) > 0.
xz > yz .
,
Efetuando a multiplicao,
x<c
ou
x > c.
x 6 y para signicar a negao de y < x.
x < y ou x = y . Por exemplo, so verdadeiras
x 6 y signica que
armaes 3 6 3 e 5 6 7.
Portanto,
as
orientado, o ponto de
Sejam
x = a0 , a1 . . . an . . .
e y = b0 , b1 . . . bn . . .
x < y?
Certamente tem-se
x<y
Como se
quando
a0 < b0 .
(Lembre-se que estamos descartando as expresses decimais que terminam com uma sequncia de noves.) Ou ento, quando
Ou, quando
a0 = b 0 , a1 = b 1 ,
mas
a2 < b 2 .
a0 = b 0
a1 < b1 .
Tem-se
Algebricamente :
x<y
y = x + d.
palavras, vale
tal que
d = yx
x<y
Unidade
x<y
7.3
Intervalos
Sejam
a, b
denidos so chamados
a < b.
Os nove subconjuntos de
intervalos1 .
[a, b] = {x R ; a x b};
(a, b) = {x R ; a < x < b};
[a, b) = {x R ; a x < b};
(a, b] = {x R ; a < x b};
abaixo
(, b] = {x R ; x b};
(, b) = {x R ; x < b};
[a, +) = {x R ; a x};
(a, +) = {x R ; a < x};
(, +) = R.
limitados, com extremos a, b. O intervalo [a, b] fechado, (a, b) aberto, [a, b) fechado esquerda, (a, b]
fechado direita. Os cinco intervalos da direita so ilimitados. O intervalo
(, b] a semirreta esquerda, fechada, de origem b. Os demais tm denominaes anlogas. Deve-se ressaltar enfaticamente que os smbolos + e
no representam nmeros reais. Neste contexto, so apenas partes da notao
Os quatro intervalos da esquerda so
de intervalos ilimitados.
7.4
O
|x|,
N, Z
Q)
os subconjuntos
Valor Absoluto
de um nmero real
denido pondo-se
x,
Definio 1
Unidade
Valor Absoluto
(
|x| =
x,
x,
x0
x < 0.
se
se
| |.
|x| =
x2 .
a:
ao ponto
sobre o eixo
(gura 7.1).
Y
y
X
x
|x y|
y,
|x 2| = 3
(se
estiver direita de 2) ou
intervalo aberto
Terminamos esta unidade observando que quando se lida com valores ab-
|x|
igual a
ou a
x.
necessrio especicar
quando que se tem cada um desses casos. Esta observao deve ser aplicada
especialmente na resoluo de desigualdades.
Unidade
Unidade
Exerccios Recomendados
7.5
1.
Exerccios Recomendados
E = (0, 2]
2.
Dados os intervalos
dizer se
5x + 3
> 2 5x + 3 > 4x + 2 x > 1;
2x + 1
2x2 + x
(b)
< 2 2x2 + x < 2x2 + 2 x < 2.
x2 + 1
a
c
Sejam a, b, c, d > 0 tais que
< . Mostre que
b
d
(a)
3.
a+c
c
a
<
< .
b
b+d
d
Interprete este resultado no caso em que
a, b , c
so inteiros positi-
4.
5.
|x 1| = 4;
|x + 1| < 2;
|x 1| < |x 5|;
|x 2| + |x + 4| = 8;
|x 2| + |x + 4| = 1.
Sejam
a + b 2
2
<
a2 + b 2
.
2
6.
x < 1, 4588 e
y at milsimos. Que grau de preciso, a partir da, podemos ter para o
valor de xy ? Determine esse valor aproximado. Como procederamos para
10
x/y ?
no caso do quociente?
7.
0, n1
7.6
1.
Exerccios Suplementares
Prove que se
a, x
axa+
para todo
2.
n N,
x = a.
x<7
implica
(b) No existe
(c) Para todo
3.
ento
y
,
n
|x| < 7;
xR
x R,
Resolva a inequao
tal que
existe
|x 3| = |x 4|;
y>0
tal que
|2x + y| = 5.
1
1
<
.
2x + 1
1x
11
Unidade
Unidade
Textos Complementares
7.7
Textos Complementares
Intervalos degenerados
Na denio 1, optamos por incluir apenas os casos em que
a = b,
a < b.
Quando
conjuntos unitrios
degenerados.
{a}
e os
intervalos
importante observar que devemos incluir os casos de intervalos degenerados para que seja vlida a seguinte caracterizao:
x, y
x, y ,
em particular
A caracterizao acima permite-nos mostrar que a noo de intervalo corresponde a um caso particular (no caso da reta real) do conceito mais geral
de
conjunto conexo.
12
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitom-
Rio de Janeiro:
New York:
Rio de Janeiro:
SBM, Coleo
Anlise I
Coordenadas no Espao.
Professor de Matemtica.
SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages.
Matemtica.
[12] Lima, Elon Lages.
Rio
Anlise Real,
Matemtica Universitria.
13
contexto concreto,
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
[2] Lima, Elon Lages.
Curso de Anlise,
Vol.
LTC, 1996.
1.
Rio de Janeiro:
SBM,
8
Funes Reais e
Grficos
Sumrio
8.1 Introduo . . . . . . . . . . . . . . . . . . . . . . .
8.2 Grcos . . . . . . . . . . . . . . . . . . . . . . . . .
13
15
17
21
23
25
27
31
Unidade
Introduo
8.1 Introduo
Em muitos casos, a abordagem para o conceito de funo em livros didticos
do ensino bsico organizada em trs contexto distintos: um
contexto concreto,
contexto abstrato,
8.2 Grcos
Uma funo na forma
f :DRR
real (pois
R) de varivel real
(pois sua varivel independente assume valores reais, isto , seu domnio
um subconjunto de
R).
R2 :
G(f ) = (x, y) R2 ; x D , y = f (x) .
(x, y) pertence ao grco de f se, e somente se, x D e
os nmeros reais x e y satisfazem a lei de associao de f . Em outras palavras,
o grco de uma funo f o lugar geomtrico dos pontos que satisfazem sua
lei de associao. Por mais bsico que possa parecer este fato, nem sempre ele
Assim, um ponto
Unidade
Unidade
Grficos e Tabelas
Exemplo 1
h : R \ {0} R, denida
x
por h(x) =
, traada por um
|x|
programa de computador.
grco est correto?
0
5 4.5 4 3.5 3 2.5 2 1.5 1 0.5
0.5
1.5
2.5
3.5
4.5
Por que
h,
x=0
no pertence
(
f (x) =
1 se x > 0
1 se x < 0
Unidade
2
1
4
1
1
tender como ele foi traado pelo computador: foi calculado um nmero grande
(porm nito) de valores e os pontos correspondentes foram interpolados, sem
que fossem levadas em conta as propriedades qualitativas da funo (no caso, a
interrupo do grco). Por isso, o programa ligou os pontos
(0, 1)
(0, 1),
como esse segmento fosse parte do grco (o que contradiria o prprio fato de
Considere a funo
que,
e
3,
30
25
20
x
3
2
1
0
1
2
3
p(x)
15
28
15
6
1
0
3
10
10
5
3
1
5
10
Exemplo 2
Unidade
Grficos e Tabelas
3
, 14 . claro
4
Exemplo 3
Considere agora
q:RR
denida por
30
q(x)
20
3 84
2 30
1 6
0
0
1
0
2
6
3
30
10
3
1
10
20
30
[0, 1],
nos permitam localizar esses pontos, pois para isso precisaramos lanar mo de
mtodos do clculo innitesimal. Porm, fatorando a funo
q,
obtemos
q : x1 = 0 , x2 =
1
e
2
x3 = 1 .
Alm
x<
1
ou
2
x > 1,
conclumos que
q(x) < 0
q(x) > 0
para
para
1
2
Assim,
vale
intervalo
,1
0, 12
e positiva em seu
1
Unidade
vale
nas extremidades do
q(x)
0, 1
0, 2
0, 3
0, 4
0, 5
0, 6
0, 7
0, 8
0, 9
0, 072
0, 096
0, 084
0, 048
0
0, 048
0, 084
0, 096
0, 072
[0, 1].
0.4
0.3
0.2
0.1
0.1
0.1
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
1.1
0.2
0.3
0.4
e do comportamento de
no intervalo
[0, 1].
0.4
0.3
30
0.2
20
0.1
10
3
1
10
0.1
0.1
1
0.1
0.2
20
0.3
30
0.4
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
1.1
Unidade
Grficos e Tabelas
o
o
sentados aos alunos so as de 1 e 2 graus. Exemplos elementares de funes
polinomiais de graus maiores, e mesmo funes racionais simples, podem ser
analisados, por meio da combinao de mtodos qualitativos (tais como fatorao e estudo de sinais) e quantitativos (substituio de valores, escolhidos
levando-se em conta as propriedades da funo em questo). Esses mtodos
no apresentam diculdades conceituais adicionais para os alunos no ensino mdio, desde que aplicados a exemplos elementares. Mesmo que no seja possvel
determinar as posies exatas de pontos de mximo e de mnimo, essa combinao de mtodos permite esboos razoavelmente aproximados. Sobretudo, este
tipo de anlise pode contribuir para ampliar a compreenso dos alunos sobre
grcos de funes, com foco nas relaes entre o aspecto dos grcos e as
propriedades algbricas das funes.
Exemplo 4
Considere agora
g:RR
denida por
g(x) = x4 x3 2x2 .
Ento,
Logo, as razes de
so:
tambm que
g(x) < 0
g(x) > 0
x1 = 1, x2 = 0
para
para
x3 = 2 .
Podemos concluir
x = 0, 5.
(com ajuda
g(x)
1, 5
1
0, 5
0
0, 5
1
1, 5
2
2, 5
3, 9375
0
0, 3125
0
0, 5625
2
2, 8125
0
10, 9375
Unidade
4
3
2
1
1.5 1.0 0.5
1
0.5
1.0
1.5
2.0
2.5
2
3
g.
importante
ressaltar que, para ter certeza do aspectos do grco, teramos que usar mtodos
analticos do clculo innitesimal.
4
3
2
1
1.5 1.0 0.5
1
0.5
1.0
1.5
2.0
2.5
2
3
x2
. No difcil ver que a nica
x1
raiz de r x = 2, que r(x) > 0 para x < 1 ou x > 2 e que r(x) < 0 para
1 < x < 2. Uma tabela com valores inteiros de x nos d o seguinte resultado.
Considere
r : R \ {1} R, r(x) =
Exemplo 5
Unidade
Grficos e Tabelas
5
4
r(x)
5
4
3
2
1
0
2
3
4
5
7/6
6/5
5/4
4/3
3/2
2
0
1/2
2/3
3/4
2
1
5
1
1
2
3
4
5
x cam grandes em
mdulo (tanto positivos quanto negativos), os valores de r(x) cam cada vez
mais prximos de 1. Isto ocorre porque, para valores grandes de x as constantes
x2 x
2 e 1 tendem a car desprezveis, portanto temos que x1
= x = 1.
Os valores acima sugerem que, quando os valores de
na
x = 1.
10
10
8
r(x)
0, 5
0, 6
0, 7
0, 8
0, 9
1, 1
1, 2
1, 3
1, 4
1, 5
3
3, 5
4, 333 . . .
6
11
9
4
2, 333 . . .
1, 5
1
4
2
0
0.2
0.4
0.6
0.8
1.0
1.2
1.4
1.6
1.8
2
4
6
8
10
x se aproxima de 1,
os valores de
0,
mdulo).
Esta discusso uma forma intuitiva de introduzir a noo de limite. No
caso, temos
lim r(x) = +,
x1
lim r(x) = , .
x1+
11
r:
x+
Unidade
Unidade
Grficos e Tabelas
5
4
3
2
1
5
1
1
2
3
4
5
Em suma, importante que que claro para os alunos que uma tabela de
valores sempre fornecer um retrato aproximado do grco. Por exemplo, no
Exemplo 4, escolhemos compor a tabela com valores com
x = 0, 5,
porm
valores com espaamento menor dariam um esboo mais preciso do grco. Por
isso, o uso de tabelas de valores para a construo de grcos sempre deve ser
articulada com a anlise
Mesmo assim,
algumas questes com respeito ao comportamento grco de funes permanecero em aberto no ensino mdio, pois suas respostas demandam mtodos e
argumentos do Clculo Innitesimal.
No caso do Exemplo 4, a escolha dos valores com
na constatao de que
x = 0, 5
baseou-se
intervalo
(uma
]0, 2[ ).
g.
No
x=1
12
e quando
cresce indenidamente.
Unidade
f (x) = 0,
f.
x4 x3 2x2
x4 x3 2x2
x4 x3 2x2
x4 x3 2x2
<0
60
>0
>0
o conjunto
o conjunto
o conjunto
o conjunto
] 1, 0[ ]0, 2[ .
[1, 2].
] , 1[ ]2, +[ .
] , 1] [2, +[ .
2
1
1
1
2
13
Exemplo 6
Unidade
Exemplo 7
Consideremos a inequao
2x 1
> 3,
x2
para
x R.
grau
2x 1 > 3x 6,
cuja soluo
x2
x < 5.
Entretanto, em
x = 2 da soluo da inequao.
Alm
Se
Portanto, os valores que satisfazem inequao neste intervalo so aqueles tais que
Se
2 < x < 5.
]2, 5[ .
g : R\{2} R, g(x) =
2x 1
,
x2
5
4
3
2
1
5
1
1
14
Unidade
[0, +[ .
[1, +[
Isto , o conjunto
y=
o intervalo
f3 : N R
o
maior subconjunto de R possvel que pode ser denido como domnio de uma
funo cuja lei de associao estabelecida pela expresso algbrica dada. Essa
Em geral, a inteno com exerccios deste tipo pedir que se determine
linguagem pode ser um tanto rebuscada para o ensino bsico, mas importante
que os alunos entendam que o domnio de uma funo denido junto com a
funo, e no algo que se determina posteriormente. Este fato pode ser ilustrado
por problemas em que usamos funes para modelar situaes concretas, pois
nestes casos o domnio escolhido depender das condies do problema.
x,
S(x) = x
1
x .
2
Se olharmos apenas para a expresso algbrica acima, veremos que ela pode
ser denida para
a
funo rea,
x R.
15
Exemplo 8
Unidade
Grficos e Domnios
0<x<
1
. Assim,
2
denimos:
S:
0, 21
x
R
x
1
2
0,1
0
0,1
0,2
0,3
0,5
0,4
x =
1
.
4
Portanto, a
1
soluo do problema o quadrado de lado
.
4
Exemplo 9
Em muitos casos, no ensino bsico, abordamos situaes envolvendo grandezas que dependem de variveis que assumem apenas valores discretos, como
por exemplo:
Para
p: N
R
n 7 0, 25 n
Neste caso, o grco de
2.5
2.0
1.5
1.0
0.5
0
1
compramos
lpis, ou
2
n,
lpis).
denimos
0, 25 n
com domnio
9
faa sentido para
(em geral, no
p
que no devem ser ligados.
N,
16
a, b, c, d
em famlia de curvas
2
1
6
1
1
y = sin(x), y = sin(x) + 1
y = sin x
2
1
6
1
1
y = sin(x), y = 2 sin(x)
17
y = sin
x
.
2
.
4
Unidade
Unidade
Quando somamos uma constante funo, deslocamos o grco verticalmente; e quando somamos uma constante varivel independente, deslocamos
o grco horizontalmente. Quando multiplicamos uma funo trigonomtrica
por uma constante, dilatamos ou contramos o grco verticalmente, isto ,
alteramos a amplitude. Quando multiplicamos a varivel independente de uma
funo trigonomtrica por uma constante, dilatamos ou contramos o grco
horizontalmente, isto , alteramos a frequncia e o perodo (de forma inversamente proporcional). Estes efeitos no so restritos s funes trigonomtricas
(ou s funes peridicas), e podem ser generalizados para funes reais quaisquer (independentemente da funo ter amplitude, frequncia ou perodo). De
forma geral, temos que:
os parmetros aditivos
os parmetros multiplicativos
a.
deslocamento vertical:
positivo;
negativo.
no
unidades varivel
x, para que um elemento do domnio desta nova funo tenha a mesma imagem
que um elemento do domnio da funo original, este deve ser subtrado de b
unidades. Isto provoca um deslocamento horizontal do grco:
18
negativo;
for positivo.
Uma tabela com valores convenientemente escolhidos pode ajudar a entender estes efeitos.
f1 (x) = sen x 4 .
valores da varivel x, de x
4
f, f1 : R R,
f1 (x).
x
0
3
2
f1 (x)
4
3
4
5
4
7
4
9
4
0
1
0
1
0
corresponde a multiplicar
dilatao vertical.
ao eixo horizontal.
reexo em relao
Assim, temos:
1;
d.
1;
1;
0.
19
Unidade
Unidade
d.
dilatao
reexo em relao ao eixo
1;
e
1;
1;
0.
Como no caso das translaes horizontais, uma tabela pode ajudar a enten-
f, f2 : R R,
x
. A tabela abaixo relaciona os valores da
2
na Figura 8.2.
1
2
3
2
0
0
1
2
0
3 1
4
0
Unidade
crescentes
ou
decrescentes
Seja
(i)
Definio 1
f : D R R.
(ii)
montona no decrescente se x1 , x2 D,
x1 < x2 f (x1 ) 6 f (x2 );
(iii)
(iv)
montona no crescente se x1 , x2 D,
Seja
(i)
todo
(ii)
Definio 2
f : D R R.
x D;
todo
x D;
se
para
se
f (x0 ) 6 f (x),
para
(iii)
x0 D um
todo x D ;
(iv)
x0 D um
todo x D ;
(v)
x0 D um
f (x0 ) > f (x),
f se
x D ]x0 r, x0 + r[ ;
21
de
existe
r >0
tal que
Unidade
(vi)
Exemplo 10
x0 D um
f (x0 ) 6 f (x),
A funo
para todo
f se existe r > 0
x D ]x0 r, x0 + r[ .
h :] 1, 6] R,
3 x x2 se x 6 2
|x 4| + 1 se x > 2
4
3
2
1
1
1
2
3
4
Ento,
tal que
(
h(x) =
de
h:
3 9
, ;
2 4
crescente em
decrescente
(2, 2)
e em
(4, 1);
(6, 3);
1, 32 e em [ 4, 6 ];
3
em
, 2 e em ]2, 4 ].
2
22
Unidade
Uma funo
a, b R
tais que
Definio 3
Exemplo 11
f :RR
sejam
fornecidos explicitamente.
O preo a pagar por uma corrida de txi dado por uma funo am
f : x 7 ax + b,
em que
a chamada
bandeirada
e o coeciente
f : x 7 ax + b uma
linha reta. Para isto, basta mostrar que trs pontos quaisquer P1 = (x1 , ax1 +b),
P2 = (x2 , ax2 + b) e P3 = (x3 , ax3 + b) desse grco so colineares. Para que
Veremos a seguir que o grco de uma funo am
isto ocorra, necessrio e suciente que a maior das trs distncias entre pares
desses pontos seja igual soma das outras duas (gura 8.3). Ora, podemos
sempre supor que as abscissas
x1 , x2
x3
so tais que
x1 < x2 < x3 .
p
d(P1 , P2 ) = (x2 x1 )2 + a2 (x2 x1 )2
= (x2 x1 ) 1 + a2 ;
d(P2 , P3 ) = (x3 x2 ) 1 + a2 ;
d(P1 , P3 ) = (x3 x1 ) 1 + a2 .
23
A frmula
Exemplo 12
Unidade
A Funo Afim
(0, b)
P2
P1
P3
OY .
Ou seja, que se o grco de uma funo uma reta no vertical, ento a funo
am.
24
Unidade
y = f (x),
possvel de
2.
R.
f : D R R,
o maior subconjunto
(a)
y = x3 + x2 + x;
(b)
y = x4 5x2 + 4;
(c)
y = x |x|;
(d)
y = |x2 1|;
(e)
y = x + |x|;
(f )
y=
(a)
(c)
2x + 1
< 3.
x+1
(b)
x2
x
.
1
x R,
e interprete as solues
x3 2 x2 x + 2 > 0;
3.
Considere a funo
4.
R,
da forma
em que
y
2
1
x
x
2
1
1
1
1
2
25
Unidade
Exerccios Recomendados
5.
6.
A escala
18
100
43
7.
f : R R ca inteiramente
f (x2 ) para x1 6= x2 .
f (x1 )
determinada
8.
9.
10.
As grandezas
so inversamente proporcionais.
Se
11.
Os termos
a1 , a2 , . . . , an
X sofre
Y ?
um
f,
ai
pelo eixo
OX
x=i
26
1
e
2
x=i+
1
.
2
S=
a1 +an
n.
2
1
+1
f (x) = |x|
(
(a)
f : R R, f (x) =
(b)
f : [1, 2[ R,
(c)
f :] 1, 1] R, f (x) =
x2
(
(d)
f : [0, 4] R, f (x) =
2.
f : [0, 5] R, f (x) =
Considere a funo
3x
se x < 1
x 6x + 8 se x 6 1
2
(
(e)
3x
se x < 5
x 6x + 8 se x 6 4
2
g : [0, 5] R
(
g(x) =
x + 1 se x < 0
x 1 se x > 0
denida por:
4 x x2 , se x < 3
x 2, se x > 3
27
Unidade
Unidade
Exerccios Suplementares
3.
(a)
g(x) = 1
(b)
g(x) = 0
(c)
g(x) = 3
(d)
g(x) = 4
(e)
g(x) < 3
(e)
g(x) > 3
Sejam
f :RR
g : R R.
(a) Se
absoluto;
(b) Se
local;
(c) Se
de
(g) Se
mximo local;
local de
(h) Se
mximo absoluto;
f 2,
f;
g
crescente;
(i) Se
uma funo
f crescente
A B R.
(j) Se
4.
f g
em
AR
e em
B R,
ento
crescente em
5.
respostas.
28
(b) Se
(c) Se
funes
(d) Se
g so funes
f + g e f g?
g
f +g
f g?
(e) Podemos armar que toda funo polinomial de grau par uma
funo par?
(f ) Podemos armar que toda funo polinomial de grau mpar uma
funo mpar?
6.
7.
No Exemplo 10 (p.
]2, 4 ] e crescente em [ 4, 6 ].
decrescente em
8.
3
(a)
h(x) = |f (x)|
(b)
h(x) = f (|x|)
(c)
h(x) = (f (x))2
1
.
h(x) =
f (x)
(d)
9.
2
1
2
1
1
Uma caixa d'gua de 1000 litros tem um furo no fundo por onde escoa
29
Unidade
Unidade
Exerccios Suplementares
gua a uma vazo constante. Ao meio dia de certo dia ela foi cheia e, s
6 da tarde desse dia, s tinha 850 litros. Quando car pela metade?
10.
de dias ne-
30
do muro e do nmero
de
de horas
Unidade
y = a x2 + b x + c,
qualquer, na chamada
forma cannica,
completando quadrados:
y = a x2 + b x + c
b
= a x2 + x+ + c
a
b2
b
b2
2
+c
= a x + x+ 2
a 4a
4a
2
b
4ac b2
= a x+
.
+
2a
4a
Portanto,
y = a (x x0 )2 + y0
em que:
x0 =
b
2a
y0 =
(8.1)
4ac b2
= .
4a
4a
Estas so as conhecidas frmulas das coordenadas do vrtice de uma parbola. Pelo que j estudamos de translaes, sabemos que a parbola 8.1
y = a x2 ,
y0 unidades
na vertical. Assim, podemos deduzir a seguinte propriedade: qualquer parbola
dada por uma translao de uma parbola com mesmo valor de a e vrtice
na origem. Decorre ainda desta propriedade que quaisquer duas parbolas com
mesmo valor de a so congruentes, isto , uma qualquer uma delas pode ser obdada pela translao de
de
x0
unidades na horizontal e
tida a partir da outra por meio de uma translao. Da forma cannica, podemos
deduzir tambm outras propriedades importantes das parbolas, como a existncia do eixo de simetria vertical e a prpria frmula das razes. Retornaremos
a este assunto na Unidade 9.
31
Unidade
Na Sala de Aula
Textos Complementares
Tratamento da Informao
Nos ltimos anos, tm recebido grande nfase na escola os diferentes tipos
de grcos (tais como grcos de setores, de barras, de linhas) usados para
organizar informaes numricas e largamente difundidos em veculos de comunicao de massa.
grco
usada em um
sentido diferente (e mais geral) que grcos de funes. Nem todos os tipos de
grcos usados para representar informaes numricas podem ser interpretados
como grcos de funes.
32
coordenadas do vrtice)
xv =
b
2a
yv =
s se aplicam a parbolas.
4a
(conhecidas como
33
Na Sala de Aula
Unidade
Unidade
Na Sala de Aula
Textos Complementares
f,
faz com o eixo horizontal depende das unidades escolhidas para medir as
grandezas
x e f (x).
2.
A maioria dos nossos textos escolares refere-se funo am como funo
do primeiro grau. Essa nomenclatura sugere a pergunta: o que o grau
de uma funo? Funo no tem grau. O que possui grau um polinmio.
(Quando
a 6= 0,
a expresso
f (x) = ax + b
um polinmio do primeiro
34
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitom-
Rio de Janeiro:
New York:
Rio de Janeiro:
SBM, Coleo
Anlise I
Coordenadas no Espao.
Professor de Matemtica.
SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages.
Matemtica.
[12] Lima, Elon Lages.
Rio
Anlise Real,
Matemtica Universitria.
35
9
Funes Lineares
e Afins
Sumrio
9.1 A Funo Linear . . . . . . . . . . . . . . . . . . . .
10
11
13
Unidade 9
funes lineares
funes ans.
Na Seo 1, as funes
verdade que, quanto maior for o lado de um quadrado, maior ser a sua rea;
porm, isto no signica que estas grandezas sejam proporcionais. De fato, se
x R+
uma funo
f : R+ R +
na forma
f (x) = a x,
com
a R.
um nmero irracional.
comportamento qualitativo desta classe de funes. Alm disso, muito importante a relao entre funes ans e progresses aritmticas, aqui discutida.
Este mais um exemplo de conceitos que apresentam relaes fundamentais
entre si, mas que so apresentados de forma estanque nos livros didticos.
f (x) = ax,
o modelo matemtico
quaisquer. Usando
f (x) = a/x,
onde a constante
f : R R
x R ,
tem-se
f (1).
y = ax,
reais ento
quilos custam
y = ax
reais.
Unidade 9
A Funo Linear
Unidade 9
proporcional ao comprimento
a = y/x
de proporcionalidade
de
AX .
a = sen B/ sen C
mas este
Este exemplo chama a ateno para o fato de que nos problemas relativos
proporcionalidade o que importa muitas vezes saber apenas que se
e
y = f (x )
ento
y /x = y/x
Quando a correspondncia
igualdade
y /x = y/x
y = f (x)
constante.
x 7 y , x0 7 y 0
uma proporcionalidade, a
x 7 y
tenha
de constatar na prtica).
O teorema abaixo a chave para determinar, em todas as situaes, se uma
dada funo ou no linear.
Teorema 1
Teorema Fundamental
da Proporcionalidade
Seja
f : R R
As seguintes armaes so
equivalentes:
(1)
(2)
(3)
Provaremos as implicaes
(3) (1).
A m
demostrar que
r = m/n,
m
f (x) = r f (x).
n
Seja a = f (1). Como f (0) = f (0 0) = 0 f (0) = 0, a monotonicidade
de f nos d a = f (1) > f (0) = 0. Assim, a positivo. Alm disso, temos
f (r) = f (r 1) = r f (1) = r a = ar, para todo r Q.
Mostremos agora que se tem f (x) = ax para todo x R. Vamos usar aqui
a densidade de Q em R.
Suponha, por absurdo, que exista algum nmero irracional x tal que f (x) 6=
ax. Para xar ideias, admitamos f (x) < ax. (O caso f (x) > ax seria tratado
f (rx) =
f (x)
< x.
a
Tomemos um nmero racional
en
R)
tal que
f (x)
< r < x.
a
Ento f (x) < ar < ax, ou seja, f (x) < f (r) < ax. Mas isto absurdo, pois
f crescente logo, como r < x, deveramos ter f (r) < f (x). Esta contradio
completa a prova de que (1) (2). As implicaes (2) (3) e (3) (1) so
bvias.
Em algumas situaes, o Teorema Fundamental da Proporcionalidade precisa ser aplicado a grandezas (como rea ou massa, por exemplo) cujas medidas
so expressas apenas por nmeros reais positivos.
crescente
assim:
Unidade 9
Demonstrao
Unidade 9
A Funo Linear
a = f (1) > 0.
com a < 0.
No caso de se supor
f :RR
Primeira: f
o caso trivial de
Exemplo 1
Se investirmos a quantia
x,
No caso de
f (x).
Evidentemente,
x0 = nx como
abrir (no mesmo dia) n cadernetas, cada uma com o valor inicial x. O Teorema
Fundamental nos permite concluir que f (x) proporcional a x. Mais precisa-
a,
reais se transformar em
f (x) = ax
no
Unidade 9
f (x) = ax + b onde x
bandeirada e a a taxa
f (x)
o preo a pagar,
que ele percebeu foi que esses nmeros estavam igualmente espaados, isto , a
distncia de cada um deles para o seguinte era constante. Isto queria dizer que
a acrscimos iguais no tamanho do p corresponderiam acrscimos iguais no
nmero do sapato. Dito de outro modo: se um certo p precisar de crescer
x1 6= x2 tais que os nmeros de sapato correspondentes, y1 = f (x1 ) e y2 = f (x2 ), assinalados na escala, fossem inteiros.
Tomou x1 = 20, x2 = 28 e viu que f (x1 ) = 32, f (x2 ) = 42. A partir da,
calculou os coecientes a = (y1 y2 )/(x1 x2 ) e b = y1 ax1 chegando
pontos, escolheu dois valores
frmula
f (x) =
5x + 28
,
4
Unidade 9
Teorema 2
funo am.
a funo
(0) = 0.
seja crescente.
: R R tambm
quaisquer h, k R temos
Ento
crescente, com
(h + k) = f (x + h + k) f (x)
= f ((x + k) + h) f (x + k) + f (x + k) f (x)
= (h) + (k).
a = (1),
tem-se (h) = ah para todo h R. Isto quer dizer que f (x+h)f (x) = ah.
Chamando f (0) de b, resulta f (h) = ah + b, ou seja, f (x) = ax + b, para
todo x R.
Logo, pelo Teorema Fundamental da Proporcionalidade, pondo-se
Observao.
f (x) = ax + b ento
que f (x + h) f (x)
progresso aritmtica
x1 , x2 , . . . , xi , . . . igualmente espaados
h = xi+1 xi no depende de i:
h = x2 x1 = x3 x2 = = xi+1 xi = .
Se
xi , . . .
f :RR
f (x) = ax + b, e x1 , x2 , . . . ,
pontos yi = f (xi ), i = 1, 2, . . .
yi , . . .
1, 2, . . . , i, . . ., as ordenadas y1 , y2 , . . . ,
f : R R
transforma qual-
queramos demonstrar.
Unidade 9
Unidade 9
Exerccios Recomendados
2.
Augusto, certo dia, fez compras em 5 lojas. Em cada loja, gastou metade
do que possuia e pagou, na sada, R$ 2,00 de estacionamento. Se aps
toda essa atividade ainda cou com R$ 20,00, que quantia ele tinha
inicialmente?
3.
4.
5.
6.
10
Unidade 9
2.
3.
f,
tal que
(a)
g(x) = f (x) 1;
(b)
g(x) = f (x 1);
(c)
g(x) = f (x);
(d)
g(x) = 2f (x);
(e)
g(x) = f (2x);
(f )
g(x) = |f (x)|;
(g)
g(x) = f (|x|);
(h)
que satisfazem a
(a)
2x + 3 (x 1) < x + 1;
(b)
2x + 3 (x 1) < x + 5;
(c)
min{x + 1; 5 x} > 2x 3;
(d)
(e)
min{2x 1; 6 x} = x;
(f )
2|x + 1| |1 x| 6 x + 2;
(g)
(h)
|x + 1 |x 1|| 6 2x 1.
11
Unidade 9
Exerccios Suplementares
4.
(a1 , a2 , . . . , an , . . .)
e (b1 , b2 , . . . , bn , . . .),
f :RR
tal que
5.
f : R R
f (x) = 2x se x racional e
que se tem f (nx) = nf (x) para
pondo
6.
linear.
12
Unidade 9
No enunciado que demos para o Teorema Fundamental da Proporcionalidade, zemos a hiptese de que a funo
fosse contnua.
Note-se
f (r) = ar
para todo
racional ento
f (x) = ax
para todo
real.
Esta
x limite
de f nos d
rn ,
logo a continuidade
13
Unidade 9
Textos Complementares
Funes Poligonais
As funes poligonais surgem naturalmente, tanto na vida cotidiana (imposto de renda como funo da renda lquida, preo de uma mercadoria que
oferece descontos crescentes quando aumenta a quantidade comprada) como
em diversas reas da Matemtica (Anlise, Clculo Numrico, Equaes Diferenciais, Topologia).
f : R R,
c R.
f (x) = |x|.
Ou ento
f (x) = |x c|,
para algum
denida por
t1
t2
t3
f (x) = |x + |
ou
g(x) = |x | + |x |.
Estes exemplos nos levam a conjeturar que toda funo poligonal pode
ser denida combinando valores absolutos de funes ans. Esta conjetura
verdadeira. (Ver exerccios deste captulo.)
14
y = |x c|
y = |x|
Unidade 9
y = |x|
15
y = |x c|.
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitom-
Rio de Janeiro:
New York:
Rio de Janeiro:
SBM, Coleo
Anlise I
Coordenadas no Espao.
Professor de Matemtica.
SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages.
Matemtica.
[12] Lima, Elon Lages.
Rio
Anlise Real,
Matemtica Universitria.
17
drticas.
Na seo 6.1,
funes qua-
f :XY
f 0 : X0 Y 0
Y =Y0
f (x) = f 0 (x),
para todo
X = X 0,
x X.
Por outro lado, polinmios so denidos por seus coecientes. Assim, dois
polinmios so iguais se, e somente se, seus coecientes correspondentes so
iguais.
ocorre.
a x2 + b x + c associa a funo
f (x) = a x2 + b x + c uma bijeo. O mesmo
f : R R
denida por
argumento a empregado serve para mostrar que, de forma mais geral, uma
funo polinomial
f :RR
R \ {1}
R \ {1}
R
x 3x + 2
7
x2 2 x + 1
3
x
representam
7 x + 2
a mesma funo,
do critrio para vericao da colinearidade de trs pontos no plano que se baseia no clculo de um determinante. O conceito matemtico de determinante
muito mais sosticado que a noo de colinearidade de pontos no plano e,
portanto, sua compreenso consideravelmente menos acessvel aos alunos no
ensino mdio. Esta compreenso insuciente pode levar mera memorizao
do critrio, mascarando o que de fato est sendo feito. Existem outras formas
de vericar a colinearidade (como a simples observao da inclinao das retas
determinadas pelos pontos em questo), que no s so de mais simples aplicao (pois certamente conduziro mesma expresso algbrica), como tambm
deixam mais explcita a idia de colinearidade, possibilitando uma compreenso
mais abrangente. Assim, o uso desse critrio no agrega nenhuma vantagem,
nem do ponto de vista prtico, nem do ponto de vista conceitual.
Na seo 6.2,
tipo no correspondia a determinar solues numricas, e sim a expressar a soluo por meio de uma construo geomtrica. Nessas solues geomtricas,
no havia qualquer envolvimento de nmeros ou de notaes algbricas, mesmo
retrica.
Os mtodos de
receitas,
No
x2 + 1 = 0.
Em geral, essas propriedades so dadas nas escolas como frmulas sem justicativa.
b=0
c = 0),
ou
seguindo-se dos
x0
tal que
apresenta alguns aspectos sobre grcos pouco discutidos no ensino mdio, tais
como a parbola como lugar geomtrico dos pontos que equidistam de uma
reta e de um ponto dados e a aplicao de translaes no plano a grcos
de funes.
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
[2] Lima, Elon Lages.
Anlise I
Curso de Anlise,
Vol.
1.
Rio de Janeiro:
SBM,
Matemtica
Tpicos de Histria da
10
Funo Quadrtica
Sumrio
10.1 Introduo . . . . . . . . . . . . . . . . . . . . . . .
11
14
20
21
23
Introduo
Unidade 10
10.1 Introduo
Nesta Unidade, comeamos a aprofundar nossos estudos sobre
drticas.
funes qua-
f :XY
f 0 : X0 Y 0
Y =Y0
f (x) = f 0 (x),
para todo
X = X 0,
x X.
Por outro lado, polinmios so denidos por seus coecientes. Assim, dois
polinmios so iguais se, e somente se, seus coecientes correspondentes so
iguais. Poderia ento acontecer de trinmios do segundo grau diferentes denirem uma mesma funo; porm, na Seo 2, provaremos que isto no ocorre.
a x2 + b x + c associa a funo
f (x) = a x2 + b x + c uma bijeo. O mesmo
f : R R
denida por
argumento a empregado serve para mostrar que, de forma mais geral, uma
funo polinomial
f :RR
R \ {1}
R
x
7 x + 2
so
a mesma funo,
R \ {1}
x
7
R
x3 3 x+2
x2 2 x+1
Funo Quadrtica
Ao ler o
Alguns
resolver
retrica.
receitas,
no texto.
Outra observao importante o fato de que nmeros complexos, e mesmo
nmeros reais negativos, por muito tempo no foram considerados legitimamente como nmeros.
Unidade 10
Unidade 10
Introduo
No
x2 + 1 = 0 .
Em geral, essas propriedades so dadas nas escolas como frmulas sem justicativa.
b=0
ou
c = 0),
seguindo-se dos
Funo Quadrtica
x0
tal que
cam inteiramente determinados pelos valores que essa funo assume. Noutras
Unidade 10
Definio e Preliminares
Unidade 10
a = a, b = b
aX 2 + bX + c
c = c.
a0 X 2 + b0 X + c0
so iguais quando
(a, b, c).]
ax +bx+c.
) 7 (funo
x 7
f (x) = ax2 + bx + c
sempre que no houver perigo de confundi-la com o nmero real
x.
a = a , b = b0
f (x),
que o
c = c0 ,
ax2 + bx + c = a0 x2 + b0 x + c0
x R. Basta supor que esta igualdade
de x. Passemos a discutir este assunto.
para todo
distintos
f (x) = ax2 + bx + c
g(x) = a0 x2 + b0 x + c0 ,
x1 + x1 + = 0
x22 + x2 + = 0
x23 + x3 + = 0.
Subtraindo a primeira equao de cada uma das outras, vem
(S)
Funo Quadrtica
Como
equaes
x2 x1 6= 0 e x3 x1 6= 0, podemos dividir
por x2 x1 e a segunda por x3 x1 , obtendo
Unidade 10
a primeira destas
(x1 + x2 ) + = 0
e
(x1 + x3 ) + = 0.
(x3 x2 ) = 0.
Como x3 x2 6= 0, resulta da que = 0. Substituindo nas equaes
anteriores, obtemos sucessivamente = 0 e = 0.
Acabamos de mostrar que se duas funes quadrticas assumem os mesmos
valores em trs pontos distintos x1 , x2 , x3 , ento essas funes so iguais, isto
, assumem o mesmo valor para qualquer nmero real x.
Subtraindo membro a membro, temos
, ,
a zero (sistema homogneo). O que provamos foi que a nica soluo desse
sistema a soluo trivial
= = = 0.
y1 , y2 , y3 ,
a, b, c
tais
que
ax21 + bx1 + c = y1 ,
ax22 + bx2 + c = y2 ,
ax23 + bx3 + c = y3 .
Neste sistema, vrios hbitos tradicionais so violados. As incgnitas so
neste sistema.
Unidade 10
Definio e Preliminares
1
y3 y1
y2 y1
a=
.
x3 x2 x 3 x1 x2 x1
x2 , x3
y1 , y2 , y3 ,
de nmeros
a, b, c
x1 ,
f (x) = ax2 + bx + c
f (x1 ) = y1 , f (x2 ) = y2 e f (x3 ) = y3 .
2
A funo f (x) = ax + bx + c, acima obtida, pode no ser quadrtica, a
menos que nos asseguremos que a 6= 0. O valor de a acima obtido mostra que
a zero se, e somente se, vale
cumpre
y2 y1
y3 y1
=
.
x3 x1
x2 x1
Se olharmos para os pontos A = (x1 , y1 ), B = (x2 , y2 ) e C = (x3 , y3 ) em
R2 , a condio acima signica que as retas AC e AB tm a mesma inclinao,
isto , que os pontos A, B e C so colineares.
y
y3
y2
y1
x1
x2
x3
Funo Quadrtica
quase quatro mil anos, encontramos, por exemplo, a questo de achar dois
nmeros, dados sua soma
e seu produto
p.
e a rea
p.
x2 sx + p = 0.
Com efeito, se um dos nmeros
x,
o outro
sx
e seu produto
p = x(s x) = sx x2 ,
logo
x2 sx + p = 0.
Observe que se
=s
2 s + p = 0,
ento
2 s + p = (s )2 s(s ) + p =
= s2 2s + 2 s2 + s + p =
= 2 s + p = 0.
x2 sx + p = 0
, tambm, um conhecimento
Unidade 10
Unidade 10
tinha era uma receita que ensinava como proceder em exemplos concretos (com
coecientes numricos).
A regra para achar dois nmeros cuja soma e cujo produto so dados era
assim enunciada pelos babilnios:
s
x= +
2
para a equao
s 2
p
2
s
sx=
2
s 2
p
2
x2 sx + p = 0.
s
so equidistantes da mdia aritmtica
2
diferena
e
p = =
s
2
6 .
+
.
2
Esses nmeros
Se conhecermos a
os dois nmeros
= (s/2) d
s
s 2
+d =
d2 ,
2
2
logo
d =
s 2
2
r
s 2
d=
p.
2
Da
s
s
= d=
2
2
r
s 2
p
2
s
s
= +d= +
2
2
r
s 2
p.
2
Como os dados
(s/2)2 < p,
como
no problema de achar dois nmeros cuja soma e cujo produto so ambos iguais
a 2. Isto porm no os levou a inventarem os nmeros complexos. Nestes casos,
eles simplesmente diziam que os nmeros procurados no existiam.
10
O que
Funo Quadrtica
Observao 1.
Observao 2.
p,
preferimos seguir o
h
ci
b
ax2 + bx + c = a x2 + x + .
a
a
As duas primeiras parcelas dentro do colchete so as mesmas do desenvolvimento do quadrado
(x +
b 2
) . Completando o quadrado, podemos escrever
2a
h
b
b2
b2
ci
ax2 + bx + c = a x2 + 2
x+ 2 2 + ,
2a
4a
4a
a
ou
ax2 + bx + c = a
h
x+
b 2 4ac b2 i
+
.
2a
4a2
cannica)
forma
a 6= 0,
11
ax2 + bx + c = 0.
Com efeito,
Unidade 10
Unidade 10
b 2 4ac b2
) +
=0
2a
4a2
b2 4ac
b
(x + )2 =
2
2a
4a
b2 4ac
b
=
x+
2a
2a
b b2 4ac
.
x=
2a
ax2 + bx + c = 0 (x +
discriminante
= b2 4ac
> 0.
Caso tenhamos
< 0,
x + (b/2a) no
= b2 4ac
ax2 + bx + c = 0
tem duas razes reais distintas
= (b
e
= (b +
com
< ,
cuja soma
s = b/a
)/2a
)/2a,
e cujo produto
so equidistantes do ponto
ou seja, as razes
Quando
igual a
b/2a.
b/2a,
12
Funo Quadrtica
Suponhamos
a > 0.
A forma cannica
f (x) = ax2 + bx + c = a
h
x+
b 2 4ac b2 i
+
2a
4a2
exibe, no interior dos colchetes, uma soma de duas parcelas. A primeira depende
de
e sempre
> 0.
atingido quando
b 2
x+
2a
igual a zero, ou seja, quando x = b/2a. Neste ponto, f (x) tambm assume
seu valor mnimo. Portanto, quando a > 0, o menor valor assumido por
f (x) = ax2 + bx + c
a < 0,
x R.
o valor
f (b/2a)
f (x),
para qualquer
Quando
ilimitada
f (x) = ax2 + bx + c,
f (x) = f (x )?
f (x) = f (x0 )
b 2 0
b 2
x+
= x +
.
2a
2a
x 6= x0 ,
x0 +
x 6= x0
tem-se
b
b
= x+
,
2a
2a
isto
x + x0
b
= .
2
2a
2
Portanto, a funo quadrtica f (x) = ax + bx + c assume o mesmo valor
f (x) = f (x0 ) para x 6= x0 se, e somente se, os pontos x e x0 so equidistantes
de b/2a.
13
Unidade 10
Unidade 10
Exemplo 1
nmeros
de dois nmeros cuja soma constante assume seu valor mximo quando esses
nmeros iguais.)
bola.
Dados um ponto
e
diretriz d
e uma reta
parbola de foco F
equidistam de F e de d.
que no o contm, a
vrtice
Exemplo 2
igual a
x2 + (x2 1/4)2 .
(x, x2 )
reta
14
y = 1/4
x2 + 1/4.
Funo Quadrtica
Unidade 10
eixo
PF = PQ
F
V
D
(x, x 2 )
F
d
(x, 14 )
x
y = 14
f (x) = x2 .
E, como se
para todo
x R.
Se
quadrtica
15
Exemplo 3
Unidade 10
a igualdade
1 2 2
1 2
x2 + ax2
= ax +
,
4a
4a
onde o primeiro membro o quadrado da distncia do ponto genrico
(x, ax2 )
do grco de
f (x) = ax2
9.4).
a>0
ou
ao foco
Conforme seja
P =
a < 0,
a parbola
y = ax2
Exemplo 4
Para todo
a(x m)
a 6= 0
e todo
m R,
a reta horizontal
y = 1/4a
F = (m, 1/4a)
f (x) =
e cuja diretriz
x R,
vale a igualdade
h
1 i2 h
1 i2
(x m)2 + a(x m)2
= a(x m)2 +
4a
4a
f (x) = a(x m)2 resulta
2
do grco de g(x) = ax pela translao horizontal (x, y) 7 (x + m, y), a qual
leva o eixo x = 0 no eixo x = m.
ou ento observa-se simplesmente que o grco de
Exemplo 5
f (x) = ax2 + bx + c
16
Funo Quadrtica
1
F = (0, 4a
)
y=
d
x
y=
Unidade 10
1
4a
x
F
1
4a
a> 0
a< 0
Figura 10.4: Os grcos de
f (x) = ax2 .
y
y = ax 2
(x, a(x m) 2 )
y=
F = (m,
1
4a
1
4a
y=
4ac b2 1
4a
b 4ac b2 + 1
F = ,
.
2a
4a
Esta parbola tem sua concavidade voltada para cima se
se
a < 0.
17
a>0
ou para baixo
Unidade 10
y
y = a(x m) 2 + k
F
k
y= k
1
4a
m
F = (m, k +
1
4a
ax2 + bx + c
nos d
m = b/2a
k = (4ac b2 )/4a.
O ponto do grco de
f (x) = ax2 + bx + c
mais prximo da diretriz aquele de abscissa
grco
x = b/2a,
de f (x).
o ponto
Neste ponto,
f (x)
x = b/2a.
f (x) = ax2 + bx + c
assume valores iguais
simtricos em relao
18
Funo Quadrtica
vertical
x = b/2a
f;
Unidade 10
mais precisamente,
f (x) = ax2 + bx + c
um elemento de grande importncia para entender o comportamento desta
funo. As abscissas
OX
so as razes da equao
ax2 + bx + c = 0.
O ponto mdio do segmento
[, ]
OX ,
a;
se
x <
ou
y
2
OX ,
+4ac
4a
b
2a
19
Unidade 10
Exerccios Recomendados
(5,13)
(1,9)
8
(-2,3)
(3,5)
2.
Identique os sinais de
bx + c,
a, b
3.
f (x) = ax2 +
a(x m)2 + k .
f (x) =
4.
a)
f (x) = x2 8x + 23,
b)
f (x) = 8x 2x2 .
Encontre a unidade que deve ser usada nos eixos cartesianos de modo
que a parbola abaixo seja o grco da funo
20
f (x) = 2x2 .
Funo Quadrtica
5.
x2 4x + 3
a)
6.
[1, 4];
Seja
f (x) =
[6, 10].
f (x) = ax2 + bx + c,
com
a > 0.
a) Mostre que
b) Mais geralmente,
x + x f (x ) + f (x )
1
2
1
2
<
.
f
2
2
mostre que se 0 < < 1, ento
Prove que se
a, b
y = ax2 + bx + c
no so racionais.
2.
21
Unidade 10
Unidade 10
Exerccios Suplementares
T (n) de
forma T (n) =
an + bn.
c) Medindo o tempo de gravao correspondente s primeiras 100, 200,
300 e 400 voltas, foram encontrados os dados abaixo. Estes valores
so consistentes com o modelo acima?
Volta
Tempo(s)
100
555
200
1176
300
1863
400
2616
3.
Dado um conjunto de retas do plano, elas determinam um nmero mximo de regies quando esto na chamada posio geral: isto , elas so
concorrentes duas a duas e trs retas nunca tm um ponto comum. Seja
Rn
retas do plano.
b) Deduza de a) que
Rn
4.
Rn .
circunferncias?
22
Funo Quadrtica
Unidade 10
R2 .
A = (x1 , y1 ), B = (x2 , y2 )
C = (x3 , y3 )
x1 y 1 1
x2 y 2 1
x3 y 3 1
=0,
3 3.
Desenvolvendo esse
y3 y1
y2 y1
=
.
x3 x1
x2 x1
()
AB
AC
tm a
x1 6= x3 .
verdade.
x 1 = x2
ou
x1 = x3
x1 6= x2
no requer
A, B , C
sobre uma reta vertical. Basta ento olhar para a abscissa do terceiro ponto:
A, B e C esto na mesma
A, B e C no so colineares.
23
vertical, logo so
Unidade 10
Textos Complementares
24
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitom-
Rio de Janeiro:
New York:
Rio de Janeiro:
SBM, Coleo
Anlise I
Coordenadas no Espao.
Professor de Matemtica.
SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages.
Matemtica.
[12] Lima, Elon Lages.
Rio
Anlise Real,
Matemtica Universitria.
25
Em continuidade unidade anterior, so propostos agora alguns aprofundamentos e aplicaes do estudo das propriedades das parbolas e das funes
quadrticas.
Na seo 6.5, Uma Propriedade Notvel da Parbola, estabelecemos uma
importante propriedade geomtrica dessas curvas: A tangente parbola num
ponto P faz ngulos iguais com a paralela ao eixo e com a reta que une o
foco F a esse ponto. Como observado no incio da seo, esta propriedade
amplamente aplicada construo de diversos equipamentos tecnolgicos.
Certique-se de entender claramente todos os conceitos e teoremas necessrios
para a demonstrao dessa propriedade, a saber, as denies de ngulo entre
uma curva e uma reta e de reta tangente a uma parbola em um ponto P ; a
caracterizao das retas tangentes ao grco de uma funo quadrtica; e a
caracterizao de retas perpendiculares por meio de seus coecientes angulares.
Na seo 6.6, O Movimento Uniformemente Variado, estudamos a aplicao das funes quadrticas para descrever um tipo particular de movimento,
em que a acelerao constante. Como a acelerao a taxa de variao
da velocidade, isto signica que, neste tipo de movimento, a velocidade pode
no ser constante, mas cresce ou decresce com uma taxa constante. Observe
que esta uma caracterstica muito particular, que permite que este tipo de
movimento seja modelado por funes quadrticas e, portanto, completamente
descrito por meio de mtodos algbricos simples. Assim, nossos conhecimentos
sobre funes quadrticas nos permitem obter todas as informaes sobre o
movimento no caso uniformemente variado. Para estudar a cinemtica no caso
de movimentos mais gerais, so necessrios mtodos do Clculo Innitesimal.
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
da
11
Funo Quadrtica Aplicaes
Sumrio
11.1 Introduo
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . .
11
12
. . . . . . . . . . . . . . .
Unidade 11
Introduo
11.1
Introduo
Em continuidade unidade anterior, so propostos agora alguns aprofundamentos e aplicaes do estudo das propriedades das parbolas e das funes
quadrticas.
Na Seo 2, estabelecemos uma importante propriedade geomtrica dessas
incio da seo, esta propriedade amplamente aplicada construo de diversos equipamentos tecnolgicos. Certique-se de entender claramente todos
os conceitos e teoremas necessrios para a demonstrao dessa propriedade, a
11.2
Se girarmos uma parbola em torno do seu eixo, ela vai gerar uma superfcie chamada
parablica.
parabolide de revoluo,
superfcie
ei
x
concentrando-os consideravelmente.
Unidade 11
Unidade 11
que a interseo dessa superfcie com o plano que contm o raio incidente, o
raio reetido e o eixo de rotao (igual ao eixo da parbola).
, por
denio, o ngulo entre essa reta e a tangente curva traada pelo ponto de
interseo. assim que se interpretam os ngulos de incidncia e reexo.
A
tangente
x0
a > 0. Mostra2
remos que, para todo x 6= x0 , o ponto (x, y) da parbola, com y = ax +bx+c,
est acima do ponto (x, y0 + (2ax0 + b)(x x0 )), de mesma abscissa x, situado
sobre a reta. Noutras palavras, queremos provar que (supondo a > 0)
Mais precisamente, suponhamos (para xar ideias) que seja
(x,ax2+bx+c)
(x,y0+(2ax0+b))
(x0,y0)
(x0,ax20+bx0+c)
x0
x 6= x0 ,
ento
Observao.
um ponto em comum com essa parbola mas nenhuma delas tangente porque
h pontos da parbola em ambos semiplanos por ela determinados.
Sabendo que a parbola, grco da funo
f (x) = ax2 + bx + c,
P = (x, y), uma tangente cuja inclinao 2ax + b, calculemos
agora a inclinao da reta F Q que une o foco F ao ponto Q, p da perpendicular
baixada de P sobre a diretriz d.
No clculo que se segue, admitiremos que P no o vrtice da parbola,
isto , que sua abscissa x diferente de b/2a, logo 2ax + b 6= 0. Caso P fosse
tem, no ponto
Unidade 11
Unidade 11
o vrtice, a reta
FQ
teria inclinao
desses pontos.
Ora, j vimos que
k=
F = (m, k +
1
)e
4a
Q = (x, k
1
), onde
4a
1
4a
(k +
xm
1
)
4a
1
1
=
2a(x m)
2a(x +
b
)
2a
FQ
m = b/2a
igual a
2ax + b
P
F
T'
d
Q
FQ
perpendicular reta
T T 0,
tan-
aquelas sero perpendiculares se, e somente se, estas o forem. Suponhamos que
estas retas sejam perpendiculares. Tomando
pertence a uma das retas e o ponto
(1, a )
x = 1,
(1, a)
(1, a0 )
re-
a0
(digamos
a0 )
0
a.
negativo e o
Assim
1 = aa0
(1, a)
0
1
(1, a0 )
a0 = 1/a.
Reciprocamente, se
a0 = 1/a,
consideramos a reta
y = bx,
eixo
P
F
T'
d
Q
Com efeito, se
o p da perpendicular baixada de
7
1
sobre a diretriz, a
Unidade 11
Unidade 11
F PbT 0
T 0 PbQ
so iguais. Logo
APbT = F PbT 0 = .
Se a antena parablica estiver voltada para a posio (estacionria) do satlite, a grande distncia faz com que os sinais emitidos por este sigam trajetrias
praticamente paralelas ao eixo da superfcie da antena, logo eles se reetem na
superfcie e convergem para o foco, de acordo com o princpio que acabamos
de demonstrar.
11.3
f (t).
ser
1
(10.1)
f (t) = at2 + bt + c.
2
Nesta expresso a constante a chama-se a acelerao, b a velocidade inicial
(no instante t = 0) e c a posio inicial do ponto.
Em qualquer movimento, dado por uma funo f , o quociente
f (t + h) f (t)
=
h
espao percorrido
tempo de percurso
v(t) = at + b
a
velocidade
t.
2m/s
f (t) = t2 + 5t 6.
Logo o valor mximo de f obtido quando t = 5/(2) = 2, 5s. Podemos
ainda dizer que o ponto comea a voltar quando v(t) = 0. Como v(t) = 2t+5
isto nos d novamente t = 2, 5s.
comece a voltar para o ponto de partida? Resposta: temos
velocidade escalar
OY
a vertical que
v = (v1 , v2 )
Unidade 11
Unidade 11
nada
v1
OX ).
a posio do
x = v1 t.
Por sua vez, a acelerao (= fora) da gravidade constante, vertical, igual
a g . (O sinal menos se deve ao sentido da gravidade ser oposto orientao
do eixo vertical OY .) Portanto, a componente vertical do movimento de P
um movimento uniformemente acelerado sobre o eixo OY , com acelerao
igual a g e velocidade inicial v2 .
projtil no instante
t,
P = (x, y)
tem-se
2
y= 12 gt +v2t
v2
P=(x,y)
v
v1
x=v1t
y=
t,
a ordenada
do ponto
12 gt2
Se
1
y = gt2 + v2 t.
2
Neste caso, a trajetria do projtil vertical.
Suponhamos agora
v1 6= 0.
y = ax2 + bx,
Ento, de
y,
onde
x = v1 t
vem
t = x/v1 .
obtemos
a = g/2v12
b = v2 /v1 .
10
Substituindo
11.4
1.
Exerccios Recomendados
Posio (metros)
17
10
45
20
81
5s, 15s
2.
25s.
0s
1s
30m
2s
25m
3s
20m
5s
3.
11
Unidade 11
Unidade 11
Exerccios Suplementares
4.
Com 80 metros de cerca um fazendeiro deseja circundar uma rea retangular junto a um rio para connar alguns animais.
rio
area
cercada
Quais devem ser as medidas do retngulo para que a rea cercada seja a
maior possvel?
11.5
1.
Exerccios Suplementares
x1 , x2 , . . . , xn
d(x) = (x x1 )2 + (x x2 )2 + + (x xn )2 .
a) Mostre que
xn ,
ou seja,
x=
x1 + x2 + + xn
.
n
12
|x x1 | + |x x2 | + + |x xn | como medida
tido. Mostre que e(x) minimizado quando x
x1 , x2 , . . . , xn .
2.
No instante
t=0
o ponto
est em
(2, 0)
e o ponto
e(x) =
em
(0, 0).
3.
Unidade 11
4.
Joo tem uma fbrica de sorvetes. Ele vende, em mdia, 300 caixas de
picols, por R$ 20,00 cada caixa. Entretanto, percebeu que, cada vez que
diminua R$ 1,00 no preo da caixa, vendia 40 caixas a mais. Quanto ele
deveria cobrar pela caixa para que sua receita fosse mxima?
5.
x%
x balas
balas, caso em que concedido o desconto mximo de 60%. Alfredo, Beatriz, Carlos e Daniel compraram 10, 15, 30 e 45 balas, respectivamente.
Qual deles poderia ter comprado mais balas e gasto a mesma quantia, se
empregasse melhor seus conhecimentos de Matemtica?
6.
7.
ax + bx + c
8.
a, b, c do trinmio f (x) =
f (0), f (1) e f (2).
13
Unidade 11
Exerccios Suplementares
9.
10.
11.
12.
dada por
f (x) =
x?
caso
1
razes quando
4
13.
f : [0, +) R,
m < 1/4.
B.
A rma
A mais vantajosa?
14.
Dados
a, b, c
B.
positivos, determinar
tais que
xy = c
e que
ax + by
15.
300m3 .
1m
16.
Dois empresrios formam uma sociedade cujo capital de 100 mil reais.
Um deles trabalha na empresa trs dias por semana e o outro 2. Aps
14
17.
Num certo rio, com o mesmo barco e as mesmas remadas, ele percorreu
12km
a favor da corrente e
8km
2 horas. Qual era a velocidade do rio, quanto tempo ele levou para ir e
quanto tempo para voltar?
18.
Os alunos de uma turma zeram uma coleta para juntar 405 reais, custo
de uma excurso. Todos contriburam igualmente. Na ltima hora, dois
alunos desistiram. Com isso, a parte de cada um sofreu um aumento de
um real e vinte centavos. Quantos alunos tem a turma?
19.
h R
xado, a
no-constante.
20.
f (x) = x2 ,
uma parbola. Se for, quais sero o foco e a diretriz? Por simetria, o foco
deve ser
F = (0, t)
t = 1/4.
15
y = t.
Use a denio
Unidade 11
Unidade 11
Exerccios Suplementares
16
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitom-
Rio de Janeiro:
New York:
Rio de Janeiro:
SBM, Coleo
Anlise I
Coordenadas no Espao.
Professor de Matemtica.
SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages.
Matemtica.
[12] Lima, Elon Lages.
Rio
Anlise Real,
Matemtica Universitria.
17
deiro em outros corpos distintos do corpo dos nmeros reais) Assim, h uma
correspondncia biunvoca entre funes polinomiais reais e polinmios reais e
no h necessidade de fazer distino entre eles.
A seo 7.2, Denindo um Polinmio a Partir de seus Valores, tambm
trata de um fato j abordado na Unidade 10 para o caso particular de funes
quadrticas, a saber,
dados n + 1 nmeros reais x0 , . . . , xn , dois a dois distintos, e n + 1 nmeros
reais y0 , . . . , yn , quaisquer, existe um nico polinmio p, de grau n, tal que
p(xk ) = yk , k = 0, . . . , n.
A unicidade de tal polinmio decorre do fato de que um polinmio de grau
n s pode ter no mximo n razes. Para a existncia, so apresentados dois
argumentos. O primeiro deles se baseia na anlise das solues de um sistema
linear. Nesse sistema, observe que os nmeros x0 , . . . , xn e y0 , . . . , yn so
conhecidos e os coecientes a0 , . . . , an so as incgnitas.
Na seo 7.3, Grcos de Polinmios, so apresentados alguns fatos importantes envolvendo o comportamento assinttico de funes polinomiais, isto
, seu comportamento quando x tende a . Essencialmente, podemos dizer
que o comportamento assinttico de uma funo polinomial determinado pelo
seu termo de maior grau, pois para |x| sucientemente grande os demais termos
tornam-se desprezveis
Ainda na Seo 4, apresentado o mtodo de Newton, que um mtodo
numrico para o clculo de razes, isto , um mtodo de clculo de valores
aproximados de razes. Para o ensino mdio, o mtodo de Newton pode no
ser adequado, pois envolve o conceito de derivada. Entretanto, o clculo aproximado de razes de polinmios pode ser desenvolvido por meio de mtodos
mais simples. Por exemplo, o mtodo da bisseo acessvel ao ensino mdio,
com a ajuda de uma calculadora de bolso simples, como descrevemos a seguir.
Se encontramos dois nmeros x1 e x2 tais que p(x1 ) e p(x2 ) possuem sinais
distintos, digamos p(x1 ) < 0 e p(x2 ) > 0, podemos ter certeza de que existe
(pelo menos) uma raiz de p no intervalo ]x1 , x2 [ (isto um resultado que decorre da continuidade das funes polinomiais, conceito que ser estudado na
disciplina Fundamentos do Clculo). Tomamos ento um nmero qualquer x3
nesse intervalo. Se p(x3 ) = 0, temos a sorte de ter encontrado nossa raiz. Se
p(x3 ) > 0, existe (pelo menos) uma raiz no intervalo ]x1 , x3 [. Se p(x3 ) < 0,
existe (pelo menos) uma raiz no intervalo ]x3 , x2 [. Podemos assim continuar
o processo indenidamente. O clculo aproximado de razes importante e
acessvel para aprofundar a ideia de raiz no ensino mdio, bem como a de aproximao, complementando e ampliando os mtodos convencionais, que muitas
vezes so memorizados sem compreenso adequada.
Referncias Bibliogrcas
[1] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
[2] Lima, Elon Lages. Curso de Anlise, Vol. 1. Rio de Janeiro: SBM,
Projeto Euclides, 1976.
[3] Roque, Tatiana. & Pitombeira, Joo Bosco. Tpicos de Histria da
Matemtica Rio de Janeiro: SBM, Coleo PROFMAT, 2012.
12
Funes Polinomiais
Sumrio
12.1 Introduo . . . . . . . . . . . . . . . . . . . . . . .
12
Unidade 12
Introduo
12.1 Introduo
Dando prosseguimento s ltimas unidades, daremos continuidade ao estudo
de algumas ideias sobre funes ans e quadrticas, enfocando agora funes
polinomiais em geral.
Um primeiro resultado importante, apresentado na Seo 2, o fato de que
de grau menor, o que pode facilitar a tarefa de encontrar outras razes. Decorre
tambm deste resultado o fato de que um polinmio de grau
reais tem, no mximo,
n razes.
n com coecientes
tm grande importncia. De forma geral, na abordagem de polinmios no ensino bsico, certas tcnicas particulares tm recebido muito mais nfase do que
aspectos mais conceituais e qualitativos, como a aplicao da fatorao para
a determinao de razes e a anlise de sinais, o que possibilita o estudo de
grcos em casos simples.
Ainda na Seo 2, observe o comentrio sobre a relao entre funes polinomiais e polinmios, j discutida na Unidade 9. Para entender a necessidade
desse comentrio, importante lembrar que, a princpio, funes polinomiais
e polinmios so objetos matemticos de naturezas diferentes. Funes polinomiais so, antes de mais nada,
funes,
igual-
dade de seus valores em cada elemento do domnio. Por outro lado, polinmios
so expresses formais e, portanto, sua igualdade determinada pela igualdade
de seus coecientes. claro que um polinmio no pode gerar duas funes
polinomiais diferentes. No caso de R, vale a recproca: uma funo polinomial
no pode ser gerada por polinmios diferentes (fato que pode no ser verdadeiro em outros corpos distintos do corpo dos nmeros reais) Assim, h uma
correspondncia biunvoca entre funes polinomiais reais e polinmios reais e
no h necessidade de fazer distino entre eles.
A Seo 3, tambm trata de um fato j abordado na Unidade 9 para o caso
Funes Polinomiais
Unidade 12
razes.
conhecidos e os coecientes
a0 , . . . , a n
x0 , . . . , x n
y0 , . . . , y n
so
so as incgnitas.
Na Seo 4, so apresentados alguns fatos importantes envolvendo o comportamento assinttico de funes polinomiais, isto , seu comportamento
quando
tende a
|x|
zveis
Ainda na Seo 4, apresentado o
mtodo de Newton,
que um mtodo
o processo indenidamente.
acessvel para aprofundar a ideia de raiz no ensino mdio, bem como a de aproximao, complementando e ampliando os mtodos convencionais, que muitas
vezes so memorizados sem compreenso adequada.
Unidade 12
Diz-se que
reais
existem nmeros
an 6= 0,
dizemos que
tem
(11.1)
grau n.
(x )(xn1 + xn2 + + n2 x + n1 ) = xn n .
Dizemos ento que
Seja
xn n
divisvel
por
x .
Para quaisquer
x,
reais, temos
x, podemos escrever,
x R,
p(x) p() = (x )q(x),
vale
n k se p tem grau n.
uma funo polinomial de grau n no pode ter mais do que
Da resulta que
n razes.
chama-se
p(x) = an xn + + a1 x + a0 ,
Funes Polinomiais
todos os coecientes
an , an1 , . . . , a1 , a0
0xn + 0xn1 + + 0x + 0.
Se nos ativermos letra da denio, a funo polinomial identicamente
nula no tem grau, pois nenhum dos seus coecientes
Dadas as funes polinomiais
q,
6= 0.
p(x) = an xn + + a1 x + a0
e
q(x) = bn xn + + b1 x + b0 ,
sem que isto signique que ambas tm grau
an 6= 0
n,
bn 6= 0.
Suponhamos que p(x) = q(x) para todo x R, ou seja, que p e q sejam
funes iguais. Ento a diferena d = p q a funo identicamente nula, pois
d(x) = p(x) q(x) = 0 para todo x R. Mas, para todo x R, tem-se
nem que
an bn = 0, . . . , a1 b1 = 0, a0 b0 = 0,
ou seja,
an = bn , . . . , a1 = b1 , a0 = b0 .
Portanto as funes polinomiais
para todo
xR
peq
p(x) = q(x)
polinmio
p(X) = an X n + an1 X n1 + + a1 X + a0 ,
(a0 , a1 , . . . , an ) uma lista ordenada de nmeros reais e X um smbolo
i
(chamado uma indeterminada), sendo X uma abreviatura para X X X (i
fatores). Em essncia, o polinmio p(X) o mesmo que a lista ordenada dos
onde
Unidade 12
Unidade 12
X i X j = X i+j .
p(X) = an X n + + a1 X + a0
e
q(X) = bn X n + + b1 X + b0
so
iguais
(ou
idnticos )
quando
a0 = b0 , a1 = b1 , . . . , an = bn .
A cada polinmio
p(X) = an X n + + a1 X + a0
p : R R, denida por p(x) = an xn +
correspondncia (polinmio) 7 (funo
+ a1 x + a0 ,
para todo
x R.
Esta
A discusso
p.
p
e
p(x)
com nmero real que o valor por ela assumido num certo ponto
x.
resultado:
Funes Polinomiais
anterior pois se
A existncia de um polinmio
an xn0 + + a1 x0 + a0 = y0
an xn + + a1 x1 + a0 = y1
1
.
.
a xn + + a x + a = y .
em
n n
1 n
x0 , x1 , . . . , xn ,
n+1
nmeros so dois
(xi xj ),
i<j
Outra maneira de provar que existe sempre um polinmio de grau
que assume nos
n+1
pontos distintos
x0 , x1 , . . . , xn
os valores arbitrados
n=1:
p(x) = y0
x x1
x x0
+ y1
.
x0 x1
x1 x 0
n=2:
p(x) = y0
(x x1 )(x x2 )
(x x0 )(x x2 )
+ y1
+
(x0 x1 )(x0 x2 )
(x1 x0 )(x1 x2 ))
(x x0 )(x x1 )
.
+ y2
(x2 x0 )(x2 x1 )
Caso geral:
p(x) =
n
X
i=0
yi
Y x xk
k6=i
6 n
x i xk
Unidade 12
Unidade 12
Grficos de Polinmios
p(x)
cumpre as condies
x0 = 1, x1 = 0, x2 = 1, x3 = 2 e x4 = 3 e
procurarmos o polinmio de grau 6 4 que assume nesses pontos os valores 7,
1, 5, 11 e 25 respectivamente, obteremos
Por exemplo, se pusermos
p(x) = x3 2x2 + 5x + 1,
que tem grau 3.
p(x) = x2
q(x) = x6 .
Quando
menor do que
x2
mas, para
Funes Polinomiais
y=x
y=x2
y=x3-2x
y=x4-3x2+3
y=x6
y=x2
3) Seja
p um polinmio e sejam x1
x2
em
R.
Se
y = xn .
p(x1 ) < 0 e p(x2 ) > 0, ento
Unidade 12
Unidade 12
Grficos de Polinmios
Teorema do Valor
que todo polinmio de grau mpar possui ao menos uma raiz real (cf. Exerccio
6). Mas como localizar alguma dessas razes?
As razes dos polinmios de grau 2 foram expressas em funo dos coecientes h milnios. Durante a Renascena (meados do sculo 16) foram obtidas
frmulas para exprimir, mediante radicais, as razes dos polinmios de terceiro
e quarto graus em funo dos coecientes.
localizada no intervalo
[a, b],
p(a)
p(b)
tm sinais
6 4.
algoritmos aproximativos,
x1 , x2 , . . . , xn , . . .
p(x) = 0
um valor prximo de
xn+1 = xn
tem como limite uma raiz de
p.
p(xn )
,
p0 (xn )
Os termos
xn
x1
aproximaes x1 , x2 , . . . , xn , . . . de
a pela
frmula iterativa
xn+1 =
Observao:
1
a
xn +
.
2
xn
rivada do polinmio
p(x) = an xn + + a0
10
p0 (x)
representa a de-
Funes Polinomiais
Unidade 12
p(x) = 0
13
p(x0 )
=2
= 1, 783,
0
p (x0 )
60
p(x1 )
3, 124
x2 = x1 0
= 1, 783
= 1, 687,
p (x1 )
32, 703
p(x2 )
0, 434
= 1, 687
= 1, 667.
x3 = x 2 0
p (x2 )
23, 627
x1 = x0
p(1, 668)
p(x) = x 5x + 1
p(0) > 0
localizada entre 0 e 1.
11
p(1) < 0,
Exemplo 1
Unidade 12
Exerccios Recomendados
Sejam
2.
3.
4.
Certo ou errado?
de
5.
p(x)
p (x).
p(x) de
p(4) = 3.
Determine o polinmio
p(2) = 1, p(3) = 4
6.
raiz dupla de
Seja
p(x)
x1
x2
um nmero mpar.
tais que
p(x1 ) < 0
p(1) = 2,
Mostre que
p(x2 ) > 0.
Conclua
da que todo polinmio de grau mpar admite pelo menos uma raiz real.
7.
Seja
p(x) = an xn + + a1 x + a0 ,
a) Prove que se
par,
p(x)
com
a0 6= 0.
an
para
|x|
su-
cientemente grande.
b) Prove que se
mpar,
p(x)
de x
para os quais
|x|
12
muito grande.
an
an
para valores
para valores
Funes Polinomiais
mente,
8.
Sejam
9.
Mostre que se
p(x)
Tomando
q(x)
|x|
dois polinmios.
Se gr
p(x) >
gr
x0 = 3,
xn1 =
para calcular
5
1
xn +
2
xn
11.
cresce ilimitadamente.
10.
|p(x)|
3
a
13
2.
Unidade 12
Unidade 12
Exerccios Recomendados
14
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitom-
Rio de Janeiro:
New York:
Rio de Janeiro:
SBM, Coleo
Anlise I
Coordenadas no Espao.
Professor de Matemtica.
SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages.
Matemtica.
[12] Lima, Elon Lages.
Rio
Anlise Real,
Matemtica Universitria. 11
15
Nas unidades
f : R R, temos
que f am se, e somente se, existe a R tal que f (x + h) f (x) = a h
para qualquer variao h da varivel x. Dizemos que esta uma caracterizao das funes ans, pois todas as funes ans, e nenhuma outra, tm essa
somente da variao da varivel independente. Assim, dada
propriedade.
Nesta unidade, comeamos a discutir uma caracterizao para a funo
exponencial com base na ideia de variao, como segue:
h,
e no de
x.
f (x + h)
f (x)
instantnea
depende apenas
taxa de variao
As demonstraes para
Na seo 8.1,
Introduo,
demonstrado um
Lema que ser importante para a extenso da exponencial para expoentes reais,
que ser discutida na prxima unidade.
Veremos que as extenses da exponenciao de
para
e de
Z para Q
de Q para R
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
[2] Lima, Elon Lages.
Anlise I
Curso de Anlise,
Vol.
1.
Rio de Janeiro:
SBM,
Matemtica
Tpicos de Histria da
13
Introduo s Funes
Exponenciais
Sumrio
13.1 Introduo
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . .
11
Unidade 13
Introduo
13.1
Introduo
Nesta unidade, daremos incio ao estudo das funes exponenciais, introduzindo-as por meio de uma propriedade relativa sua variao.
Nas unidades
f : R R, temos
que f am se, e somente se, existe a R tal que f (x + h) f (x) = a h
para qualquer variao h da varivel x. Dizemos que esta uma caracterizao das funes ans, pois todas as funes ans, e nenhuma outra, tm essa
somente da variao da varivel independente. Assim, dada
propriedade.
Nesta unidade, comeamos a discutir uma caracterizao para a funo
exponencial com base na ideia de variao como segue:
Para cada variao da varivel independente h xada, a variao correspondente da varivel dependente f (x + h) f (x) proporcional ao valor da prpria
varivel dependente f (x), sendo a constante de proporcionalidade dependente
de h.
f (x + h)
depende apenas
Equivalentemente, podemos dizer que a razo
f (x)
de h, e no de x. Uma importante consequncia para o clculo innitesimal
que as funes exponenciais so aquelas para as quais a taxa de variao
instantnea (isto , a derivada) proporcional ao valor da prpria funo.
Essas propriedades podem ser percebidas intuitivamente em situaes em
que uma grandeza varia em funo do tempo de tal forma que o acrscimo
sofrido a partir de um determinado instante proporcional ao valor da prpria
grandeza naquele instante este o caso, por exemplo, dos juros compostos
e do decaimento radioativo, tratados nesta unidade.
As demonstraes para
Unidade 13
inteiros negativos, nem para expoentes racionais. Em ambos os casos, as denies generalizadas so as nicas possveis, de modo a preservar as propriedades
fundamentais da exponenciao.
No nal da Seo 3, demonstrado um Lema que ser importante para a
extenso da exponencial para expoentes reais, que ser discutida na prxima
unidade.
Veremos que as extenses da exponenciao de
para
e de
Z para Q
de Q para R
13.2
x, investida durante
perodo o valor f (x).
f (x)
x.
c0
continuamente.
Se chamarmos de
de decorrido o
t < t0
ento o acrscimo
Exemplo 1
Unidade 13
funo crescente
apenas de
Conforme ser estabelecido futuramente, as nicas funes com estas propriedades so as da forma
c(t) = c0 at .
Exemplo 2
meia-vida
Unidade 13
de
109
a massa da substncia
m uma funo decrescente de t e, alm disso, a perda relativa [m(t + h) m(t)]/m(t), ocorrida
aps o decurso do tempo h, depende apenas de h mas no do instante inicial
t, ou seja, da massa m(t) existente naquela ocasio.
radioativa presente no corpo no instante
t,
m = m(t)
veremos que
13.3
Unidade 13
que, para
m1 , m2 , . . . , mk
quaisquer em
N,
vale
a>1
, obtemos
m1 = = mk = m,
temos
(am )k = amk .
an+1 > an .
Portanto,
a < 1
pelo
1 2 3
n
, , ,...,
,...,
2 3 4
n+1
onde se tem
n
< 1,
n+1
para todo
n N.
1A
natutal
n > 2.
d > 0,
ento
se deseje, desde que o expoente seja tomado sucientemente grande. Se usarmos o argumento acima para obter uma potncia de
10
(1, 000001) >
n > 21
14
. Na realidade, usando
nmero maior do que 1 crescem acima de qualquer nmero real pr-xado, nos
preocupamos mais em usar um raciocnio simples e claro do que obter o menor
expoente possvel.
a > 1!),
escrevemos
lim an =
n
e dizemos que
an
De modo anlogo, se
0<a<1
cresce indenidamente.
a, a2 , a3 , . . .
c > 0, por
an < c.
0 < a < 1,
1
an
>
1
, donde
c
tal que
se escrevermos
nN
an < c.
0 < a < 1,
lim an = 0
n
(A expresso
limn an = 0
l-se o limite de
an ,
quando
tende ao innito,
igual a zero).
Procuremos agora atribuir um signicado potncia
an ,
quando
um
nmero inteiro (que pode ser negativo ou zero). Isto deve ser feito de modo
que seja mantida a regra fundamental
am an = am+n .
a0 a1 =
a0+1 deve ser vlida, teremos a0 a = a. Logo a nica denio possvel a0 = 1.
Em primeiro lugar, qual deve ser o valor de
a0
? Como a igualdade
Unidade 13
Exemplo 3
Unidade 13
1
.
an
an =
n N,
devemos ter
an an = an+n = a0 = 1,
f (m + n) = f (m) f (n),
ainda crescente quando
Em particular, para
tem-se
De
an < 1 < an ,
am an = am+n
a>1
e decrescente quando
0 < a < 1.
(am )n = amn
ainda quando m,
r = m/n
vlida a regra
a a = a
r+s
, onde
mZ
n N),
n Z.
ar
quando
Desta
r = m/n:
n
am , a raiz n-sima de am . Assim, a nica
denio de raiz, este nmero
r
maneira de denir a potncia a , com r = m/n, m Z, n N, consiste em
Portanto
ar
pr
am/n =
am .
Depois de dar esta denio, h alguns detalhes que devem ser examinados.
Em primeiro lugar, como se tem
mostrar que
m =
np
amp
m/n = mp/np
para todo
p N,
preciso
Em
Dado
jetiva.
forma
a > 0,
a funo
Noutras palavras,
ar
com
f : Q R+ ,
xado a > 0,
denida por
f (r) = ar ,
Unidade 13
no sobre-
um
f (Q), porm R+
m/n
As potncias
ar ,
a 6= 1.
Noutras palavras,
do lema abaixo.
{ar ; r Q}
denso em
R+ .
R+
Lema 1
Unidade 13
1.
2.
1
= n
a
3.
4.
5.
n
m
m
E que a n =
an = ( m a) ?
a>1
a0 = 1?
e decrescente
p N,
tem-se que
f : Q R denida
se 0 < a < 1.
m=
por
a2 =
a?
amp .
np
f (r) = ar
crescente se
Uma alga cresce de modo que, em cada dia, ela cobre uma superfcie
de rea igual ao dobro da coberta no dia anterior. Se esta alga cobre a
superfcie de um lago em 100 dias, qual o nmero de dias necessrios
para que duas algas, da mesma espcie da anterior, cubram a superfcie
do mesmo lago? E se forem quatro algas? Voc consegue responder a
esta pergunta para 3 algas?
10
Textos Complementares
Demonstrao do Lema
<<a
n
.
1<a< 1+ M
a
Unidade 13
mN
tal que
m
aM
m
n
6 M,
ento
m+1
n
a n < .
Assim, as potncias
a0 = 1, a1/n , a2/n , . . . , aM
so extremos de intervalos consecutivos, todos de comprimento menor do que
o comprimento
do intervalo
m
n ,
[, ].
est contido
11
[, ] [1, aM ], pelo
no intervalo [, ].
Como
menos
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitom-
Rio de Janeiro:
New York:
Rio de Janeiro:
SBM, Coleo
Anlise I
Coordenadas no Espao.
Professor de Matemtica.
SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages.
Matemtica.
[12] Lima, Elon Lages.
Rio
Anlise Real,
Matemtica Universitria.
12
Nesta unidade, continuaremos o estudo de funes exponenciais que iniciamos na unidade anterior, em que foi apresentada a denio da exponenciao
apenas para expoentes racionais.
Na seo 8.3 A Funo Exponencial, discutida a sua extenso para expoentes reais, necessria para que possamos denir a funo exponencial com
domnio em R. Fazer essa extenso signica que, para a > 0 xado, devemos
denir uma funo f , com domnio em R, que satisfaa para quaisquer x e y
em R as propriedades fundamentais:
1.
ax .ay = ax+y ;
2.
a1 = a;
(
3.
x<y
ax < ay ,
ay < ax ,
quando a > 1
quando 0 < a < 1.
r<x<s
ar < y < as .
a > 1,
No Ensino Mdio, grcos de funes exponenciais so muitas vezes traados de forma displicente, como se fossem arcos de parbola. Entretanto,
importante observar que o crescimento exponencial qualitativamente bastante diferente do crescimento polinomial. Para entender bem esta diferena
qualitativa, releia a discusso sobre variao da funo exponencial na unidade
anterior, caracterizada pela propriedade:
O crescimento exponencial se caracteriza pelo fato de que a variao da
varivel dependente proporcional ao seu prprio valor.
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
Anlise I
de Anlise
da
14
Funo Exponencial
Sumrio
14.1 Introduo
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . .
12
Unidade 14
Introduo
14.1
Introduo
Nesta unidade, continuaremos o estudo de funes exponenciais que iniciamos na unidade anterior, onde foi apresentada a denio da exponenciao
apenas para expoentes racionais.
Na Seo 2, discutida a sua extenso para expoentes reais, necessria
para que possamos denir a funo exponencial com domnio em
essa extenso signica que, para
com domnio em
R,
a>0
R.
Fazer
em
f,
as propriedades
fundamentais:
(1)
ax .ay = ax+y ;
(2)
a1 = a;
(
(3)
x<y
ax < ay ,
ay < ax ,
quando
quando
a>1
0 < a < 1.
r, s Q,
Poderemos ento denir
r<x<s
ax = y .
ar < y < a s .
que satisfaz as propriedades (1), (2) e (3). A partir da, poderemos estabelecer
f : R R+ ,
.
como
Entretanto,
qualitativamente bas-
Funo Exponencial
14.2
A Funo Exponencial
1. A funo exponencial f : R
R de base a, indicada pela notao f (x) = ax , deve ser denida de modo a
ter as seguintes propriedades fundamentais. Para quaisquer x, y R:
Seja a um nmero real positivo diferente de
(1)
ax .ay = ax+y ;
(2)
a1 = a;
(
x<y
(3)
ax < ay ,
ay < ax ,
quando
quando
a>1
0 < a < 1.
f : R R tem a propriedade
(1) acima, isto , f (x + y) = f (x) f (y), ento f no pode assumir o valor 0,
a menos que seja identicamente nula. Com efeito, se existir algum x0 R tal
que f (x0 ) = 0 ento, para todo x R teremos
interessante observar que se uma funo
Mais ainda, se
ento
f (x) = f
x
2
x x h x i2
x
=f
f
= f
> 0.
2
2
2
2
Unidade 14
A Funo Exponencial
Unidade 14
que se ter
(1),
. A vantagem de tomar
R+
como contradomnio
(1)
Se uma funo
nN
f: R R
tem as propriedades
(2),
tem-se
f (r) = ar = n am .
Usando a propriedade
que para todo nmero
Portanto,
f (r) f (s)
f (r) = ar
f : Q R+
f (1) = a.
a nica funo
r, s Q
para quaisquer
tal que
f (r + s) =
r, s Q,
ax
x, r Q,
Ou seja,
r<x<s
ar < y < a s .
ar , com r <
x < s, s Q
as ,
com
R).
r, s Q,
Ento, o intervalo
[A, B]
r < s,
A < B,
com a
teramos
com expoente
irracional,
ax
ar ,
com
Funo Exponencial
Denindo
ax
para todo
x R,
Unidade 14
fato, so vlidas as propriedades (1), (2) e (3) acima enunciadas. Alm disso,
tem-se ainda
ax
nos assegura
monotonicidade da
s.
Unidade 14
A Funo Exponencial
x 7 ax
De fato, se
x<ya <a
Tem-se ainda
lim ax = +
x+
se
a > 1,
lim ax = 0
se
0 < a < 1,
lim ax = 0
se
a>1
x+
x
lim ax = +
se
f (x) = ax
0 < a < 1.
nos casos
a>1
0 < a < 1.
acelerado.
x,
O crescimento
Se compararmos o grco de
Funo Exponencial
y = 2x (por exemplo) com o de y = x10 , veremos que, para 0 < x < 1, 077
10
temos x
< 2x . Para 1, 077 < x < 58, 77 tem-se x10 > 2x e, para todo
x > 58, 77 tem-se sempre 2x > x10 .
14.3
As funes exponenciais so, juntamente com as funes ans e as quadrticas, os modelos matemticos mais utilizados para resolver problemas elementares. As funes ans ocorrem em praticamente todos os problemas durante
os nove primeiros anos da escola e, com menos exclusividade, porm ainda com
grande destaque, nos trs anos nais. Por sua vez, as funes quadrticas e exponenciais aparecem nesses trs ltimos anos, embora tenham, principalmente
as ltimas, importncia considervel na universidade, bem como nas aplicaes
de Matemtica em atividades cientcas ou prossionais.
Uma vez decidido que o modelo adequado para um determinado problema
uma funo am, quadrtica ou exponencial, a partir da o tratamento matemtico da questo no oferece maiores diculdades. As dvidas que possam
surgir acontecem geralmente, antes, na escolha do instrumento matemtico
apropriado para o problema que se estuda.
Unidade 14
Unidade 14
exponenciais.
Teorema 1
Caracterizao da
Funo Exponencial
Demonstrao
Seja
f : R R+
f (nx) = f (x)n
(2)
f (x) = ax
(3)
f (x + y) = f (x) f (y)
para todo
para todo
nZ
x R,
e todo
onde
x R;
a = f (1);
para quaisquer
x, y R.
logo
Funo Exponencial
Se a funo
Unidade 14
os quocientes
g(x + h) g(x)
= ah 1
g(x)
dependem apenas de
Seja
h, mas no de x.
g : R R+
g(x + h)
= ah
g(x)
x e h em R, o acrscimo relativo
[g(x + h) g(x)]/g(x) dependa apenas de h, mas no de x. Ento, se b = g(0)
x
e a = g(1)/g(0), tem-se g(x) = ba para todo x R
decrescente). Suponhamos que, para quaisquer
ento os valores
ah ,
pois
Teorema 2
Caracterizao das
funes de tipo
exponencial
Unidade 14
onde
A = ah . Portanto, a
h unidades de tempo,
evoluo do
dada pela
progresso geomtrica:
c0 , c0 A, c0 A2 , c0 A3 , . . . .
Esta propriedade caracterstica das funes de tipo exponencial, conforme
o resultado a seguir.
Teorema 3
f : R R uma funo montona injetiva (isto , crescente ou decrescente) que transforma toda progresso aritmtica x1 , x2 , . . . , xn , . . . numa progresso geomtrica y1 , y2 , . . . , yn , . . ., onde yn = f (xn ). Se pusermos b = f (0)
x
e a = f (1)/f (0) teremos f (x) = ba para todo x R.
Seja
10
Funo Exponencial
Unidade 14
Exerccios Recomendados
1.
convergncia,
uma noo de
ou de
continuidade.
Evidentemente, estes
aproximao,
com
irracional, com
2.
ax ,
2 (por
exemplo).
f: R R
clculo diferencial).
f (x) = 2x
(b)
f (x) = 2x
(c)
f (x) = 21x
;
2
;
2
1
x;
(d)
f (x) = 2
(e)
f (x) = 2x 3;
x
1
.
f (x) = 3
2
(f )
3.
(a)
4.
5.
3,
f (x) = ax
determine o
(b)
2x 1 > 21x ;
(c)
4x+ 2 + 5 2x + 2 > 0.
Mostre que
limh0 ah = 1.
11
g(x) = x2 1
nmero a.
se
Unidade 14
Textos Complementares
14.5
Textos Complementares
f,
x = limn rn ,
deve ser
12
f
x
Funo Exponencial
Demontrao do Teorema
Unidade 14
(h) =
g(x + h)/g(x) independe de x. Substituindo, se necessrio, g(x) por f (x) =
g(x)/b, onde b = g(0), f contnua montona injetiva, com f (x + h)/f (x)
independente de x e, agora, com f (0) = 1. Ento, pondo x = 0 na relao
(h) = f (x + h)/f (x), obtemos (h) = f (h) para todo h R. Vemos assim
que a funo montona injetiva f cumpre f (x + h) = f (x) f (h), ou seja,
f (x + y) = f (x) f (y) para quaisquer x, y R. Segue-se ento do teorema
x
x
anterior que f (x) = a , logo g(x) = bf (x) = ba , como queramos demonstrar.
Como vimos acima, a hiptese feita equivale a supor que a funo
13
Unidade 14
Textos Complementares
Prova do Teorema
Seja
b = f (0).
A funo
g : R R+ ,
denida por
g(x) = f (x)/b,
x R qualquer, a
sequncia x, 0, x uma progresso aritmtica, logo g(x), 1, g(x) uma progresso geomtrica de razo g(x). Segue-se g(x) = 1/g(x). Sejam agora
n N e x R. A sequncia 0, x, 2x, . . . , nx uma progresso aritmtica,
logo 1, g(x), g(2x), . . . , g(nx) uma progresso geomtrica, cuja razo evidenn
temente g(x). Ento seu (n + 1)-simo termo g(nx) = g(x) . Se n
n
n
um inteiro negativo ento g(nx) = 1/g(nx) = 1/g(x) = g(x)
. Portanto,
n
vale g(nx) = g(x) para quaisquer n Z e x R. Segue-se do Teorema de
x
Caracterizao acima que, pondo a = g(1) = f (1)/f (0), tem-se g(x) = a , ou
x
seja, f (x) = ba , para todo x R.
g(0) = 1.
14
Dado
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitom-
Rio de Janeiro:
New York:
Rio de Janeiro:
SBM, Coleo
Anlise I
Coordenadas no Espao.
Professor de Matemtica.
SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages.
Matemtica.
[12] Lima, Elon Lages.
Rio
Anlise Real,
Matemtica Universitria.
12
aloga x = x
loga (ax ) = x.
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
Anlise I
de Anlise,
Logaritmos.
da
15
Funo Logartmica
Sumrio
15.1 Introduo . . . . . . . . . . . . . . . . . . . . . . .
Unidade 15
Introduo
15.1
Introduo
loga (ax ) = x.
Funo Logartmica
mais geral, passos multiplicativos na varivel independente de uma funo logartmica correspondem a passos aditivos na varivel dependente.
Na Seo 3, apresentada uma caracterizao com base nas propriedades
algbricas da funo. Observe a importncia da hiptese de monotonicidade e
da densidade dos racionais na demonstrao deste fato.
15.2
Funes Logartmicas
loga (ax ) = x.
Assim, loga x o expoente ao qual se deve elevar a base a para obter o nmero
x. Ou seja,
y = loga x ay = x.
Segue-se imediatamente da relao au av = au+v que
loga (xy) = loga x + loga y
para x e y positivos quaisquer. Com efeito, se u = loga x e v = loga y ento
au = x e av = y, logo
xy = au av = au+v ,
ou seja,
loga (xy) = u + v = loga x + loga y.
Unidade 15
Unidade 15
Funes Logartmicas
Funo Logartmica
x+
lim loga x = .
x0
Unidade 15
Unidade 15
15.3
Funo Logartmica
Unidade 15
Teorema 1
Caracterizao das
Funes Logartmicas
Demonstrao
Unidade 15
sem mais nenhuma hiptese. Ento g(1) = 0 e, como 1 < 2, devemos ter
g(2) = b > 0. A nova funo f : R+ R, definida por f (x) = g(x)/b,
crescente, transforma somas em produtos e cumpre f (2) = 1. Logo, pela
primeira parte da demonstrao, tem-se f (x) = log2 x para todo x > 0. Isto
significa que, para todo x > 0, vale
x = 2f (x) = 2g(x)/b = (21/b )g(x) = ag(x) ,
com a = 21/b . Tomando loga de ambos os membros da igualdade ag(x) = x
vem, finalmente, g(x) = loga x.
Funo Logartmica
Exerccios Recomendados
1. Use as aproximaes log10 2
= 0, 301, log10 3
= 0, 477 e log10 5
= 0, 699
para obter valores aproximados para:
(a) log10 9
(b) log10 40
(c) log10 200
(d) log10 3000
(e) log10 0, 003
(f) log10 0, 81
2. Uma interpretao do logaritmo decimal a sua relao com a ordem de
grandeza, isto , com o nmero de algarismos na representao decimal.
As questes a seguir exploram esta relao.
(a) Considere o nmero x = 58.932, 1503. Qual a parte inteira de
log10 x?
(b) Considere x > 1 um nmero real cuja parte inteira tem k algarismos.
Mostre que a parte inteira de log10 x igual a k 1.
(c) Generalizando o item anterior, considere o sistema de numerao
posicional de base b 2. Mostre que, se a representao de um
nmero real x > 1 nesse sistema tem k algarismos, ento, a parte
inteira de logb x igual a k 1.
3. Considere x, y R tais que x = 10k y, com k Z. Qual a relao
entre log10 x e log10 y?
4. (a) Mostre que uma funo logartmica transforma toda progresso geomtrica em uma progresso aritmtica.
(b) Interprete a propriedade acima com base no crescimento da funo
logartmica.
(c) A propriedade demonstrada no item (a) pode ser considerada uma
caracterizao para as funes logartmicas, isto , verdade que
Unidade 15
Unidade 15
uma funo logartmica se, e somente se, transforma toda progresso geomtrica em uma progresso aritmtica?
5. (UNIRIO/1994) Um explorador descobriu, na selva amaznica, uma espcie nova de planta e, pesquisando-a durante anos, comprovou que o
seu crescimento mdio variava de acordo com a frmula A = 40 (1, 1)t ,
onde a altura mdia A medida em centmetros e o tempo t em anos.
Sabendo-se que log10 2
= 0, 30 e log10 11
= 1, 04, determine:
(a) a altura mdia, em centmetros, de uma planta dessa espcie aos 3
anos de vida;
(b) a idade, em anos, na qual a planta tem uma altura mdia de 1, 6m.
6. (UERJ/2008) Admita que, em um determinado lago, a cada 40cm de
profundidade, a intensidade de luz reduzida em 20%, de acordo com
a equao I = I0 0, 8k/40 , onde I a intensidade da luz em uma profundidade h, em centmetros, e I0 a intensidade na superfcie. Um
nadador verificou, ao mergulhar nesse lago, que a intensidade da luz, em
um ponto P , de 32% daquela observada na superfcie. Determine um
valor aproximado para a profundidade do ponto P .
7. O acidente do reator nuclear de Chernobyl, URSS, em 1986, lanou na atmosfera grande quantidade do istopo radioativo estrncio-90, cuja meiavida de vinte e oito anos. Supondo ser este istopo a nica contaminao radioativa e sabendo que o local poder ser considerado seguro
quando a quantidade de estrncio-90 se reduzir, por desintegrao, a
1
da quantidade inicialmente presente, em que ano o local poder ser
16
habitado novamente?
8. Os grficos a seguir foram desenhados por um programa de computador, em eixos x0 y 0 com escalas logartmicas decimais. Isto , se xy o
sistema de coordenadas cartesianas convencional, ento x0 = log10 x e
y 0 = log10 y. A janela grfica 0, 1 x0 10 e 0, 1 y 0 10.
10
Funo Logartmica
E
E0
11
Unidade 15
Unidade 15
(c) Por que voc acha que o uso de uma escala logartmica conveniente, no caso da medio de intensidade de terremotos?
(d) Pesquise outros exemplos de situaes em que o uso de escalas
logartmicas mais conveniente.
12
Referncias Bibliogrficas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitombeira, Joo Bosco. Trigonometria e Nmeros Complexos. Rio de Janeiro:
SBM, Coleo Professor de Matemtica.
[2] Eves, Howard. An Introduction to the History of Mathematics. New York:
Holt, Rinehart and Winston, 1964.
[3] Ferreira, J. A Construo dos Nmeros. Rio de Janeiro: SBM, Coleo
Textos Universitrios, 2010.
[4] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
[5] Figueiredo, Djairo G. Nmeros Irracionais e Transcedentes Rio de Janeiro:
SBM, Coleo Iniciao Cientfica. 2
[6] Halmos, Paul. Naive Set Theory. New York: Springer, 1974.
[7] Hefez, A. Curso de lgebra Volume 1. 4a Edio. Rio de Janeiro: IMPA,
Coleo Matemtica Universitria, 2010.
[8] Hefez, Abramo e Fernandez, Ceclia de Souza. Introduo lgebra Linear.
Rio de Janeiro: SBM, Coleo PROFMAT, 2012.
[9] Lima, Elon Lages. Coordenadas no Espao. Rio de Janeiro: SBM, Coleo
Professor de Matemtica.
[10] Lima, Elon Lages. Curso de Anlise, Vol. 1. Rio de Janeiro: SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages. Logaritmos. Rio de Janeiro: SBM, Coleo Professor de
Matemtica.
[12] Lima, Elon Lages. Meu Professor de Matemtica e Outras Histrias. Rio
de Janeiro: SBM, Coleo Professor de Matemtica.
[13] Lima, Elon Lages. Anlise Real, Vol. 1. Rio de Janeiro: IMPA, Coleo
Matemtica Universitria.
12
Referncias Bibliogrcas
[1] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
[2] Figueiredo, Djairo G. Nmeros Irracionais e Transcedentes Rio de Janeiro:
SBM, Coleo Iniciao Cientca.
[3] Lima, Elon Lages. Curso de Anlise, Vol. 1. Rio de Janeiro: SBM,
Projeto Euclides, 1976.
[4] Lima, Elon Lages. Logaritmos. Rio de Janeiro: SBM, Coleo Professor
de Matemtica.
[5] Roque, Tatiana. & Pitombeira, Joo Bosco. Tpicos de Histria da
Matemtica Rio de Janeiro: SBM, Coleo PROFMAT, 2012.
16
Logaritmos Naturais
Sumrio
16.1 Introduo . . . . . . . . . . . . . . . . . . . . . . .
Unidade 16
Introduo
16.1
Introduo
Logaritmos Naturais
Nesta unidade, mostramos que o nmero e, definido como a base do logaritmo natural, coincide com o limite:
n
1
lim 1 +
.
n+
n
Em particular, esta sequncia nos fornece aproximaes racionais para o
nmero e. A demonstrao deste fato baseia-se na observaes de propriedades
geomtricas da rea sob a hiprbole. A partir da, obtemos ainda outros limites
importantes:
1
lim (1 + x) x = e
x0
16.2
lim
n+
1+
n
= e ,
n
R.
Logaritmos Naturais
Nesta unidade, mostraremos como os logaritmos naturais podem ser apresentados de forma geomtrica, usando para isso o Teorema de Caracterizao
demonstrado na unidade anterior.
Comeamos pelo estudo de uma transformao geomtrica bastante simples,
que se revela til para os nossos propsitos.
Para cada nmero real k > 0, definimos a transformao (= funo) T =
Tk : R2 R2 , que associa a cada ponto (x, y) R2 o ponto T (x, y) =
(kx, y/k), obtido de (x, y) multiplicando a abscissa por k e dividindo a ordenada
pelo mesmo k.
Um retngulo X de lados paralelos aos eixos, com base medindo b e altura
medindo a, transformado por T num retngulo X 0 = T (X), ainda com
lados paralelos aos eixos, porm com base kb e altura a/k. Portanto X e seu
transformado X 0 = T (X) tm reas iguais. Mais geralmente, T transforma
toda figura F do plano numa figura F 0 = T (F ), cujas dimenses em relao a
F so alteradas pelo fator k na horizontal e 1/k na vertical. Logo F e F 0 tm
a mesma rea.
O leitor interessado numa anlise mais detida do fato de que F e F 0 tm a
mesma rea observar que todo polgono retangular contido em F transformado por T num polgono retangular de mesma rea contido em F 0 enquanto
T 1 faz o mesmo com os polgonos retangulares contidos em F 0 .
Unidade 16
Unidade 16
Logaritmos Naturais
Figura 16.1: Um quadrado, um crculo e suas imagens por T (x, y) = (2x, y/2)
Interessa-nos em particular o efeito da transformao T nas faixas de hiprbole.
Seja
H = {(x, 1/x); x > 0}
o ramo positivo da hiprbole equiltera xy = 1. Note que H o grfico da
funo h : R+ R, h(x) = 1/x.
Dados a, b R+ , o conjunto Hab dos pontos (x, y) do plano tais que a 6
x 6 b e 0 6 y 6 1/x chama-se uma faixa de hiprbole. Observe que Hab o
conjunto do plano limitado pelas retas verticais x = a e x = b, pelo eixo das
abscissas e por H.
Logaritmos Naturais
REAHab ,
com letras maisculas, para indicar a rea orientada (provida de sinal). A rea
usual, com valores > 0, ser escrita como rea Hab . Assim, temos:
REA Hab = rea Hab > 0 se a < b;
REA Hab = rea Hab <0 se b < a;
REA Haa =0.
bvio que, quando a < b < c, tem-se
rea Hab + rea Hbc = rea Hac .
Uma consequncia da adoo de reas orientadas que se tem
REA Hab = REA Hba .
Da segue que vale a igualdade
REA Hab + REA Hbc = REA Hac
Unidade 16
Unidade 16
Logaritmos Naturais
x > 1;
f (x) < 0
0 < x < 1;
f (1) = 0 e f crescente.
Alm disso, observamos que, para x, y R+ quaisquer,
Logaritmos Naturais
Unidade 16
Unidade 16
Logaritmos Naturais
x
< ln (1 + x) < x.
1+x
Dividindo por x:
ln (1 + x)
1
<
< 1.
1+x
x
Tomando x = n1 :
1 n
n
< ln 1 +
< 1,
n+1
n
Portanto:
n
1 n
e n+1 < 1 +
< e,
n
n
para todo n N. Quando n cresce indefinidamente, n+1
se aproxima de 1,
n
logo e n+1 tende a e. Segue-se ento destas ltimas desigualdades que
1 n
= e.
lim 1 +
n
n
Este argumento ilustra bem claramente a vantagem que advm de se interpretar o logaritmo natural geometricamente: a noo de rea visualmente
intuitiva, permitindo que se obtenham desigualdades como a que foi usada aqui.
Logaritmos Naturais
Unidade 16
1
ln (1 + x)
<
< 1,
1+x
x
(1)
x
.
1+x
ln (1 + x)
1
<
.
x
1+x
(2)
ou seja
1
(3)
lim (1 + x) x = e.
x0
Unidade 16
Logaritmos Naturais
10
Logaritmos Naturais
Exerccios Recomendados
1. Use o limite lim
n+
1
1+
n
n
= e para obter aproximaes sucessivas
para o nmero e.
2. As aproximaes para o nmero e sugeridas no exerccio anterior podem
ser feitas com ajuda de uma planilha eletrnica.
(a) Preencha a coluna A da planilha com a sequncia crescente dos
nmeros naturais at 10. Em seguida, escreva nas primeiras clulas
das colunas B e C, respectivamente, =1+1/A1 e =B1A1.
Arraste essas clulas ao longo das colunas, at o final das clulas
preenchidas na coluna A. De que nmero os valores encontrados na
coluna C esto se aproximando? Justifique sua resposta.
(b) Podemos repetir a experincia do item anterior, aumentando a velocidade de convergncia. Para isto, repita a numerao da coluna
A, e escreva nas primeiras clulas das colunas B, C e D, respectivamente: =10A1, =1+1/B1 e =C1B1. Arraste essas clulas
ao longo das colunas, at o final das clulas preenchidas na coluna A.
De que nmero os valores encontrados na coluna C esto se aproximando? Agora, estenda a numerao da coluna A at 20 e arraste
as demais coluna at essa posio. O comportamento dos nmeros
que aparecem na coluna D o esperado? Explique o ocorrido.
11
Unidade 16
Referncias Bibliogrficas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitombeira, Joo Bosco. Trigonometria e Nmeros Complexos. Rio de Janeiro:
SBM, Coleo Professor de Matemtica.
[2] Eves, Howard. An Introduction to the History of Mathematics. New York:
Holt, Rinehart and Winston, 1964.
[3] Ferreira, J. A Construo dos Nmeros. Rio de Janeiro: SBM, Coleo
Textos Universitrios, 2010.
[4] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
[5] Figueiredo, Djairo G. Nmeros Irracionais e Transcedentes Rio de Janeiro:
SBM, Coleo Iniciao Cientfica. 2
[6] Halmos, Paul. Naive Set Theory. New York: Springer, 1974.
[7] Hefez, A. Curso de lgebra Volume 1. 4a Edio. Rio de Janeiro: IMPA,
Coleo Matemtica Universitria, 2010.
[8] Hefez, Abramo e Fernandez, Ceclia de Souza. Introduo lgebra Linear.
Rio de Janeiro: SBM, Coleo PROFMAT, 2012.
[9] Lima, Elon Lages. Coordenadas no Espao. Rio de Janeiro: SBM, Coleo
Professor de Matemtica.
[10] Lima, Elon Lages. Curso de Anlise, Vol. 1. Rio de Janeiro: SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages. Logaritmos. Rio de Janeiro: SBM, Coleo Professor de
Matemtica.
[12] Lima, Elon Lages. Meu Professor de Matemtica e Outras Histrias. Rio
de Janeiro: SBM, Coleo Professor de Matemtica.
[13] Lima, Elon Lages. Anlise Real, Vol. 1. Rio de Janeiro: IMPA, Coleo
Matemtica Universitria.
12
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
LTC, 1996.
de Anlise,
Logaritmos.
da
17
Funo Exponencial na
Base e
Sumrio
17.1 Introduo
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . .
Unidade 17
Introduo
17.1
Introduo
17.2
Unidade 17
Exemplo 1
Unidade 17
f (x + h) f (x)
.
h
Este quociente pode tambm ser interpretado como a inclinao da secante
que liga os pontos (x, f (x)) e (x + h, f (x + h)) do grco de f .
No caso particular da funo f (x) = bex , temos
eh 1
eh 1
f (x + h) f (x)
= bex
= f (x)
.
h
h
n
Unidade 17
Unidade 17
eh 1
= 1.
lim
h0
h
h
Para vermos isto, lembramos que a faixa de hiprbole H1e tem rea igual
a h. Esta faixa est compreendida entre um retngulo de rea (eh 1)/eh e
outro de rea eh 1. Portanto
eh 1
< h < eh 1.
eh
Figura 17.3:
Aqui estamos supondo h > 0. Dividindo as duas desigualdades por eh 1,
obtemos
1
h
< h
< 1, para todo h > 0.
h
e
e 1
eh 1
= 1.
h0
h
lim
ex+h ex
eh 1
= ex lim
= ex
h0
h0
h
h
lim
e, mais geralmente,
eh 1
eh 1
e(x+h) ex
= ex lim
= ex lim
.
h0
h0
h0
h
h
h
lim
e(x+h) ex
ek 1
= ex lim
= ex .
h0
h0
h
k
lim
Unidade 17
Unidade 17
Considere uma aplicao que rende juros > 0 em uma unidade tempo
T = 1 (por exemplo, um ms, um ano, etc.). Isto , se uma quantia c0
investida nesta aplicao pelo perodo T , ento o valor resgatado ser
c = c0 (1 + ). Suponha que um investidor resgate a quantia c0 em um
tempo t < T .
(a) Qual ser o valor resgatado se a aplicao rende juros simples para
t < T?
(b) Qual ser o valor resgatado se a aplicao rende juros compostos
para t < T ?
(c) Em qual das duas opes acima o investidor resgatar um valor
maior?
(d) A concluso do item anterior tambm vlida para t > T ?
2.
3.
4.
trigonometria no
trigonometria no crculo trigonomtrico. No tringulo
tringulo retngulo
e a
cosseno de ngulos,
seno e
No contexto do
C,
com
centro na origem de um sistema de eixos cartesianos, e consideramos os ngulos centrais que possuem um dos lados no eixo horizontal e o outro denido
por um segmento
OB ,
em que
Se
Como
as hipotenusas dos tringulos medem uma unidade, o seno e o cosseno correspondero s medidas das suas projees sobre os eixos cartesianos. Existe uma
correspondncia entre os ngulos centrais e os arcos correspondentes determinados por estes ngulos.
radiano
aparece
Agora,
tar de
bem denidos,
isto , que
seus
De forma geral, ao ler esta seo, procure atentar para o fato de que todas
as relaes entre razes trigonomtricas so na verdade expresses algbricas
de propriedades geomtricas envolvendo os tringulos retngulos, seus lados e
ngulos. Por exemplo, o fato de que o seno de um ngulo igual ao cosseno
de seu complementar uma consequncia direta da Lei Angular de Tales e
das prprias denies das razes trigonomtricas. Chamar ateno para essas
interpretaes geomtricas, dando signicado s relaes algbricas, deve ser
uma atitude permanente no ensino de trigonometria na Educao Bsica. Ainda
nesta seo, so brevemente discutidos alguns aspectos das origens histricas
da trigonometria. Para saber mais, veja [3].
A Funo de Euler e a Medida de ngulos, discutimos a construo do crculo trigonomtrico, por meio da funo de Euler E : R C ,
que enrola a reta no crculo a partir do ponto (1, 0) = E(0). Observe como
o radiano surge naturalmente neste contexto como uma unidade de medida liNa seo 9.2
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
[2] Lima, Elon Lages.
Anlise I
Curso de Anlise,
Vol.
1.
Rio de Janeiro:
SBM,
Matemtica
Tpicos de Histria da
18
Introduo s Funes
Trigonomtricas
Sumrio
18.1 Introduo
. . . . . . . . . . . . . . . . . . . . . . .
. . . . .
Unidade 18
Introduo
18.1
Introduo
trigonometria no
trigonometria no crculo trigonomtrico. No tringulo
tringulo retngulo
e a
cosseno de ngulos,
seno e
No contexto do
C,
com
centro na origem de um sistema de eixos cartesianos, e consideramos os ngulos centrais que possuem um dos lados no eixo horizontal e o outro denido
por um segmento
OB ,
em que
Se
Como
as hipotenusas dos tringulos medem uma unidade, o seno e o cosseno correspondero s medidas das suas projees sobre os eixos cartesianos. Existe uma
correspondncia entre os ngulos centrais e os arcos correspondentes determinados por estes ngulos.
radiano
aparece
Agora,
tar de
Unidade 18
Na segunda seo da unidade, tratamos da construo das razes trigonomtricas no tringulo retngulo. Antes de mais nada, imperativo observar a
importncia do conceito de semelhana para a boa denio das razes trigonomtricas no tringulo retngulo. De fato, se dois tringulos retngulos possuem
um ngulo agudo em comum, ento estes sero necessariamente tringulos semelhantes. Portanto, as razes entre seus lados correspondentes sero iguais.
Isto nos garante que o seno e o cosseno quem
bem denidos,
isto , que
seus
De forma geral, ao ler esta seo, procure atentar para o fato de que todas
as relaes entre razes trigonomtricas so na verdade expresses algbricas
de propriedades geomtricas envolvendo os tringulos retngulos, seus lados e
ngulos. Por exemplo, o fato de que o seno de um ngulo igual ao cosseno
de seu complementar uma consequncia direta da Lei Angular de Tales e
das prprias denies das razes trigonomtricas. Chamar ateno para essas
interpretaes geomtricas, dando signicado s relaes algbricas, deve ser
uma atitude permanente no ensino de trigonometria na Educao Bsica. Ainda
nesta seo, so brevemente discutidos alguns aspectos das origens histricas
da trigonometria. Para saber mais, veja [1] e [2].
E : R C,
(1, 0) = E(0).
Observe como o
radiano
Unidade 18
b, o cosseno do ngulo A
b, tem-se tambm cos x, o cosseno do nmero real
cos A
x, isto , a funo cos : R R. Analogamente, tm-se as funes sen, tg,
cotg, sec e cossec, completando as funes trigonomtricas.
Uma propriedade fundamental das funes trigonomtricas que elas so
peridicas. Por isso so especialmente adaptadas para descrever os fenmenos
de natureza peridica, oscilatria ou vibratria, os quais abundam no universo:
movimento de planetas, som, corrente eltrica alternada, circulao do sangue,
batimentos cardacos, etc.
A importncia das funes trigonomtricas foi grandemente reforada com
a descoberta de Joseph Fourier, em 1822, de que toda funo peridica (com
ligeiras e naturais restries) uma soma (nita ou innita) de funes do tipo
deu origem chamada Anlise de Fourier, basta dizer que, segundo o banco
Unidade 18
c,
e ngulos agudos
b C
b,
B,
tm-se as denies
b = c = (cateto
cos B
a
adjacente)
b = b = (cateto
sen B
a
e, analogamente,
b= b
cos C
a
oposto)
(hipotenusa),
(hipotenusa),
b = c.
sen C
a
b e sen B
b dependem apenas do ngulo B
b mas no do tamanho
cos B
b um dos ngulos agudos. Com efeito, dois
do tringulo retngulo do qual B
b so
quaisquer tringulos retngulos que tenham um ngulo agudo igual a B
observar que
semelhantes.
Unidade 18
Se esses tringulos so
ABC
nos d
A0 B 0 C 0 ,
com
c0 = B
b.
B
ento a semelhana
b0
b
=
0
a
a
c0
c
= ,
0
a
a
logo
c0 = sen B
b
sen B
c0 = cos B.
b
cos B
b,
B
a relao
b
c = a cos B
sobre o lado
a2 c2
e
e o Teorema de Pitgoras
b=
conhecida a hipotenusa
b
cos B
AB ,
ABC
qualquer, a altura
tem a expresso
h,
b.
h = BC sen B
baixada do
Esta simples
O Teorema de Pitgoras
a2 = b2 + c2 ,
ABC ,
com
AB = c, AC = b
BC = a,
Unidade 18
nos
2
2
2
2
2
b 2 + ( sen B)
b 2 = c + b = b + c = a = 1.
(cos B)
a2 a2
a2
a2
b 2
(cos B)
b 2
( sen B)
b
cos2 B
b
sen 2 B
em
. A relao fundamental
b + sen 2 B
b=1
cos2 B
mostra que, a rigor, basta construir uma tabela de senos para ter a de cossenos,
ou vice-versa.
evidente, a partir da denio, que o cosseno de um ngulo agudo igual
ao seno do seu complemento e vice-versa.
complemento).
claro que o seno e o cosseno de um ngulo agudo so nmeros compreendidos entre 0 e 1.
Finalmente observamos que se
AB
mento de reta
A1 B1
A1 B1 = AB cos ,
onde
AB
o ngulo
o referido eixo.
A1 B1 so
de AB com
e
Unidade 18
A relao fundamental
cos2 + sen 2 = 1
sugere que, para todo ngulo
os nmeros
cos
sen
so as coordenadas
R2 .
cunferncia unitria,
R2 ; x2 + y 2 = 1}.
ou
(x, y) C ,
tem-se
1 6 x 6 1
1 6
y 6 1.
A m de denir as funes
associar a cada nmero real
ngulo.
O nmero
cos : R R
sen : R R,
devemos
o ponto
E(t) = (x, y)
Unidade 18
se
t > 0,
um caminho de
C,
a partir do ponto
(1, 0),
trrio ao movimento dos ponteiros de um relgio comum, ou seja, o sentido que nos leva de
(1, 0)
para
(0, 1)
C ).
E(t);
se
E:RC
C (pensada
como um carretel) de modo que o ponto 0 R caia sobre o ponto (1, 0) C .
lar a reta, identicada a um o inextensvel, sobre a circunferncia
Unidade 18
C,
E(s)
2k ,
logo
t0 = t + 2k ,
R.
Resumindo: tem-se E(t ) = E(t) se, e somente se, t = t + 2k , com
k Z. (Quando t0 > t, vale k N; quando t0 < t tem-se k < 0.)
Escrevamos A = (1, 0) e O = (0, 0). Para cada t R, ponhamos B =
b mede t radianos.
E(t). Diz-se neste caso que o ngulo AOB
0
sobre a reta
Pode-se ter
orientada:
B = E(t)
com
t < 0.
A medida do ngulo
`/r,
onde
10
Mais
A medida do ngulo
2a/r
b
AOB
, em termos da rea
do setor circular
AOB
e do raio
r.
Com efeito, a rea a do setor circular AOB uma funo crescente do compri_
_
0
mento ` do arco AB . Como se v facilmente, se o arco AB tem comprimento
_
n vezes maior do que o arco AB (onde n N) ento a rea do setor AOB 0
igual a
vezes a rea de
da Proporcionalidade que a
seja,
` : a = c `,
onde
AOB .
rea a
donde
c=
a = r2
r
.
2
11
basta
c,
Unidade 18
Unidade 18
Portanto a rea
AB
pela igualdade
a do setor AOB
a = `r/2.
` do arco
Segue-se que
Como
`/r
a medida do
`
2a
= 2.
r
r
b
ngulo AOB
2a/r
, onde
a rea do setor
AOB
o raio
do crculo.
Podamos tambm ter denido uma funo
(1, 0)
G:RC
pondo ainda
G(0) =
para todo
AB
1 rad =
= 57, 3 graus.
2
tem comprimento igual a
12
E : R C,
13
Unidade 18
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitom-
Rio de Janeiro:
New York:
Rio de Janeiro:
SBM, Coleo
Anlise I
Coordenadas no Espao.
Professor de Matemtica.
SBM, Projeto
Euclides, 1976.
[11] Lima, Elon Lages.
Matemtica.
[12] Lima, Elon Lages.
Rio
Anlise Real,
Matemtica Universitria.
sen t
de Euler (que enrola a reta real ao longo do crculo). Portanto, seno e cosseno cam denidas como funes de
em
R.
Da decorrem diretamente
sen x + cos x = 1,
a relao fundamental
Referncias Bibliogrcas
[1] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
1.
Rio de Janeiro:
SBM,
Tpicos de Histria da
19
Funes Trigonomtricas
Sumrio
19.1 Introduo
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . .
2
2
Unidade 19
Introduo
19.1
Introduo
Dando continuidade ao estudo da trigonometria no crculo, iniciado na unidade anterior, discutiremos agora as denies das funes trigonomtricas.
Logo no incio da Seo 2,
sen t
em
R.
Da decorrem diretamente
sen x + cos x = 1,
a relao fundamental
enfatizar as
interpretaes geomtricas dessas relaes e propriedades no crculo trigonomtrico, bem como constru-las como generalizao de propriedades previamente
estabelecidas no contexto da trigonometria do tringulo retngulo.
Nunca demais lembrar que de fundamental importncia
19.2
As Funes Trigonomtricas
funo
Noutras palavras,
ordenada do
a abcissa e a
Funes Trigonomtricas
t R, a relao
fundamental
cos2 t + sen 2 t = 1.
f : R R chama-se peridica quando existe um nmero T 6= 0
tal que f (t+T ) = f (t) para todo t R. Se isto ocorre, ento f (t+kT ) = f (t)
para todo t R e todo k Z. O menor nmero T > 0 tal que f (t + T ) = f (t)
para todo t R chama-se o perodo da funo f . As funes seno e cosseno
so peridicas, de perodo 2 .
Diz-se ainda que a funo f : R R par quando se tem f (t) = f (t)
para todo t R. Se se tem f (t) = f (t) para todo t R, a funo f
chama-se mpar.
Uma funo
Para todo
t R,
temos
Unidade 19
Unidade 19
As Funes Trigonomtricas
t R,
valem
y = cos x
y = sen x.
Alguns valores particulares das funes seno e cosseno podem ser obtidos
mediante argumentos geomtricos, alguns dos quais so interessantes exerccios,
especialmente quando se usam as frmulas de adio, que estabeleceremos
na prxima unidade.
modo mais eciente de obter os valores dessas funes usar uma calculadora,
principalmente uma que opere com radianos e com graus.
Independentemente de calculadoras, muito conveniente que se saiba, sem
pensar muito, quais os valores de
sen t = 0, cos t = 0,
sen t = 1, cos t = 1,
sen t = 1, cos t = 1,
sen t = cos t,
1
1
sen t = , cos t =
2
2
e outras semelhantes.
Funes Trigonomtricas
Unidade 19
a saber, tg
cossec
x = sen x/ cos x,
tem como domnio o conjunto dos nmeros reais que no so mltiplos mpares
de
/2
pois
cos x = 0
(k
, k
2
x = (2k + 1) 2 = k +
k Z.
), para todo
2
( 2 , 2 ),
a funo tangente
x 7 tg x uma correspondncia
comprimento e a reta inteira R.
crescente e, na realidade,
intervalo aberto de
onde
2
biunvoca entre um
,
todo x
(x + ) = tg x
para
pois
R,
o
no domnio
da funo.
R ( 2 , 2 )
( 2 , 2 ).
Unidade 19
As Funes Trigonomtricas
P = (x, y) em R2 , com x 6= 0,
se
o ngulo do
y
= tg .
x
Isto verdadeiro, por denio, quando
y = ax + b
que o
x1 6= x2 e
a tangente do ngulo
semi-eixo positivo
efeito, se tomarmos
pusermos
OX
a=
y2 y1
= tg .
x2 x1
y1 = ax1 + b, y2 = ax2 + b,
teremos
Funes Trigonomtricas
Unidade 19
Exerccios Recomendados
1. Calcule:
a)
sen 345o ;
b)
cos 210o ;
c)
tg
135o .
por
3
f (x) =
.
2 + sen x
no intervalo
[ 20 , 20 ],
f1
denida
f1 : R R, f1 (x) =
x sen x, traado
y = x e y = x.
f: R R
40
20
60
40
20
20
20
f2 : R R,
denida por
40
f2 (x) = x2 sen x?
40
Justi-
60
x
(b) Qual a interpretao dos sinais de
tg x
sec x
na
gura ao lado?
(c) Faa uma gura anloga para representar
cossec
x,
cotg x
cos(3x
) = 0.
4
A
C
60
Unidade 19
As Funes Trigonomtricas
10 sen 5 .
denidas:
a)
b)
c)
1 tg2 x
= 1 2 sen 2 x;
2
1 + tg x
cos x sen x
1 tg x
=
;
cos x + sen x
1 + tg x
sen x
= 1 + cos x.
cossec x cotg x
8. Sabendo que
sen x + cos x = m,
9. Considere a funo
em que
calcule
sen 3 x + cos3 x.
so constantes reais.
so racionais, ento
peridica.
sen (a x)
2
a
Referncias Bibliogrcas
[1] Figueiredo, Djairo G.
da
20
Funes Trigonomtricas
Continuao
Sumrio
20.1 Introduo
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
13
Unidade 20
Introduo
20.1
Introduo
20.2
As Frmulas de Adio
aqui a prova que nos parece a mais direta. Outras duas provas sero propostas
nos Exerccios 3 e 4.
Unidade 20
Logo
Tomando
cos() = cos
sen (
a frmula de
+ t) = cos t
2
cos( + )
cos(
+ t) = sen t,
2
nos d tambm
++
sen ( + ) = cos
2
= cos
+ cos + sen
+ sen ,
2
2
ou seja,
A0 = (x0 , y 0 ),
obtido do ponto
em torno da origem de R .
Chamemos de o ngulo do eixo OX com
r = OA. Ento r = OA0 e se tem
rotao de ngulo
x = r cos ,
y = r sen ,
A = (x, y)
por meio da
o segmento
x0 = r cos( + ),
OA
e escrevamos
y 0 = r sen ( + ).
As Frmulas de Adio
Unidade 20
T : R2 R2
denida por
cos
sen
C,
vale a igualdade
1 x 2 2
1 + x2
2x 2
= 1.
1 + x2
C,
nmero real
1 tg2
= cos
1 + tg2
( 2 , 2 ). Logo a igualdade
,
existe um
2 tg
= sen .
1 + tg2
tal que
1 tg2
= cos 2
1 + tg2
2tg
= sen 2.
1 + tg2
Equivalentemente,
cos =
1 tg2 2
1 + tg2 2
sen =
2tg 2
.
1 + tg2 2
de inclinao igual a tg
B = (cos , sen ).
P.
A correspondncia
x 7
1 x2
1+x
,
2
C.
2x
1 + x2
Para todo
x Q,
Unidade 20
Unidade 20
As Frmulas de Adio
Exerccios Recomendados
1. Use as frmulas de seno e cosseno da soma para determinar os senos e
5
12
3
,
12 8
( + )
e tg
e para
sec( + ),
em funo de tg
os pontos
A0
so
B0
primeiro, determinamos
propomos que voc complete os detalhes dos demais passos que levam
prova das duas frmulas.
b = .
C
A0 B 0
B0C ?
Justique sua
A0 C
B0C ?
Justique sua
resposta.
(c) Conclua que
A0 B 0 = sen sen .
o crculo unitrio.
A0 B 0 C
OBB 0
OB = cos cos .
.
2
A, B , C e D
, 0 < , <
Os pontos
\ = AOD
\.
= BOC
[,
= AOB
A, B , C
AC ,
Unidade 20
D.
AOC
BOD?
C.
A
O
(d) Determine
BD,
D.
cos( + ).
5.
1 tg2
= cos2 sen 2
1 tg2
2 tg
= 2 sen cos
1 tg2
tais que:
1 tg2
= cos
1 tg2
ento
= 2
2 tg
= sen
1 tg2
so
Unidade 20
ABC ,
sejam
b . O Teorema
x = BP = c cos B
ABP e AP C fornece as igualdades
c2 = h2 + x2
de Pitgoras
b2 = h2 + (a x)2 = h2 + x2 + a2 2ax
b
= h2 + x2 + a2 2ac cos B.
Comparando estas igualdades obtemos
b
b2 = a2 + c2 2ac cos B.
b = c cos B
b . (Note
x = BP = c cos( B)
b < 0, logo c cos B
b positivo.) Novamente Pitgoras, aplicado
cos B
tringulos AP B e AP C , nos d
No segundo caso,
c2 = h2 + x2 ,
b2 = h2 + (a + x)2 = h2 + x2 + a2 + 2ax
b
= h2 + x2 + a2 2ac cos B.
Da resulta, como antes, que
b
b2 = a2 + c2 2ac cos B.
que
aos
b
B
um
ngulo reto.
Evidentemente, tem-se tambm
b
a2 = b2 + c2 2bc cos A
e
b
c2 = a2 + b2 2ab cos C.
As mesmas guras nos do, no primeiro caso,
b = b sen C,
b
h = c sen B
logo
b
b
sen B
c
b
sen C
b
h = b sen C
e
b = c sen B,
b
h = c sen ( B)
logo, novamente:
b
b
sen B
c
b
sen C
como antes.
Se tomarmos a altura baixada do vrtice
sobre o lado
AC ,
obteremos,
a
b
sen A
c
b
sen C
a
b
sen A
b
b
sen B
c
b
sen C
Esta a lei dos senos. Ela diz que, em todo tringulo, a razo entre um
lado e o seno do ngulo oposto constante, isto , a mesma seja qual for o
lado escolhido. H uma interpretao geomtrica para a razo
igual ao dimetro do crculo circunscrito ao tringulo
ABC .
b.
a/ sen A
Ela
Unidade 20
Unidade 20
OP ,
sobre o lado
A, B, C
Determinar, no tringulo
ABC ,
os lados
a, b, c
e os ngulos
1. So dados os lados
a, b, c.
Ento
b
a2 = b2 + c2 2bc cos A,
logo
2
2
2
b= b +c a
cos A
2bc
b.
e isto nos permite determinar A
b . O ngulo C
b
Analogamente, obtm-se o ngulo B
b+B
b+C
b = 2 retos.
obtido a partir da relao A
Observao 1
c < a + b.
10
a 6 b 6 c necessrio e suciente
2. So dados os lados
a, b
c
Unidade 20
b.
C
e o ngulo
q
c=
b
a2 + b2 2ab cos C,
bB
b e o lado c.
A,
b pela igualdade A+
b B
b +C
b = 2 retos e o lado a pela
Determina-se o ngulo C
b = c/ sen C
b, logo a = c sen A/
b sen C
b.
lei dos senos, segundo a qual a/ sen A
b formado por eles. Recai-se assim no
Agora tem-se os lados a, c e o ngulo B
3. So dados os ngulos
caso anterior.
beB
b sejam
A
b+B
b < 2 retos.
A
Para que
que
4. So dados os lados
a, b,
com
a > b,
e o ngulo
Observao 2
b.
A
b>B
b,
A
logo o ngulo
b
B
agudo.
Aqui se usa novamente a lei dos senos. A partir da proporo
a
b
sen A
Como
b < a,
vemos que
b
b
sen B
b
a
b
sen A
obtm-se
b=
sen B
b
b
sen A.
a
ABC
dado,
b+ B
b < 2 retos, antes de calcular
A
b < 2 retos, existe um tringulo
a>beA
11
Observao 3
Unidade 20
b
AX tal que o ngulo C AX
b dado. Com centro no ponto C , trace uma circunferncia
seja igual ao ngulo A
de raio a. Como b < a, o ponto A pertence ao interior dessa circunferncia,
logo a semirreta AX corta a circunferncia num nico ponto B , que o terceiro
segmento
AC
de comprimento
e uma semirreta
12
Exerccios Recomendados
a, b
e o ngulo
A, B
A,
C.
13
Unidade 20