0,999...

Fonte: testwiki
Revisão em 12h32min de 3 de março de 2025 por imported>Vinickw (→Argumentos algébricos: esqueci do display block)
(dif) ← Revisão anterior | Revisão atual (dif) | Revisão seguinte → (dif)
Saltar para a navegação Saltar para a pesquisa
Representação estilística do número, representando como seus decimais continuam infinitamente

Na matemática, 0,999... (também escrito como 0,Predefinição:Overline, 0,Predefinição:Overset ou 0,(9)) é uma notação para a dízima periódica consistindo numa sequência interminável de noves após a vírgula decimal. Esta dízima periódica é um número que representa o menor número não menor que todos os números da sequência Predefinição:Nowrap; isto é, o supremo desta sequência.Predefinição:TagNota Este número é igual a 1.[1] Em outras palavras, "0,999..." não é "quase exatamente 1" nem "muito, muito próximo, mas não exatamente 1"; em vez disso, o número decimal "0,999..." e o número inteiro "1" representam Predefinição:Em o mesmo número.[2][3][4]

Há diversas maneiras de mostrar esta igualdade, desde argumentos intuitivos até provas matematicamente rigorosas. A técnica utilizada depende no público alvo, suposições básicas, contexto histórico e desenvolvimento de análises dos números reais, conjunto no qual 0,999... é geralmente inserido.[5]

De forma geral, todo decimal finito tem duas representações iguais (por exemplo, 8,32 e 8,31999...), que é uma propriedade de todos as representações no sistema numérico posicional, independente da base.[6] A preferência utilitária pela representação decimal final contribui para o equívoco de que esta é a única representação.

Por esta e outras razões — como provas rigorosas que se baseiam em técnicas, propriedades ou disciplinas não elementares — algumas pessoas podem achar a igualdade suficientemente contra-intuitiva a ponto de a questionarem ou rejeitarem. Este tem sido objeto de vários estudos em educação matemática.[7]

Preliminares

Leonhard Euler foi um dos primeiros matemáticos a estudar o valor da dízima periódica simples 0,(9). Em "Elementos da Álgebra",[8] ele expõe a sua demonstração

Nas últimas décadas, os pesquisadores de educação matemática têm estudado a receptividade dessas relações de igualdade entre os estudantes. Com efeito, muitas dúvidas e, mesmo, francas rejeições à validade dessa identidade apresentaram-se. Embora muitos sejam convencidos sumariamente apenas pela autoridade emanada dos livros didáticos, dos professores de matemática, ou, até mesmo, dos raciocínios aritméticos como abaixo expostos, no sentido de aceitar, em princípio, que esses dois números são indubitavelmente iguais, todavia, essa questão tem natureza matemática mais rica e requer exame mais profundo. O raciocínio dos estudantes, seja para aceitar ou para rejeitar essa identidade, usualmente baseia-se na sua intuição imediata e primária sobre os números reais. Como exemplos: (1) cada número real tem uma única representação; (2) números reais não-nulos infinitesimais devem existir; ou ainda (3) a expansão de 0,999… , eventualmente, termina. Contudo, as intuições falham no domínio do conjunto dos números reais, embora sistemas numéricos alternativos possam ser construídos sobre ele. Ademais, várias outras representações que são também "imagem de 1" são de considerável interesse na análise matemática podem ser estabelecidas em moldes semelhantes.[8]

A não singularidade das tais expansões não é exclusiva dos sistemas decimais. De fa(c)to, esse fenômeno ocorre também noutras bases inteiras que não 10, e, assim, os matemáticos têm estabelecido as formas de escrever 1 em bases não-inteiras. Tampouco esse fenômeno é exclusivo do número um (1): todo número não-nulo com uma notação decimal finita (ou, equivalentemente, infinitos dígitos "0" à direita) tem uma contrapartida com infinitos "9" à direita. Por exemplo 0,24999… é igual a 0,25, exatamente como no caso especial considerado. Esses são os números racionais e constituem um conjunto numérico denso.[9]

