Análise Real I

2021-2022
Ficha de Exercı́cios

João Pedro Ferreira

 1. O CONJUNTO DOS NÚMEROS REAIS

1. Determine o conjunto dos números x ∈ R que verificam cada uma das condições:

(a) 4x + 4 < 5x + 3 < 4x + 2

{x ∈ R : 4x + 4 < 5x + 3 < 4x + 2} ⊆ {x ∈ R : 4x + 4 < 4x + 2} = {x ∈ R : 4 < 2} = ∅

2
(b) 3x + 8x < 0
3x2 + 8x < 0 ⇔ x(3x + 8) < 0
⇔ (x > 0 ∧ 3x + 8 < 0) ∨ (x < 0 ∧ 3x + 8 > 0)
   
8 8
⇔ x>0∧x<− ∨ x<0∧x>−
3 3
   
8 8
x ∈ R : 3x2 + 8x < 0 = x ∈ R : x > 0 ∧ x < −

∪ x∈R:x<0∧x>−
3 3
 
8
= ∅ ∪ − ,0
3
 
8
= − ,0
3
(c) (3x − 1)(x − 1)2 (x − 3)3 ≥ 0
1
x −∞ 3 1
3 +∞
3x − 1 - 0 + + + ++ +
(x − 1)2 + + + + + +0 +
(x − 3)3 - - - - -
0 + +
(3x − 1)(x − 1)2 (x − 3)3 + 0 - - 0
0 + +
 
1
x ∈ R : (3x − 1)(x − 1)2 (x − 3)3 ≥ 0 = −∞,

∪ {1} ∪ [0, +∞[
3
(x−1)2
(d) x2 −16 ≥0
x −∞ -4 1 4 +∞
(x − 1)2 + + + 0 + + +
x2 − 16 + 0 - - - 0 +
(x−1)2
x2 −16 + n.d. - 0 - nd. +
(x − 1)2
 
x∈R: 2 ≥ 0 = ]−∞, −4[ ∪ {1} ∪ ]4, +∞[
x − 16
(e) −4 ≤ x2 ≤ 1
−4 ≤ x2 ≤ 1 ⇔ 0 ≤ x2 ≤ 1
⇔ x2 ≤ 1
⇔ x ≤ 1 ∨ x ≥ −1
2

x ∈ R : −4 ≤ x ≤ 1 = ]−∞, 1] ∩ [−1, +∞[
= [−1, 1]
1
(f ) −2 < x ≤1
     
1 1 1
x ∈ R : −2 < ≤ 1 = x ∈ R : −2 < < 0 ∧ x < 0 ∪ x ∈ R : 0 < ≤ 1 ∧ x > 0
x x x
   
1 1
= x ∈ R− : −2 < ∪ x ∈ R+ : ≤ 1
x x
 
1
= x ∈ R− : x < − ∪ x ∈ R+ : x ≥ 1

2

 
1
= −∞, − ∪ [1, +∞[
2

1
2. Determine o conjunto dos números reais x ∈ R que verificam cada uma das condições:

(a) |2x + 3|= |x − 1|

|2x + 3|= |x − 1| ⇔ 2x + 3 = x − 1 ∨ 2x + 3 = −x + 1
2
⇔ x = −4 ∨ x = −
3

 
2
{x ∈ R : |2x + 3|= |x − 1|} = −4, −
3

(b) |x2 − x − 3|= 3

|x2 − x − 3|= 3 ⇔ x2 − x − 3 = 3 ∨ x2 − x − 3 = −3
⇔ x2 − x − 6 = 0 ∨ x2 − x = 0
√
1 ± 25
⇔x= ∨x=0∨x−1=0
2
⇔ x = 3 ∨ x = −2 ∨ x = 0 ∨ x = 1

x ∈ R : |x2 − x − 3|= 3 = {−2, 0, 1, 3}



p
(c) (x2 − 3)2 = 5
p
(x2 − 3)2 = 5 ⇔ |x2 − 3|= 5
⇔ x2 − 3 = 5 ∨ x2 − 3 = −5
⇔ x2 = 8 ∨ x2 = −2
√
⇔ x = ±2 2 ∨ x ∈ ∅

n p o n √ √ o
x ∈ R : (x2 − 3)2 = 5 = −2 2, 2 2

(d) |x − 2x−1 |= 3 − x
2 2
|x − 2x−1 |= 3 − x ⇔ x − = 3 − x ∨ x − = −3 + x
x x
2x2 − 3x − 2 3x − 2
⇔ =0∨ =0
x x
2
⇔ 2x − 3x − 2 = 0 ∨ 3x − 2 = 0 ∧ x ̸= 0
√
3 ± 25 2
⇔x= ∨ x = ∧ x ̸= 0
4 3
1 2
⇔ x = 2 ∨ x = − ∨ x = ∧ x ̸= 0
2 3

 
 −1 1 2
x ∈ R : |x − 2x |= 3 − x = − , ,2
2 3

(e) |2x2 + x − 1|≥ 5

|2x2 + x − 1|≥ 5 ⇔ 2x2 + x − 1 ≥ 5 ∨ 2x2 + x − 1 ≤ −5

⇔ 2x2 + x − 6 ≥ 0 ∨ 2x2 + x + 4 ≤ 0
⇔ (2x − 3)(x + 2) ≥ 0 ∨ x ∈ ∅
3
x −∞ -2 2 +∞
2x − 3 - - - 0 +
x+2 - 0 + + +
(2x − 3)(x + 2) + 0 - 0 +

2
  
3
x ∈ R : |2x2 + x − 1|≥ 5 = ]−∞, −2] ∪

, +∞
2
√
(x+3)2
(f ) x2 +1 ≥1
p
(x + 3)2
≥ 1 ⇔ |x + 3|≥ x2 + 1 ∧ x2 + 1 ̸= 0
x2 + 1
⇔ x + 3 ≥ x2 + 1 ∨ x + 3 ≤ −x2 − 1
⇔ x2 − x − 2 ≤ 0 ∨ x2 + x + 4 ≤ 0
⇔ (x − 2)(x + 1) ≤ 0 ∨ x ∈ ∅

x −∞ -1 2 +∞
x−2 - - - 0 +
x+1 - 0 + + +
(x − 2)(x + 1) + 0 - 0 +

( p )
(x + 3)2
x∈R: ≥ 1 = ]−1, 2[
x2 + 1

(g) |x2 − 4|≤ 2x − 1

|x2 − 4|≤ 2x − 1 ⇔ x2 − 4 ≤ 2x − 1 ∧ x2 − 4 ≥ −2x + 1

⇔ x2 − 2x − 3 ≤ 0 ∧ x2 + 2x − 5 ≥ 0
√ √
⇔ (x − 3)(x + 1) ≤ 0 ∧ (x + 1 − 6)(x + 1 + 6) ≥ 0
√ √
x −∞ -1 3 +∞ x √ −∞ −1 − 6 −1 + 6 +∞
x−3 - - - 0 + x + 1 − √6 - - - 0 +
x+1 - 0 + + + x√+1+ 6 √ - 0 + + +
(x − 3)(x + 1) + 0 - 0 + (x + 1 − 6)(x + 1 + 6) + 0 - 0 +

√ i h √
i h
x ∈ R : |x2 − 4|≤ 2x − 1 = [−1, 3] ∩

−∞, −1 − 6 ∪ −1 + 6, +∞
h √ i
= −1 + 6, 3

(h) |x + 3|> 2x

|x + 3|> 2x ⇔ x + 3 > 2x ∨ x + 3 < −2x

⇔ x < 3 ∨ x < −1

{x ∈ R : |x + 3|> 2x} = ]−∞, 3[ ∪ ]−∞, −1[

= ]−∞, 3[

(i) |3 − 2x|−|x − 6|≥ 0



 3 − 2x − x + 6 ≥ 0 se 3 − 2x ≥ 0 ∧ x − 6 ≥ 0

3 − 2x + x − 6 ≥ 0 se 3 − 2x ≥ 0 ∧ x − 6 < 0
|3 − 2x|−|x − 6|≥ 0 ⇔


 −3 + 2x − x + 6 ≥ 0 se 3 − 2x < 0 ∧ x − 6 ≥ 0
−3 + 2x + x − 6 ≥ 0 se 3 − 2x < 0 ∧ x − 6 < 0


se x ≤ 23 ∧ x ≥ 6


 x≤3
x ≤ −3 se x ≤ 3 ∧ x < 6

⇔ 2
3


 x ≥ −3 se x > 2 ∧x≥6
x≥3 se x > 23 ∧ x < 6


3
 {x ∈ R : |3 − 2x|−|x − 6|≥ 0} = ∅ ∪ ]−∞, −3] ∪ [6, +∞[ ∪ [3, 6[
= ]−∞, −3] ∪ [3, +∞[

(j) |2x|+|x − 3|= 9


2x + x − 3 = 9


se 2x ≥ 0 ∧ x − 3 ≥ 0
2x − x + 3 = 9 se 2x ≥ 0 ∧ x − 3 < 0
|2x|+|x − 3|= 9 ⇔
−2x + x − 3 = 9 se 2x < 0 ∧ x − 3 ≥ 0


−2x − x + 3 = 9 se 2x < 0 ∧ x − 3 < 0



 x=4 se x ≥ 0 ∧ x ≥ 3

x = 6 se x ≥ 0 ∧ x < 3
⇔


 x = −12 se x<0∧x≥3
x = −2 se x < 0 ∧ x < 3


{x ∈ R : |2x|+|x − 3|= 9} = {−2, 4}

(k) |x2 − 1|= x2 − 1

x ∈ R : |x2 − 1|= x2 − 1 = x ∈ R : x2 − 1 ≥ 0
 

= {x ∈ R : (x − 1)(x + 1) ≥ 0}

x −∞ -1 1 +∞
x−1 - - - 0 +
x+1 - 0 + + +
(x − 1)(x + 1) + 0 - 0 +

x ∈ R : |x2 − 1|= x2 − 1 = ]−∞, −1] ∪ [1, +∞[



(l) |x − 1|= 1 − x

{x ∈ R : |x − 1|= 1 − x} = {x ∈ R : x − 1 ≤ 0}
= {x ∈ R : x ≤ 1}
= ]−∞, 1]

(m) |x − 2|≤ |x + 3|


 x−2≤x+3 se x − 2 ≥ 0 ∧ x + 3 ≥ 0

x − 2 ≤ −x − 3 se x − 2 ≥ 0 ∧ x + 3 < 0
|x − 2|≤ |x + 3| ⇔


 −x + 2 ≤ x + 3 se x − 2 < 0 ∧ x + 3 ≥ 0
−x + 2 ≤ −x − 3 se x − 2 < 0 ∧ x + 3 < 0



 x∈R se x ≥ 2 ∧ x ≥ −3
x ≤ − 1 se x ≥ 2 ∧ x ≥ −3

⇔ 2
x ≥ − 21 se x < 2 ∧ x ≥ −3


x∈∅ se x < 2 ∧ x < −3


 
1
{x ∈ R : |x − 2|≤ |x + 3|} = [2, +∞[ ∪ ∅ ∪ − , 2 ∪ ∅
2
 
1
= − , +∞
2
(n) −1 ≤ |x|< 6

−1 ≤ |x|< 6 ⇔ −1 ≤ |x|∧|x|< 6
⇔ x ∈ R ∧ x < 6 ∧ x > −6

{x ∈ R : −1 ≤ |x|< 6} = ]−6, 6[

4
 √
(o) 32x−1 = 3
√ 1
32x−1 = 3 ⇔ 32x−1 = 3 2
1
⇔ 2x − 1 =
2
3
⇐x=
4

√ o
 
n
2x−1 3
x∈R:3 = 3 =
4
(p) log(1 − 3x) = 1

log(1 − 3x) = 1 ⇔ 1 − 3x = e ∧ 1 − 3x > 0

1−e 1
⇔x= ∧x<
3 3
1−e
⇔x=
3
 
1−e
{x ∈ R : log(1 − 3x) = 1} =
3


(q) log x2 − 4 = log(1 − 4x)
 
1
D = x ∈ R : x2 − 4 > 0 ∧ 1 − 4x > 0 =

x ∈ R : (x − 2)(x + 2) > 0 ∧ x <
4
   
1
= ]−∞, −2] ∪ [2, +∞[ ∩ −∞,
4
= ]−∞, −2]

log x2 − 4 = log(1 − 4x) ⇔ x2 − 4 = 1 − 4x ∧ x ∈ D

⇔ x2 + 4x − 5 = 0 ∧ x ∈ D
⇔ x = −5 ∨ x = 1 ∧ x ∈ D
⇔ x = −5

x ∈ R : log x2 − 4 = log(1 − 4x) = {−5}



(r) log√2 (x + 1) = 8
√ 8
log√2 (x + 1) = 8 ⇔ x + 1 = 2 ∧x+1>0
⇔ x = 24 − 1 ∧ x > −1
⇔ x = 15 ∧ x > −1


x ∈ R : log√2 (x + 1) = 8 = {15}
1
(s) x < elog 2−2 log x
 
1 1
< elog 2−2 log x ∧ x > 0 ⇔ log < log 2 − 2 log x
x x
⇔ − log x < log 2 − 2 log x
⇔ log x < log 2
⇔x<2∧x>0

 
1
x∈R: < elog 2−2 log x = ]0, 2[
x

5
 2−log x
(t) e 2 >0
D = {x ∈ R : x > 0}
2−log x
Seja y = 2 . Então:
2−log x
e 2 > 0 ⇔ ey > 0
Mas nós temos ey > 0 ∀y ∈ D. Logo:
n 2−log x
o
x ∈ R : e 2 > 0 = D = R+

(u) ex+2 − 4x2 ex < 0

ex+2 − 4x2 ex < 0 ⇔ ex (e2 − 4x2 ) < 0
⇔ e2 − 4x2 < 0 ∧ ex > 0
e2
⇔ x2 >
4
e e
⇔x> ∨x<−
2 2
i eh ie h
x ∈ R : ex+2 − 4x2 ex < 0 = −∞, − ∪ , +∞

2 2
2
(v) ex+1 ≥ ex
2
ex+1 ≥ ex ⇔ x + 1 ≥ x2
⇔ x2 − x − 1 ≤ 0
√ ! √ !
1− 5 1+ 5
⇔ x− x− ≤0
2 2
√ √
1− 5 1+ 5
⇔x≥ ∧x≤
2 2
" √ √ #
n
x+1 x2
o 1− 5 1+ 5
x∈R:e ≥e = ,
2 2

1 x+1


2
1 x
(w) 2 ≥ 2
 x+1  x2
1 1 2
≥ ⇔ 2−x−1 ≥ 2−x
2 2
⇔ −x − 1 ≥ −x2
⇔ x2 − x − 1 ≥ 0
√ ! √ !
1− 5 1+ 5
⇔ x− x− ≥0
2 2

√ √
1+ 5 1− 5
⇔x≥ ∨x≤
2 2
(  x+1  x2 ) # √ # " √ "
1 1 1− 5 1+ 5
x∈R: ≥ = −∞, ∪ , +∞
2 2 2 2
1 1
(x) − =2
x 1−x
1 1 1 − x − x − 2(x)(1 − x)
− =2⇔ =0
x 1−x x(1 − x)
2x2 − 4x + 1
⇔ =0
x(1 − x)
⇔ 2x2 − 4x + 1 = 0 ∧ x ̸= 0 ∧ x ̸= 1
√ √
2 2
⇔x=1− ∨x=1+
2 2

6
   ( √ √ )
1 1 2 2
x∈R: − =2 = 1− ,1 +
x 1−x 2 2

3.

(a) Mostre que, para quaisquer números reais a e b, se tem

|a| − |b| ≤ |a − b| e |2ab| ≤ a2 + b2 .

Nós sabemos que:

|a + b| ≤ |a| + |b|
Daı́ concluı́mos que:

|a| = |a − b + b| ≤ |a − b| + |b|
|b| = |b − a + a| ≤ |b − a| + |a| = |a − b| + |a|

Logo:
|a − b| ≥ |a| − |b| e |a − b| ≥ |b| − |a|

E, portanto, |a|−|b| ≤ |a − b|.

Provemos agora a segunda desigualdade:

|2ab| ≤ a2 + b2 ∀a, b ∈ R ⇔ 2ab ≤ a2 + b2 ∧ 2ab ≥ 0 ∨ −2ab ≤ a2 + b2 ∧ 2ab < 0

⇔ a2 − 2ab + b2 ≥ 0 ∧ 2ab ≥ 0 ∨ a2 + 2ab + b2 ≥ 0 ∧ 2ab < 0

⇔ (a − b)2 ≥ 0 ∧ ab ≥ 0 ∨ (a + b)2 ≥ 0 ∧ ab < 0

Como y 2 ≥ 0 ∀y ∈ R, então estas duas proposições são verdadeiras ∀a, b ∈ R.

(b) Determine {a, b ∈ R : |a| = |b|}

|a| = |b| ⇔ a = b ∨ a = −b

(c) Determine a, b ∈ R : a2 + b2 = 0

a2 + b2 = 0 ⇔ a2 = −b2

Se b ̸= 0, então b2 > 0 e −b2 < 0, logo terı́amos a2 < 0, mas isto contradita a definição que a2 ≥ 0 ∀a ∈ R, logo b = 0 e,
consequentemente, a = 0.
√ a+b
(d) Verifique que ∀a, b ≥ 0 ab ≤ 2
√ a+b
Nota: ab designa-se por média geométrica e 2 por média aritmética.
√ a+b √ a+b
ab ≤ ⇔ 0 ≤ ab ≤
2 2
(a + b)2
⇔ ab ≤
4
⇔ 4ab ≤ a2 + 2ab + b2
⇔ 0 ≤ a2 − 2ab + b2
⇔ 0 ≤ (a − b)2 , verdadeiro ∀a, b ∈ R

(e) Determine qual o retângulo que engloba maior área entre todos os retângulos com perı́metro P > 0.
√ √ P a+b
Sejam a, b os lados do retângulo. Sabemos que A = ab e P = 2a + 2b, logo A = ab e 4 = 2 . Então, por (d),
temos:
√ P
A≤
4

7
 √ P
A área será máxima quando A= 4 . Isto acontece quando:

√ a+b (a + b)2
ab = ⇔ ab =
2 4
⇔ 4ab = a2 + 2ab + b2
⇔ a2 − 2ab + b2 = 0
⇔ (a − b)2 = 0
⇔a=b

Conclui-se que a área será máxima quando a = b, isto é, quando o retângulo for um quadrado.

4. Determine o conjunto de soluções da equação log3 (tan x) ≤ 21 em − π2 , π2

 

n i π πh o i πh
D= x∈ − , : tan x > 0 = 0,
2 2 2

1 1 √
log3 (tan x) ≤ ⇔ tan x ≤ 3 2 = 3
2
√ n π πo
⇔ sin x ≤ 3 cos x ∧ x ∈ / − ,
√ 2 2
1 3
⇔ sin x − cos x ≤ 0
2  2
π   π
⇔ cos − sin(x) + sin − cos(x) ≤ 0
 3π 3
⇔ sin x − ≤0
3

 π π
sin x − = 0 ⇔ x − = kπ, k ∈ Z
3 3
π
⇔ x = + kπ
3
π
k = 0 =⇒ x =
3
x − π2 π
3
π
2
sin x − π3


n.d. - 0 + n.d.

 
1 i π πi i πi
x ∈ D : log3 (tan x) ≤ =D∩ − , = 0,
2 2 3 3

5. Verifique quais das seguintes afirmações são verdadeiras.

(a) A soma de um número racional com um irracional é irracional.

p
Sejam r ∈ Q, α ∈
/Qe q ∈ Q, com p ∈ Z, q ∈ N e m.d.c(p, q) = 1. Se r + α ∈ Q e r ̸= 0, então:

p
r+α= ⇔ (r + α)q = p
q
⇔ rq + αq = p
p − rq
⇔α= ∈ Q, mas α ∈
/ Q, logo r + α ∈
/Q
q

Se r = 0, então r + α = α ∈ / Q.
Conclusão: a afirmação é verdadeira.

(b) O produto de um número racional por um irracional é irracional.

Sejam r ∈ Q e α ∈ / Q.
1 1
Caso 1: r ̸= 0. Se rα ∈ Q, então r ∈ Q e rα × r ∈ Q =⇒ α ∈ Q, logo rα ∈
/ Q.

8
Caso 2: r = 0. Temos rα = 0 × α = 0 ∈ Q
Conclusão: a afirmação é falsa.

(c) A soma de dois números irracionais é irracional.

Seja α ∈
/ Q. Se β = −α, o Caso 1 de (b) mostra que β ∈
/ Q. Segue-se que α + β = α − α = 0 ∈ Q
Conclusão: a afirmação é falsa.

(d) O produto de dois números irracionais é irracional.

Provemos primeiro que o inverso multiplicativo de um irracional é também irracional. Seja α ∈ / Q. Se α1 = r ∈ Q,

1 1 1
então α = r ∈ Q, logo α ∈ / Q, então: α × β = α × α1 = 1 ∈ Q.
/ Q. Provemos agroa que a afirmação é falsa. Seja β = α ∈
Conclusão: a afirmação é falsa.

(e) O quociente de dois números irracionais é irracional.

α α
Sejam α, β ∈/ Q. Se β = α, então β = α =1∈Q
Conclusão: a afirmação é falsa.

(f ) O quociente de um número racional por um irracional é irracional.

Sejam α ∈/ Q e r ∈ Q. Se αr ∈ Q, então r
α = w ∈ Q =⇒ α = r
w ∈Q
Conclusão: a afirmação é falsa.

Conclusão: R \ Q não é um corpo fechado para a soma e para o produto.

6. Sejam a e b dois números racionais. Prove que

√ √ √ √
a+ b∈Q ⇔ a e b∈Q
√ √ √ √
Comecemos por provar que a, b ∈ Q =⇒ a + b ∈ Q. Como (Q, +, ×) é um√corpo√fechado para a soma, a soma de
racionais é também racional. Provemos agora o recı́proco. Sabemos que a, b ∈ Q e a + b ∈ Q, logo a − b ∈ Q. Também
sabemos que:
√ √ √ √
( a + b)( a − b) = a − b
√ √ √ √ a−b √ √
Caso 1: a + b ̸= 0. Temos a − b = √ √
a+ b
∈ Q, pois a− b é um quociente de racionais. A soma de racionais é
também racional: √ √  √ √ 
a− √
b + a+ b
2 a √
= = a∈Q
2 2
√ √   √ √ 
√
− a− b + a+ b 2 b √
= = b∈Q
2 2
√ √ √ √ √ √ √ √
Caso√2: a + b = 0. Isto só acontece se a = − b, mas a ≥ 0 e − b ≤ 0, logo a = b = 0. Como 0 ∈ Q, então
√
a, b ∈ Q. Isto prova que:
√ √ √ √
a+ b∈Q ⇔ a e b∈Q

7. Seja β um número real positivo. Prove que se 2β = 3, então β é irracional.

m
Se β ∈ R+ , então podemos escrever β = n, com m, n ∈ N e m.d.c(m, n) = 1. Então:
m
2β = 3 ⇔ 2 n = 3
⇔ 2m = 3n

Como m, n ∈ N, temos um número par igual a um número ı́mpar, mas o conjunto dos números pares e ı́mpares é disjunto
em N, logo temos uma contradição que surgiu por supormos que β ∈ Q.
Conclusão: β ∈
/Q

8. Determine, se existirem, o supremo, ı́nfimo, máximo e mı́nimo em R dos seguintes conjuntos:

9
(a) {x ∈ R | |x + 2| < 2 ∧ |2x − 1| ≤ 5}

|x + 2| < 2 ⇔ x + 2 < 2 ∧ x + 2 > −2 |2x − 1| ≤ 5 ⇔ 2x − 1 ≤ 5 ∧ 2x − 1 ≥ −5

⇔ x < 0 ∧ x > −4 ⇔ x ≤ 3 ∧ x ≥ −2

A = {x ∈ R | |x + 2| < 2 ∧ |2x − 1| ≤ 5}
= ]−4, 0[ ∩ [−2, 3]
= [−2, 0[

sup A = 0 inf A = −2 max A: não existe min A = −2

 2
(b) x ∈ R | x − 4x < 0 ∧ |x − 1| > 2

x2 − 4x < 0 ⇔ x(x − 4) < 0 |x − 1| > 0 ⇔ x − 1 > 2 ∨ x − 1 < −2

⇔x>0∧x<4 ⇔ x > 3 ∨ x < −1

B = x ∈ R | x2 − 4x < 0 ∧ |x − 1| > 2

 
= ]0, 4[ ∩ ]−∞, −1[ ∪ ]3, +∞[

= ]3, 4[

sup B = 4 inf B = 3 max B: não existe min B: não existe

n n
o
(−1)
(c) n |n∈N

Se n = par:
(−1)n 1
an = = < 1 ∀n > 1
n n
Logo a sucessão (an ) é majorada. Também é minorada, pois n1 > 0 ∀n ∈ N.
1 1 −1
an+1 − an = − = < 0 ∀n ≥ 1
n+1 n n(n + 1)
1
Logo (an ) é decrescente e temos an ≤ a2 = 2 ∀n > 1. Temos:
1
0 < an ≤ ∀n ∈ N
2
Se n = ı́mpar:
(−1)n 1
bn = = − ≥ −1 ∀n ≥ 1
n n
Logo a sucessão (bn ) é minorada. Também é majorada pois − n1 < 0 ∀n ∈ N.
1 1 1
bn+1 − bn = − + = > 0 ∀n ≥ 1
n+1 n n(n + 1)
Logo (bn ) é crescente e temos bn ≥ b1 = −1 ∀n ≥ 1. Temos:

−1 ≤ bn < 0 ∀n ∈ N

Seja: (
an se n = par
cn =
bn se n = ı́mpar
Então:
1
−1 ≤ cn ≤ ∀n ∈ N
2

(−1)n
 
C= |n∈N
n
 
1
= [−1, 0[ ∪ 0,
2

10
 1 1
sup C = 2 inf C = −1 max C = 2 min C = −1
(d) x ∈ R− | x2 > 10


√ √
x2 > 10 ⇔ x < 10 ∧ x > − 10

D = x ∈ R− | x2 < 10

i √ √ h
= ]−∞, 0[ ∩ − 10, 10
i √ h
= − 10, 0
√
sup D = 0 inf D = − 10 max D: não existe min D: não existe
n 2
o
x −4 4
(e) x ∈ R : x2 −9 ≤ 9

x2 − 4 4 x2 − 4 4
2
≤ ⇔ 2 − ≤0
x −9 9 x −9 9
9(x2 − 4) − 4(x2 − 9)
⇔ ≤0
9(x2 − 9)
9x2 − 36 − 4x2 + 36
⇔ ≤0
9(x2 − 9)
5x2
⇔ ≤0
9(x2 − 9)
⇔ 9(x2 − 9) < 0 ∨ 5x2 = 0
⇔ x2 < 9 ∨ x = 0
⇔ −3 < x < 3

x2 − 4
 
4
E= x∈R: 2 ≤ = {x ∈ R : −3 < x < 3}
x −9 9
= ]−3, 3[
sup E = 3 inf E = −3 max E: não existe min E: não existe
n o
x
(f ) x ∈ ]−1, 1[ : |x|−1 = x2
 
x x
x ∈ ]−1, 1[ : = ⇔ 2x = x(|x| − 1)
|x| − 1 2
⇔ 2x − x(|x| − 1) = 0
⇔ x(2 − (|x| − 1)) = 0
⇔ x = 0 ∨ 2 − |x| + 1 = 0
⇔ x = 0 ∨ |x| = 3
⇔ x = 0 ∨ x = 3 ∨ x = −3
 
x x
F = x ∈ ]−1, 1[ : = = {x ∈ ]−1, 1[ : x = −3 ∨ x = 0 ∨ x = 3}
|x| − 1 2
= {0}
sup F = 0 inf F = 0
max F = 0 min F = 0


9. Sejam A = {−3, −2} ∪ (Q ∩ [0, 1]) e B = ]−4, −2] ∪ [0, 1] ∩ (R \ Q) . Indique, caso existam, os supremos e os ı́nfimos
em R dos conjuntos A, B, A ∪ B e A ∩ B.

sup A = 1 porque 1 ∈ Q ∧ ∀a ∈ A : 1 ≥ a inf A = −3

sup B = 1 * inf B = −4
sup A ∪ B = 1 porque sup A = sup B inf A ∪ B = −4 porque inf B ≤ inf A
sup A ∩ B = −2 porque A ∪ B = {−3, −2} inf A ∩ B = −3 porque A ∪ B = {−3, −2}

11
* Seja M = sup B. Se M ̸= 1 então ∃ϵ > 0 : 1 − ϵ < M < 1 e ∀b ∈ B : M ≥ b. Para isto acontecer, temos de provar que
não existe nenhum irracional entre M e 1. Ora, como R é um corpo ordenado completo, existe sempre um irracional entre
quaisquer dois reais, logo ∀ϵ > 0, ∃α ∈ R \ Q : 1 − ϵ < M < α < 1. Daı́ concluı́mos que M = sup B = 1.

10. Verifique se é verdadeira cada uma das seguintes proposições:

(a) O ı́nfimo de um subconjunto não vazio de R formado apenas por números racionais é um número racional.

O conjunto A = x ∈ Q+ : x2 − 2 ≥ 0 é não vazio, por exemplo, 22 − 2 = 2 ≥ 0 =⇒ 2 ∈ A, e é formado apenas
√

por números racionais, mas o seu ı́nfimo é um número irracional 2 .
Conclusão: a afirmação é falsa.

(b) O ı́nfimo de um subconjunto não vazio de R formado apenas por números naturais é um número natural.

Se A ⊂ N, então 1 é minorante de A. Seja m = inf A. Como m ≥ 1, existe algum n ∈ N tal que n ≤ m < n + 1.
Se m = n, então m ∈ N. Caso contrário, n < m < n + 1. Mas então, como A ⊂ N, como m ≤ a, para cada a ∈ A e como
não há naturais em ]m, n + 1[, tem-se n + 1 ≤ a para cada a ∈ A. Logo, n + 1 é minorante de A, o que é impossı́vel, pois
n + 1 > m e m é o maior dos minorantes de A.
Conclusão: a afirmação é verdadeira.

(c) Para todo o número real x ̸= 0 existe um número racional entre 0 e x.

Como Q é denso em R, ∀x ∈ R \ {0} ∃r ∈ Q : 0 < r < x ∨ x < r < 0.

Conclusão: a afirmação é verdadeira.

(d) Qualquer conjunto não vazio de racionais positivos tem ı́nfimo positivo.

O conjunto D = {x ∈ Q+ : x ≥ 0} é não vazio, por exemplo 1 ≥ 0 =⇒ 1 ∈ D, e é formado apenas por números racionais
positivos, mas inf D = 0 e 0 ∈ / Q+ .
Conclusão: a afirmação é falsa.

11. Considere um subconjunto A não vazio de R e defina −A = {−a : a ∈ A}. Prove que:

(a) A majorado se e só se −A é minorado.

Provemos primeiro que A é majorado =⇒ −A é minorado. Seja M um majorante de A, então ∀a ∈ A : M ≥ a.

Então temos ∀ − a ∈ −A : −M ≤ −a, logo −M é minorante de −A e, consequentemente, −A é minorado.
Provemos agora o recı́proco. Seja m um minorante de −A, então ∀ − a ∈ −A : m ≤ −a. Então obtemos ∀a ∈ A : −m ≥ a,
logo −m é majorante de A e, consequentemente, A é majorado.

(b) M é um majorante de A se e só se −M é um minorante de −A.

Provemos primeiro que M é majorante de A =⇒ −M é minorante de − A. Por definição, temos ∀a ∈ A : M ≥ a,

logo ∀ − a ∈ −A : −M ≤ −a. Disto vem que −M é minorante de −A.
Provemos agora o recı́proco. Se −M é minorante de −A, então ∀ − a ∈ −A : −M ≤ −a, logo ∀a ∈ A : M ≥ a. Disto segue
que M é majorante de A.

(c) sup A = − inf(−A)

Seja s = sup A, então ∀a ∈ A : s ≥ a. Então obtemos ∀ − a ∈ −A : −s ≤ −a, o que significa que −s = inf(−A).
Concluı́mos que s = − inf(−A), isto é, sup A = − inf(−A).

12