{ localUrl: '../page/division_of_rational_numbers_math_0.html', arbitalUrl: 'https://arbital.com/p/division_of_rational_numbers_math_0', rawJsonUrl: '../raw/5jd.json', likeableId: '3169', likeableType: 'page', myLikeValue: '0', likeCount: '2', dislikeCount: '0', likeScore: '2', individualLikes: [ 'KevinClancy', 'EricRogstad' ], pageId: 'division_of_rational_numbers_math_0', edit: '11', editSummary: '', prevEdit: '10', currentEdit: '11', wasPublished: 'true', type: 'wiki', title: 'Division of rational numbers (Math 0)', clickbait: '"Division" is the idea of "dividing something up among some people so that we can give equal amounts to each person".', textLength: '7700', alias: 'division_of_rational_numbers_math_0', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'PatrickStevens', editCreatedAt: '2016-08-01 08:09:45', pageCreatorId: 'PatrickStevens', pageCreatedAt: '2016-07-22 13:39:18', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '6', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '37', text: '[summary: Division captures the idea of "sharing" apples between people, and it is the core motivating idea of the rational numbers.]\n\nSo far in our study of the [514 arithmetic] of [4zq rational numbers], we've had [55m addition] ("putting apples and chunks of apples side by side and counting what you've got"), [56x subtraction] ("the same, but you're allowed anti-apples too"), and [59s multiplication] ("make a rational number, but instead of starting from $1$ apple, start from some other number").\n\n**Division** is what really sets the rational numbers apart from the [53r integers], and it is the mathematician's answer to the question "if I have some apples, how do I share them among my friends?".\n\n# What's wrong with the integers?\n\nIf you have an integer number of apples (that is, some number of apples and anti-apples - no chunks allowed, just whole apples and anti-apples), and you want to share them with friends, sometimes you'll get lucky.\nIf you have four apples, for instance, then you can share them out between yourself and one friend, giving each person two apples.\n\nBut sometimes (often, in fact) you'll get unlucky.\nIf you want to share four apples between yourself and two others, then you can give each person one apple, but there's this pesky single apple left over which you just can't share.\n\n# What the rationals do for us\n\nThe trick, obvious to anyone who has ever eaten a cake, is to cut the leftover apple into three equally-sized pieces and give each person a piece.\nNow we have shared out all four apples equally.\n\nBut in order to do so, we've left the world of the integers, and in getting out our knife, we started working in the rationals.\nHow much apple has everyone received, when we shared four apples among three people (that is, myself and two friends as recipients of apple)?\n%%hidden(Show solution):\nEveryone got $\\frac{4}{3}$.\n\nIndeed, everyone got one whole apple; and then we chopped the remaining apple into three $\\frac{1}{3}$-chunks and gave everyone one chunk.\nSo everyone ended up with one apple and one $\\frac{1}{3}$-chunk.\n\nBy our instant addition rule %%note:If you've forgotten it, check out the [55m addition page] again; it came from working out a chunk size out of which we can make both the $\\frac{1}{3}$-chunk and the $1$-chunk.%%, $$1 + \\frac{1}{3} = \\frac{1}{1} + \\frac{1}{3} = \\frac{3 \\times 1 + 1 \\times 1}{3 \\times 1} = \\frac{3+1}{3} = \\frac{4}{3}$$ \n\nThere's another way to see this, if (laudably!) you don't like just applying rules.\nWe could cut *every* apple into three pieces at the beginning, so we're left with four collections of three $\\frac{1}{3}$-sized chunks.\nBut now it's easy to share this among three people: just give everyone one of the $\\frac{1}{3}$-chunks from each apple.\nWe gave everyone four chunks in total, so this is $\\frac{4}{3}$.\n%%\n\nThe rationals provide the natural answer to all "sharing" questions about apples.\n\nWe write "rational number $x$ divided by rational number $y$" as $\\frac{x}{y}$: that is, $x$ apples divided amongst $y$ people.\n(We'll soon get to what it means to divide by a non-integer number of people; just roll with it for now.)\nIf space is a problem, we can write $a/n$ instead.\nNotice that our familiar notation of "$\\frac{1}{m}$-sized chunks" is actually just $1$ apple divided amongst $m$ people: it's the result of dividing $1$ into $m$ equal chunks.\nSo the notation does make sense, and it's just an extension of the notation we've been using already.\n\n# Division by a natural number\n\nIn general, $\\frac{a}{m}$ apples, divided amongst $n$ people, is obtained by the "other way" above.\nCut the $\\frac{a}{m}$ into $n$ pieces, and then give everyone an equal number of pieces.\n\nRemember, $\\frac{a}{m}$ is made of $a$ copies of pieces of size $\\frac{1}{m}$; so what we do is cut all of the $\\frac{1}{m}$-chunks individually into $n$ pieces, and then give everyone $a$ of the little pieces we've made.\nBut "cut a $\\frac{1}{m}$-chunk into $n$ pieces" is just "cut an apple into $n$ pieces, but instead of doing it to one apple, do it to a $\\frac{1}{m}$-chunk": that is, it is $\\frac{1}{m} \\times \\frac{1}{n}$, or $\\frac{1}{m \\times n}$.\n\nSo the answer is just $$\\frac{a}{m} / n = \\frac{a}{m \\times n}$$\n\n## Example\n\n[todo: pictorial example]\n\n# Division by a negative integer\n\nWhat would it even mean to divide an apple between four anti-people?\nHow about a simpler question: dividing an apple between one anti-person%%note:Remembering that dividing $x$ apples between one person just gives $x$, since there's not even any cutting of the apples necessary.%%? (The answer to this would be $\\frac{1}{-1}$.) It's not obvious!\n\nWell, the thing to think about here is that if I take an apple, and share it among one person %%note:Myself, probably. I'm very selfish.%%, then I've got just the same apple as before (cut into no chunks): that is, $\\frac{1}{1} = 1$.\nAlso, if I take an apple and share it among one person who is *not* myself (and I don't give any apple to myself), then we've also just got the same unsliced apple as before: $\\frac{1}{1} = 1$ again. \n\nBut if I take an apple, and give it to an *anti*-person%%note:Being very careful not to touch them, because I would annihilate an anti-person!%%, then from their perspective *I*'m the anti-person, and I've just given them an anti-apple.\nThere's a law of symmetry built into reality: the laws of physics are invariant if we reflect "thing" and "anti-thing" throughout the universe.%%note:Technically this is not *quite* true: the actual symmetry is on reflecting charge, parity and time all together, rather than just parity alone. But for the purposes of this discussion, let's pretend that the universe is parity-symmetric.%%\nThe anti-person sees the universe in a way that's the same as my way, but where the "anti" status of everything (and everyantithing) is flipped.\n\n[todo: write "the universe is unchanged on swapping anti-status" in the Negative Integers chunk too, around where we work out what -5+3 is, and say "remember this!"]\n\nPut another way, "anti-ness" is not an absolute notion but a relative one.\nI can only determine whether something is the same anti-ness or the opposite anti-ness to myself.\n\nSear this into your mind: the laws of rational-number "physics" are the same no matter who is observing.\nIf I observe a transaction, like "I, a person, give someone an apple", then an external person will observe "The author, a person, gave someone an apple", while an external anti-person will observe "The author, an anti-person, gave an anti-person an anti-apple".\n\nFrom the external person's perspective, they saw "someone (of the same anti-ness as me) gave someone else (of the same anti-ness as me) an apple (of the same anti-ness as me)".\nFrom the anti-person's perspective, everything is relatively the same: "someone (of the opposite anti-ness to me) gave someone else (of the opposite anti-ness to me) an apple (of the opposite anti-ness to me)".\n\nSo $\\frac{-1}{-1}$, being "one anti-apple shared among one anti-person", can be viewed instead from the perspective of an anti-person; they see one *apple* being given to one *person*: that is, $\\frac{-1}{-1}$ is equal to $1$.\n\nArmed with the fact that $\\frac{-1}{-1} = 1$, we can just apply our usual multiplication rule that $\\frac{a}{m} \\times \\frac{b}{n} = \\frac{a \\times b}{m \\times n}$, to deduce that $$\\frac{1}{-m} = \\frac{1}{-m} \\times 1 = \\frac{1}{-m} \\times \\frac{-1}{-1} = \\frac{-1 \\times 1}{-m \\times -1} = \\frac{-1}{m}$$\n\nThe law of symmetry-of-the-universe basically says that $\\frac{a}{-b} = \\frac{-a}{b}$.\n\n[todo: division by rational number]\n[todo: division as "inverse of multiplication]\n\n[todo: division by zero]\n\n[todo: exercises]', 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' ], childIds: [], parentIds: [ 'arithmetic_of_rational_numbers_math_0' ], commentIds: [ '5jp', '5s3' ], questionIds: [], tagIds: [ 'math0', 'c_class_meta_tag' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [ { id: '5548', parentId: 'multiplication_of_rational_numbers_math_0', childId: 'division_of_rational_numbers_math_0', type: 'requirement', creatorId: 'PatrickStevens', createdAt: '2016-07-22 13:38:58', level: '2', 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: '18753', pageId: 'division_of_rational_numbers_math_0', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-08-15 23:41:11', auxPageId: 'math0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18752', pageId: 'division_of_rational_numbers_math_0', userId: 'EricBruylant', edit: '0', type: 'deleteTag', createdAt: '2016-08-15 23:41:03', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18750', pageId: 'division_of_rational_numbers_math_0', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-08-15 23:41:02', auxPageId: 'c_class_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17888', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '11', type: 'newEdit', createdAt: '2016-08-01 08:09:45', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17845', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '10', type: 'newEdit', createdAt: '2016-07-31 14:58:27', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17839', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '0', type: 'deleteTag', createdAt: '2016-07-31 14:40:05', auxPageId: 'needs_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17818', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '9', type: 'newEdit', createdAt: '2016-07-31 09:15:59', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17624', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '8', type: 'newEdit', createdAt: '2016-07-27 21:40:45', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17353', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '6', type: 'newEdit', createdAt: '2016-07-22 22:28:19', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17347', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '5', type: 'newEdit', createdAt: '2016-07-22 22:08:18', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17329', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '4', type: 'newEdit', createdAt: '2016-07-22 20:51:22', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17328', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '3', type: 'newEdit', createdAt: '2016-07-22 20:45:01', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17327', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '2', type: 'newEdit', createdAt: '2016-07-22 20:19:44', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17314', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '0', type: 'newParent', createdAt: '2016-07-22 13:39:20', auxPageId: 'arithmetic_of_rational_numbers_math_0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17315', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '0', type: 'newRequirement', createdAt: '2016-07-22 13:39:20', auxPageId: 'multiplication_of_rational_numbers_math_0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17311', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '0', type: 'newTag', createdAt: '2016-07-22 13:39:19', auxPageId: 'needs_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17312', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '0', type: 'newTag', createdAt: '2016-07-22 13:39:19', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3187', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '17310', pageId: 'division_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '1', type: 'newEdit', createdAt: '2016-07-22 13:39:18', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }