# CSCI 2824: Lecture Notes # 6

In these notes, we are going to

1. Provide proofs of various propositions

2. Ask you to fix some of our proofs.

3. Practice proving theorems by expressing your argument in a succinct and logically consistent form.

## Basic Proof Strategies

How to prove a theorem of course depends on what you are asked to prove. We will give you some templates for how a proof must proceed. Of course this works only for simple theorems. For complex theorems, the idea is to decompose into simpler claims. Proving the simpler claims, we build upon them to prove more complex claims and so on.

We will restrict ourselves to facts about numbers for now.

## Universal Statements

For every number , some fact holds over :

Proofs of Universal Statements

Universal statements are proved as follows:

• Assume an arbitrary number .

• Prove that will hold usually by doing some algebra.

Let us now look at an example.

#### Example #1

Theorem For every natural number , the number is an odd number.

Proof
• Let be any given number and let .

• We are asked to show that is odd.

• We will show therefore, that leaves a remainder of when divided by .

QED.

## Universal Statements With Implication

We now look at a special form of universal statements of the form:

Universal Statement With Implication

.

Following the general rule for universal statements, we write a proof as follows:

• Let be any given number in .

• There are two cases does not hold or holds.

• In case does not hold, the implication trivially holds.

• In case holds, we will now prove .

• Typically, some algebra here to show that .

We can use a simple short-cut that avoids unnecessary language in such proofs.

1. Let be any given number in such that holds.

2. We will show that under these assumptions holds.

• Typically, some algebra to show that holds.

### Example #1

Theorem If is an even number and then is composite.

Proof

Here are our reasoning steps:

• Assume a given number such that is even and .

• From this assumption, we can write wherein .

• has two non-trivial factors and .

• is therefore composite. QED.

### Example #2

Theorem For every natural number , If then cannot be prime.

Proof

Here are the steps of our reasoning.

• Assume a given number such that .

• We will now show that is a composite number.

• By elementary algebra, we see that .

• We note that can be written as the product of two numbers.

• It remains to show that the factors of are not trivial. That is, ( and therefore ).

• Since , . Therefore .

• We have just shown that and both is greater than . Therefore is composite. QED.

## Existential Statements

We will mention existential statements. They are rarer but interesting.

Simple existential statements assert that a number with some property exists.

.

To prove an existential statement, we just give an example.

### Example

Theorem There exist two prime numbers whose sum is also a prime number.

Proof

and serve as examples to our theorem.

### Diversion: Constructive Proofs

Existential statements can be proved in another way without producing an example. Typically this involves a proof by contradiction (we will study these types of proofs soon). Such proofs are called non-constructive proofs.

Theorem There exist two irrational numbers and such that is rational.

Proof

We will show that such numbers exist without giving you a concrete example.

Consider the number and .

Therefore is rational. We know that is irrational.

There are two cases:

1. is irrational. In that case, we are done since are both irrational and is rational.

2. is rational.

1. In that case, is rational.

2. But is irrational itself.

3. So in this case, we have are irrational and is rational by assumption.

As a result, there must exist two numbers such that is rational while themselves are irrational. ( Our argument just has not produced any concrete example to point to. :-) )

QED.

Discuss some of the philosophical implications of constructivism vs. non-constructivism

Needless to say we will leave non-constructive proofs to mathematicians and the debate to the philosophers for now. If you are interested, these ideas are usually covered in a philosophy of mathematics or a philosophy of science class.

## Flawed Mathematical Arguments

We will now see examples of flawed arguments that you need to watch out for when doing mathematics. Examples include

• Proving by example: Just present a few examples and note that an universal statement holds based on these.

• Assuming some fact in the proof that does not follow from the premise.

• Proving by intuition: Appeal to your intuition usually by drawing a diagram.

• Statements that should never be present in a good proof:

• it is clear to me (proof by vision!! )

• it just feels right (the touchy-feely proof!! )

• intuitively,… (proof by intuition!! )

• my professor told us that,… (proof by authority!! )

• it is obvious,.. (unless it truly truly truly is rather obvious as 1+1 = 2 !!).

• Proving the wrong statement.

• Proof of the converse (instead of proving , we prove ).

• Proof of something unrelated.

• Not proving the statement for all the cases.

• Missing out on some corner cases.

• Proof only applies to even but not to odd.

### Example# 1

Claim: For , If is even is prime. I.e, .

Proof Attempt # 1

Let us test for , we have is 5. Works. It also works for since is prime and since is prime. Therefore, is prime if is prime.

Let us attempt one more proof of this:

Proof Attempt # 2

Assume is prime. We will prove that must be even.

• Since is prime, and , must necessarily be odd.

• Since is odd, it must be the case that is even.

• If is even, we have proved previously that is also even.

• Therefore, is even. QED??

Are there any flaws in either of these proofs? Do they convince you of the truth of our “claim”?

The claim is false in the first place because it fails for , wherein .

The first proof attempt is a proof by example which is generally invalid for universally quantified statements.

The second proof attempt actually sets out to prove the converse. Instead of proving is prime, it assumes this and tries to prove, instead, that is even.

### Example #2

Claim If two numbers and are odd, then is even.

Exercise: Write this down in logical notation.

Let us look at a proof:

Attempted Proof

Proof Here are our reasoning steps:

1. Since is odd, it can be written as for some .

2. Since is odd, it can be written as too for some .

3. Therefore .

4. But is an even number.

5. Therefore, is even. QED.

Is there anything wrong with the proof above?

Now let us look at a related claim:

Claim-2 If two numbers and are odd, then .

Is this a true statement?

Proof

Here are our reasoning steps:

1. Since is odd, it can be written as for some .

2. Since is odd, it can be written as too.

3. Therefore .

4. .

5. Therefore, . QED.

Can you correct the demonstrations above? What went wrong.

The problem was in assuming that for some . By saying that , for some and for some , there is a flawed assumption that , which was never warranted.

Therefore, we are able to “prove” Claim-2, which is clearly false. For example, and yields us and .

Claim-1 is correct and the corrected proof is as follows:

Claim-1 If two numbers and are odd, then is even.

Corect Proof

Proof Here are our reasoning steps:

1. Since is odd, it can be written as for some .

2. Since is odd, it can be written as too for some .

3. Therefore .

4. But is an even number.

5. Therefore, is even. QED.

### Example #3

Claim If is natural number then is a composite number.

Proof

Proof: Let be a natural number.

1. We can write as a product of .

2. Therefore is a composite number. QED??

The claim is actually false. Take , we have , a prime number.

What went wrong in the proof? Well, we are correct in writing as but this does not immediately show that is composite. We have to convince ourselves that and . Recall:

Definition: Prime and Composite Numbers

A natural number is composite if it can be written as for natural numbers where cannot be or itself. In logic, we define a predicate as follows:

.

Likewise, natural number is prime if for some natural numbers , then or . In logic, we define a predicate for natural numbers, as follows:

An important exception involves the numbers . These are taken to be neither prime nor composite.

The proof above can only be correct when and .