| | | |

Pré-cálculo

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

1.2 Conjunto dos números racionais

Nesta seção, vamos estudar alguns aspectos fundamentais sobre o conjunto dos números racionais.

1.2.1 Números naturais

Os números naturais são os números de contagem

ℕ={0,1,2,3,…}, (1.44)

onde as reticências denotam a sequência dos números (consulte a Figura 1.8 para uma representação geométrica).

Refer to caption
Figura 1.8: Números naturais.

O conjunto dos números naturais pode ser construído dos axiomas de Peano222Giuseppe Peano, 1858 - 1932, matemático italiano. Fonte: Wikipédia: Giuseppe Peano.:

  1. a)

    0 é o único número natural que não é sucessor de nenhum outro;

  2. b)

    todo número natural m≠0 tem um sucessor m+1;

  3. c)

    números que têm o mesmo sucessor são iguais;

  4. d)

    se um subconjunto A de números naturais contém o 0 e contém o sucessor de cada um de seus elementos, então A=ℕ333Axioma do Princípio da Indução..

Código 12: Python
1from sympy import S
2print('0 in N?', 0 in S.Naturals0)
3print('1 in N?', 1 in S.Naturals0)
4print('-1 in N?', -1 in S.Naturals0)
0 in N? True
1 in N? True
-1 in N? False

Operações de adição e multiplicação

Nos números naturais m,n∈ℕ estão bem definidas as operações usuais de:

  1. a)

    adição

    m+n=m+1+1+⋯+1⏟n⁢ vezes (1.45)
  2. b)

    multiplicação

    m⋅n=m+m+⋯+m⏟n⁢ vezes (1.46)
Exemplo 1.2.1.

Vejamos os seguintes casos:

  1. a)

    2+1=3

    Código 13: Python
    12 + 1
    3
  2. b)

    1+2=3

  3. c)

    10+5=15

  4. d)

    3⋅2=6

    Código 14: Python
    13 * 2
    6
  5. e)

    2⋅3=6

Propriedades das operações

Sendo m,n,p∈ℕ, temos ainda as seguintes propriedades fundamentais:

  • •

    0 é o elemento neutro da adição

    m+0=m. (1.47)
    Código 15: Python
    1from sympy import Symbol
    2m = Symbol('m', natural0=True)
    3print('m + 0 = m?', m + 0 == m)
    m + 0 = m? True
  • •

    comutatividade da adição

    m+n=n+m (1.48)
    Código 16: Python
    1from sympy import symbols
    2m, n = symbols('m, n', natural0=True)
    3print('m + n = n + m?', m + n == n + m)
    m + n = n + m? True
  • •

    associatividade da adição

    m+(n+p)=(m+n)+p (1.49)
  • •

    1 é o elemento neutro da multiplicação

    m⋅1=m. (1.50)
  • •

    comutatividade da multiplicação

    m⋅n=n⋅m (1.51)
  • •

    associatividade da multiplicação

    m⋅(n⋅p)=(m⋅n)⋅p (1.52)
  • •

    distributividade da multiplicação em relação à adição

    m⋅(n+p)=m⋅n+m⋅p (1.53)
Exemplo 1.2.2.

Verificamos as propriedades acima para casos específicos.

  1. a)

    Elemento neutro da adição

    5+0=5 (1.54)
  2. b)

    Comutatividade da adição

    2+3=3+2 (1.55)
  3. c)

    Associatividade da adição

    2+(3+4)=2+7=9 (1.56)
    (2+3)+4=5+4=9 (1.57)
  4. d)

    Elemento neutro da multiplicação

    3⋅1=3 (1.58)
  5. e)

    Comutatividade da multiplicação

    5⋅2=2⋅5=10 (1.59)
  6. f)

    Associatividade da multiplicação

    2⋅(3⋅4)=2⋅12=24 (1.60)
    (2⋅3)⋅4=6⋅4=24 (1.61)
  7. g)

    Distributividade da multiplicação em relação à adição

    2⋅(3+4)=2⋅7=14 (1.62)
    2⋅3+2⋅4=6+8=14 (1.63)

1.2.2 Números inteiros

O conjuntos dos números inteiros é

ℤ={…,−3,−2,−1,0,1,2,3,…}. (1.64)

Os números com sinal negativo “−” são definidos como sendo opostos aos respectivos números naturais. Mais precisamente, o oposto de um número m é denotado por −m e é tal que

m+(−m)=0. (1.65)

Os números inteiros podem ser representados geometricamente como pontos sobre uma reta (consultemos a Figura 1.9). No centro, coloca-se o zero, à direita colocam-se os números positivos em ordem e igualmente espaçados. À esquerda do zero, colocam-se os números negativos, opostos aos respectivos números positivos.

Refer to caption
Figura 1.9: Números inteiros.
Código 17: Python
1from sympy import S
2print('5 in Z?', 5 in S.Integers)
3print('0 in Z?', 0 in S.Integers)
4print('-3 in Z?', -3 in S.Integers)
5print('2.5 in Z?', 2.5 in S.Integers)
5 in Z? True
0 in Z? True
-3 in Z? True
2.5 in Z? False
Exemplo 1.2.3.

Consideramos os seguintes casos:

  1. a)

    −1 é o oposto de 1.

    1+(−1)=0 (1.66)
  2. b)

    2 é o oposto de −2.

    −2+2=0 (1.67)
Refer to caption
Figura 1.10: Diagrama de Venn dos números naturais e inteiros.

Os números inteiros contém os números naturais (consultemos a Figura 1.10), i.e.

ℕ⊂ℤ. (1.68)

Ainda, as operações de adição e multiplicação podem ser imediatamente estendidas para os números inteiros, assim como suas propriedades de elemento neutro, comutatividade, associatividade e distributividade.

Código 18: Python
1from sympy import S
2print(S.Naturals.is_subset(S.Integers))
True

Operação de Subtração

Com a definição de oposto, podemos definir a operação de subtração de dois números inteiros da seguinte forma

m−n=m+(−n) (1.69)
=−n+m, (1.70)

sendo a operação de adição definida usualmente.

Código 19: Python
1from sympy import symbols
2m, n = symbols('m n', integer=True)
3print('m-n = n-m?', m-n == -n+m)
m-n = n-m? True
Exemplo 1.2.4.
2−3=2+(−3) (1.71)
=−3+2=−1 (1.72)
Código 20: Python
12 - 3
-1

Valor absoluto

Dado um número p∈ℤ, definimos o seu valor absoluto444Também, chamado de módulo. pelo número inteiro

|p|={p,p≥0,−p,p<0. (1.73)
Exemplo 1.2.5.

Estudemos os seguintes casos:

  1. a)

    |3|=3

  2. b)

    |−2|=−(−2)=2

  3. c)

    |0|=0

Código 21: Python
1from sympy import Abs, Symbol
2print('|3| =', Abs(3))
3print('|-2| =', Abs(2))
4print('|0| =', Abs(0))
5m = Symbol('m', integer=True, nonnegative=True)
6print('m >= 0, |-m| = ', Abs(-m))
|3| = 3
|-2| = 2
|0| = 0
m >= 0, |-m| = m

Para qualquer p∈ℤ, temos as seguintes propriedades:

  1. a)

    |p|≥0

  2. b)

    |p|=0⇔p=0

  3. c)

    |p|=|−p|

  4. d)

    |p|<q⇔−q<p<q

  5. e)

    |p|>q⇔−p⁢<−q⁢ ou ⁢p>⁢q

1.2.3 Números racionais

O conjunto dos números racionais é

ℚ={pq:p∈ℤ⁢ e ⁢q∈ℤ∗}, (1.74)

sendo ℤ∗=ℤ∖{0}. O quociente p/q é definido como sendo o resultado da operação de divisão de p por q, i.e.

pq=x⇔p=x⋅q. (1.75)

Consultemos a Figura 1.11 para uma representação geométrica dos números racionais.

Refer to caption
Figura 1.11: Números racionais.
Observação 1.2.1.(Divisão por zero)

Não está definida a divisão por zero! Note que não existe x tal que

p0=x⇔p=0⋅x. (1.76)

Também, 0/0 não está bem definido. Neste caso, temos uma indeterminação matemática555Indeterminação matemática é um conceito do cálculo de limites., de fato não existe um único número x tal que

00=x⇔0=0⋅x. (1.77)

A operação de adição de números racionais fica, então

ab+cd=a⋅d+c⋅bb⋅d (1.78)
Exemplo 1.2.6.
25+34=2⋅4+3⋅55⋅4 (1.79)
=8+1520 (1.80)
=2320 (1.81)
Código 22: Python
1from sympy import S
2S(2)/5 + S(3)/4
23/20

