{ localUrl: '../page/subtraction_of_rational_numbers_math_0.html', arbitalUrl: 'https://arbital.com/p/subtraction_of_rational_numbers_math_0', rawJsonUrl: '../raw/56x.json', likeableId: '2994', likeableType: 'page', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [ 'JoeZeng' ], pageId: 'subtraction_of_rational_numbers_math_0', edit: '8', editSummary: '', prevEdit: '7', currentEdit: '8', wasPublished: 'true', type: 'wiki', title: 'Subtraction of rational numbers (Math 0)', clickbait: 'In which we meet anti-apples.', textLength: '5951', alias: 'subtraction_of_rational_numbers_math_0', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'PatrickStevens', editCreatedAt: '2016-08-01 13:51:15', pageCreatorId: 'PatrickStevens', pageCreatedAt: '2016-07-07 12:20:16', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '1', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '57', text: '[summary: Subtraction is "adding anti-apples", or equivalently removing some apples you already have.]\n\nSo far, we have met [4zx the idea of a rational number], treating them as chunks of apples, and [55m how to add them together].\nNow we will discover how the idea of the anti-apple (by analogy with the [53r integers' anti-cow]) must work.\n\n# The anti-apple\n\nJust as we had an anti-cow, so we can have an anti-apple.\nIf we combine an apple with an anti-apple, they both annihilate, leaving nothing behind.\nWe write this as $1 + (-1) = 0$.\n\nA very useful thing for you to ponder for thirty seconds (though I will give you the answer soon): given that $\\frac{a}{n}$ means "divide an apple into $n$ equal pieces, then take $a$ copies of the resulting little-piece", what would $\\frac{-1}{n}$ mean? And what would $-\\frac{1}{n}$ mean?\n\n%%hidden(Show possible solution):\n$\\frac{-1}n$ would mean "divide an apple into $n$ equal pieces, then take $-1$ copies of the resulting little-piece".\nThat is, turn it into an anti-little-piece.\nThis anti-little-piece will annihilate one little-piece of the same size: $\\frac{-1}{n} + \\frac{1}{n} = 0$.\n\n$-\\frac{1}{n}$, on the other hand, would mean "divide an anti-apple into $n$ equal pieces, then take $1$ copy of the resulting little-anti-piece".\nBut this is the same as $\\frac{-1}{n}$: it doesn't matter whether we do "convert to anti, then divide up the apple" or "divide up the apple, then convert to anti".\nThat is, "little-anti-piece" is the same as "anti-little-piece", which is very convenient.\n%%\n\nWhat about chunks of apple?\nIf we combine half an apple with half an anti-apple, they should also annihilate, leaving nothing behind.\nWe write this as $\\frac{1}{2} + \\left(-\\frac{1}{2}\\right) = 0$.\n\nHow about a bit more abstract?\nIf we combine an apple with half an anti-apple, what should happen?\nWell, the apple can be made out of two half-chunks (that is, $1 = \\frac{1}{2} + \\frac{1}{2}$); and we've just seen that half an apple will annihilate half an anti-apple; so we'll be left with just one of the two halves of the apple.\nMore formally, $1 + \\left(-\\frac{1}{2}\\right) = \\frac{1}{2}$; or, writing out the calculation in full, $$1 + \\left(-\\frac{1}{2}\\right) = \\frac{1}{2} + \\frac{1}{2} + \\left(-\\frac{1}{2}\\right) = \\frac{1}{2}$$\n\nLet's go the other way round: if we combine an anti-apple with half an apple, what happens?\nIt's pretty much the same as the opposite case except flipped around: the anti-apple is made of two anti-half-chunks, and the half apple will annihilate one of those chunks, leaving us with half an anti-apple: that is, $(-1) + \\frac{1}{2} = -\\frac{1}{2}$.\n\nWe call all of these things **subtraction**: "subtracting" a quantity is defined to be the same as the addition of an anti-quantity.\n\n# General procedure\n\nSince we already know how to add, we might hope that subtraction will be easier (since subtraction is just a slightly different kind of adding).\n\nIn general, we write $-\\frac{1}{n}$ for "the $\\frac{1}{n}$-sized building block, but made by dividing an *anti*-apple (instead of an apple) into $n$ equal pieces".\nRemember from the pondering above that this is actually the same as $\\frac{-1}{n}$, where we have divided an apple into $n$ equal pieces but then taken $-1$ of the pieces.\n\nThen in general, we can just use the instant addition rule that we've already seen. %%note:Recall: this was $\\frac{a}{m} + \\frac{b}{n} = \\frac{a\\times n + b \\times m}{m \\times n}$. Remember that the order of operations in the integers is such that in the numerator, we calculate both the products first; then we add them together.%%\nIn fact, $$\\frac{a}{m} - \\frac{b}{n} = \\frac{a}{m} + \\left(\\frac{-b}{n}\\right) = \\frac{a \\times n + (-b) \\times m}{m \\times n} = \\frac{a \\times n - b \\times m}{m \\times n}$$\n\nWhy are we justified in just plugging these numbers into the formula, without justification?\nYou're quite right if you are dubious: you should not be content merely to *learn* this formula%%note:This goes for all of maths! It's not simply a collection of arbitrary rules, but a proper process that we use to model our thoughts. Behind every pithy, unmemorable formula is a great edifice of motivation and reason, if you can only find it.%%.\nIn the rest of this page, we'll go through why it works, and how you might construct it yourself if you forgot it.\nI took the choice here to present the formula first, because it's a good advertisement for why we use the $\\frac{a}{n}$ notation rather than talking about "$\\frac{1}{n}$-chunks" explicitly: it's a very compact and neat way of expressing all this talk of anti-apples, in the light of what we've already seen about addition.\n\nVery well: what should $\\frac{a}{m} - \\frac{b}{n}$ be?\nWe should first find a smaller chunk out of which we can build both the $\\frac{1}{m}$ and $\\frac{1}{n}$ chunks.\nWe've seen already that $\\frac{1}{m \\times n}$ will work as a smaller chunk-size.\n\nNow, what is $\\frac{a}{m}$ expressed in $\\frac{1}{m \\times n}$-chunks?\nEach $\\frac{1}{m}$-chunk is $n$ of the $\\frac{1}{m \\times n}$-chunks, so $a$ of the $\\frac{1}{m}$-chunks is $a$ lots of "$n$ lots of $\\frac{1}{m \\times n}$-chunks": that is, $a \\times n$ of them.\n\nSimilarly, $\\frac{b}{n}$ is just $b \\times m$ lots of $\\frac{1}{m \\times n}$-chunks.\n\nSo, expressed in $\\frac{1}{m \\times n}$-chunks, we have $a \\times n$ lots of positive chunks, and $b \\times m$ lots of anti-chunks.\nTherefore, when we put them together, we'll get $a \\times n - b \\times m$ chunks (which might be negative or positive or even zero - after all the annihilation has taken place we might end up with either normal or anti-chunks or maybe no chunks at all - but it's still an integer, being a number of chunks).\n\nSo the total amount of apple we have is $\\frac{a \\times n - b \\times m}{m \\times n}$, just like we got out of the instant formula.\n\n[todo: the rest of the page, including examples; make an exercises page, including subtracting negatives and so on]', 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: 'true', 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: [ 'PatrickStevens', 'JoeZeng' ], childIds: [], parentIds: [ 'arithmetic_of_rational_numbers_math_0' ], commentIds: [], questionIds: [], tagIds: [ 'math0' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [ { id: '4994', parentId: 'rational_numbers_intro_math_0', childId: 'subtraction_of_rational_numbers_math_0', type: 'requirement', creatorId: 'PatrickStevens', createdAt: '2016-07-07 12:04:35', level: '1', isStrong: 'false', everPublished: 'true' }, { id: '4995', parentId: 'integers_intro_math0', childId: 'subtraction_of_rational_numbers_math_0', type: 'requirement', creatorId: 'PatrickStevens', createdAt: '2016-07-07 12:04:40', level: '1', isStrong: 'false', everPublished: 'true' } ], 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: '17916', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '8', type: 'newEdit', createdAt: '2016-08-01 13:51:15', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17899', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '7', type: 'newEdit', createdAt: '2016-08-01 09:35:11', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17815', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '6', type: 'newEdit', createdAt: '2016-07-31 09:13:10', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17625', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '5', type: 'newEdit', createdAt: '2016-07-27 21:47:59', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3154', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '17247', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '4', type: 'newEdit', createdAt: '2016-07-21 19:34:34', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16088', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'JoeZeng', edit: '3', type: 'newEdit', createdAt: '2016-07-07 23:32:14', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16087', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'JoeZeng', edit: '2', type: 'newEdit', createdAt: '2016-07-07 23:29:33', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15962', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '0', type: 'newRequirement', createdAt: '2016-07-07 12:20:18', auxPageId: 'integers_intro_math0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15959', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '0', type: 'newParent', createdAt: '2016-07-07 12:20:17', auxPageId: 'arithmetic_of_rational_numbers_math_0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15960', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '0', type: 'newTag', createdAt: '2016-07-07 12:20:17', auxPageId: 'math0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15961', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '0', type: 'newRequirement', createdAt: '2016-07-07 12:20:17', auxPageId: 'rational_numbers_intro_math_0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15957', pageId: 'subtraction_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '1', type: 'newEdit', createdAt: '2016-07-07 12:20:16', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }