# Proof

A **proof** is a concept commonly used in the treatment of mathematics, philosophy and taxidermy. One can measure the proof by taking twice the concentration of alcohol by volume at 15.5 degrees celsius.

Please note that as Proof has been shot dead, all information below has been rendered obsolete.

## Methods of proof[edit]

There are several methods of proof which are commonly used:

## Contents

- 1 Methods of proof
- 1.1 Proof by Revenge
- 1.2 Proof by Adding a Constant
- 1.3 Proof by Multiplicative Identity Additive Identity
- 1.4 Proof by Altering (or Destroying) the Original Premise (or Evidence)
- 1.5 Proof by Analogy
- 1.6 Proof by Anti-proof
- 1.7 Proof by August
- 1.8 Proof by Assumption
- 1.9 Proof by Axiom
- 1.10 Proof by Bathing
- 1.11 Proof by Bijection
- 1.12 Proof by B.O.
- 1.13 Proof by Calling the Other Guy an Idiot
- 1.14 Proof by Arbitration
- 1.15 Proof by Faulty Logic
- 1.16 Proof by Canada
- 1.17 Proof by Cantona
- 1.18 Proof by Cases
- 1.19 Proof by Chocolate
- 1.20 Proof by Complexity
- 1.21 Proof by (a Broad) Consensus
- 1.22 Proof by Contradiction (reductio ad absurdum)
- 1.23 Proof by Coolness (ad coolidum)
- 1.24 Proof by Cumbersome Notation
- 1.25 Proof by Default
- 1.26 Proof by Definition
- 1.27 Proof by Delegation
- 1.28 Proof by Dessert
- 1.29 Proof by Diagram
- 1.30 Proof by Disability
- 1.31 Proof by Disgust
- 1.32 Proof by Dissent
- 1.33 Proof by Distraction
- 1.34 Proof by Elephant
- 1.35 Proof by Engineer's Induction
- 1.36 Proof by Exhaustion
- 1.37 Proof by Eyeballing
- 1.38 Proof by Flutterby Effect
- 1.39 Proof by Gun
- 1.40 Proof by Global Warming
- 1.41 Proof by Grapes
- 1.42 Proof by Hats
- 1.43 Proof by Hitler Analogy
- 1.44 Simple Proof by Hubris
- 1.45 Proof by Hypnosis
- 1.46 Proof by Imitation
- 1.47 Proof by Immediate Danger
- 1.48 Proof by Impartiality
- 1.49 Proof by Induction
- 1.50 Proof by Intimidation
- 1.51 Proof by Irrelevant References
- 1.52 Proof by Jack Bauer
- 1.53 Proof by Lecturer
- 1.54 Proof by Liar
- 1.55 Proof by Kim G. S. Øyhus' Inference
- 1.56 Proof by LSD
- 1.57 Proof by Margin Too Small
- 1.58 Proof by Mathematical Interpretive Dance
- 1.59 Proof by Misunderstanding
- 1.60 Proof by Mockery
- 1.61 Proof by Narcotics Abuse
- 1.62 Proof by Obama
- 1.63 Proof by Obfuscation
- 1.64 Proof by Omission
- 1.65 Proof by Ostention
- 1.66 Proof by Outside the Scope
- 1.67 Proof by Overwhelming Errors
- 1.68 Proof by Ødemarksism
- 1.69 Proof by Penis Size
- 1.70 Proof by Pornography
- 1.71 Proof by Process of Elimination
- 1.72 Proof by Promiscuity
- 1.73 Proof by Proving
- 1.74 Proof by Question
- 1.75 Proof by Realization
- 1.76 Proof by Reduction
- 1.77 Proof by Reduction to the Wrong Problem
- 1.78 Proof by Rendering
- 1.79 Proof by Repetition
- 1.80 Proof by Restriction
- 1.81 Proof by the Rovdistic Principle
- 1.82 Proof by Russian Reversal
- 1.83 Proof by Self-evidence
- 1.84 Proof by Semantics
- 1.85 Proof by Semitics
- 1.86 Proof by Staring
- 1.87 Proof by Substitution
- 1.88 Proof by Superior IQ
- 1.89 Proof by Surprise
- 1.90 Proof by Tarantino
- 1.91 Proof by Tension
- 1.92 Proof by TeX
- 1.93 Proof by Training
- 1.94 Proof by Triviality
- 1.95 Proof by Uncyclopedia
- 1.96 Proof by Volume
- 1.97 Proof by War
- 1.98 Proof by Wolfram Alpha
- 1.99 Proof by Wikipedia
- 1.100 Proof by Yoda
- 1.101 Proof by Your Mom
- 1.102 Proof by Actually Trying and Doing It the Honest W– *gunshot*
- 1.103 Proof by Reading the Symbols Carefully

- 2 The Ultimate Proof
- 3 Terminology
- 4 Safety
- 5 The Burden of Proof

### Proof by Revenge[edit]

"2+2=5" "no it doesn't" "REVENGE!"

### Proof by Adding a Constant[edit]

2 = 1 if we add a constant *C* such that 2 = 1 + *C*.

### Proof by ~~Multiplicative Identity~~ Additive Identity[edit]

Multiply both expressions by zero, e.g.,

- 1 = 2
- 1 × 0 = 2 × 0
- 0 = 0

Since the final statement is true, so is the first.

See also Proof by Pedantry.

### Proof by Altering (or Destroying) the Original Premise (or Evidence)[edit]

*A*= 1 and*B*= 1 and*A*+*B*= 3*[Long list of confusing statements]**[Somewhere down the line, stating B = 2 and covering up the previous definition]**[Long list of other statements]**A*+*B*= 3

Works best over long period of time.

### Proof by Analogy[edit]

Draw a poor analogy. Say you have two cows. But one is a bull. After the proper gestation period, 1 + 1 = 3.

### Proof by Anti-proof[edit]

If there is proof that has yet to be accounted for in your opponent's argument, then it is wholly discreditable and thus proof of your own concept. It also works if you claim to be unable to comprehend their proof. Example:

- I can't see how a flagellum can evolve by itself, therefore the theory of evolution is incorrect, therefore someone must have put them together, therefore
**convert now!**

Note: This generally works equally well in both directions:

- I can't see how someone could have put a flagellum together, therefore the theory of Creation is incorrect, therefore it must have evolved by itself, therefore
**Let's Party!**

### Proof by August[edit]

Since August is such a good time of year, no one will disagree with a proof published then, and therefore it is true. Of course, the converse is also true, i.e., January is crap, and all the logic in the world will not prove your statement then.

### Proof by Assumption[edit]

An offshoot of Proof by Induction, one may assume the result is true. Therefore, it is true.

### Proof by Axiom[edit]

Assert an axiom *A* such that the proposition *P* you are trying to prove is true. Thus, any statement *S* contradicting *P* is false, so *P* is true. Q.E.D.

### Proof by Bathing[edit]

Bathing proves bathing makes you clean. Isn't it weird that it's weird?

### Proof by Bijection[edit]

This is a method of proof made famous by P. T. Johnstone. Start with a completely irrelevant fact. Construct a bijection from the irrelevant fact to the thing you are trying to prove. Talk about rings for a few minutes, but make sure you keep their meaning a secret. When the audience are all confused, write Q.E.D. and call it trivial. Example:

- To prove the Chinese Remainder Theorem, observe that if
*p*divides*q*, we have a well-defined function.*Z*/*qZ*→*Z*/*qZ*is a bijection. Since*f*is a homomorphism of rings,*φ*(*mn*) =*φ*(*m*) ×*φ*(*n*) whenever (*n*,*m*) = 1. Using IEP on the hyperfield, there is a unique integer*x*, modulo*mn*, satifying*x*=*a*(mod*m*) and*x*=*b*(mod*n*). Thus, Q.E.D., and we can see it is trivial.

### Proof by B.O.[edit]

This method is a fruitful attack on a wide range of problems: don't have a shower for several weeks and play lots of sports.

### Proof by Calling the Other Guy an Idiot[edit]

"I used to respect his views, but by stating this opinion, he has now proven himself to be an idiot." Q.E.D.

### Proof by Arbitration[edit]

Often times in mathematics, it is useful to create abitrary "Where in the hell did that come from?" type theorems which are designed to make the reader become so confused that the proof passes as sound reasoning.

### Proof by Faulty Logic[edit]

Math professors and logicians sometimes rely on their own intuition to prove important mathematical theorems. The following is an especially important theorem which opened up the multi-disciplinary field of YouTube.

- Let
*k*and*l*be the two infinities: mainly, the negative infinity and the positive infinity. Then, there exists a real number*c*, such that*k*and*l*cease to exist. Such a*s*is zero. We conclude that the zero infinity exists and is in between the postive and negative infinities. This theorem opens up many important ideas. For example, primitive logic would dictate that the square root of infinity,*r*, is a number less than*r*.

"I proved, therefore I am proof." – Isaac Newton, 1678, American Idol.

### Proof by Canada[edit]

Like other proofs, but replace Q.E.D. with Z.E.D. Best when submitted with a bowl of Kraft Dinner.

### Proof by Cantona[edit]

Conduct the proof in a confident manner in which you are convinced in what you are saying is correct, but which is absolute bollocks – and try to involve seagulls in some way. Example:

- If sin
*x*<*x*… for all*x*> 0 … and when …*[pause to have a sip of water]*… the fisherman … throws sardines off the back of the trawler … and*x*> 0 … then … you can expect the seagulls to follow … and so sin*x*= 0 for all*x*.

### Proof by Cases[edit]

AN ARGUMENT MADE IN CAPITAL LETTERS IS CORRECT. THEREFORE, SIMPLY RESTATE THE PROPOSITION YOU ARE TRYING TO PROVE IN CAPITAL LETTERS, AND IT WILL BE CORRECT!!!!!1 (USE TYPOS AND EXCLAMATION MARKS FOR ESPECIALLY DIFFICULT PROOFS)

### Proof by Chocolate[edit]

By writing what seems to be an extensive proof and then smearing chocolate to stain the most crucial parts, the reader will assume that the proof is correct so as not to appear to be a fool.

### Proof by Complexity[edit]

Remember, something is not true when its proof has been verified, it is true as long as it has not been disproved. For this reason, the best strategy is to limit as much as possible the number of people with the needed competence to understand your proof.

Be sure to include very complex elements in your proof. Infinite numbers of dimensions, hypercomplex numbers, indeterminate forms, graphs, references to very old books/movies/bands that almost nobody knows, quantum physics, modal logic, and chess opening theory are to be included in the thesis. Make sentences in Latin, Ancient Greek, Sanskrit, Ithkuil, and invent languages.

Refer to the Cumbersome Notation to make it more complex.

Again, the goal: nobody must understand, and this way, nobody can disprove you.

### Proof by (a Broad) Consensus[edit]

If enough people believe something to be true, then it must be so. For even more emphatic proof, one can use the similar Proof by a Broad Consensus.

Either kind of proof can be combined with other types of proof (such as Proof by Repetition and Proof by Intimidation; e.g., "A Broad Consensus of Scientists …") when required.

### Proof by Contradiction (reductio ad absurdum)[edit]

Consider *p*.

- Assume the opposite: "not
*p*". - Bla, bla, bla …
- ???
- … which leads to "not
*p*" being false, which contradicts assumption (1). Whatever you say in (2) and (3), (4) will make*p*true.

Useful to support other proofs.

### Proof by Coolness (ad coolidum)[edit]

Let *C* be the coolness function

*C*(2 + 2 = 4) <*C*(2 + 2 = 5)- Therefore, 2 + 2 = 5

Variant:

Let _{A}*C*_{B} be *A* claims *B*.

_{X}*C*_{P}_{Y}*C*_{Q}*C*(*Y*) >*C*(*X*)- Therefore
*Q*unless there is*Z*,*C*(*Z*) >*C*(*Y*) and (_{Z}*C*_{¬Q})

However:

Let *H* be the previous demonstration, *N* nothingness, and *M* me.

_{M}*C*_{H}*C*(*M*) <*C*(*N*)- Therefore ¬
*H*

and all this is false since nothingness is cooler.

Re-however:

Let *J* be previous counter-argument and *K* be _{H}*V*_{J}.

- Substitude
*K*for*H*in*J* - Therefore ¬
*K* - ¬
*K*implies ¬*J*and ¬*H* - ¬
*J*implies*H* - Therefore
*H*and ¬*H* - Therefore non-contradiction is false
*ad coolidum* - Therefore
*C*(Aristotle) <*C*(*M*)

### Proof by Cumbersome Notation[edit]

Best done with access to at least four alphabets and special symbols. Matrices, Tensors, Lie algebra and the Kronecker-Weyl Theorem are also well-suited.

### Proof by Default[edit]

The proposition is true due to the lack of a counterexample. For when you know you are right and don't give a shit about what others may think of you.

### Proof by Definition[edit]

Define something as such that the problem falls into grade one math, e.g., "I am, therefore I am".

### Proof by Delegation[edit]

"The general result is left as an exercise to the reader."

### Proof by Dessert[edit]

The proof is in the pudding.

Philosophers consider this to be the tastiest possible proof.

### Proof by Diagram[edit]

Reducing problems to diagrams with lots of arrows. Particularly common in category theory.

### Proof by Disability[edit]

Proof conducted by the principle of not drawing attention to somebody's disability – like a speech impediment for oral proofs, or a severed tendon in the arm for written proofs.

### Proof by Disgust[edit]

State two alternatives and explain how one is disgusting. The other is therefore obviously right and true.

Examples:

- Do we come from God or from monkeys? Monkeys are disgusting. Ergo, God made Adam.
- Is euthanasia right or wrong? Dogs get euthanasia. Dogs smell and lick their butts. Ergo, euthanasia is wrong.
- Is cannibalism right or wrong?
*Eeew*, blood! Ergo, cannibalism is wrong.

### Proof by Dissent[edit]

If there is a consensus on a topic, and you disagree, then you are right because people are stupid. See global warming sceptics, creationist, tobacco companies, etc., for application of this proof.

### Proof by Distraction[edit]

Be sure to provide some distraction while you go on with your proof, e.g., some third-party announces, a fire alarm (a fake one would do, too) or the end of the universe. You could also exclaim, "Look! A distraction!", meanwhile pointing towards the nearest brick wall. Be sure to wipe the blackboard before the distraction is presumably over so you have the whole board for your final conclusion.

Don't be intimidated if the distraction takes longer than planned – simply head over to the next proof.

An example is given below.

- Look behind you!
- … and proves the existence of an answer for 2 + 2.
- Look! A three-headed monkey over there!
- … leaves 5 as the only result of 2 + 2.
- Therefore 2 + 2 = 5. Q.E.D.

This is related to the classic Proof by "Look, a naked woman!"

### Proof by Elephant[edit]

**Q:** For all rectangles, prove diagonals are bisectors.
**A:** None: there is an elephant in the way!

### Proof by Engineer's Induction[edit]

*See also: Proof by Induction.*

Suppose *P*(*n*) is a statement.

- Prove true for
*P*(1). - Prove true for
*P*(2). - Prove true for
*P*(3). - Therefore
*P*(*n*) is true for all**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n \in \mathbb{N}}**.

### Proof by Exhaustion[edit]

This method of proof requires all possible values of the expression to be evaluated and due to the infinite length of the proof, can be used to prove almost anything since the reader will either get bored whilst reading and skip to the conclusion or get hopelessly lost and thus convinced that the proof is concrete.

### Proof by Eyeballing[edit]

Quantities that look similar are indeed the same. Often drawing random pictures will aid with this process.

*Corollary:* If it looks like a duck and acts like a duck, then it must be a duck.

### Proof by Flutterby Effect[edit]

Proofs to the contrary that you can (and do) vigorously and emphatically ignore therefore you don't know about, don't exist. Ergo, they can't and don't apply.

*Corollary:* If it looks like a duck, acts like a duck and quacks like a duck, but I didn't see it (and hey, did you know my Mom ruptured my eardrums), then it's maybe … an aadvark?

### Proof by Gun[edit]

A special case of Proof by Intimidation: "I have a gun and you don't. I'm right, you're wrong. Repeat after me: Q.E.D."

### Proof by Global Warming[edit]

If it doesn't contribute to Global Warming, it is null and void.

### Proof by Grapes[edit]

Ever detected something invisible? Well shoot some grapes at it to prove it is real. Anyone who sees you (or a video of you) hitting the invisible thing with the grapes and still doesn't think its real is stupid.

### Proof by Hats[edit]

When arguing with someone whether something small (but not too small) exists, put it in a hat and take it out of it sometime to win the argument.

### Proof by Hitler Analogy[edit]

*See also: Proof by Intimidation, Usenet.*

The opposite of Proof by Wikipedia. If Hitler said,

- "I like cute kittens."

then – *automatically* – cute kittens are evil, and liking them proves that *you* caused everything that's wrong in the world for the last 50 years.

### Simple Proof by Hubris[edit]

I exist, therefore I am correct.

### Proof by Hypnosis[edit]

Try to relate your proof to simple harmonic motion in some way and then convince people to look at a swinging pendulum.

### Proof by Imitation[edit]

Make a ridiculous imitation of your opponent in a debate. Arguments cannot be seriously considered when the one who proposes them was laughed at a moment before.

Make sure to use puppets and high-pitched voices, and also have the puppet repeat "I am a *X*", replacing *X* with any minority that the audience might disregard: gay, lawyer, atheist, creationist, zoophile, paedophile … the choice is yours!

### Proof by Immediate Danger[edit]

Having a fluorescent green gas gently seep into the room through the air vents will probably be beneficial to your proof.

### Proof by Impartiality[edit]

If you, *Y*, disagree with *X* on issue *I*, you can invariably prove yourself right by the following procedure:

- Get on TV with
*X*. - Open with an
*ad hominem*attack on*X*and then follow up by saying that Bill Gates hates*X*for*X*'s position on*I*. - When
*X*attempts to talk, interrupt him very loudly, and turn down his microphone. - Remind your audience that you are impartial where
*I*is concerned, while*X*is an unwitting servant of Conspiracy*Z*, e.g., the Liberal Media, and that therefore*X*is wrong. Then also remind your audience that*I*is binary, and since your position on*I*is different from*X*'s, it must be right. - That sometimes fails to prove the result on the first attempt, but by repeatedly attacking figures
*X*_{1},*X*_{2}, …,*X*_{n}– and by proving furthermore (possibly using Proof by Engineer's Induction) that*X*_{n}is wrong implies*X*_{n+1}is wrong, and by demonstrating that you cannot be an*X*_{i}because your stance on*I*differs due to a change in position*i*, demonstrating that while the set of*X*_{i}'s is countable, the set containing you is uncountable by the diagonal argument, and from there one can apply Proof by Consensus, as your set is infinitely bigger – you can prove yourself right.

A noted master of the technique is Bill O'Reilly.

### Proof by Induction[edit]

Proof by Induction claims that

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{E} = -\frac{\mathrm{d}\Phi_B}{\mathrm{d}t}}**

where **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{E}}**
is the number of pages used to contain the proof and **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi_B}**
is the time required to prove something, relative to the trivial case.

For the common, but special case of generalising the proof,

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{E} = - N\frac{\mathrm{d}\Phi_B}{\mathrm{d}t}}**

where **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{E}}**
is the number of pages used to contain the proof, **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N}**
is the number of things which are being proved and **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi_B}**
is the time required to prove something, relative to the trivial case.

The actual method of constructing the proof is irrelevant.

### Proof by Intimidation[edit]

One of the principal methods used to prove mathematical statements. Remember, even if your achievements have nothing to do with the topic, you're still right. Also, if you spell even slightly better, make less typos, or use better grammar, you've got even more proof. The exact statement of proof by intimidation is given below.

Suppose a mathematician *F* is at a position *n* in the following hierarchy:

- Fields Medal winner
- Tenured Professor
- Non-tenured professor
- Post-doc
- Graduate Student
- Undergraduate Student

If a second mathematician *G* is at any position *p* such that *p* < *n*, then any statement *S* given to *F* by *G* is true.

This is a general offshoot of Liouville's Theorem, the proof of which is left to the reader (see Proof by Omission).

*Hint: Use the hyperensemble theory and the Slim Shady Algorithm.*

Alternatively: Theorem 3.6. All zeros of the Riemann Zeta function lie on the critical line (have a real component of 1/2).

Proof: "… trivial …"

### Proof by Irrelevant References[edit]

A proof that is backed up by citations that may or may not contain a proof of the assertion. This includes references to documents that don't exist. (Cf. Schott, Wiggenmeyer & Pratt, *Annals of Veterninary Medicine and Modern Domestic Plumbing*, vol. 164, Jul 1983.)

### Proof by Jack Bauer[edit]

If Jack Bauer says something is true, then it is. No ifs, ands, or buts about it. End of discussion.

This is why, for example, torture is good.

### Proof by Lecturer[edit]

It's true because my lecturer said it was true. QED.

### Proof by Liar[edit]

If liar say, that he is a liar, he lies, because liars always lie, so he is not liar.

Simple, ain't it?

### Proof by Kim G. S. Øyhus' Inference[edit]

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \leftarrow B}**and**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle !B}**.- Ergo,
**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P(A \mid {!B}) \leq P(A)}**. - Therefore I'm right and you're wrong.

### Proof by LSD[edit]

Wow! That is *sooo* real, man!