A operação de multiplicação fica, então

ab⋅cd=a⋅cb⋅d. (1.82)
Exemplo 1.2.7.
25⋅32=2⋅35⋅2 (1.83)
=35 (1.84)
Código 23: Python
1from sympy import S
2S(2)/5 * S(3)/2
3/5
Refer to caption
Figura 1.12: Números racionais, inteiros ou naturais.
Observação 1.2.2.(Os números racionais, inteiros ou naturais)
ℕ⊂ℤ⊂ℚ (1.85)

Isso segue do fato de que se m∈ℤ, então

m=m1. (1.86)

Os números racionais também herdam as propriedades de elemento neutro, comutatividade, associatividade e distributividade nas operações de adição e multiplicação.

Operação de Potenciação

Outra operação fundamental é a operação de potenciação. A potenciação de um número racional p/q≠0 por um número natural n é definida por

(pq)n=pq⋅pq⋅⋯⋅pq⏟n⁢ vezes, (1.87)

sendo (p/q)0=1. Ainda, definimos o inverso de um número racional p/q por

(pq)−1=qp. (1.88)

Mais precisamente, o inverso de um número x≠0 é denotado por x−1 e é tal que

x⋅x−1=1. (1.89)

Com a escolha acima, vemos que (p/q)−1=q/p, pois

pq⋅qp=p⋅qq⋅p (1.90)
=q⋅pq⋅p (1.91)
=qq⋅pp (1.92)
=1⋅1=1. (1.93)
Exemplo 1.2.8.

Verifiquemos os seguintes casos:

  1. a)

    (32)3=32⋅32⋅32 (1.94)
    =94⋅32 (1.95)
    =278 (1.96)
    Código 24: Python
    1from sympy import S
    2(S(3)/2)**3
    27/8
  2. b)

    23=2⋅2⋅2 (1.97)
    =4⋅2 (1.98)
    =8 (1.99)
    Código 25: Python
    12**3
    8
  3. c)

    (32)−1=23 (1.100)
    Código 26: Python
    1from sympy import S
    2(S(3)/2)**-1
    2/3

Sendo a,b∈ℚ e n,m∈ℕ, temos as seguintes propriedades fundamentais da operação de potenciação666Estas propriedades são válidas desde que as operações estejam bem definidas. Por exemplo, a segunda propriedade elencada somente é válida no caso de a≠0.:

  • •

    am+n=am⋅an

  • •

    a−m=(am)−1=(a−1)m

  • •

    am⋅n=(am)n=(an)m

  • •

    (ab)m=ambm

Observação 1.2.3.(Potências de zero não bem definidas)

As seguintes potenciações não estão bem definidas:

  • •

    0−1 não existe.

    0−1=10⁢∄ (1.101)

    O símbolo ∃ lê-se existe e o ∄ lê-se não existe.

  • •

    00 não está bem definida.

    00=01−1 (1.102)
    =01⋅0−1 (1.103)
    =0⋅10∄ (1.104)

Enquanto que para x≠0 temos x0=1, 00 não está bem definida! Trata-se de uma indeterminação, conceito introduzido em um curso de Cálculo.

Observação 1.2.4.(00 em Python)

Por convenção, no Python, 00=1.

Código 27: Python
10**0
1
Observação 1.2.5.(Razão irredutível)

A representatividade de números racionais não é única. Por exemplo,

23=46=1421=⋯ (1.105)

Isto nos motiva a introduzir o conceito de razão irredutível. Dizemos que p/q é uma razão irredutível, quando p e q não têm divisor comum777Um número m∈ℕ∗ é divisor de n∈ℤ, quando m/n∈ℤ.. Por exemplo, 2/3 é uma razão irredutível, enquanto 4/6 não é, pois 4 e 6 têm 2 como divisor comum.

1.2.4 Exercícios

E. 1.2.1.

Sejam m,n,p,q∈ℕ. Argumente se são verdadeiras ou falsas as seguintes afirmações:

  1. a)

    m=0+m

  2. b)

    m+(n+p)=(n+p)+m

  3. c)

    m+n+p=(n+m)+p

  4. d)

    (m+n)+(q+p)=(m+p)+(q+n)

  5. e)

    1⋅m≠m⋅1

  6. f)

    (m⋅n)⋅p=(n⋅p)⋅m


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

