This site is supported by donations to The OEIS Foundation.

Proofs

From OeisWiki
(Redirected from Existential proofs)
Jump to: navigation, search

This article needs more work.

Please help by expanding it!



A proof uses evidence (examples, counterexamples, exhaustion of cases) or logic (construction, direct proof, contradiction, induction) to conclusively demonstrate the validity of a previously conjectured mathematical statement (and is then called a theorem, lemma or corollary.) Having a proof is what sets theorems apart from axioms (or postulates) and conjectures.

Structure of a proof

At its most basic, a proof asserts the statement to be proved in as unambiguous a manner as possible, derives obvious consequences from the statement, and from the obvious consequences builds a chain of logical arguments until the statement emerges as a logical consequence of obvious details.

Most of the examples in this article will be drawn from number theory.

Theorem. The sum of any five consecutive integers is divisible by 5.

Proof. Given a set of five consecutive integers, there is a smallest integer and a largest integer. Let's call the smallest integer . The other integers then are , , and , and their sum is . Redistributing we obtain . Since 10 is a multiple of 5, we can go even further: . It doesn't matter if is divisible by 5 or not, because the sum of the five consecutive integers works out to that quantity multiplied by 5, and obviously that's divisible by 5 as specified by the theorem. □

The use of the end of proof mark (□) is widespread.

The Wiles proof of Fermat's conjecture (usually called Fermat's last theorem, because Fermat claimed to have a proof, which was never found) is a clear example that a short and/or simple statement can require a very long and/or sophisticated proof, perhaps spanning hundreds of logical steps across dozens of pages. In such cases, it is beneficial for the readers (and for the author) to break down the proof into smaller, not usually interesting on their own, preliminary statements (called lemmas) each with its own proof. Then the final proof, using those preliminary statements, becomes more manageable.

Consider a simple example.

Theorem. The sum of consecutive integers is divisible by if and only if is odd.

Lemma 1. Two consecutive integers are coprime. Given an integer and another integer , the equality holds.

We take it as axiomatic that 1 is not a prime number, mostly for convenience. The preceding lemma and the following proof would be needlessly convoluted otherwise, with verbiage such as "apart from 1."

Proof. Because and are consecutive, this means that . Suppose that and share a prime factor Therefore , with . Even if , that would still mean , contradicting , a consequence of and being consecutive. Therefore, and share no prime factors.

Lemma 2. The sum of two consecutive integers is odd and not divisible by 2.

Proof. Given two consecutive integers, one is odd, the other is even. Let's call the even integer . The other is either or , and their sum is either or . Obviously is even, it has 2 as a prime factor at least twice. With either or , makes a pair of consecutive integers. Per Lemma 1, they are coprime, they can't both have 2 as a shared prime factor. Therefore both and are odd, and since they represent the sum of two consecutive integers, that means such a sum is odd.

Lemma 3. The sum of consecutive integers is divisible by when is odd.

Proof. Given a set of consecutive integers, there is a smallest integer and a largest integer. Let's call the smallest integer . The other integers then are , and their sum is . Redistributing we obtain . Forgetting about for the moment, notice that our addends include 1 and , and that . Since is odd, is even (this follows from Lemma 1), and therefore we can pair up addends from to to obtain . Remembering , our sum is thus , which we can further rewrite as . It doesn't matter if is divisible by or not, because the sum of the consecutive integers works out to that quantity multiplied by , and obviously that's divisible by as specified by the theorem.

Lemma 4. The sum of consecutive integers is not divisible by when is a singly even number.

See A016825 for the definition of singly even numbers.

Proof. Since is singly even, that means is odd. Therefore, we can divide the run of consecutive integers into pairs of consecutive integers. Per Lemma 2, each pair adds up to an odd number. Our intermediate addends are therefore an odd amount of odd numbers, so the overall sum is then also odd.

Now we are ready to prove the theorem, that the sum of consecutive integers is divisible by if and only if is odd.