L.S.D.

### Proof by Margin Too Small[edit]

"I have discovered a truly marvelous proof of this, which this margin is too narrow to contain."

### Proof by Mathematical Interpretive Dance[edit]

An archaic form of Proof by Hand Waving, it is one of the most popular forms of proof in lectures and seminars in most universities today. See Mathematical Interpretive Dance.

### Proof by Misunderstanding[edit]

"2 is equal to 3 for sufficiently large values of 2."

### Proof by Mockery[edit]

Let the other state his claim in detail, wait he lists and explain all his argument and, at any time, explose in laughter and ask, "No, are you serious? That must be a joke. You can't *really* think that, do you?" Then you leave the debate in laughter and shout, "If you all want to listen to this parody of argument, I shan't prevent you!"

### Proof by Narcotics Abuse[edit]

Spike the drinks/food of all people attending with physcoaltering or hallucinogenic chemicals.

### Proof by Obama[edit]

Yes, we can.

### Proof by Obfuscation[edit]

A long, plotless sequence of true and/or meaningless syntactically related statements.

### Proof by Omission[edit]

Make it easier on yourself by leaving it up to the reader. After all, if you can figure it out, surely they can. Examples:

- The reader may easily supply the details.
- The other 253 cases are analogous.
- The proof is left as an exercise for the reader.
- The proof is left as an exercise for the marker (guaranteed to work in an exam).

### Proof by Ostention[edit]

Look:

- 2 + 2 = 5

Q.E.D.

### Proof by Outside the Scope[edit]

All the non-trivial parts of the proof are left out, stating that proving them is outside the scope of the book.

### Proof by Overwhelming Errors[edit]

A proof in which there are so many errors that the reader can't tell whether the conclusion is proved or not, and so is forced to accept the claims of the writer. Most elegant when the number of errors is even, thus leaving open the possibility that all the errors exactly cancel each other out.

### Proof by Ødemarksism[edit]

*See also: Proof by Consensus.*

- The majority thinks
*P*. - Therefore
*P*is true (and dissenters should be silenced in order to reduce conflict from diversity).

The silencing of dissenters can be made easier with convincing arguments.

### Proof by Penis Size[edit]

My dick's much bigger than yours, so I'm right.

Corollary: You don't have a penis, so I'm right.

### Proof by Pornography[edit]

Include pornographic pictures or videos in the proof – preferably playing a porno flick exactly to the side of where you are conducting the proof. Works best if you pretend to be oblivious to the porn yourself and act as if nothing is unusual.

### Proof by Process of Elimination[edit]

Therefore,

and

so 2 + 2 = 4

and

they say

God can make 2 + 2 = 5

so

God

is

fake.

Q.E.D.

### Proof by Promiscuity[edit]

I get laid much more than you, so I'm right.

### Proof by Proving[edit]

Well proven is the proof that all proofs need not be unproven in order to be proven to be proofs. But where is the real proof of this? A proof, after all, cannot be a good proof until it has been proven. Right?

### Proof by Question[edit]

If you are asking me to prove something, it must be true. So why bother asking?

### Proof by Realization[edit]

A form of proof where something is proved by realizing that is true. Therefore, the proof holds.

### Proof by Reduction[edit]

Show that the theorem you are attempting to prove is equivalent to the trivial problem of not getting laid. Particularly useful in axiomatic set theory.

### Proof by Reduction to the Wrong Problem[edit]

Why prove this theorem when you can show it's identical to some other, already proven problem? Plus a few additional steps, of course …

- Example: "To prove the four colour theorem, we reduce it to the halting problem."

### Proof by Rendering[edit]

If you want to prove a shape exists, then learn about geometry and computer graphics. Then, design that shape and you prove it exists.

### Proof by Repetition[edit]

AKA the Socratic method.

If you say something is true enough times, then it is true. Repeatedly asserting something to be true makes it so. To repeat many times and at length the veracity of a given proposition adds to the general conviction that such a proposition might come to be truthful. Also, if you say something is true enough times, then it is true. Let *n* be the times any given proposition *p* was stated, preferably in different forms and ways, but not necessarily so. Then it comes to pass that the higher *n* comes to be, the more truth-content *t* it possesses. Recency bias and fear of ostracism will make people believe almost anything that is said enough times. If something has been said to be true again and again, it must definitely be true, beyond any shadow of doubt. The very fact that something is stated endlessly is enough for any reasonable person to believe it. And, finally, if you say something is true enough times, then it is true. Q.E.D.

Exactly how many times one needs to repeat the statement for it to be true, is debated widely in academic circles. Generally, the point is reached when those around die through boredom.

- E.g., let
*A*=*B*. Since*A*=*B*, and*B*=*A*, and*A*=*B*, and*A*=*B*, and*A*=*B*, and*B*=*A*, and*A*=*B*, and*A*=*B*, then*A*=*B*.

### Proof by Restriction[edit]

If you prove your claim for one case, and make sure to restrict yourself to this one, you thus avoid any case that could compromise you. You can hope that people won't notice the omission.

Example: Prove the four-color theorem.

- Take a map of only one region. Only 1 color is needed to color it, and 1 ≤ 4.
*End of the proof.*

If someone questions the completeness of the proof, others methods of proofs can be used.

### Proof by the Rovdistic Principle[edit]

*See also: Proof by Belief.*

- I like to think that 2 + 2 = 5.
- Therefore, 2 + 2 = 5. Q.E.D.

### Proof by Russian Reversal[edit]

In Soviet Russia, proof gives *YOU*!

### Proof by Self-evidence[edit]

Claim something and tell how self-evident it is: you are right!

### Proof by Semantics[edit]

Proof by semantics is simple to perform and best demonstrated by example. Using this method, I will prove the famous Riemann Hypothesis as follows:

We seek to prove that the Riemann function defined off of the critical line has no non-trivial zeroes. It is known that all non-trivial zeroes lie in the region with 0 < Re(*z*) < 1, so we need not concern ourselves with numbers with negative real parts. The Riemann zeta function is defined for Re(*z*) > 1 by sum over *k* of 1/*k*^{z}, which can be written 1 + sum over *k* from 2 of 1/*k*^{z}.

Consider the group (*C*, +). There is a trivial action theta from this group to itself by addition. Hence, by applying theta and using the fact that it is trivial, we can conclude that sum (1/*k*^{z}) over *k* from 2 is the identity element 0. Hence, the Riemann zeta function for Re(*z*) > 0 is simply the constant function 1. This has an obvious analytic continuation to Re(*z*) > 0 minus the critical line, namely that zeta(*z*) = 1 for all *z* in the domain.

Hence, zeta(*z*) is not equal to zero anywhere with Re(*z*) > 0 and Re(*z*) not equal to 1/2. Q.E.D.

Observe how we used the power of the homonyms "trivial" meaning ease of proof and "trivial" as in "the trivial action" to produce a brief and elegant proof of a classical mathematical problem.

### Proof by Semitics[edit]

If it happened to the Jews and has been confirmed by the state of Israel, then it must be true.

### Proof by Staring[edit]

*x*^{2}− 1 = (x + 1)(x − 1)

This becomes obvious after you stare at it for a while and the symbols all blur together.

### Proof by Substitution[edit]

One may substitute any arbitrary value for any variable to prove something. Example:

- Assume that 2 =
*P*. - Substitute 3 for
*P*. - Therefore, 2 = 3. Q.E.D.

### Proof by Superior IQ[edit]

*See also: Proof by Intimidation.*

If your IQ is greater than that of the other person in the argument, you are right and what you say is proven.

### Proof by Surprise[edit]

The proof is accomplished by stating completely random and arbitrary facts that have nothing to do with the topic at hand, and then using these facts to mysteriously conclude the proof by appealing to the Axiom of Surprise. The most known user of this style of proof is Walter Rudin in *Principles of Mathematical Analysis*. To quote an example:

Theorem:IfFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p>0}andFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha}is real, thenFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim\limits_{n \to \infty}\frac{n^\alpha}{(1+p)^n}=0}.

Proof:LetFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k}be an integer such thatFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k>\alpha},Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k>0}. ForFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n>2k},Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (1+p)^n>{n \choose k}p^k = \frac{n(n-1)\cdots(n-k+1)}{k!}p^k > \frac{n^kp^k}{2^kk!}}. Hence,Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0 < \frac{n^\alpha}{(1+p)^n} < \frac{2^kk!}{p^k}n^{\alpha-k}}. SinceFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha-k < 0},Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n^{\alpha-k} \to 0}. Q.E.D.

Walter Rudin, *Principles of Mathematical Analysis*, 3rd Edition, p. 58, middle.

### Proof by Tarantino[edit]

Correctamundo!

### Proof by Tension[edit]

Try to up the tension in the room by throwing in phrases like "I found my wife cheating on me … with another woman", or "I wonder if anybody would care if I slit my wrists tomorrow". The more awkward the situation you can make, the better.

### Proof by TeX[edit]

The proof is typeset using TeX or LaTeX, preferably using one of the AMS or ACM stylesheets. When laid out so professionally, it can't possibly have any flaws.

### Proof by Training[edit]

Just train hard, do something hard, and prove it could be done.

### Proof by Triviality[edit]

The Proof of this theorem/result is obvious, and hence left as an exercise for the reader.

### Proof by Uncyclopedia[edit]

Uncyclopedia is the greatest storehouse of human knowledge that has ever existed. Therefore, citing any fact, quote or reference from Uncyclopedia will let your readers know that you are no intellectual lightweight. Because of Uncyclopedia's steadfast adherence to accuracy, any proof with an Uncyclopedia reference will defeat any and all detractors.

(Hint: In any proof, limit your use of Oscar Wilde quotes to a maximum of five.)

### Proof by Volume[edit]

If you shout something really, really loud often enough, it will be accepted as true.

Also, if the proof takes up several volumes, then any reader will get bored and go do something more fun, like math.

### Proof by War[edit]

My guns are much bigger than yours, therefore I'm right.

See also Proof by Penis Size.

### Proof by Wolfram Alpha[edit]

If Wolfram Alpha says it is true, then it is true.

### Proof by Wikipedia[edit]

If the Wikipedia website states that something is true, it must be true. Therefore, to use this proof method, simply edit Wikipedia so that it says whatever you are trying to prove is true, then cite Wikipedia for your proof.

### Proof by Yoda[edit]

If stated the proof by Yoda is, then true it must be.

### Proof by Your Mom[edit]

You don't believe me? Well, your mom believed me last night!

### Proof by Actually Trying and Doing It the Honest W– *gunshot*[edit]

Let this be a lesson to you do-gooders.

### Proof by Reading the Symbols Carefully[edit]

Proving the contrapositive theorem: Let (p→q), (¬q→¬p) be true statements. (p→q) if (and only if) (¬q→¬p).

The symbols → may also mean shooting and ¬ may also represent a gun. The symbols would then be read as this:

If statement p shoots statement q, then statement q possibly did not shoot statement p at all, because statement q is a n00b player for pointing the gun in the opposite direction of statement p.

Also, if statement q didn't shoot statement p on the right direction in time (due to n00biness), p would then shoot q.

Oh! I get it now. The power of symbol reading made the theorem sense. Therefore, the theorem is true.

## The Ultimate Proof[edit]

However, despite all of these methods of proof, there is only one way of ensuring not only that you are 100% correct, but 1000 million per cent correct, and that everyone, no matter how strong or how argumentative they may be, will invariably agree with you. That, my friends, is being a girl. "I'm a girl, so there", is *the* line that all men dread, and no reply has been discovered which doesn't result in a slap/dumping/strop being thrown/brick being thrown/death being caused. Guys, when approached by this such form of proof, must destroy all evidence of it and hide all elements of its existence.

## Terminology[edit]

Some other terms one may come across when working with proofs:

### Exhaustive Proof[edit]

A method of proof attempted at 3:00 A.M. the day a problem set is due, which generally seems to produce far better results at that time than when looked at in the light of day.

### Q.E.D.[edit]

Q.E.D. stands for "Quebec's Electrical Distributor", commonly known as Hydro Quebec. It is commonly used to indicate where the author has given up on the proof and moved onto the next problem.

Can be substituted for the phrase "So there, you bastard!" when you need the extra bit of proof.

## Safety[edit]

When handling or working with proofs, one should always wear protective gloves (preferably made of LaTeX).

## The Burden of Proof[edit]

In recent years, proofs have gotten extremely heavy (see *Proof by Volume*, second entry). As a result, in some circles, the process of providing actual proof has been replaced by a practice known as the Burden of Proof. A piece of luggage of some kind is placed in a clear area, weighted down with lead weights approximating the hypothetical weight of the proof in question. The person who was asked to provide proof is then asked to lift this so-called "burden of proof". If he cannot, then he loses his balance and the burden of proof falls on him, which means that he has made the fatal mistake of daring to mention God on an Internet message board.

**Glossary of mathematical terms**