Por razões de óbvia simplicidade apenas, a representação decimal terminativa é quase sempre a preferida, contribuindo ainda mais para o equívoco de que seja necessariamente a única representação válida. Doutro lado, em certas aplicações, dá-se precisamente o contrário: a representação decimal não-terminada mostra-se mais conveniente para a compreensão da expansão decimal de certas frações, e, na base três, por exemplo, para o correto entendimento do conjunto ternário de Cantor, fractal simples. Essa forma não-única de representação tem também utilidade na demonstração clássica da "incontabilidade da plenitude dos números reais". De modo geral, qualquer sistema posicional de representação para os números reais contém em si infinitos números com múltiplas representações.

Prova elementar

A propriedade arquimediana: qualquer ponto Predefinição:Math antes da linha de chegada está entre dois dos pontos Predefinição:Math (incluindo os próprios pontos Predefinição:Math).

É possível provar a equação Predefinição:Nowrap utilizando apenas as ferramentas matemáticas de comparação e adição de números decimais (finitos), sem qualquer referência a tópicos mais avançados, como séries e limites. A prova apresentada em Predefinição:Slink é uma formalização direta do fato intuitivo de que, se desenharmos 0,9, 0,99, 0,999, etc. na reta numérica, não haverá espaço para colocar um número entre eles e 1. O significado da notação 0,999... é o ponto mínimo na reta numérica à direita de todos os números 0,9, 0,99, 0,999, etc. Como, em última análise, não há espaço entre 1 e esses números, o ponto 1 deve ser esse ponto mínimo e, portanto, 0,999... = 1.

Explicação intuitiva

Se colocarmos 0,9, 0,99, 0,999, etc. na reta numérica, veremos imediatamente que todos esses pontos estão à esquerda de 1 e que eles se aproximam cada vez mais de 1. Para qualquer número Predefinição:Mvar que seja menor que 1, a sequência 0,9, 0,99, 0,999 e assim por diante acabará atingindo um número maior que Predefinição:Mvar. Portanto, não faz sentido identificar 0,999... com qualquer número menor que 1. Enquanto isso, todo número maior que 1 será maior que qualquer decimal da forma 0,999...9 para qualquer número finito de noves. Portanto, 0,999... também não pode ser identificado com nenhum número maior que 1. Como 0,999... não pode ser maior do que 1 nem menor do que 1, ele deve ser igual a 1 se quiser ser um número real.Predefinição:SfnpPredefinição:Sfnp

Prova rigorosa

Denote 0,(9)Predefinição:Mvar o número 0,999...9, com Predefinição:Mvar noves após o ponto decimal. Portanto, Predefinição:Nowrap, Predefinição:Nowrap, Predefinição:Nowrap, e assim por diante. Note que Predefinição:Nowrap, Predefinição:Nowrap, e assim por diante; ou seja, Predefinição:Nowrap para todo número natural Predefinição:Mvar.Predefinição:Sfnp

Seja Predefinição:Mvar um número menor ou igual a 1 e maior que 0,9, 0,99, 0,999, etc.; isto é, Predefinição:Nowrap, para todo Predefinição:Mvar. Ao subtrair 1 dessas desigualdades, temos Predefinição:Nowrap.Predefinição:Sfnp

A finalização da prova requer que não haja nenhum número que seja menor que 110n para todo Predefinição:Mvar. Esta é uma versão da propriedade arquimediana, que é verdadeira para todos os números reais.Predefinição:SfnpPredefinição:Sfnp Esta propriedade implica que se Predefinição:Nowrap para todo Predefinição:Mvar, então Predefinição:Nowrap somente poderá ser igual a 0. Então, Predefinição:Nowrap e 1 é o menor número que é maior que 0,9, 0,99, 0,999, etc., ou seja, Predefinição:Nowrap.Predefinição:SfnpPredefinição:Sfnp

Essa prova se baseia na propriedade arquimediana dos números racionais e reais. Os números reais podem ser ampliados em sistemas numéricos, como os números hiper-reais, com números infinitamente pequenos (infinitesimais) e números infinitamente grandes (transfinitos).Predefinição:SfnpPredefinição:Sfnp Ao usar esses sistemas, a notação 0,999... geralmente não é usada, pois não há nenhum número menor entre os números maiores que todos os 0,(9)Predefinição:Mvar.Predefinição:TagNota

Supremo e completude