E. 1.2.2.

Sejam m,n,p,q∈ℤ. Argumente se são verdadeiras ou falsas as seguintes afirmações:

  1. a)

    n−p=p−n

  2. b)

    (m−n)+p=(m+p)−n

  3. c)

    −(−m)=m


a) F; b) V; c) V

E. 1.2.3.

Mostre que

ab+cd=a⋅d+b⋅cb⋅d, (1.106)

onde a,b,c,d∈ℤ e b,d≠0.


Dica: a=b⁢x e c=d⁢y, então x+y=?

E. 1.2.4.

O mínimo múltiplo comum dos números de dois números inteiros c,d é denotado por mmc⁡(c,d) e é o menor inteiro positivo que é múltiplo simultaneamente de c e d. Sendo, ainda, a,b∈ℤ e c,d≠0, Mostre que

ac+bd=a⋅mmc⁡(c,d)c+b⋅mmc⁡(c,d)dmmc⁡(c,d). (1.107)

Qual a vantagem em usar o mmc para calcular a soma de frações?


Dica: ac+bd=a⋅d+b⋅cc⋅d

E. 1.2.5.

Mostre que

ab⋅cd=a⋅cb⋅d, (1.108)

onde a,b,c,d∈ℤ e b,d≠0.


Dica: a=b⁢x e c=d⁢y, então x⋅y=?

E. 1.2.6.

Sejam p,q∈ℚ, q≠0, m,n∈ℤ. Argumente sobre a veracidade das seguintes afirmações.

  1. a)

    qm−n=qmqn

  2. b)

    (pq)m=pmq

  3. c)

    q−m⋅n=qnqm


a) V; b) F; c) F

E. 1.2.7.

Verifique as seguintes desigualdades:

  1. a)

    −32<12

  2. b)

    −23>−34

  3. c)

    45≥54

  4. d)

    72≥23

  5. e)

    −12<2−3


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

E. 1.2.8.

Sejam a,b números racionais. Mostre que são verdadeiros os seguintes produtos notáveis:

  1. a)

    (a+b)2=a2+2⁢a⁢b+b2

  2. b)

    (a−b)2=a2−2⁢a⁢b+b2

  3. c)

    (a+b)⁢(a−b)=a2−b2


a) (a+b)2=(a+b)⋅(a+b)=(a+b)⋅a+(a+b)⋅b=a⋅(a+b)+b⋅(a+b)=a⋅a+a⋅b+b⋅a+b⋅b=a2+2⁢a⁢b+b2. a) e b) seguem de maneira análoga.

E. 1.2.9.

Argumente sobre a veracidade das seguintes afirmações, onde a,b∈ℚ. Nos casos em que forem falsas, corrija-as.

  1. a)

    a2+b2a⁢b=a+b

  2. b)

    a2−b2a−b=a+b, para a≠b

  3. c)

    a+ba2−b2=2a−b, para a≠b

  4. d)

    a+ba=1+b, para a≠0

  5. e)

    a−a⁢ba=1−b, para a≠0


a) F; a2+b2a⁢b=ab+ba; b) V; c) F; a+ba2−b2=1a−b; d) F; a+ba=1+ba; e) V

E. 1.2.10.

1+1=1? Encontre o erro nos seguintes cálculos:

a=b (1.109)
a2=a⁢b (1.110)
ab−b2=a⁢b−b2 (1.111)
(a+b)⁢(a−b)=b⁢(a−b) (1.112)
a+b=b (1.113)

Escolhendo, por exemplo, a=1 e b=1, esta última fornece 1+1=1!

E. 1.2.11.

Seja p,q∈ℚ. Mostre as seguintes propriedades:

  1. a)

    |p|≥0

  2. b)

    |p|=|−p|

  3. c)

    |p|<q⇔−q<p<q

  4. d)

    |p|>q⇔−p⁢<−q⁢ou⁢p>⁢q


Dica: por definição, para p≥0 tem-se |p|=p e, para p<0 tem-se |p|=−p.


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!

Opcional. Preencha seu nome para que eu possa lhe contatar.
Opcional. Preencha seu e-mail para que eu possa lhe contatar.
As informações preenchidas são enviadas por e-mail para o desenvolvedor do site e tratadas de forma privada. Consulte a política de uso de dados para mais informações.

Licença Creative Commons
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.

Pedro H A Konzen
| | | |