{
localUrl: '../page/integers_intro_math0.html',
arbitalUrl: 'https://arbital.com/p/integers_intro_math0',
rawJsonUrl: '../raw/53r.json',
likeableId: '3007',
likeableType: 'page',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [
'EricBruylant'
],
pageId: 'integers_intro_math0',
edit: '8',
editSummary: '',
prevEdit: '7',
currentEdit: '8',
wasPublished: 'true',
type: 'wiki',
title: 'Integers: Intro (Math 0)',
clickbait: 'The integers are the whole numbers extended into the negatives.',
textLength: '6754',
alias: 'integers_intro_math0',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'JoeZeng',
editCreatedAt: '2016-07-07 17:30:38',
pageCreatorId: 'JoeZeng',
pageCreatedAt: '2016-07-05 18:56:58',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '3',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '70',
text: '[summary: The integers are an extension of the [45h natural numbers] into the *negatives*.\n\nIn this article we'll be exploring a novel way to think of negative numbers, using collections of cows and anti-cows. *Mooooo!*]\n\nThe integers are an extension of the [45h natural numbers] into the *negatives*.\n\n## Negative numbers\n\nNegative numbers are numbers less than zero. They are notated as numbers with a minus sign in front of them, like $-2$ or $-15$ or $-6387$.\n\nWhen many people are first introduced to the concept of negative numbers, one question they have is, "how do negative numbers exist? How can we have less than nothing of something?"\n\nUsually this question is answered with something about travelling along the number line and then going in the opposite direction past zero. But we can also answer this question from the traditional perspective of quantities, using _antimatter_.\n\n## Arithmetic with anti-cows\n\nMatter and antimatter are substances that annihilate each other — they cancel each other out. In the same way, positive and negative quantities cancel each other out to some extent when added together.\n\n[todo: cow artwork]\n\nLet's create a physical example of this antimatter phenomenon, and consider a collection of cows. [comment: diagram of cows] If a natural number is how many cows we have, then negative numbers are the presence of *anti-cows*. [comment: For the sake of easy reading, let's colour a cow red, and an anti-cow blue: diagram of red cow = cow, blue cow = anticow] For example, if you have $3$ anti-cows, you have $-3$ cows. If you have $128$ anti-cows, you have $-128$ cows, and so on.\n\nWhen a cow and an anti-cow come into contact, they annihilate each other and nothing is left (except technically an enormous burst of energy that could cause a magnitude 9 earthquake, but we won't get into the nitty-gritty physics of antimatter annihilation here). [comment: diagram of cow/anti-cow annihilation] Moreover, each cow will annihilate exactly one anti-cow, and vice versa. \n\nThis lets us perform subtraction by adding anti-cows instead of taking away cows. If you want to perform $6 - 4$, you imagine you have a collection of six cows, and you add four anti-cows to the mix, which annihilate four of the cows leaving you with two. This is exactly the same as if you'd taken away four cows (except that you've now released enough energy to power the entire world's energy demands for seven months). [comment: diagram of 6 - 4]\n\nThis form of adding negatives is slightly more flexible than regular subtraction. In regular subtraction, you couldn't take away more cows than there already were. But when you add negatives, you can keep adding anti-cows after there are no cows left, at which point you just have more and more anti-cows, giving you a more and more negative number. So if you wanted to subtract $4 - 6$, you couldn't take away six cows from four, but you could add six anti-cows, and four of them would annihilate the four cows, leaving you with two anti-cows or a final answer of $-2$. [comment: diagram of 4 - 6]\n\n## Useful properties of negative numbers\n\nExtending the natural numbers into negatives gives us lots of useful properties when doing arithmetic.\n\n### Addition of negative numbers\n\nNegative numbers add up just like positive ones. If you have $-3$ and $-7$, they add up to $-10$, just like three anti-cows and seven anti-cows would come together to make ten anti-cows. [comment: diagram of (-3) + (-7)]\n\nKnowing this, how would you calculate $(-6) + (-8) + (-12) + (-20)$?\n\n%%hidden(Show solution):\nSimply add up all the negative quantities together. $$6 + 8 + 12 + 20 = 46 \\to (-6) + (-8) + (-12) + (-20) = -46$$\n%%\n\n### Subtraction as additive inversion\n\nIf we represent a natural number as a number of cows, then the same number of anti-cows is called the *additive inverse* of that number, because a number and its additive inverse add up to zero (equal numbers of cows and anti-cows will all annihilate each other to give nothing), which is the "additive [54p identity]" (or "the number that changes nothing when you add it to something").\n\nUsing additive inverses allows us to express subtraction in the form of addition — for example, $5 - 2$ can be rewritten as $5 + (-2)$ (which just means that instead of taking away two cows, you're adding two anti-cows). When we do this, suddenly we can rearrange subtraction operations along with addition operations even though subtraction isn't [3jb commutative].\n\nThen, if you have a giant addition and subtraction problem you want to solve, you can add up all the numbers you want to add (into a big collection of cows), then add up all the numbers you want to subtract (into a big collection of anti-cows), and just do one subtraction (annihilating cow/anti-cow pairs) to get your answer. For example, $6 - 2 + 7 - 5$ is really just $6 + (-2) + 7 + (-5)$ which is equal to $6 + 7 + (-5) + (-2)$. Then, you add up the number of cows (13) and anti-cows (7), and annihilate them to get the final answer of $6$.\n\nHere's another exercise for you: How would you calculate $13 + 8 - 5 + 6 + 4 - 12 - 9 + 1$?\n\n%%hidden(Show solution):\nFirst, rewrite each subtraction operation as addition of a negative number: $$13 + 8 + (-5) + 6 + 4 + (-12) + (-9) + 1$$\n\nThen rearrange the equation to group all the positive and negative numbers (cows and anti-cows) together: $$13 + 8 + 6 + 4 + 1 + (-5) + (-12) + (-9)$$\n\nThen add up all the positive and negative numbers separately: $$(13 + 8 + 6 + 4 + 1) + ((-5) + (-12) + (-9)) = 32 + (-26)$$\n\nAnd finally, subtract it all at once: $$32 + (-26) = 32 - 26 = 6$$\n\nAnd voilà, you have six cows.\n%%\n\nWhat about $8 - 6 + 4 - 13 + 7 - 5 - 9 + 12$?\n\n%%hidden(Show solution):\nSame as before, we rewrite, regroup, add up, and subtract:\n\n$$8 + (-6) + 4 + (- 13) + 7 + (- 5) + (- 9) + 12 \\\\ \\Downarrow$$\n\n$$8 + 4 + 7 + 12 + (-6) + (-13) + (-5) + (-9) \\\\ \\Downarrow$$ \n\n$$(8 + 4 + 7 + 12) + ((-6) + (-13) + (-5) + (-9)) = 31 + (-33)$$\n\n$$31 + (-33) = 31 - 33$$\n\nBut hold on — now you have more anti-cows than cows, so you can't subtract directly! Not to worry — simply flip the subtraction problem around, and subtract the cows from the anti-cows, knowing that the final result will be negative instead.\n\n$$31 - 33 = -(33 - 31) = -2$$\n%%\n\n## The set of integers\n\nBack to defining the integers. The set of integers is simply the set of natural numbers and their additive inverses — i.e. the set of numbers of cows you can have if you can have anti-cows as well. This set branches out to infinity on both sides, and we usually write it as $\\{ \\ldots, -2, -1, 0, 1, 2, \\ldots \\}$.\n\n[todo: cow multiplication with herds and anti-herds]\n\n[todo: check readability scores to make sure it's in grade 7-8 range]',
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: [
'JoeZeng'
],
childIds: [],
parentIds: [
'integer'
],
commentIds: [],
questionIds: [],
tagIds: [
'math0',
'c_class_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [],
subjects: [],
lenses: [],
lensParentId: 'integer',
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: '18746',
pageId: 'integers_intro_math0',
userId: 'EricBruylant',
edit: '0',
type: 'deleteTag',
createdAt: '2016-08-15 23:34:38',
auxPageId: 'start_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18744',
pageId: 'integers_intro_math0',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-08-15 23:34:26',
auxPageId: 'c_class_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18743',
pageId: 'integers_intro_math0',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-08-15 23:34:11',
auxPageId: 'math0',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16012',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '8',
type: 'newEdit',
createdAt: '2016-07-07 17:30:38',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15713',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '7',
type: 'newEdit',
createdAt: '2016-07-06 16:04:23',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15712',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '0',
type: 'newAlias',
createdAt: '2016-07-06 16:04:21',
auxPageId: '',
oldSettingsValue: 'integer_math0',
newSettingsValue: 'integers_intro_math0'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15651',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '6',
type: 'newEdit',
createdAt: '2016-07-06 12:37:51',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Keep forgetting that notes are hover-over.'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15650',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '5',
type: 'newEdit',
createdAt: '2016-07-06 12:33:46',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Added to-do notes for the cow diagrams.'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15567',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '0',
type: 'deleteParent',
createdAt: '2016-07-06 03:25:10',
auxPageId: 'number_sets_intro',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15561',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '0',
type: 'newParent',
createdAt: '2016-07-06 03:24:44',
auxPageId: 'number_sets_intro',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15556',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '0',
type: 'deleteTag',
createdAt: '2016-07-06 03:23:07',
auxPageId: 'stub_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15554',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '0',
type: 'newTag',
createdAt: '2016-07-06 03:23:06',
auxPageId: 'start_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15532',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '4',
type: 'newEdit',
createdAt: '2016-07-06 00:14:33',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15522',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '3',
type: 'newEdit',
createdAt: '2016-07-05 23:46:36',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Now that that page exists.'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15429',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '2',
type: 'newEdit',
createdAt: '2016-07-05 20:34:15',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Added a few exercises.'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15412',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '0',
type: 'newParent',
createdAt: '2016-07-05 19:54:00',
auxPageId: 'integer',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15403',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '0',
type: 'newTag',
createdAt: '2016-07-05 18:56:59',
auxPageId: 'stub_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15402',
pageId: 'integers_intro_math0',
userId: 'JoeZeng',
edit: '1',
type: 'newEdit',
createdAt: '2016-07-05 18:56:58',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}