Professional Documents
Culture Documents
CAPTULO I
Esse nome de Diferencial e Integral foi dado por Lagrange e no por Newton e nem
Leibniz. Mas foram Newton e Leibniz que constituram (formentalizaram) a base do clculo,
apesar de esse assunto ser uma evoluo de anos.
2 racional?
p
Se for ento: 2 = q , onde p e q so primos entre si e inteiros. Ento mdc(p,q) =1
( 2) p2
2
= 2q 2 = p 2 p par.
q2
Logo : p = 2k 2q 2 = (2k ) 2 2q 2 = 4k 2
q 2 = 2k 2 Portanto q par
Assim: 2 irracional
c.q.d.
qualquer a .
6 Simtrico/Oposto Todo a , tem um simtrico, denotado por -a , tal que
a + (-a ) = 0 .
7 Inverso 1
Todo a , a 0 tem um inverso denotado por a , tal
1
a =1
que a . Usando os itens (6) Simtrico Oposto e (7)
Inverso podemos definir a subtrao de diviso de nmeros
reais.
8 Subtrao Se a, b , a diferena entre a e b , denotada por a - b ,
a 1
= a
b b
1.2 DESIGUALDADES
Princpio da Tricotomia:
i) a =b
ii) a >b
iii) a<b
1.2.4 SMBOLOS
i)
a >b ( a - b) positivo
, ou seja, a - b > 0
Dem:
a>b +(-b) a - b > b - b a - b > 0
c.q.d.
ii)
a<b ( b - a) positivo
, ou seja: a - b > 0
Dem: a < b +(- a ) a - a < b - a 0 < b - a b-a >0
c.q.d.
1.2.5 PROPRIEDADES: Se a, b, c, d
i) Se a > b e b > c , ento a > c
ii) Se a > b e c > 0 , ento ac > bc
iii) Se a > b e c < 0 , ento ac < bc
iv) Se a > b , ento a + c > b + c , para todo real c
v) Se a > b e c > d , ento a + c > b + d
vi) Se a > b > 0 e c > d > 0 , ento ac > bd
a- b >0
+ Portanto: a > c
b -c > 0
a -c > 0
c.q.d
c.q.d
negativo positivo
( a - b)
( -c) > 0 - ac + bc > 0 ac < bc
c.q.d
Prova da Propriedade (iv): (Se a > b , ento a + c > b + c , para todo real c)
a <-+-<
b 0 - (a<-b) c 0 c a b c c 0
Se a > b zero
c.q.d
a -b > 0
+ a + c - (b + d ) > 0
c-d > 0
a+c >b+d
a +c -b-d > 0
c.q.d
c.q.d
a, se a 0
a =
-a, se a < 0
a
1.3.2 Geometricamente a
distncia entre 0 e a. Escreve-se ento
a = a2
.
1.3.3 PROPRIEDADES
Mtodo (1):
Demonstrao:
2
x <a x < a2 x2 < a2 x 2 - a 2 < 0 . Desse modo
Como , temos . Assim e
( x + a)( x - a) < 0 (*) .
( x + a) ( x - a) 0
123 123
f ( x) g ( x)
f ( x) = x + a x + a = 0 x = -a ( Raiz )
g ( x ) = x - a x - a = 0 x = a ( Raiz )
Logo g ( x) crescente e Raiz x = a ( Raiz )
x 0 x =x x <a x<a
Se 2 , ento . Como por hiptese , conclumos que 1 . E ainda por
o oposto negativo
-a < 0 - a < 0 x < a
hiptese a > 0 , segue que 3 , ento 3 2 1 , ou seja - a < x < a .
x = -x x <a
Se x < 0 , ento . Como por hiptese , temos que - x < a . E ainda por
hiptese, temos que a > 0 e assim -a < 0 . Como x < 0 , segue que - x < 0 . Portanto
- a < 0 - x < a , ou de forma equivalente, -a < x < a .
Observao:
- a < 0 - x < a (-1)
a14>2x 4
>3a
-a < x < a
x =x x <a
Se x 0 ento . Como por hiptese x < a , temos que .
x = -x
Se x < 0 , ento . Como por hiptese - a < x e aplicando a propriedade 1.2.5
iii (ou multiplicando por (-1) de ambos os lados), temos que a > - x , ou ainda - x < a
x = -x < a x <a
(invertendo o sentido da leitura). Portanto , ou seja .
c.q.d
x =x x >a
{ { {
Se x 0 ento . E como por hiptese , conclumos que x > a .
x = -x x >a x = -x > a
Se x < 0 , ento . E como por hiptese conclumos que , ou
x =x
Se x > a e a > 0 , ento x > 0 . Assim, e tendo como hiptese x > a ,
x =x
conclumos que .
Se x < - a , ento multiplicando por -1 de ambos os lados, temos que - x > a e a > 0
o oposto neg. (prop.1.2.3)
x = -x > a x >a
. Assim, - x > 0 e desse modo x<0 . Portanto . Logo .
c.q.d
b =a
a b
Prova da Propriedade (iii): (Se a, b , ento .)
ab = ( ab) 2 = a 2 b 2 = a
b
c.q.d
a a
=
b b
Prova da Propriedade (iv): (Se a, b , ento )
2
a a a2 a2 a
= = = = , b 0
b b b2 b2 b
c.q.d
x 2 = x , "x
*Pr-requisito: Propriedade (iii) e (iv):
a + b a + b
Prova da Propriedade (v): (Se a, b , ento .) Desigualdade Triangular.
*Pr-requisitos:
x x , "x
(1) Prove que .
Demonstrao:
x =x x 0, 0 x
Se x 0 , ento (pela definio de mdulo). Assim ou ainda, .E
x < 0 x x x
se x < 0 , temos que . Portanto , para todo x real.
x x, "x
(Obs: Essa proposio pode ser lida assim: . S mudei o sentido da
leitura).
c.q.d
x x , "x
(2) Prove que .
Demonstrao:
x = -x -x =x - x =x<0 - x <0
Se x < 0 , ento , ou ainda . Assim , ou seja . E se
c.q.d
Obs: Precisamos provar para todos x real no item (1) e (2). Assim dividimos em duas
partes: para x 0 e x < 0 . Veja que assim fica a reta real toda preenchida.
x x ou x - x , - x x x , "x
(3) Prove que .
Demonstrao:
x - x ( -1) - x x (*)
Como por hiptese . , temos . E ainda como por hiptese
x x ( **) - x x x
. Juntando ( * ) e ( * * ) , temos .
- x x (*) x x ( **)
Por hiptese, temos que ou . De (*) temos que
- x x (-1) x - x x x ,
. Assim . Em ( **) , temos que ou ainda mudando a ordem
x x.
como se l
c.q.d
De posse das informaes dos pr-requisitos (1), (2) e (3) podemos agora provar a
desigualdade triangular pelo mtodo (1).
a + b a + b
Mtodo (1): Se a, b , ento .
Demonstrao:
x a - a x a
Mas como .
a + b a + b
Assim temos .
c.q.d
a + b a + b
Mtodo (2): Se a, b , ento .
Demonstrao:
x x "x
Pelo pr-requisito temos , .
ab ab (*)
Assim
2ab 2 a b (**)
a 2 + 2ab + b 2 a 2 + 2 a b + b 2
2
x2 = x = x2
Observe que , assim temos: (Dante vol nico) corrigir citao acho.
(a + b) 2 a 2 + 2 a b + b 2
(a + b) 2 ( a + b )
2
(***)
( a + b) 2 ( a + b )
2
Comentrio (a):
a + b a + b
c.q.d
x2 = x
Comentrio (a): Observe que . Por exemplo
32 = 3 = 3
Se x = 3 , temos
(-2) 2 = -2 = 2
Se x = -2 , temos que .
a b a 0 b 0
expoente. Assim temos que tanto quanto so positivo, pois e , pela
definio de mdulo.
a+b a 0 b 0
Portanto, podemos fazer , porque os mdulos so positivos e .
a - b a + b
Prova da Propriedade (vi): (Se a, b , ento .)
Demonstrao:
a - b = a + (-b) a + -b
=a+b
a - b a + b
Portanto:
c.q.d
a - b a - b
Prova da Propriedade (vii): (Se a, b , ento ).
Demonstrao:
a = a{- b + b = c + b c + b
c
1 44 2 4 43
aplicando a propriedade v
a - b a - b
c.q.d
1.4 INTERVALOS
(i)
{ x x > a} denota-se (a, +) ou ] a, +[ ;
(ii)
{ x x a} denota-se [ a , +) ou [ a, +[ ;
(iii)
{ x x < b} denota-se (-, b) ou ] -,b[ ;
(iv)
{ x x b} denota-se ( -,b] ou ] -,b] .
Podemos fazer uma representao grfica dos intervalos como nos exemplos que seguem.
Exemplo: 1.4.2
[ 0,3]
Exemplo: 1.4.3
( 1, 4]
Exemplo: 1.4.4
[ 0, 4 )
Exemplo: 1.4.5
(i)
( 0, +)
(ii)
[ 1, +)
(iii)
( -,3)
(iv)
( -, 4]
1.5 EXEMPLOS
1.6 EXERCCIOS
REFEERENCIAS
CLCULO A
Fundamentos da matemtica elementar vol 1
Captulo 1 nmeros reais Juiz de fora.