Pré-cálculo

1 Números reais 1.2 Conjunto dos números racionais 2 Equações e inequações

Ajude a manter o site livre, gratuito e sem propagandas. Colabore!

1.3 Conjunto dos números reais

1.3.1 Existência de números irracionais

Para introduzirmos os números reais, vamos fazer a tentativa de estender a operação de potenciação para potências racionais. Mais especificamente, vamos tentar determinar $\sqrt{2}$ , a qual é definida por

\sqrt{2}=2^{\frac{1}{2}}.

(1.114)

Assumindo válidas as propriedades de potenciação vista para números racionais, teríamos

	$\displaystyle\left(2^{\frac{1}{2}}\right)^{2}=2^{\frac{1}{2}\cdot 2}$		(1.115)
	$\displaystyle\text{}\quad=2^{1}=2.$		(1.116)

Será que $2^{\frac{1}{2}}$ é um número racional?

Se fosse, então existiria uma razão irredutível⁸⁸8Sobre razão irredutível, consulte a Observação 1.2.5. $p/q$ , $p\in\mathbb{Z}$ e $q\in\mathbb{Z}^{*}$ , tal que

	$\displaystyle 2^{\frac{1}{2}}=p/q$		(1.117)
	$\displaystyle\left(\frac{p}{q}\right)^{2}=2$		(1.118)
	$\displaystyle\frac{p^{2}}{q^{2}}=2$		(1.119)
	$\displaystyle p^{2}=2\cdot q^{2}.$		(1.120)

Logo, $p^{2}$ é um número par⁹⁹9Número par é um múltiplo inteiro de $2$ . e, portanto, $p$ é um número par¹⁰¹⁰10O quadrado de um número ímpar é um número ímpar. Número ímpar é um número inteiro não divisível por $2$ .. Ou seja, existiria $m\in\mathbb{Z}$ tal que $p=2m$ . Mas, então

	$\displaystyle(2\cdot m)^{2}=2\cdot q^{2}$		(1.121)
	$\displaystyle 4\cdot m^{2}=2\cdot q^{2}$		(1.122)
	$\displaystyle 2\cdot m^{2}=q^{2}.$		(1.123)

Com isso, $q^{2}$ seria par e, portanto, $q$ deveria ser par. Isso é uma contradição, por $p/q$ é uma razão irredutível. Logo, concluímos que

\sqrt{2}\not\in\mathbb{Q}.

(1.124)

Assim sendo, dizemos que $\sqrt{2}$ é um número irracional. Ou seja, não é racional¹¹¹¹11Para ser mais preciso, número irracional é todo número real que não é racional. ;)! :D

Observação 1.3.1.(Uma aplicação em geometria)

Observamos que $\sqrt{2}$ é o comprimento do lado do quadrado de área 1. Ou ainda, $\sqrt{2}$ é a hipotenusa do triângulo retângulo de catetos com comprimento igual a 1.

1.3.2 Fecho dos números racionais

Mas então, como podemos calcular o número $\sqrt{2}$ ? Bem, podemos aproximá-lo usando o método babilônico. Observamos que $\sqrt{2}$ é um número entre $1$ e $2$ , exclusivamente. Vamos, então, escolher como aproximação inicial

x_{0}=\frac{3}{2}=1.5

(1.125)

Daí, calculamos uma nova aproximação como

	$\displaystyle x_{1}=\frac{1}{2}\left(x_{0}+\frac{2}{x_{0}}\right)$		(1.126)
	$\displaystyle\text{}\quad=\frac{1}{2}\left(\frac{3}{2}+\frac{2}{\frac{3}{2}}\right)$		(1.127)
	$\displaystyle\text{}\quad=\frac{1}{2}\left(\frac{3}{2}+\frac{4}{3}\right)$		(1.128)
	$\displaystyle\text{}\quad=\frac{1}{2}\left(\frac{9+8}{6}\right)$		(1.129)
	$\displaystyle\text{}\quad=\frac{1}{2}\cdot\frac{17}{6}$		(1.130)
	$\displaystyle\text{}\quad=\frac{17}{12}=1,41\bar{6}$		(1.131)

Então, analogamente podemos calcular uma melhor aproximação com

	$\displaystyle x_{2}=\frac{1}{2}\left(x_{1}+\frac{2}{x_{1}}\right)$		(1.132)
	$\displaystyle\text{}\quad=\frac{1}{2}\left(\frac{17}{12}+\frac{2}{\frac{17}{12% }}\right)$		(1.133)
	$\displaystyle\text{}\quad=\frac{577}{408}$		(1.134)
	$\displaystyle\text{}\quad=1,41421\overline{5686274509803921}$		(1.135)

e assim sucessivamente. Estes números racionais estão de fato se aproximando do valor de $\sqrt{2}$ . Notamos que

	$\displaystyle x_{0}^{2}=\left(\frac{3}{2}\right)^{2}$		(1.136)
	$\displaystyle\text{}\quad=2,25$		(1.137)
	$\displaystyle x_{1}^{2}=\left(\frac{17}{12}\right)^{2}$		(1.138)
	$\displaystyle\text{}\quad=2,0069\bar{4}$		(1.139)
	$\displaystyle x_{2}^{2}=\left(\frac{577}{408}\right)^{2}$		(1.140)
	$\displaystyle\text{}\quad=2,000006\ldots$		(1.141)

O método babilônico, nos mostra que $\sqrt{2}$ pode ser calculado como o limite de uma sequência de números racionais. Ou seja, é sempre possível escolher um número racional que aproxime do valor de $\sqrt{2}$ tão bem quanto se queira. No caso, basta iterarmos o método babilônico um número suficiente de vezes.

Neste caso, ainda dizemos que $\sqrt{2}$ pertence ao fecho dos números racionais, escrevemos

\sqrt{2}\in\overline{\mathbb{Q}}.

(1.142)

Mais precisamente, $x\in\overline{\mathbb{Q}}$ quando sempre é possível escolher um número racional $p/q\in\mathbb{Q}$ que aproxima o valor de $x$ tão bem quanto se queira.

O conjunto dos números reais é denotado por $\mathbb{R}$ e é o fecho dos números racionais, i.e.

\color[rgb]{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}\mathbb{R}=% \overline{\mathbb{Q}}.

(1.143)

Ou seja, é a união dos números racionais com os números irracionais que podem ser arbitrariamente aproximados por números racionais.

Observação 1.3.2.(Conjunto dos números reais)

\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}

(1.144)

Além disso, os números reais herdam as operações e suas propriedades dos números racionais.

Exemplo 1.3.1.

Consideramos os seguintes exemplos de números reais:

a)

todo número inteiro é um número real;

Código 28: Python

⬇

1from sympy import S

2S.Integers.is_subset(S.Reals)

⬇

True
b)

todo número racional é um número real;

Código 29: Python

⬇

1S.Rationals.is_subset(S.Reals)

⬇

True
c)

$\sqrt{3},\sqrt{5},\sqrt{7},\cdots$ são números reais;

Código 30: Python

⬇

1from sympy import sqrt

2sqrt(3) in S.Reals

⬇

True
d)

$\pi=3,141592\ldots$ é um número real¹²¹²12O $\pi$ é a área do disco de raio 1..

Código 31: Python

⬇

1from sympy import pi

2pi in S.Reals

⬇

True

De posse dos números reais, vamos definir a $m$ -ésima raiz de um número $x\in\mathbb{R}$ por

\sqrt[m]{x}=x^{\frac{1}{m}},

(1.145)

sendo que quando $m=2$ , escrevermos simplesmente $\sqrt{x}$ .

Observação 1.3.3.

\sqrt{-1}\not\in\mathbb{R}

(1.146)

De fato, seja

x=\sqrt{-1},

(1.147)

então

x^{2}=-1.

(1.148)

Entretanto, o quadrado de qualquer número real é um número não negativo! Ou seja, $x\not\in\mathbb{R}$ .

Mais geralmente, não é número real a raiz de índice par de qualquer número negativo.

1.3.3 Reta real

A reta real é uma representação geométrica do conjunto dos números reais (consultemos a Figura 1.13).

Refer to caption — Figura 1.13: Reta real.

Traçamos uma reta horizontal e escolhemos um ponto como sendo a origem. Neste ponto, marcamos a posição do número zero. Usando um espaçamento fixo, posicionamos os números naturais a direita do zero e de forma sucessiva. Os números inteiros negativos são posicionados à esquerda do zero, também em posições sucessivas. Os números racionais são posicionados tomando as frações do espaçamento escolhido. A Figura 1.13 é um esboço da reta real.

Uma das propriedades notáveis dos números reais é a chamada tricotomia, i.e. um número real $x$ é, exclusivamente, um dos seguintes tipos:

•

positivo (posicionado à direita da origem),
•

zero (posicionado na origem), ou
•

negativo (posicionado à esquerda da origem).

1.3.4 Infinito

O infinito é denotado por $\infty$ e representa a noção daquilo que não tem fim. Quando sem sinal, é interpretado na direção positiva (direita) da reta real. Quando escrito $-\infty$ (lê-se menos infinito) é interpretado na direção negativa (esquerda) da reta real. Nesta reta (Figura 1.14), $\infty$ é representado por sua seta à direta e $-\infty$ por sua seta à esquerda.

Observação 1.3.4.

$\infty$ não é um número!

Sendo $x$ um número real, podemos inferir as seguintes propriedades:

•

$\pm\infty\pm x=\pm\infty$
•

$\pm\infty\mp x=\pm\infty$
•

$-\infty=-1\cdot\infty$
•

$x\cdot(\pm\infty)=\pm\infty$ , $x>0$
•

$x\cdot(\pm\infty)=\mp\infty$ , $x<0$
•

$\pm\infty\pm\infty=\pm\infty$
•

$(\pm\infty)\cdot(\pm\infty)=\infty$
•

$(\pm\infty)\cdot(\mp\infty)=-\infty$

Exemplo 1.3.2.

Estudemos os seguintes casos:

a)

$\infty+\infty=\infty$

Código 32: Python

⬇

1from sympy import oo

2oo + oo

⬇

oo
b)

$-1\cdot(-\infty)=\infty$

⬇

1-1 * -oo

⬇

oo
c)

$2\cdot(-\infty)=-\infty$

⬇

12 * -oo

⬇

-oo
d)

$\infty\cdot\infty=\infty$

⬇

1oo * oo

⬇

oo
e)

$-\infty\cdot\infty=-\infty$

⬇

1-oo * oo

⬇

-oo

No entanto, são consideradas indeterminações matemáticas as seguintes operações:

•

$\infty-\infty$
•

$0\cdot\infty$
•

$\displaystyle\frac{\infty}{\infty}$
•

$\infty^{0}$
•

$1^{\infty}$
•

$0^{0}$
•

$\displaystyle\frac{0}{0}$

Indeterminações são estudadas em cursos de Cálculo. Aqui, apenas as listamos para conhecimento.

1.3.5 Intervalos de números reais

Intervalos de números reais são conjuntos especiais e muito utilizados. Por simplicidade, recebem uma notação própria. Para $a,b\in\mathbb{R}$ , temos os seguintes tipos de intervalos:

•

Intervalo fechado

$\color[rgb]{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}[a,b]=\{x\in% \mathbb{R}:\leavevmode\nobreak\ a\leq x\leq b\}$ (1.149)

Figura 1.15: Intervalo $[a,b]$ na reta real.
•

Intervalo semi-aberto à esquerda (semi-fechado à direita)

$\color[rgb]{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}(a,b]=\{x\in% \mathbb{R}:\leavevmode\nobreak\ a<x\leq b\}$ (1.150)

Figura 1.16: Intervalo semi-aberto à esquerda $(a,b]$ na reta real.
•

Intervalo semi-aberto à direita (semi-fechado à esquerda)

$\color[rgb]{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}[a,b)=\{x\in% \mathbb{R}:\leavevmode\nobreak\ a\leq x<b\}$ (1.151)

Figura 1.17: Intervalo semi-aberto à direta $[a,b)$ na reta real.
•

Intervalo aberto

$\color[rgb]{0,0,1}\definecolor[named]{pgfstrokecolor}{rgb}{0,0,1}(a,b)=\{x\in% \mathbb{R}:\leavevmode\nobreak\ a<x<b\}$ (1.152)

Figura 1.18: Intervalo aberto $(a,b)$ na reta real.

Exemplo 1.3.3.

Vamos estudar os seguintes casos:

a)

$-2\in[-3,1]$

Código 33: Python

⬇

1from sympy import Interval

2-2 in Interval(-3, 1)

⬇

True
b)

$\displaystyle\sqrt{2}\in\left(1,\frac{3}{2}\right)$

⬇

1from sympy import sqrt

2sqrt(2) in Interval(1, 3/2,

3 left_open=True, right_open=True)

⬇

True
c)

$2\not\in[-3,2)$

⬇

12 in Interval(-3, 2, right_open=True)

⬇

False
d)

$\pi\in(3,4]$

⬇

1from sympy import pi

2pi in Interval(3, 4, left_open=True)

⬇

True
e)

$[a,a]=\{a\}$

⬇

1from sympy.abc import a

2Interval(a, a)

⬇

FiniteSet(a)
f)

$[3,2]=\emptyset$

⬇

1Interval(3, 2)

⬇

EmptySet
g)

$(1,1)=\emptyset$

Ainda, temos os seguintes casos especiais:

•

Intervalos semi-limitados à esquerda

$\displaystyle[a,\infty)=\{x\in\mathbb{R}:\leavevmode\nobreak\ a\leq x\}$ (1.153)

$\displaystyle(a,\infty)=\{x\in\mathbb{R}:\leavevmode\nobreak\ a<x\}$ (1.154)

Figura 1.19: Representação geométrica dos intervalos $[a,\infty)$ (acima) e $(a,\infty)$ (abaixo).
•

Intervalos semi-limitados à direita

$\displaystyle(-\infty,b]=\{x\in\mathbb{R}:\leavevmode\nobreak\ x\leq b\}$ (1.155)

$\displaystyle(-\infty,b)=\{x\in\mathbb{R}:\leavevmode\nobreak\ x<b\}$ (1.156)

Figura 1.20: Intervalos $(-\infty,b]$ (acima) e $(-\infty,b)$ (abaixo) na reta real.
•

Intervalo ilimitado

$(-\infty,\infty)=\mathbb{R}$ (1.157)

Figura 1.21: Intervalo $(-\infty,\infty)$ na reta real.

Exemplo 1.3.4.

Estudamos os seguintes casos:

a)

$2\in[2,\infty)$
b)

$10^{6}\in(2,\infty)$
c)

$1\not\in(-\infty,1)$
d)

$-10^{308}\in(-\infty,1]$
e)

$\pi\in(-\infty,\infty)$

1.3.6 Exercícios

E. 1.3.1.

Verifique a veracidade de cada uma das seguintes afirmações. Justifique sua resposta.

a)

Se $p, q$ são números pares, então $p+q$ é um número par.
b)

Se $p, q$ são números ímpares, então $p+1$ é um número ímpar.
c)

Se $p$ é número par e $q$ é número ímpar, então $p+q$ é número ímpar.
d)

Se $p$ é número par e $q$ é número ímpar, então $p\cdot q$ é número ímpar.
e)

Se $p, q$ são números ímpares, então $p\cdot q$ é número ímpar.

a) V; b) F; c) V; d) F; e) V

E. 1.3.2.

Mostre que $\sqrt{3}\not\in\mathbb{Q}$ .

Dica: use um raciocínio similar ao usado para mostrar que $\sqrt{2}\not\in\mathbb{Q}$ .

E. 1.3.3.

Um número primo $p$ tem somente quatro divisores $\pm 1$ , $\pm p$ e é tal que $p\neq 0$ e $p\neq\pm 1$ . Faça a decomposição em fatores primos dos seguintes números¹³¹³13Dica: consulte o método sympy.factorint..

a)

$14$
b)

$24$
c)

$36$
d)

$2205$

a) $14=2\cdot 7$ ; b) $24=2^{3}\cdot 3$ ; c) $36=2^{2}\cdot 3^{2}$ ; d) $2205=3^{2}\cdot 5\cdot 7^{2}$

E. 1.3.4.

Faça a decomposição em fatores primos para calcular as seguintes raízes:

a)

$\sqrt{24}$
b)

$\sqrt{36}$
c)

$\sqrt{150}$
d)

$\sqrt{200}$

a) $\sqrt{24}=2\sqrt{6}$ ; b) $\sqrt{36}=6$ ; c) $\sqrt{150}=5\sqrt{6}$ ; d) $\sqrt{200}=10\sqrt{2}$

E. 1.3.5.

Verifique a veracidade de cada uma das seguintes afirmações. Justifique sua resposta.

a)

$\sqrt{2}+\sqrt{3}=\sqrt{5}$
b)

$\sqrt{4}+2=4$
c)

$\sqrt{2}\cdot\sqrt{14}=2\sqrt{7}$
d)

$\left(\sqrt{2})^{3}\right)=\sqrt{2^{3}}$
e)

$\sqrt[3]{2^{2}}=\sqrt[2]{2^{3}}$

a) F; b) V; c) V; d) V; e) F

E. 1.3.6.

Mostre que $\sqrt{x^{2}}=|x|$ .

E. 1.3.7.

Encontre o resultado e faça a representação gráfica em cada um dos seguintes itens.

1.

$(-1,2]\cup[-1,0]$
2.

$[2,4)\cap[4,5)$
3.

$(-2,2)\cap[-1,1)$
4.

$(-\infty,1)\cup[0,\infty)$
5.

$(-1,1)\cup\{1\}$

a) $[-1,2]$ , b) $\emptyset$ ; c) $[-1,1)$ ; d) $\mathbb{R}$ ; e) $(-1,1]$

E. 1.3.8.

Escreva os seguintes conjuntos usando a notação de intervalos de números reais:

a)

$\{x\in\mathbb{R}:\leavevmode\nobreak\ -3\leq x<2\}$
b)

$\{x\in\mathbb{R}:\leavevmode\nobreak\ x>1\leavevmode\nobreak\ \text{e}% \leavevmode\nobreak\ x\leq 4\}$
c)

$\{x\in\mathbb{R}:\leavevmode\nobreak\ x<-2\}$
d)

$\{x\in\mathbb{R}:\leavevmode\nobreak\ x\geq-1\}$
e)

$\{x\in\mathbb{R}:\leavevmode\nobreak\ x\leq 5\}\cap\{x\in\mathbb{R}:% \leavevmode\nobreak\ x>-2\}$

a) $[-3,2)$ ; b) $(1,4]$ ; c) $(-\infty,-2)$ ; d) $[-1,\infty)$ ; e) $(-2,5]$

Envie seu comentário

Aproveito para agradecer a todas/os que de forma assídua ou esporádica contribuem enviando correções, sugestões e críticas!

Este texto é disponibilizado nos termos da Licença Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional. Ícones e elementos gráficos podem estar sujeitos a condições adicionais.

Política de uso de dados