Número racional

Conjuntos de números

$ℕ \subset ℤ \subset ℚ \subset ℝ \subset ℂ \subset ℍ \subset \dots$

$𝕀 \subset ℝ \subset ℂ \subset ℍ \subset \dots$

Em matemática, um número racional é todo número que pode ser representado por uma fração $\frac{a}{b}$ de dois números inteiros, um numerador $a$ e um denominador não nulo $b$ . Como $b$ pode ser igual a 1, todo número inteiro também é um número racional.^[1] O termo racional surge do fato de $\frac{a}{b}$ representar a razão ou proporção entre os inteiros $a$ e $b$ .^[2]

O conjunto dos números racionais é representado por $ℚ$ (ou alternativamente por Predefinição:Math), sendo o uso da letra "Q" derivado da palavra latina Predefinição:Lang,^[3] cujo significado é "quantas vezes". Tal conjunto é definido por: $ℚ = {\frac{a}{b} | a \in ℤ e b \in ℤ^{*}} .$ A expansão decimal de um número racional sempre termina após um número finito de dígitos ou começa a repetir a mesma sequência finita de dígitos repetidamente. Além disso, qualquer dízima periódica ou número decimal com quantidade finita de casas decimais representa um número racional. Essas instruções são verdadeiras não apenas para a base 10, mas também para qualquer outra base inteira (por exemplo, binária, hexadecimal).^[4] Números racionais podem ser formalmente definidos como classes de equivalência do par de inteiros $(a, b)$ em que $b = 0$ , para a relação de equivalência definida por $(a_{1}, b_{1}) \sim (a_{2}, b_{2})$ se, e somente se, $a_{1} b_{2} = a_{2} b_{1}$ .^[2]

Os números racionais junto com a adição e a multiplicação formam um corpo que contém os inteiros e é contido por qualquer corpo que contém os inteiros. Extensões finitas de $ℚ$ são chamadas de corpos de números algébricos, e o fechamento algébrico de $ℚ$ é o corpo dos números algébricos.

Em análise matemática, os números racionais formam um subconjunto denso dos números reais. Os números reais podem ser construídos a partir dos números racionais por complementação, usando as sequências de Cauchy, cortes de Dedekind^[5]^[6] ou decimais infinitos.^[4]

Um número real que não é racional é chamado número irracional. Exemplos de números irracionais são a raiz quadrada de 2 ( $\sqrt{2}$ ), a constante Pi ( $π$ ), a constante de Euler ( $e$ ) e a proporção áurea ( $φ$ ). A expansão decimal de um irracional é sempre infinita e não periódica. Como o conjunto dos números racionais é enumerável e o conjunto dos números reais é não enumerável, quase todos os números reais são irracionais.^[7]

Histórico

É provável que o conceito de números fracionários remonte aos tempos pré-históricos. Os antigos egípcios usavam sua notação de fração egípcia para números racionais em textos matemáticos, como o Papiro Matemático Rhind e o Papiro Kahun. Os matemáticos gregos e indianos clássicos fizeram estudos da teoria dos números racionais, como parte do estudo geral da teoria dos números. Os mais conhecidos deles são os Elementos de Euclides, que datam de aproximadamente 300 a.C.. Dos textos indianos, o mais relevante é o Sutra Sthananga, que também cobre a teoria dos números como parte de um estudo geral da matemática.

O conceito de frações decimais está intimamente ligado à notação posicional do valor decimal; os dois parecem ter se desenvolvido em paralelo. Por exemplo, é comum na matemática sutra jainista incluir cálculos de aproximações de frações decimais para pi ou a raiz quadrada de 2. Da mesma forma, os textos matemáticos babilônicos usaram frações sexagesimais (base 60) com grande frequência.Predefinição:Nota de rodapé

Definição

Números racionais são todos os números que podem ser escritos na forma de fração $\frac{p}{q}$ com $p, q \in ℤ, q \neq 0$ , incluindo as frações equivalentes a $\frac{p}{q}$ . O conjunto dos números racionais, geralmente denotado por $ℚ$ , é aquele que inclui todos os números racionais.^[4] Em outras palavras, o conjunto dos números racionais é formado por todos os quocientes de números inteiros $p$ e $q$ , em que $q$ é não nulo.

Na fração $\frac{p}{q}$ , $p$ é o numerador e $q$ o denominador. Se $p$ e $q$ são primos entre si, ou seja, se $mdc (p, q) = 1$ , diz-se que essa fração é irredutível.

Representação

Há diferentes formas de apresentar os números racionais: frações (próprias ou impróprias), números mistos (variação das frações impróprias, também chamados de frações mistas),^[8] números decimais de escrita finita e as dízimas periódicas, que são números decimais em cuja escrita aparecem períodos numéricos que se repetem infinitamente.^[9]

Todo número racional $\frac{p}{q}$ possui uma expansão decimal infinita e periódica. No entanto, considerando $q \neq 1$ , o número racional $\frac{p}{q}$ pode ser representado por um número decimal de escrita finita se, e somente se, os únicos primos que aparecem na decomposição em primos de $q$ são $2$ e $5$ . Consequentemente, somente os racionais que podem ser representados por uma fração decimal (fração cujo denominador é uma potência de $10$ ) admitem expansão decimal finita.^[4]

Exemplos

O número racional dado pela fração própria irredutível $\frac{1}{4}$ pode ser representado pelo número decimal de escrita finita $0, 25$ ou pela dízima periódica $0, 24999 . . . = 0, 24 \overline{9}$ . O mesmo número racional também pode ser representado por infinitas frações equivalentes, entre elas $\frac{2}{8}$ , $\frac{3}{12}$ , $\frac{10}{40}$ e $\frac{25}{100}$ . Nota-se que tal racional pode ser representado por uma fração decimal (na decomposição em primos de $4$ só aparece o primo $2$ ), de modo que possui representação decimal finita.

O número racional dado pela fração imprópria irredutível $\frac{4}{3}$ pode ser representado pelo número misto $1 \frac{1}{3}$ ou pela dízima periódica $1, 33333 . . . = 1, \overline{3}$ . Neste caso, tal número não possui representação decimal finita.
No caso da representação de um racional por uma fração mista, a parte inteira é separada da parte fracionária, ficando subentendida a soma de cada parte. Por exemplo, $1 \frac{2}{3}$ é o mesmo que $1 + \frac{2}{3} = \frac{3}{3} + \frac{2}{3} = \frac{5}{3}$ . Nota-se que a divisão $\frac{5}{3}$ pode ser interpretada como $5 = 1 \times 3 + 2$ , sendo que, na divisão, $1$ é o quociente (parte inteira), $2$ é o resto (virando o numerador) e $3$ é o divisor (seguindo como denominador).^[10]

Equivalência de frações

Duas frações distintas podem representar a mesma parte de um inteiro, a mesma quantidade. Neste caso, tais frações estão representado o mesmo número racional e as frações são ditas equivalentes.^[11]

Quando os denominadores são iguais é fácil identificar se as quantidades representadas por duas frações são iguais, pois a quantidade da fração $\frac{2}{5}$ não será a mesma de $\frac{4}{5}$ e $\frac{9}{5}$ , pois $2 \neq 4 \neq 9$ . Agora, quando os denominadores não são iguais, sendo $a, b, c, d$ números inteiros com $b, d \neq 0$ , diz-se que as frações $\frac{a}{b}$ e $\frac{c}{d}$ são frações equivalentes se, e somente se, $a d = b c$ , ou seja, $\frac{a}{b} = \frac{c}{d} \Leftrightarrow a d = b c$ .^[4]

Exemplos

São exemplos de frações equivalentes:

$\frac{2}{5} = \frac{4}{10} = \frac{6}{15} = \frac{8}{20} \dots$ ;
$\frac{- 1}{2} = \frac{2}{- 4} = \frac{- 3}{6} \dots$ ;
$\frac{4}{3} = \frac{8}{6} = \frac{12}{9} = \frac{16}{12} \dots$ .

Propriedades de equivalência de frações

As frações equivalentes possuem as seguintes propriedades:^[4]

