{
localUrl: '../page/proof_by_contradiction.html',
arbitalUrl: 'https://arbital.com/p/proof_by_contradiction',
rawJsonUrl: '../raw/46z.json',
likeableId: '2647',
likeableType: 'page',
myLikeValue: '0',
likeCount: '5',
dislikeCount: '0',
likeScore: '5',
individualLikes: [
'EricBruylant',
'TravisRivera',
'MalcolmMcCrimmon',
'MarkChimes',
'EricRogstad'
],
pageId: 'proof_by_contradiction',
edit: '8',
editSummary: '',
prevEdit: '7',
currentEdit: '8',
wasPublished: 'true',
type: 'wiki',
title: 'Proof by contradiction',
clickbait: 'Discover what 'reductio ad absurdum' means!',
textLength: '2775',
alias: 'proof_by_contradiction',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'EricBruylant',
editCreatedAt: '2016-08-20 13:27:57',
pageCreatorId: 'JaimeSevillaMolina',
pageCreatedAt: '2016-06-12 00:34:03',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '2',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '110',
text: 'A proof by contradiction (a.k.a. *reductio ad absurdum*, reduction to absurdity) is a [5xz strategy] used by mathematicians to show that a mathematical statement is true by proving that the [-negation] of that statement leads to being able to prove that two opposite statements are simultaneously true (a [-contradiction]). \n\n##Outline\nThe outline of the strategy is as follows:\n\n1. Suppose that what you want to prove is false.\n2. Derive a contradiction from it.\n3. Conclude that the supposition is wrong.\n\n##Examples\nTo illustrate the concept, we will do a simple, non rigorous reasoning. Imagine yourself in the next situation:\n\nYou are a defense lawyer. Your client is accused of stealing the cookie from the cookie jar. You want to prove her innocence. Lets say you have evidence that the jar is still sealed. Reason as follows:\n\n1. Assume she stole the cookie from the cookie jar.\n2. Then she would have had to open the jar.\n3. The jar is still sealed.\n4. For the jar to be sealed and for her to have opened it is a contradiction.\n5. Hence the assumption in 1 is false (given the deductions below it are true).\n6. Hence she did not steal the cookie from the cookie jar.\n\n\nNow we will work through an actual mathematical example: we will show that $\\sqrt 2$ is not [4zq rational]; that is, it cannot be expressed as the division of two [45h natural numbers].\n\n1. We suppose that $\\sqrt 2$ is rational, which means that there exist $a,b\\in\\mathbb{N}$ such that $\\sqrt 2 = \\frac{a}{b}$. Without loss of generality, we can suppose that $a$ and $b$ [coprime have no common divisors], since otherwise we can just divide both numbers by their greatest common divisor to obtain a pair of numbers which satisfy both properties.\n2. If this was the case, $b\\sqrt2=a$. by squaring both sides, we arrive to $2b^2=a^2$. But then $2$ divides $a$, so we can express $a$ as $2n$ for some $n\\in\\mathbb{N}$. Substituing in the previous expression, we arrive to $2b^2 = 4n^2\\implies b^2 =2 n^2$. By the same reasoning, $2$ must divide $b$, but then $a$ and $b$ have a common divisor! We have a contradiction.\n3. We conclude that our original assumption that $\\sqrt 2$ is rational must be false, and thus $\\sqrt 2$ is not rational.\n\n##When to use it\nProof by contradiction is one of the most useful techniques one can use to prove anything.\n\nIn particular, if you get stuck while doing a proof, resorting to proof by contradiction is a great way to keep exploring a problem from a different perspective. Even if you do not get to solve the problem, you may get a useful insight about the problem when performing the procedure of proof by contradiction.\n\nAlso, trying to do proof by contradiction may result in a [ counterexample], which dissolves the problem in question.\n\n[todo: exercises]',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '2',
maintainerCount: '2',
userSubscriberCount: '0',
lastVisit: '',
hasDraft: 'false',
votes: [],
voteSummary: [
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0'
],
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: {
Summary: 'A proof by contradiction (a.k.a. *reductio ad absurdum*, reduction to absurdity) is a [5xz strategy] used by mathematicians to show that a mathematical statement is true by proving that the [-negation] of that statement leads to being able to prove that two opposite statements are simultaneously true (a [-contradiction]).'
},
creatorIds: [
'JaimeSevillaMolina',
'EricRogstad',
'EricBruylant',
'MarkChimes'
],
childIds: [],
parentIds: [
'proof_technique'
],
commentIds: [
'4nw'
],
questionIds: [],
tagIds: [
'math1'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [
{
id: '3808',
parentId: 'proof_by_contradiction',
childId: 'proof_by_contradiction',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
}
],
requirements: [],
subjects: [
{
id: '3808',
parentId: 'proof_by_contradiction',
childId: 'proof_by_contradiction',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
}
],
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: '19030',
pageId: 'proof_by_contradiction',
userId: 'EricBruylant',
edit: '8',
type: 'newEdit',
createdAt: '2016-08-20 13:27:57',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19029',
pageId: 'proof_by_contradiction',
userId: 'EricBruylant',
edit: '7',
type: 'newEdit',
createdAt: '2016-08-20 13:27:19',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19028',
pageId: 'proof_by_contradiction',
userId: 'EricBruylant',
edit: '0',
type: 'deleteParent',
createdAt: '2016-08-20 13:26:42',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '3425',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '19026',
pageId: 'proof_by_contradiction',
userId: 'EricBruylant',
edit: '0',
type: 'newParent',
createdAt: '2016-08-20 13:26:40',
auxPageId: 'proof_technique',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18544',
pageId: 'proof_by_contradiction',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-08-07 18:40:31',
auxPageId: 'math1',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18543',
pageId: 'proof_by_contradiction',
userId: 'EricBruylant',
edit: '0',
type: 'deleteTag',
createdAt: '2016-08-07 18:40:19',
auxPageId: 'math2',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16093',
pageId: 'proof_by_contradiction',
userId: 'JoeZeng',
edit: '0',
type: 'newTag',
createdAt: '2016-07-07 23:33:33',
auxPageId: 'math2',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16090',
pageId: 'proof_by_contradiction',
userId: 'JoeZeng',
edit: '0',
type: 'deleteTag',
createdAt: '2016-07-07 23:33:26',
auxPageId: 'math0',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '2804',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '14352',
pageId: 'proof_by_contradiction',
userId: 'MarkChimes',
edit: '6',
type: 'newEdit',
createdAt: '2016-06-22 13:54:20',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14269',
pageId: 'proof_by_contradiction',
userId: 'JaimeSevillaMolina',
edit: '5',
type: 'newEdit',
createdAt: '2016-06-21 18:41:59',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '2651',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '12480',
pageId: 'proof_by_contradiction',
userId: 'EricRogstad',
edit: '4',
type: 'newEdit',
createdAt: '2016-06-12 01:10:11',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '2650',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '12479',
pageId: 'proof_by_contradiction',
userId: 'EricRogstad',
edit: '3',
type: 'newEdit',
createdAt: '2016-06-12 01:07:17',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '2648',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '12477',
pageId: 'proof_by_contradiction',
userId: 'EricRogstad',
edit: '1',
type: 'newParent',
createdAt: '2016-06-12 00:44:28',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12475',
pageId: 'proof_by_contradiction',
userId: 'JaimeSevillaMolina',
edit: '0',
type: 'newAlias',
createdAt: '2016-06-12 00:36:55',
auxPageId: '',
oldSettingsValue: '46z',
newSettingsValue: 'proof_by_contradiction'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12473',
pageId: 'proof_by_contradiction',
userId: 'JaimeSevillaMolina',
edit: '1',
type: 'newTeacher',
createdAt: '2016-06-12 00:35:59',
auxPageId: 'proof_by_contradiction',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12474',
pageId: 'proof_by_contradiction',
userId: 'JaimeSevillaMolina',
edit: '1',
type: 'newSubject',
createdAt: '2016-06-12 00:35:59',
auxPageId: 'proof_by_contradiction',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12472',
pageId: 'proof_by_contradiction',
userId: 'JaimeSevillaMolina',
edit: '1',
type: 'newTag',
createdAt: '2016-06-12 00:35:45',
auxPageId: 'math0',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12470',
pageId: 'proof_by_contradiction',
userId: 'JaimeSevillaMolina',
edit: '1',
type: 'newEdit',
createdAt: '2016-06-12 00:34:03',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}