Parte do que esse argumento mostra é haver um supremo da sequência 0,9, 0,99, 0,999 etc.: o menor número que é maior do que todos os termos da sequência. Um dos axiomas do sistema de números reais é o axioma da completude, que afirma que toda sequência limitada tem um supremo.Predefinição:SfnpPredefinição:Sfnp Esse supremo é uma maneira de definir expansões decimais infinitas: o número real representado por um decimal infinito é o limite inferior superior de seus truncamentos finitos.Predefinição:Sfnp O argumento aqui não precisa assumir a completude para ser válido, pois mostra que essa sequência específica de números racionais tem um limite inferior superior e que esse limite inferior superior é igual a um.Predefinição:Sfnp

Argumentos algébricos

As ilustrações algébricas simples de igualdade são objeto de discussão e crítica pedagógica. Byers discute o argumento de que, no ensino fundamental, ensina-se que Predefinição:Nowrap, ignorando todas as sutilezas essenciais, "multiplicar" essa identidade por 3 dá Predefinição:Nowrap. Ele diz ainda que esse argumento não é convincente, devido a uma ambiguidade não resolvida sobre o significado do sinal de igual; um aluno poderia pensar: "certamente não significa que o número 1 é idêntico ao significado da notação 0,999...". A maioria dos estudantes de graduação em matemática encontrados por Byers acha que, embora 0,999... seja "muito próximo" de 1 com base nesse argumento, e alguns até dizem que é "infinitamente próximo", eles não estão prontos para dizer que é igual a 1.Predefinição:Sfnp Richman discute como "esse argumento obtém sua força do fato de que a maioria das pessoas foi doutrinada a aceitar a primeira equação sem pensar", mas também sugere que o argumento pode levar os céticos a questionar essa suposição.Predefinição:Sfnp

Byers também apresenta o seguinte argumento.Predefinição:Sfnp x=0,999…10x=9,999…multiplicando por 1010x=9+0,999…separando a parte inteira da decimal10x=9+xpela definição de x9x=9subtraindo xx=1dividindo por 9

Alunos que não aceitaram o primeiro argumento às vezes aceitam o segundo argumento, mas, na opinião de Byers, ainda não resolveram a ambiguidade e, portanto, não entendem a representação de decimais infinitos.Predefinição:Sfnp Peressini e Peressini, apresentando o mesmo argumento, também afirmam que ele não explica a igualdade, indicando que tal explicação provavelmente envolveria conceitos de infinito e completude.Predefinição:Sfnp Baldwin e Norton, citando Katz e Katz, também concluem que o tratamento da identidade com base em argumentos como esses, sem o conceito formal de limite, é prematuro.[10] Cheng concorda, argumentando que saber que se pode multiplicar 0,999... por 10 deslocando a vírgula decimal pressupõe uma resposta à questão mais profunda de como se dá um significado à expressão 0,999...Predefinição:Sfnp O mesmo argumento também é apresentado por Richman, que observa que os céticos podem questionar se Predefinição:Mvar é cancelável, ou seja, se faz sentido subtrair Predefinição:Mvar em ambos os lados.Predefinição:Sfnp Eisenmann argumenta de forma semelhante que tanto a multiplicação quanto a subtração que remove o decimal infinito requerem justificativa adicional.Predefinição:Sfnp

Generalizações

O resultado de que Predefinição:Nowrap facilmente se generaliza de duas maneiras. A primeira é todo número diferente de zero com notação decimal finita (equivalentemente, infinitos zeros à direita) tem uma contrapartida com noves à direita. Por exemplo, 0,24999... é igual a 0,25, exatamente como no caso especial considerado. Esses números são exatamente as frações decimais e são densos.Predefinição:SfnpPredefinição:Sfnp

A segunda é um teorema análogo que se aplica em cada base. Por exemplo, na base 2 (o sistema de numeração binário), 0,111... é igual a 1, e na base 3 (o sistema de numeração ternário), 0,222... é igual a 1. Em geral, qualquer expressão final de base Predefinição:Mvar tem uma contrapartida com dígitos finais repetidos iguais a Predefinição:Math. É provável que os livros didáticos de análise real pulem o exemplo de 0,999... e apresentem uma ou ambas as generalizações desde o início.Predefinição:SfnpPredefinição:Sfnp