Proof. The case of odd has already been proved by Lemma 3. Lemma 3 would be enough to prove the theorem except that the theorem says "if and only if" as opposed to "when" in the lemma. This means that not only do we have to prove divisibility occurs when is odd, we also have to prove that it does not occur when is even. However, Lemma 3 does light the way. If is doubly even, or divisible by even larger powers of 2, we can still rewrite the sum of consecutive integers as . But when we match up the addends after to obtain more instances of , we find that since is even, is odd and therefore when we get to , we have an addend left out, namely . Since is at least doubly even, must also be even. But is not divisible by , though it is divisible by . This means that if with and some odd positive number, then the sum of consecutive integers is divisible by but not and therefore not . The singly even numbers were taken care of by Lemma 4, and just now we have addressed the other even numbers, thus completing the proof of the theorem.

The above proof could be abbreviated, but that was not the purpose of the demonstration.

Kinds of proof

Implication proofs

Statement implies statement .

Equivalence proofs

Statement if and only if statement . (Statement implies statement , statement implies statement .)

Usually done in two parts.

Existential proofs

Cf. existential quantifier .

There exists in set s.t. statement is true.

There exists in set s.t. statement is false.

Uniqueness proofs

Cf. uniqueness quantifier .

There exists one and only one in set s.t. statement is true.

There exists one and only one in set s.t. statement is false.

Universal proofs

Cf. universal quantifier .

For all in set , statement is true.

Non existence proofs

For all in set , statement is false.

Methods of proof

There are many different ways of proving some things, but these boil down to a few common methods.

Proof by example

A proof by example may be used for existential conjectures.

Proof by example is the simplest, most straightforward and most convincing method of proof. It is also the most limited: not only must an example exist, it must be accessible to the author. Also, the example might prompt more questions than answers.

For example, to prove that there exist numbers such that , all we have to do is give one example of perfect numbers, like 28. This doesn't answer questions like: How do we find other perfect numbers? Are there squarefree perfect numbers? 6 might be the only one. Are there odd perfect numbers?

Disproof by counterexample

A disproof by counterexample may be used to disprove a universal conjecture.

For example, someone asserts that "for prime, is always a prime number." It suffices to give a counterexample like 2047 or 8388607 (these correspond to and 23 respectively, see A065341 for more counterexamples).

Proof by exhaustion

A proof by exhaustion may only be used when the number of cases to investigate is finite (and small enough). It can be used for universal conjectures (all cases are true, or all cases are false in the case of nonexistence conjectures.)

Proof by construction

In a constructive proof the reader is asked to construct a certain object within certain parameters, but also allowed to choose some parameters. The reader should be convinced by the proof because the author could not realistically foresee how the "free" parameters would be chosen by readers.

Proof by construction is quite common in geometry. For example, to prove that it is possible to circumscribe a square using only straightedge and compass, we could ask the reader to draw a square of whatever size they want. Then we provide instructions on how to use the straightedge and the compass to construct the specified circle.

Theorem. A square can be circumscribed using only straightedge and compass.

Circumscribed Square Diagram 1.png Circumscribed Square Diagram 2.png Circumscribed Square Diagram 3.png
Proof. Step 1. Draw a square of any size you wish. Step 2. Draw a diagonal from the northeast to the southwest corner, and another diagonal from the southeast to the northwest corner. Step 3. Where the diagonals meet, center your compass. The other end of the compass can go on any corner of the square. □

Proof by deduction

Proof by deduction (deductive proof) is also called direct proof. A deductive proof uses a logic chain from accepted axioms and/or theorems whose conclusion is the theorem which we aimed to prove.

Theorem. All positive multiples of abundant numbers are also abundant. Given a positive abundant number , this means that with being any positive integer whatsoever, the number is also abundant.

For example, 12 is abundant. By the theorem, so are its multiples: 24, 36, 48, 60, 72, 84, etc. (see A008594).

Proof. Let's label the divisors of thus: . Assign . Since is said to be abundant, this means that . We don't know what 's divisors are, much less which divisors it has in common with . But we can still deduce at least some of 's divisors: . Ignoring itself, these listed divisors must add up to , since each addend that gave us has now been multiplied by . Recall that . Multiplying both sides of that inequality by , we get , meaning that is abundant as the theorem stated. □

This example proof also demonstrates it is not always necessary to account for everything. Assuming , we could have included both and as distinct divisors of . And if , we could have deduced even more divisors. Regardless, the proof actually ignored 1 as a divisor of . Once it was demonstrated that , it was unnecessary to go further and obtain the actual value of . (Of course if the proof was part of a larger paper or book, it would eventually be necessary to delve into the consequences of different values for ).

Proof by contradiction

Proof by contradiction starts by assuming that the the statement to be proved is actually false. Consequences are drawn from the falsehood of the statement, and then a chain of logical arguments is followed until a contradiction is reached. Since the falsehood of the statement produces a contradiction, this proves the statement must in fact be true (by the law of excluded middle.)

For example, to prove that there is no largest prime (that there are infinitely many primes), assume that there is in fact a largest prime. Using this assumption, a prime number greater than the largest prime can be found, contradicting the initial assumption that there is a largest prime.

Or, to prove that a certain number is irrational, we could assume that it is in fact a rational number and that there exist integers and such that . We then perform certain operations on until obtaining a contradiction. This method can work with certain algebraic numbers but might prove elusive with potentially transcendental numbers.

Some living mathematicians even take offense at the idea that a certain dead mathematician's proof is a proof by contradiction and study the original text of the proof to demonstrate that it is not a proof by contradiction.

Others will construct faulty proofs by contradiction to prove their point. A valid proof by contradiction has only one flawed assumption: the initial assumption that the statement to be proved is false. A proof by contradiction deliberately contrived to be faulty will usually have two flawed assumptions: the initial assumption and a hidden assumption that there are only two possible states for a given thing, when in fact there are many more possible states.

Proof by induction

Another way to prove a fact about every element in an infinite well-ordered set is to prove it first about the first element, then prove that if it's true for one element, it is true for the next element in the set. Since it's true for the first element in the set, it's also true for the second element, and since it's true for the second element, it's also true for the third element, etc.

In number theory, this generally means proving something is true for and then that if it's true for it's also true for . The truth of the statement for all positive integers thereby follows.

EXAMPLE WILL BE ADDED ANOTHER DAY

Conditional proofs

A conditional proof is a would-be proof, which depends on a not yet proved conjecture, but which is strongly believed to be true, and is thus taken as a hypothesis.

The most famous unproved conjecture, the Riemann Hypothesis, is assumed in many conditional proofs in analytic number theory. Proving the Riemann Hypothesis would cascade through all the conditional proofs depending on its truth, making them all proofs. But disproving the Riemann Hypothesis would transform those conditional proofs into trivial statements.

Faulty/fallacious proofs

A proof can be derailed by a flawed assumption at any step of the process. The first draft of the Wiles proof of Fermat's conjecture had a flaw at about the middle, and it took him a year to fix the problem.

Famous open problems draw lots of claimed proofs which are for the most part ignored by the mathematical establishment, with good reason most of the time. Squaring the circle, proving the non-existence of odd perfect numbers, etc., these have all had claimed proofs over the centuries. Scott Aaronson has identified ten signs a claimed proof is wrong:[1]

  1. The author doesn't use TeX.
  2. The author doesn't understand the question.
  3. The approach seems to yield something much stronger and probably false.
  4. The approach conflicts with an impossibility result the author ought to be aware of.
  5. The author uses weasel words near the end.
  6. The paper jumps into technicalities without presenting a new idea.
  7. The paper doesn't build on or refer to any previous work.
  8. The paper spends a lot of pages on expository material.
  9. The paper claims it will have practical consequences and deep philosophical implications.
  10. The technique seems too wimpy for the problem at hand.

In the days before TeX (or computers for that matter), the first sign would perhaps have been that the author doesn't use standard mathematical notation, probably inventing new symbols for things that already have well-known, agreed-upon notations. Not that any of this deters would-be circle-squarers.

But sometimes faulty proofs are deliberately so constructed for amusement and edification, or to make a point. Here is an amusing proof by deduction that 2 = 1:

"Theorem." The integers 1 and 2 are equal.

"Proof." Let's say . This means that , , , , . We rewrite as . Lastly, we divide both sides by , obtaining as specified by the "theorem." [2]

Can you spot the point at which this proof goes wrong?


Notes

  1. Scott Aaronson, Ten Signs a Claimed Mathematical Breakthrough is Wrong, Shtetl-Optimized.
  2. Anne Rooney, The Story of Mathematics. Arcturus (2009): p. 197