{ localUrl: '../page/ordering_of_rational_numbers_math_0.html', arbitalUrl: 'https://arbital.com/p/ordering_of_rational_numbers_math_0', rawJsonUrl: '../raw/5pk.json', likeableId: '0', likeableType: 'page', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], pageId: 'ordering_of_rational_numbers_math_0', edit: '6', editSummary: '', prevEdit: '5', currentEdit: '6', wasPublished: 'true', type: 'wiki', title: 'Ordering of rational numbers (Math 0)', clickbait: 'How do we know if one lot of apples is "more apples" than another lot?', textLength: '9231', alias: 'ordering_of_rational_numbers_math_0', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'JoeZeng', editCreatedAt: '2016-08-14 03:53:01', pageCreatorId: 'PatrickStevens', pageCreatedAt: '2016-07-31 08:15:24', 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: '21', text: '[summary: "Ordering" is the idea that some quantities of apple are "bigger" than others.]\n\nSo far while learning about [514 how to combine rational numbers], we have seen [55m addition], [56x subtraction], [59s multiplication] and [5jd division].\nThere is one final major thing we can do to a pair of rational numbers: to *compare* them.\nOnce you know what you're looking for, it is very easy to compare certain pairs of rational numbers; in this page, we'll look at how to extend that.\n\nIntuitively, if I gave you an apple in one hand, and four apples in the other hand %%note:My hands are rather large.%%, you would be able to tell me that the four-apples hand was holding more apples.\nThis is the kind of comparison we are trying to generalise, and we will do it from one simple observation.\n\nThe observation we will make is that it is very easy to determine whether a rational number is negative or not. %%note:Recall that "negative" meant "it is expressed in anti-apples rather than apples".%% Indeed, we just need to see if we're holding an anti-thing or not.\nThis might be hard if we have to do some calculations firstâ€”for example, it's not immediately obvious whether $\\frac{16}{107} - \\frac{3}{20}$ is anti- or notâ€”but we'll assume that we've already done all the calculations to reduce an expression down to just a single rational number.\n(In this example, we can use the [56x subtraction techniques] to work out that $\\frac{16}{107} - \\frac{3}{20} = -\\frac{1}{2140}$. That's obviously negative, because it's got a negative sign out the front.)\n\nTo summarise, then, what I have just asserted is that it is easy to see whether a rational number is negative or not; we say that a number which is *positive* %%note:That is, expressed in apples rather than anti-apples.%% is "*greater than $0$*".\nRecall that $0$ was the name we gave to the rational number which is "no apples at all"; then what this is saying is that if I have a positive number of apples in one hand, and no apples at all in the other, then according to the intuition earlier, I have more apples in the first hand than in the no-apples hand.\n(Hopefully you see that this is true; if not, let us know, because this is one of those strange areas where it's very hard for a mathematician to remember *not* understanding it immediately and intuitively, since we've each been doing this for decades. We're doing our best to remember what parts of the maths are genuinely difficult and weird, but we might get it wrong.)\n\nSimilarly, we say that $0$ is *less than* any positive number, and write $0 < \\frac{5}{16}$, for instance.\nThe littler quantity always goes on the littler end of the arrow.\n(The number $0$ itself is neither negative nor positive. It's just $0$.\nTherefore we can't write $0 < 0$ or $0 > 0$; it's actually the case that $0=0$, and this excludes the other two options of $<$ or $>$.)\n\n# One weird trick to compare any two rationals %%note:Mathematicians hate it!%%\n\nNow that we can compare any rational with $0$, we will work out how to compare any rational with any other rational.\n\nThe key insight is that adding the same number of apples %%note:Or anti-apples.%% to each hand should not change the relative fact of whether there are more apples in one hand or the other.\nFor a real-world example, on a [balance scale](https://commons.wikimedia.org/wiki/File:Balanced_scale_of_Justice.svg) it doesn't matter whether you add five grams or even fifty kilograms onto each of the two pans; the result of the weight comparison will be the same.\n(Now you should probably forget the scales metaphor again, because the weight of antimatter behaves in a way that doesn't lend itself nicely to what we're trying to do.)\n\n## Example\n\nSo let's say we want to compare $\\frac{5}{6}$ and $\\frac{3}{4}$.\nWhich of the two is bigger?\n\nWell, what we can do is add $\\frac{3}{4}$ of an anti-apple to both hands.\nBy the principle that "adding the same amount to each hand doesn't change their quantity relative to each other", the result of the comparison between $\\frac{5}{6}$ and $\\frac{3}{4}$ is just the same as the result of the comparison between $\\frac{5}{6} - \\frac{3}{4}$ and $\\frac{3}{4} - \\frac{3}{4}$: that is, between $\\frac{1}{12}$ and $0$.\nThat's easy, though, since we already know how to compare $0$ with anything!\n\nSo $\\frac{5}{6}$ is bigger than $\\frac{3}{4}$, since $\\frac{1}{12}$ is bigger than $0$: we write $\\frac{5}{6} > \\frac{3}{4}$.\n\n## Comparisons with anti-apples\n\nIn this section, we will just close our eyes, swallow grimly, and hope for the best.\n\nIf we want to compare $-\\frac{59}{12}$ and $\\frac{4}{7}$, what should happen?\nIf you already have the right intuition built in, then this will be obvious, but before you know how to do it, it's really not clear at all.\nAfter all, $-\\frac{59}{12}$ is "a large amount of anti-apple" (it's nearly five whole anti-apples!) but $\\frac{4}{7}$ is "a small amount of apple" (not even one whole apple).\n\nHere's where the "close our eyes" happens.\nLet's just go by the principle that adding the same amount of apple to both hands shouldn't change anything, and we'll add $\\frac{59}{12}$ apples to both sides.\n\nThen the $-\\frac{59}{12}$ becomes $0$, and the $\\frac{4}{7}$ becomes the rather gruesome $\\frac{461}{84}$. %%note:This is all good practice for you to get fluent with adding and subtracting.%%\nBut we already know how to compare $0$ with things, so we can see that $\\frac{461}{84}$ is bigger than $0$.\n\nTherefore we must have $\\frac{4}{7}$ being bigger than $-\\frac{59}{12}$.\n\nBy the same token, *any* amount of anti-apple is always less than *any* amount of apple, and indeed any amount of anti-apple is always less than $0$.\n\n## Another example\n\nHow about comparing $\\frac{-3}{5}$ and $\\frac{9}{-11}$?\nThe first thing to do is to remember that we can take the minus signs outside the fractions, because an anti-chunk of apple is the same as a chunk of anti-apple.\n\nThat is, we are trying to compare $-\\frac{3}{5}$ and $-\\frac{9}{11}$.\n\nAdd $\\frac{3}{5}$ to both, to compare $0$ and $-\\frac{9}{11} + \\frac{3}{5} = -\\frac{12}{55}$.\n\nAdd $\\frac{12}{55}$ to both again, to compare $\\frac{12}{55}$ and $0$.\n\nClearly the $\\frac{12}{55}$ is bigger, so it must be that $\\frac{-3}{5}$ is bigger than $\\frac{9}{-11}$.\n\n## Instant rule\n\nJust as we had an [55m instant rule for addition], so we can make an instant rule for comparison.\n\nIf we want to see which of $\\frac{a}{b}$ and $\\frac{c}{d}$ is bigger, it is enough to see which of $0$ and $\\frac{c}{d} - \\frac{a}{b}$ is bigger.\n\nBut $$\\frac{c}{d} - \\frac{a}{b} = \\frac{c \\times b - a \\times d}{b \\times d}$$\n\nSadly from this point there are actually two cases to consider, because we might have produced something that looks like any of the following:\n\n- $\\frac{5}{6}$\n- $\\frac{-4}{7}$\n- $\\frac{3}{-8}$\n- $\\frac{-2}{-9}$\n\n(That is, there could be minus-signs scattered all over the place.)\n\nHowever, there is a way to get around this, and it hinges on the fact from the [5jd Division page] that $\\frac{-1}{-1} = 1$.\n\nIf $b$ is negative, then we can just write $\\frac{a}{b} = \\frac{-a}{-b}$, and now $-b$ is positive!\nFor example, $\\frac{5}{-6}$ has $b=-6$; then that is the same as $\\frac{-5}{6}$.\nSimilarly, $\\frac{-7}{-8}$ is the same as $\\frac{7}{8}$.\n\nLikewise we can always write $\\frac{c}{d}$ so that the numerator is positive: as $\\frac{-c}{-d}$ if necessary.\n\nSo, we have four cases:\n\n- If $b, d$ are both positive, then $\\frac{c \\times b - a \\times d}{b \\times d}$ is positive precisely when $c \\times b - a \\times d$ is positive as an integer; i.e. when $cb > ad$.\n- If $b$ is positive and $d$ is negative, then $$\\frac{c}{d} - \\frac{a}{b} = \\frac{-c}{-d} - \\frac{a}{b} = \\frac{(-c) \\times b - a \\times (-d)}{b \\times (-d)}$$ where the denominator %%note:Remember, that's the thing on the bottom of the fraction: in this case, $b \\times (-d)$.%% is positive. [todo: the rest of this section and bullet point]\n\n## Why did I say "Mathematicians hate it"?%%note:Aside from parodying Internet banner ads, that is.%% A diversion on pedagogy\n\nThe way I've done this is all completely correct, but it's slightly backwards from the way a mathematician would usually present it.\n(Not sufficiently backwards that mathematicians should hate it, but I couldn't resist.)\n\nUsually, when *finding* a way of comparing objects, mathematicians would probably do what we've done above: find an easy way of comparing some of the objects, and then try to extend it to cover all the objects.\n\nBut if a mathematician *already knows* a way of comparing objects and is just writing it down for the benefit of other mathematicians, they would usually write down the complete "cover all the objects" method right at the start, and would then go on to show that it does indeed cover all the objects and has all the right properties.\n\nThis has the benefit of producing very terse descriptions with the minimum necessary amount of writing; but it's very *bad* at helping other people understand where it came from.\nIf you know where something came from, you stand a better chance of being able to recreate it yourself if you forget the bottom line, and you might well remember the bottom line better, too.\nThis is why we've done it slightly backwards here.', 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: [ 'math' ], commentIds: [], questionIds: [], tagIds: [], 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: '3390', likeableType: 'changeLog', myLikeValue: '0', likeCount: '2', dislikeCount: '0', likeScore: '2', individualLikes: [], id: '18717', pageId: 'ordering_of_rational_numbers_math_0', userId: 'JoeZeng', edit: '6', type: 'newEdit', createdAt: '2016-08-14 03:53:01', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17833', pageId: 'ordering_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '5', type: 'newEdit', createdAt: '2016-07-31 12:52:19', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17820', pageId: 'ordering_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '4', type: 'newEdit', createdAt: '2016-07-31 09:16:55', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17819', pageId: 'ordering_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '3', type: 'newEdit', createdAt: '2016-07-31 09:16:36', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17814', pageId: 'ordering_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '2', type: 'newEdit', createdAt: '2016-07-31 08:52:21', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17810', pageId: 'ordering_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '0', type: 'newParent', createdAt: '2016-07-31 08:16:49', auxPageId: 'math', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17808', pageId: 'ordering_of_rational_numbers_math_0', userId: 'PatrickStevens', edit: '1', type: 'newEdit', createdAt: '2016-07-31 08:15:24', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }