Structure of a Direct Proof

A direct proof is a type of proof that you are probably most familiar with. The basic structure of a direct proof is a single implication as follows: PQ where P and Q are the hypothesis and conclusion, respectively. For a direct proof, you want to assume P and through logic, prove that Q is also true. Starting with P, you form a series of implications that eventually ends up concluding that Q is true. Let’s walk through an example.

Examples

Theorem: Every odd integer is the difference of two perfect squares.

This is equivalent to saying:

(xZ)(x is oddabZ such that a2b2=x)

Proof: By definition, if we let c=2b+1 where b in an integer, then c must be odd. We want to prove that c can be made up of the difference between two perfect squares.

We note the following mathematical conclusion:

(b+1)2b2=b2+2b+1b2=2b+1=c

As you can see from our work above, we made a chain of implications, (if this, then that) statements to eventually conclude that c=2b+1 which is what we assumed at the beginning. This is the basis of a direct proof.

I don't claim to be perfect so if you find an error on this page, please send me an email preferably with a link to this page so that I know what I need to fix!