$\frac{a}{b} = \frac{a}{b}$ (reflexiva);
$\frac{a}{b} = \frac{c}{d} \Rightarrow \frac{c}{d} = \frac{a}{b}$ (simétrica);
$\frac{a}{b} = \frac{c}{d}$ e $\frac{c}{d} = \frac{e}{f} \Rightarrow \frac{a}{b} = \frac{e}{f}$ (transitiva)^{[demonstração 1]}.^[4]

De acordo com as propriedades acima, nota-se que os números racionais podem ser formalmente definidos como classes de equivalência do par de inteiros $(a, b)$ em que $b = 0$ , para a relação de equivalência definida por $(a, b) \sim (c, d)$ se, e somente se, $a d = b c$ .^[2] Em outras palavras, temos o seguinte resultado, que pode ser chamado de teorema da igualdade e equivalência:^[4] um número racional qualquer, dado por uma fração $\frac{a}{b}$ , é igual a um outro número racional, com a forma de fração $\frac{c}{d}$ , se, e somente se, essas duas frações forem equivalentes.

Classes de frações

De acordo com o teorema acima, um número racional pode ser representado por infinitas frações distintas equivalentes. Um conjunto destas frações equivalentes é chamado de classe de equivalência da fração. Para simplificação, a classe de equivalência associada a um número racional pode ser representado pela fração irredutível que o representa.^[12]

O termo classe pode ter o mesmo significado de conjunto, mas este nome é utilizado quando se trabalha com objetos matemáticos equivalentes entre si, de alguma maneira.

Para exemplificar, no caso do número racional de representação decimal finita $r = 0, 4$ , tem-se a seguinte classe de equivalência: ${\frac{2}{5}, \frac{4}{10}, \frac{6}{15}, \dots}$ . O número zero é o único número racional que possui representações de numerador e denominador com sinais iguais e diferentes, podendo-se escrever a seguinte classe: ${\frac{0}{1}, \frac{0}{2}, \dots, \frac{0}{- 1}, \frac{0}{- 2}, \dots} .$

Subconjuntos de $ℚ$

O conjunto dos racionais (ℚ) está contido nos reais (ℝ) e contém os inteiros (ℤ), que contém os naturais (ℕ)

Para o conjunto dos racionais, pode-se citar alguns subconjuntos com notação específica:^[13]

$ℚ^{*} :$ conjuntos dos racionais não nulos.
$ℚ_{+} :$ conjuntos dos racionais não negativos.
$ℚ_{+}^{*} :$ conjuntos dos racionais positivos.
$ℚ_{-} :$ conjuntos dos racionais não positivos.
$ℚ_{-}^{*} :$ conjunto dos racionais negativos.

Outros subconjuntos de $ℚ$ bastante conhecidos são o conjunto dos números naturais ( $ℕ$ ) e o conjunto dos números inteiros ( $ℤ$ ).

Propriedades dos racionais

Considerando $\frac{a}{b}$ , $\frac{c}{d}$ , $\frac{e}{f} \in ℚ$ , com $a, b, c, d, e, f \in ℤ$ e $b, d, f \neq 0$ , nas seções abaixo são listadas propriedades dos números racionais:^[13]

Adição

$(\frac{a}{b} + \frac{c}{d}) + \frac{e}{f} = \frac{a}{b} + (\frac{c}{d} + \frac{e}{f})$ (associativa);
$\frac{a}{b} + \frac{c}{d} = \frac{c}{d} + \frac{a}{b}$ (comutativa);
$\frac{a}{b} + 0 = \frac{a}{b}$ (elemento neutro da soma);
$\frac{a}{b} + (- \frac{a}{b}) = 0$ (simétrico para a adição).

Multiplicação

$(\frac{a}{b} \cdot \frac{c}{d}) \cdot \frac{e}{f} = \frac{a}{b} \cdot (\frac{c}{d} \cdot \frac{e}{f})$ (associativa);
$\frac{a}{b} \cdot \frac{c}{d} = \frac{c}{d} \cdot \frac{a}{b}$ (comutativa);
$\frac{a}{b} \cdot 1 = \frac{a}{b}$ (elemento neutro da multiplicação);
$\frac{a}{b} \cdot (\frac{c}{d} + \frac{e}{f}) = \frac{a}{b} \cdot \frac{c}{d} + \frac{a}{b} \cdot \frac{e}{f}$ (distributiva);
$\forall$ $\frac{a}{b} \in ℚ$ e $\neq 0,$ existe $\frac{b}{a} \in ℚ,$ tal que $\frac{a}{b} \cdot \frac{b}{a} = 1$ (simétrico para a multiplicação).

Com isso, pode-se definir em $ℚ^{*}$ a divisão de dois números racionais: $\frac{a}{b} : \frac{c}{d} = \frac{a}{b} \cdot \frac{d}{c},$ para $\frac{c}{d} \neq 0 .$

Outras propriedades

Unicidade da fração irredutível

Todo número racional é representado por uma, e só uma, fração irredutível de denominador positivo.^{[demonstração 2]}

Ordenação dos racionais

O corpo $[ℚ, +, \cdot, <]$ possui a estrutura de corpo ordenado, sendo verificadas as seguintes propriedades de ordem: transitividade, tricotomia, monotonicidade da adição e monotonicidade da multiplicação.^[2]

Propriedade arquimediana em $ℚ$

O conjunto dos racionais possui a propriedade arquimediana, ou seja, dados os números $r, s \in ℚ, s > 0,$ pode-se encontrar $n \in ℕ,$ tal que $r < n \cdot s$ .^[4]

Densidade dos racionais

Se existirem, entre dois números reais distintos, infinitos elementos de um subconjunto C de $ℝ$ , diz-se que o conjunto C é denso em $ℝ$ .^[14] Assim, segue que $ℚ$ é denso em $ℝ$ , ou seja, entre dois números reais distintos (racionais ou irracionais) existem infinitos números racionais.

Observa-se que a média aritmética de quaisquer dois números racionais sempre é um número racional que fica entre eles.^{[demonstração 3]}

Enumerabilidade

O conjunto de todos os números racionais é contável (enumerável), enquanto o conjunto de todos os números reais (assim como o conjunto de números irracionais) é não enumerável. Sendo enumerável, o conjunto dos racionais é um conjunto de medida zero, ou seja, quase todos os números reais são irracionais, no sentido da medida de Lebesgue.^[15]

Representação decimal

Podemos passar um número racional na forma de fração $\frac{a}{b}$ para a forma decimal dividindo o inteiro $a$ pelo inteiro $b$ , através do algoritmo de Euclides. Neste caso, são duas as possibilidades para a representação decimal encontrada:^[13]

Um número decimal que tem uma quantidade finita de algarismos, diferentes de zero, isto é, uma decimal exata (ou um número decimal exato);
Um número decimal que tem uma quantidade infinita de algarismos que se repetem periodicamente, isto é, uma dízima periódica.

Em uma dízima periódica, quando o bloco de repetição se inicia logo após a vírgula, diz-se que a dízima periódica é simples, caso contrário, a dízima periódica é dita composta. Como exemplos, podemos citar o número decimal exato $\frac{27}{1000} = 0, 027$ , a dízima periódica simples $\frac{2}{7} = 0, 285714285714 \dots = 0, \overline{285714}$ e a dízima periódica composta $\frac{11}{6} = 1, 8333 \dots = 1, 8 \bar{3}$ .

Todo número na forma de decimal exata ou de dízima periódica pode ser convertido à forma de fração $\frac{a}{b}$ . Quando a decimal é exata, pode-se escrevê-la em forma de fração cujo numerador é o numeral decimal sem a vírgula e cujo denominador é o algarismo $1$ seguido de tantos zeros quantas forem as casas decimais do numeral dado. Como exemplos, pode-se citar $0, 37 = \frac{37}{100}$ e $2, 631 = \frac{2631}{1000}$ . Já quando a decimal é uma dízima periódica, a fração que dá origem a mesma é chamada de fração geratriz e a mesma pode ser encontrada a partir de um equacionamento, como no exemplo ilustrado abaixo para a representação decimal $6, 4343 \dots = 6, \overline{43}$ ^[13]

