número que pode ser expresso como um quociente entre dois números inteiros Da Wikipédia, a enciclopédia livre
Em matemática, um número racional é todo número que pode ser representado por uma fração de dois números inteiros, um numerador e um denominador não nulo . Como pode ser igual a 1, todo número inteiro também é um número racional.[1] O termo racional surge do fato de representar a razão ou proporção entre os inteiros e .[2]
O conjunto dos números racionais é representado por (ou alternativamente por Q), sendo o uso da letra "Q" derivado da palavra latina quotiē(n)s,[3] cujo significado é "quantas vezes". Tal conjunto é definido por: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 em que , para a relação de equivalência definida por se, e somente se, .[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.
Um número real que não é racional é chamado número irracional. Exemplos de números irracionais são a raiz quadrada de 2 (), a constante Pi (), a constante de Euler () 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]
Diagrama de alguns subconjuntos de números reais.
É 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 sutrajainista 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.[nota 1]
Números racionais são todos os números que podem ser escritos na forma de fração com , incluindo as frações equivalentes a . 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 e , em que é não nulo.
Na fração, é o numerador e o denominador. Se e são primos entre si, ou seja, se , diz-se que essa fração é irredutível.
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 possui uma expansão decimal infinita e periódica. No entanto, considerando , o número racional 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 são e . Consequentemente, somente os racionais que podem ser representados por uma fração decimal (fração cujo denominador é uma potência de ) admitem expansão decimal finita.[4]
Exemplos
O número racional dado pela fração própria irredutível pode ser representado pelo número decimal de escrita finita ou pela dízima periódica . O mesmo número racional também pode ser representado por infinitas frações equivalentes, entre elas , , e . Nota-se que tal racional pode ser representado por uma fração decimal (na decomposição em primos de só aparece o primo ), de modo que possui representação decimal finita.
O número racional dado pela fração imprópria irredutível pode ser representado pelo número misto ou pela dízima periódica . 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, é o mesmo que . Nota-se que a divisão pode ser interpretada como , sendo que, na divisão, é o quociente (parte inteira), é o resto (virando o numerador) e é o divisor (seguindo como denominador).[10]
Perceba que a quantidade de "pedaços" é diferente, mas quantidade total marcada em cada círculo é igual
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 não será a mesma de e , pois . Agora, quando os denominadores não são iguais, sendo números inteiros com , diz-se que as frações e são frações equivalentes se, e somente se, , ou seja, .[4]
Exemplos
São exemplos de frações equivalentes:
;
;
.
Propriedades de equivalência de frações
As frações equivalentes possuem as seguintes propriedades:[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 em que , para a relação de equivalência definida por se, e somente se, .[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 , é igual a um outro número racional, com a forma de fração , 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 , tem-se a seguinte classe de equivalência: . 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:
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 ().
Considerando ,,, com e , nas seções abaixo são listadas propriedades dos números racionais:[13]
e existe tal que (simétrico para a multiplicação).
Com isso, pode-se definir em a divisão de dois números racionais: para
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 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
Diagrama ilustrando a enumerabilidade do conjunto dos números racionais positivos
O conjunto dos racionais possui a propriedade arquimediana, ou seja, dados os números pode-se encontrar tal que .[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]
Podemos passar um número racional na forma de fração para a forma decimal dividindo o inteiro pelo inteiro , 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 , a dízima periódica simples e a dízima periódica composta .
Todo número na forma de decimal exata ou de dízima periódica pode ser convertido à forma de fração . 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 seguido de tantos zeros quantas forem as casas decimais do numeral dado. Como exemplos, pode-se citar e . 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 [13]
Todo número racional pode ser escrito de acordo com a seguinte expansão:[4]
,
ou de forma mais simplificada, como a representação decimal:
,
onde 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.
onde são inteiros. Todo número racional pode ser representado como uma fração contínua finita, cujos coeficientes 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]
Se então . Consequentemente .
Da mesma forma, se , então , de modo que .
Fatalmente, , ou seja, vale que e, como , . Assim, , o que garante que as frações são equivalentes.
Existência (existe uma): Considere o número racional representado pela fração de inteiros , com . No caso em que , a fração dada já é irredutível. Resta examinar os casos . Os subcasos triviais , e , são imediatos ( e já são irredutíveis). Considerando o subcaso , pelo Teorema Fundamental da Aritmética, pode-se escrever e , onde é o produto de todos os divisores primos comuns a e , e e é o que resta das respectivas fatorações. Segue imediatamente que (pois, como , provar é o mesmo que provar , ou ainda, ), e é facilmente visto ser irredutível e de denominador positivo.
Unicidade (existe somente uma): Se e , com ambas e irredutíveis e de denominador positivo, pela transitividade da relação de equivalência entre frações, segue que . Logo, como a única maneira de duas frações irredutíveis e de denominador positivo serem equivalentes é estas serem iguais, tem-se que e .