0.3: Proof Do's and Dont's
( \newcommand{\kernel}{\mathrm{null}\,}\)
Do's:
- Write the statement to be proved. It should be clear what you are proving.
- Clearly mark the beginning of your proof with the word "Proof".
- Make your proof self-contained. In particular, identify all variables used in your proof in the body of your proof.
- Write proof in complete English sentences.
Example 0.3.1: Acceptable
Proof: Let n∈Z. Assume n is an even integer. Then n=2k, for some k∈Z.
Example 0.3.2: Unacceptable
Proof: n is even ⟹ 2k.
5. Indicate what method of proof you are using. (The default assumption is that it is a direct proof).
6. Learn the definitions and how they come into play when proving various types of statements.
Don'ts:
- Argue from examples. A general statement can't be proved true by showing it is true for special cases.
- Use the same letter to mean two different things within a proof.
Example 0.3.3:
Proof: Let n∈Z. Assume n is an even integer. Then n=2k, for some k∈Z. So n2=4K2=2(2k2). Thus n2=2k,k∈Z is even. (The reader asks, does n=n2?)
3. Assume what you are trying to prove. This is also known as begging the question. You can do it inadvertently in the middle of proof if you are not careful.