$\begin{matrix} x & = 6, 434343 \dots \\ 100 x & = 643, 434343 \dots \end{matrix}} \Rightarrow 100 x - x = 643 - 6 \Rightarrow 99 x = 637 \Rightarrow x = \frac{637}{99}$ .

Método das Divisões

Predefinição:AP Todo número racional $p$ pode ser escrito de acordo com a seguinte expansão:^[4]

$p = a_{n} \times 1 0^{n} + . . . + a_{1} \times 10 + a_{0} + \frac{b_{1}}{10} + \frac{b_{2}}{1 0^{2}} + \frac{b_{3}}{1 0^{3}} . . .$ ,

ou de forma mais simplificada, como a representação decimal:

$p = a_{n} . . . a_{1} a_{0}, b_{1} b_{2} b_{3} . . .$ ,

onde $a_{n}, . . ., a_{1}, a_{0}, b_{1}, b_{2}, b_{3}, . . .$ são algarismos de 0 a 9. Nota-se que as casas depois da vírgula (ou parte fracionária positiva) pode ser escrita como uma soma de frações decimais, as quais tem como numerador o número de sua respectiva casa decimal. Esse método pode ser utilizado tanto em uma fração ordinária que é equivalente a uma fração decimal quanto nas que não são equivalentes a uma fração decimal.

Fração contínua

Uma fração contínua finita é uma expressão da forma

a_{0} + \frac{1}{a_{1} + \frac{1}{a_{2} + \frac{1}{⋱ + \frac{1}{a_{n}}}}},

onde $a_{i}$ são inteiros. Todo número racional pode ser representado como uma fração contínua finita, cujos coeficientes $a_{i}$ podem ser determinados pela aplicação do algoritmo euclidiano entre o numerador e o denominador da fração que representa o racional. Reciprocamente, nota-se que se a representação por frações contínuas de um número for finita, então este número é racional.^[16]Predefinição:Notas

Demonstrações

↑ Se $\frac{p}{q} = \frac{r}{s}$ então $p s = q r$ . Consequentemente $p s u = q r u$ . Da mesma forma, se $\frac{r}{s} = \frac{t}{u}$ , então $r u = s t$ , de modo que $r u q = s t q$ . Fatalmente, $p s u = q r u = s t q$ , ou seja, vale que $p s u = s t q$ e, como $s \neq 0$ , $p u = t q$ . Assim, $\frac{p}{q} = \frac{t}{w}$ , o que garante que as frações são equivalentes.
↑
Prova-se a existência e a unicidade:
- Existência (existe uma): Considere o número racional representado pela fração de inteiros $a / b$ , com $b > 0$ . No caso em que $b = 1$ , a fração dada já é irredutível. Resta examinar os casos $b \geq 2$ . Os subcasos triviais $a = 0$ , e $a = \pm 1$ , são imediatos ( $\frac{0}{b} = \frac{0}{1}$ e $\frac{\pm 1}{b}$ já são irredutíveis). Considerando o subcaso $a \neq 0, \pm 1$ , pelo Teorema Fundamental da Aritmética, pode-se escrever $a = m c$ e $b = m d$ , onde $m$ é o produto de todos os divisores primos comuns a $a$ e $b$ , e $c$ e $d$ é o que resta das respectivas fatorações. Segue imediatamente que $\frac{a}{b} = \frac{c}{d}$ (pois, como $m \neq 0$ , provar $a d = b c$ é o mesmo que provar $a m d = b m c$ , ou ainda, $a b = b a$ ), e $\frac{c}{d}$ é facilmente visto ser irredutível e de denominador positivo.
- Unicidade (existe somente uma): Se $\frac{a}{b} = \frac{c}{d}$ e $\frac{a}{b} = \frac{c^{'}}{d^{'}}$ , com ambas $\frac{c}{d}$ e $\frac{c^{'}}{d^{'}}$ irredutíveis e de denominador positivo, pela transitividade da relação de equivalência entre frações, segue que $\frac{c}{d} = \frac{c^{'}}{d^{'}}$ . Logo, como a única maneira de duas frações irredutíveis e de denominador positivo serem equivalentes é estas serem iguais, tem-se que $c = c^{'}$ e $d = d^{'}$ .
↑ Se $r < s \in ℚ$ , como $r + r = 2 r$ e $s + s = 2 s$ tem-se: $2 r < r + s < 2 s$ $\Rightarrow \frac{1}{2} \cdot 2 r < \frac{1}{2} \cdot (r + s) < \frac{1}{2} \cdot 2 s$ $\Rightarrow \frac{2}{2} r < \frac{r + s}{2} < \frac{2}{2} s$ $\Rightarrow r < \frac{r + s}{2} < s$ .

Predefinição:Referências

Predefinição:Navbox Predefinição:Portal

↑ Predefinição:Citar livro
↑ ^2,0 ^2,1 ^2,2 ^2,3 Predefinição:Citar web
↑ Diccionario básico Latino Español/ Español latino ISBN 84-7153-223-9
↑ ^4,00 ^4,01 ^4,02 ^4,03 ^4,04 ^4,05 ^4,06 ^4,07 ^4,08 ^4,09 Predefinição:Citar livro
↑ Predefinição:Citar livro
↑ Predefinição:Citar livro
↑ Predefinição:Citar livro
↑ Predefinição:Citar web
↑ Predefinição:Citar web
↑ Predefinição:Citar livro
↑ Predefinição:Citar livro
↑ Predefinição:Citar web
↑ ^13,0 ^13,1 ^13,2 ^13,3 Predefinição:Citar livro
↑ Predefinição:Citar web
↑ Predefinição:Citar livro
↑ Predefinição:Citar web

[12] Se $\frac{p}{q} = \frac{r}{s}$ então $p s = q r$ . Consequentemente $p s u = q r u$ . Da mesma forma, se $\frac{r}{s} = \frac{t}{u}$ , então $r u = s t$ , de modo que $r u q = s t q$ . Fatalmente, $p s u = q r u = s t q$ , ou seja, vale que $p s u = s t q$ e, como $s \neq 0$ , $p u = t q$ . Assim, $\frac{p}{q} = \frac{t}{w}$ , o que garante que as frações são equivalentes.

[15] Prova-se a existência e a unicidade:
Existência (existe uma): Considere o número racional representado pela fração de inteiros $a / b$ , com $b > 0$ . No caso em que $b = 1$ , a fração dada já é irredutível. Resta examinar os casos $b \geq 2$ . Os subcasos triviais $a = 0$ , e $a = \pm 1$ , são imediatos ( $\frac{0}{b} = \frac{0}{1}$ e $\frac{\pm 1}{b}$ já são irredutíveis). Considerando o subcaso $a \neq 0, \pm 1$ , pelo Teorema Fundamental da Aritmética, pode-se escrever $a = m c$ e $b = m d$ , onde $m$ é o produto de todos os divisores primos comuns a $a$ e $b$ , e $c$ e $d$ é o que resta das respectivas fatorações. Segue imediatamente que $\frac{a}{b} = \frac{c}{d}$ (pois, como $m \neq 0$ , provar $a d = b c$ é o mesmo que provar $a m d = b m c$ , ou ainda, $a b = b a$ ), e $\frac{c}{d}$ é facilmente visto ser irredutível e de denominador positivo.

Unicidade (existe somente uma): Se $\frac{a}{b} = \frac{c}{d}$ e $\frac{a}{b} = \frac{c^{'}}{d^{'}}$ , com ambas $\frac{c}{d}$ e $\frac{c^{'}}{d^{'}}$ irredutíveis e de denominador positivo, pela transitividade da relação de equivalência entre frações, segue que $\frac{c}{d} = \frac{c^{'}}{d^{'}}$ . Logo, como a única maneira de duas frações irredutíveis e de denominador positivo serem equivalentes é estas serem iguais, tem-se que $c = c^{'}$ e $d = d^{'}$ .

[3] Existência (existe uma): Considere o número racional representado pela fração de inteiros $a / b$ , com $b > 0$ . No caso em que $b = 1$ , a fração dada já é irredutível. Resta examinar os casos $b \geq 2$ . Os subcasos triviais $a = 0$ , e $a = \pm 1$ , são imediatos ( $\frac{0}{b} = \frac{0}{1}$ e $\frac{\pm 1}{b}$ já são irredutíveis). Considerando o subcaso $a \neq 0, \pm 1$ , pelo Teorema Fundamental da Aritmética, pode-se escrever $a = m c$ e $b = m d$ , onde $m$ é o produto de todos os divisores primos comuns a $a$ e $b$ , e $c$ e $d$ é o que resta das respectivas fatorações. Segue imediatamente que $\frac{a}{b} = \frac{c}{d}$ (pois, como $m \neq 0$ , provar $a d = b c$ é o mesmo que provar $a m d = b m c$ , ou ainda, $a b = b a$ ), e $\frac{c}{d}$ é facilmente visto ser irredutível e de denominador positivo.

[4] Unicidade (existe somente uma): Se $\frac{a}{b} = \frac{c}{d}$ e $\frac{a}{b} = \frac{c^{'}}{d^{'}}$ , com ambas $\frac{c}{d}$ e $\frac{c^{'}}{d^{'}}$ irredutíveis e de denominador positivo, pela transitividade da relação de equivalência entre frações, segue que $\frac{c}{d} = \frac{c^{'}}{d^{'}}$ . Logo, como a única maneira de duas frações irredutíveis e de denominador positivo serem equivalentes é estas serem iguais, tem-se que $c = c^{'}$ e $d = d^{'}$ .

[17] Se $r < s \in ℚ$ , como $r + r = 2 r$ e $s + s = 2 s$ tem-se: $2 r < r + s < 2 s$ $\Rightarrow \frac{1}{2} \cdot 2 r < \frac{1}{2} \cdot (r + s) < \frac{1}{2} \cdot 2 s$ $\Rightarrow \frac{2}{2} r < \frac{r + s}{2} < \frac{2}{2} s$ $\Rightarrow r < \frac{r + s}{2} < s$ .

[1] Predefinição:Citar livro

[:0-2] 2,0 ^2,1 ^2,2 ^2,3 Predefinição:Citar web

[3] Diccionario básico Latino Español/ Español latino ISBN 84-7153-223-9

[Ripoll-4] 4,00 ^4,01 ^4,02 ^4,03 ^4,04 ^4,05 ^4,06 ^4,07 ^4,08 ^4,09 Predefinição:Citar livro

[:1-5] Predefinição:Citar livro

[:2-6] Predefinição:Citar livro

[Rosen-7] Predefinição:Citar livro

[8] Predefinição:Citar web

[9] Predefinição:Citar web

[10] Predefinição:Citar livro

[11] Predefinição:Citar livro

[13] Predefinição:Citar web

[Iezzi-14] 13,0 ^13,1 ^13,2 ^13,3 Predefinição:Citar livro

[16] Predefinição:Citar web

[18] Predefinição:Citar livro

[19] Predefinição:Citar web

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[demonstração 1]

[12]

[13]

[demonstração 2]

[14]

[demonstração 3]

[15]

[16]

Número racional

Índice

Histórico

Definição

Representação

Exemplos

Equivalência de frações

Exemplos

Propriedades de equivalência de frações

Classes de frações

Subconjuntos de $ℚ$

Propriedades dos racionais

Adição

Multiplicação

Outras propriedades

Unicidade da fração irredutível

Ordenação dos racionais

Propriedade arquimediana em $ℚ$

Densidade dos racionais

Enumerabilidade

Representação decimal

Método das Divisões

Fração contínua

Demonstrações

Menu de navegação

Número racional

Histórico

Definição

Representação

Exemplos

Equivalência de frações

Exemplos

Propriedades de equivalência de frações

Classes de frações

Subconjuntos de ℚ

Propriedades dos racionais

Adição

Multiplicação

Outras propriedades

Unicidade da fração irredutível

Ordenação dos racionais

Propriedade arquimediana em ℚ

Densidade dos racionais

Enumerabilidade

Representação decimal

Método das Divisões

Fração contínua

Demonstrações

Menu de navegação

Pesquisa

Subconjuntos de $ℚ$

Propriedade arquimediana em $ℚ$