{ localUrl: '../page/5r7.html', arbitalUrl: 'https://arbital.com/p/5r7', rawJsonUrl: '../raw/5r7.json', likeableId: '3309', likeableType: 'page', myLikeValue: '0', likeCount: '3', dislikeCount: '0', likeScore: '3', individualLikes: [ 'EricBruylant', 'JaimeSevillaMolina', 'EricRogstad' ], pageId: '5r7', edit: '3', editSummary: '', prevEdit: '2', currentEdit: '3', wasPublished: 'true', type: 'wiki', title: '0.999...=1', clickbait: 'No, it's not "infinitesimally far" from 1 or anything like that. 0.999... and 1 are literally the same number.', textLength: '3980', alias: '5r7', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'DylanHendrickson', editCreatedAt: '2016-08-04 14:02:40', pageCreatorId: 'DylanHendrickson', pageCreatedAt: '2016-08-03 18:40:31', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '0', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '73', text: 'Although some people find it counterintuitive, the [4sl decimal expansions] $0.999\\dotsc$ and $1$ represent the same [-4bc].\n\n# Informal proofs\n\nThese "proofs" can help give insight, but be careful; a similar technique can "prove" that $1+2+4+8+\\dotsc=-1$. They work in this case because the [-series] corresponding to $0.999\\dotsc$ is [-absolutely_convergent].\n\n* \\begin{align}\nx &= 0.999\\dotsc \\newline\n10x &= 9.999\\dotsc \\newline\n10x-x &= 9.999\\dotsc-0.999\\dotsc \\newline\n9x &= 9 \\newline\nx &= 1 \\newline\n\\end{align}\n\n* \\begin{align}\n\\frac 1 9 &= 0.111\\dotsc \\newline\n1 &= \\frac 9 9 \\newline\n&= 9 \\times \\frac 1 9 \\newline\n&= 9 \\times 0.111\\dotsc \\newline\n&= 0.999\\dotsc\n\\end{align}\n\n* The real numbers are [-dense], which means that if $0.999\\dots\\neq1$, there must be some number in between. But there's no decimal expansion that could represent a number in between $0.999\\dots$ and $1$.\n\n# Formal proof\n\nThis is a more formal version of the first informal proof, using the definition of [-4sl].\n\n%%hidden(Show proof):\n$0.999\\dots$ is the decimal expansion where every digit after the decimal point is a $9$. By definition, it is the value of the series $\\sum_{k=1}^\\infty 9 \\cdot 10^{-k}$. This value is in turn defined as the [-limit] of the sequence $(\\sum_{k=1}^n 9 \\cdot 10^{-k})_{n\\in\\mathbb N}$. Let $a_n$ denote the $n$th term of this sequence. I claim the limit is $1$. To prove this, we have to show that for any $\\varepsilon>0$, there is some $N\\in\\mathbb N$ such that for every $n>N$, $|1-a_n|<\\varepsilon$. \n\nLet's prove by [5fz induction] that $1-a_n=10^{-n}$. Since $a_0$ is the sum of {$0$ terms, $a_0=0$, so $1-a_0=1=10^0$. If $1-a_i=10^{-i}$, then \n\n\\begin{align}\n1 - a_{i+1} &= 1 - (a_i + 9 \\cdot 10^{-(i+1)}) \\newline\n&= 1-a_i - 9 \\cdot 10^{-(i+1)} \\newline\n&= 10^{-i} - 9 \\cdot 10^{-(i+1)} \\newline\n&= 10 \\cdot 10^{-(i+1)} - 9 \\cdot 10^{-(i+1)} \\newline\n&= 10^{-(i+1)}\n\\end{align}\n\nSo $1-a_n=10^{-n}$ for all $n$. What remains to be shown is that $10^{-n}$ eventually gets (and stays) arbitrarily small; this is true by the [archimedean_property] and because $10^{-n}$ is monotonically decreasing.\n%%\n\n\n# Arguments against $0.999\\dotsc=1$\n\nThese arguments are used to try to refute the claim that $0.999\\dotsc=1$. They're flawed, since they claim to prove a false conclusion.\n\n* $0.999\\dotsc$ and $1$ have different digits, so they can't be the same. In particular, $0.999\\dotsc$ starts "$0.$," so it must be less than 1.\n\n%%hidden(Why is this wrong?):\nDecimal expansions and real numbers are different objects. Decimal expansions are a nice way to represent real numbers, but there's no reason different decimal expansions have to represent different real numbers.\n%%\n\n* If two numbers are the same, their difference must be $0$. But $1-0.999\\dotsc=0.000\\dotsc001\\neq0$.\n\n%%hidden(Why is this wrong?):\nDecimal expansions go on infinitely, but no farther. $0.000\\dotsc001$ doesn't represent a real number because the $1$ is supposed to be after infinitely many $0$s, but each digit has to be a finite distance from the decimal point. If you have to pick a real number to for $0.000\\dotsc001$ to represent, it would be $0$.\n%%\n\n* $0.999\\dotsc$ is the limit of the sequence $0.9, 0.99, 0.999, \\dotsc$. Since each term in this sequence is less than $1$, the limit must also be less than $1$. (Or "the sequence can never reach $1$.")\n\n%%hidden(Why is this wrong?):\nThe sequence gets arbitrarily close to $1$, so its limit is $1$. It doesn't matter that all of the terms are less than $1$.\n%%\n\n* In the first proof, when you subtract $0.999\\dotsc$ from $9.999\\dotsc$, you don't get $9$. There's an extra digit left over; just as $9.99-0.999=8.991$, $9.999\\dotsc-0.999\\dotsc=8.999\\dotsc991$.\n\n%%hidden(Why is this wrong?):\nThere are infinitely many $9$s in $0.999\\dotsc$, so when you shift it over a digit there are still the same amount. And the "decimal expansion" $8.999\\dotsc991$ doesn't make sense, because it has infinitely many digits and then a $1$.\n%%', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '1', maintainerCount: '1', userSubscriberCount: '0', lastVisit: '', hasDraft: 'false', votes: [], voteSummary: 'null', muVoteSummary: '0', voteScaling: '0', currentUserVote: '-2', voteCount: '0', lockedVoteType: '', maxEditEver: '0', redLinkCount: '0', lockedBy: '', lockedUntil: '', nextPageId: '', prevPageId: '', usedAsMastery: 'false', proposalEditNum: '0', permissions: { edit: { has: 'false', reason: 'You don't have domain permission to edit this page' }, proposeEdit: { has: 'true', reason: '' }, delete: { has: 'false', reason: 'You don't have domain permission to delete this page' }, comment: { has: 'false', reason: 'You can't comment in this domain because you are not a member' }, proposeComment: { has: 'true', reason: '' } }, summaries: {}, creatorIds: [ 'DylanHendrickson' ], childIds: [], parentIds: [ 'decimal_notation' ], commentIds: [ '5rc' ], questionIds: [], tagIds: [ 'start_meta_tag' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [], subjects: [], lenses: [], lensParentId: '', pathPages: [], learnMoreTaughtMap: {}, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18336', pageId: '5r7', userId: 'DylanHendrickson', edit: '3', type: 'newEdit', createdAt: '2016-08-04 14:02:40', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3321', likeableType: 'changeLog', myLikeValue: '0', likeCount: '2', dislikeCount: '0', likeScore: '2', individualLikes: [], id: '18335', pageId: '5r7', userId: 'DylanHendrickson', edit: '2', type: 'newEdit', createdAt: '2016-08-04 14:02:19', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18260', pageId: '5r7', userId: 'DylanHendrickson', edit: '0', type: 'newTag', createdAt: '2016-08-03 18:40:33', auxPageId: 'start_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18262', pageId: '5r7', userId: 'DylanHendrickson', edit: '0', type: 'newParent', createdAt: '2016-08-03 18:40:33', auxPageId: 'decimal_notation', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18259', pageId: '5r7', userId: 'DylanHendrickson', edit: '1', type: 'newEdit', createdAt: '2016-08-03 18:40:31', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }