{
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: '96',
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: {}
}