Representações alternativas de 1 também ocorrem em bases não inteiras. Por exemplo, na base da proporção áurea, as duas representações padrão são 1,000... e 0,101010..., e há infinitamente mais representações que incluem 1s adjacentes. Em geral, para quase todo Predefinição:Mvar entre 1 e 2, há incontáveis expansões de base Predefinição:Mvar de 1. Em contrapartida, ainda há incontáveis Predefinição:Mvar, incluindo todos os números naturais maiores que 1, para os quais há apenas uma expansão de base q de 1, além do 1,000... trivial. Esse resultado foi obtido pela primeira vez por Paul Erdős, Miklos Horváth e István Joó por volta de 1990. Em 1998, Vilmos Komornik e Paola Loreti determinaram a menor base desse tipo, a constante de Komornik-Loreti Predefinição:NowrapPredefinição:Px2. Nessa base, Predefinição:Nowrap; os dígitos são dados pela sequência de Thue–Morse, que não se repete.Predefinição:Sfnp

Uma generalização mais abrangente aborda os sistemas numéricos posicionais mais gerais. Eles também têm várias representações e, de certa forma, as dificuldades são ainda piores. Por exemplo:Predefinição:SfnpPredefinição:Sfnp

Petkovšek provou que, para qualquer sistema posicional que nomeie todos os números reais, o conjunto de reais com múltiplas representações é sempre denso. Ele chama a prova de "um exercício instrutivo de topologia de conjunto de pontos elementar"; ela envolve a visualização de conjuntos de valores posicionais como espaços de Stone e a observação de que suas representações reais são dadas por funções contínuas.Predefinição:Sfnp

Provas geométricas

Por que 0,999… = 1?

De modo similar ao raciocínio baseado em argumentos algébrico-analíticos, várias provas geométricas têm sido sugeridas para a identidade 0,999… = 1. Uma delas é exibida na imagem a seguir:

Ceticismo na educação

Os estudantes de matemática geralmente rejeitam a igualdade de 0,999... e 1, por motivos que vão desde sua aparência diferente até dúvidas profundas sobre o conceito de limite e discordâncias sobre a natureza dos infinitesimais. Há muitos fatores comuns que contribuem para a confusão:

  • Os alunos geralmente estão "mentalmente comprometidos com a noção de que um número pode ser representado de uma e somente uma maneira por um decimal". Ver dois decimais manifestamente diferentes representando o mesmo número parece ser um paradoxo, que é ampliado pelo aparecimento do número 1, aparentemente bem compreendido.Predefinição:SfnpPredefinição:Sfnp[11]
  • Alguns alunos interpretam "0,999..." (ou outra notação equivalente) como uma sequência grande, mas finita, de noves, possivelmente com um comprimento variável e não especificado. Se eles aceitarem uma sequência infinita de noves, talvez ainda esperem um último 9 "no infinito".Predefinição:SfnpPredefinição:Sfnp
  • A intuição e o ensino ambíguo levam os alunos a pensar no limite de uma sequência como um tipo de processo infinito em vez de um valor fixo, pois uma sequência não precisa atingir seu limite. Quando os alunos aceitam a diferença entre uma sequência de números e seu limite, eles podem ler "0,999..." como se fosse a sequência e não seu limite.Predefinição:SfnpPredefinição:Sfnp

Essas ideias são equivocadas no contexto padrão dos números reais, embora algumas possam ser válidas em outros sistemas numéricos, inventados pela sua utilidade matemática geral ou como contraexemplos instrutivos para entender melhor 0,999...

Muitas dessas explicações foram encontradas por David Tall, que estudou as características do ensino e da cognição que levaram a alguns dos mal-entendidos que ele encontrou com seus alunos universitários. Ao entrevistar seus alunos para determinar por que a grande maioria inicialmente rejeitou a igualdade, ele descobriu que "os alunos continuaram a conceber 0,999... como uma sequência de números cada vez mais próximos de 1 e não como um valor fixo, porque 'você não especificou quantas casas há' ou 'é o decimal mais próximo possível abaixo de 1Predefinição:' ".Predefinição:Sfnp

O argumento elementar de multiplicar Predefinição:Nowrap por 3 pode convencer os alunos relutantes de que Predefinição:Nowrap. Ainda assim, quando confrontados com o conflito entre sua crença na primeira equação e sua descrença na segunda, alguns alunos começam a descrer da primeira equação ou simplesmente ficam frustrados.Predefinição:Sfnp Os métodos mais sofisticados também não são infalíveis: os alunos que são totalmente capazes de aplicar definições rigorosas ainda podem recorrer a imagens intuitivas quando são surpreendidos por um resultado em matemática avançada, incluindo 0,999...Predefinição:Px2. Por exemplo, um aluno de análise real conseguiu provar que Predefinição:Nowrap usando uma definição de supremo, mas depois insistiu que Predefinição:Nowrap com base em seu entendimento anterior de divisão.Predefinição:SfnpPredefinição:Sfnp Outros ainda conseguem provar que Predefinição:Nowrap, mas, ao serem confrontados com a prova fracionária, insistem que a "lógica" substitui os cálculos matemáticos.

Mazur conta a história de um aluno brilhante de cálculo que "desafiava quase tudo o que eu dizia em sala de aula, mas nunca questionava sua calculadora", e que passou a acreditar que nove dígitos são tudo o que se precisa para fazer matemática, inclusive calcular a raiz quadrada de 23. O aluno permaneceu desconfortável com o argumento limitador de que Predefinição:Nowrap, chamando-o de "um processo de crescimento infinito imaginado de forma selvagem".Predefinição:Sfnp

Como parte da Predefinição:Ill da aprendizagem matemática, Dubinsky et al. propõem que os alunos que concebem 0,999... como uma cadeia finita e indeterminada com uma distância infinitamente pequena de 1 "ainda não construíram uma concepção completa do processo do decimal infinito". Outros alunos que têm uma concepção de processo completa de 0,999... talvez ainda não consigam "encapsular" esse processo em uma "concepção de objeto", como a concepção de objeto que eles têm de 1, e por isso veem o processo 0,999... e o objeto 1 como incompatíveis. Eles também associam essa capacidade mental de encapsulamento à visão de 13 como um número em si e a lidar com o conjunto de números naturais como um todo.Predefinição:Sfnp

Fenômeno cultural

Com o surgimento da Internet, os debates sobre 0,999... tornaram-se comuns em Predefinição:Ill e fóruns de discussão, incluindo muitos que nominalmente têm pouco a ver com matemática. No grupo de notícias Predefinição:Mono, na década de 1990, discutir sobre 0,999... tornou-se um "esporte popular" e foi uma das perguntas respondidas em seu FAQ.Predefinição:SfnpPredefinição:Sfnp O FAQ aborda brevemente 13, multiplicando por 10 e limites, e também faz alusão às sequências de Cauchy.

Uma edição de 2003 da coluna do jornal de interesse geral The Straight Dope discute 0,999... via 13 e limites, falando de conceitos errôneos, Predefinição:Blockquote

Um artigo da Slate relata que o conceito de 0,999... é "muito disputado em sites que vão desde os fórums de World of Warcraft até os fóruns de Ayn Rand".Predefinição:Sfnp 0,999... também aparece em piadas matemáticas, como:Predefinição:Sfnp Predefinição:Blockquote

O fato de 0,999... ser igual a 1 foi comparado ao paradoxo da dicotomia de Zenão.Predefinição:SfnpPredefinição:SfnpPredefinição:Sfnp O paradoxo da dicotomia pode ser modelado matematicamente e, assim como 0,999..., resolvido por meio de uma série geométrica. No entanto, não está claro se esse tratamento matemático aborda as questões metafísicas subjacentes que Zenão estava explorando.Predefinição:SfnpPredefinição:Sfnp

Ver também

Predefinição:Portal

Predefinição:Notas

Predefinição:Referências

Bibliografia

Predefinição:Refbegin

Predefinição:Refend

Ligações externas

Predefinição:Commonscat

  1. ↑ Predefinição:Citar periódico
  2. ↑ Predefinição:Citar livro
  3. ↑ Predefinição:Citar web
  4. ↑ Predefinição:Citar web
  5. ↑ Predefinição:Citar livro
  6. ↑ Predefinição:Citar livro
  7. ↑ Predefinição:Citar livro
  8. ↑ 8,0 8,1 Predefinição:Citar livro ISBN 0-38796-014-7
  9. ↑ Petkovšek p. 408
  10. ↑ Predefinição:Harvtxt, citando Predefinição:Harvtxt
  11. ↑ Predefinição:Harvtxt, p. 28: "Talvez o mais tranquilizador de todos os números seja o 1 [...] Portanto, é particularmente inquietante quando alguém tenta fazer o 0,9~ passar por 1."
Obtida de "https://pt.wiki.beta.math.wmflabs.org/w/index.php?title=0,999...&oldid=1920"