# Mathematical reasoning

In this part of the course we work on the following skills:

- Understand the precise meanings of mathematical statements, form our own precise statements, find logic buried in confused statements and describe it in clear terms.
- Manipulate statements, such as finding contrapositives, inconsistencies, special cases or generalizations.
- Form chains of logical manipulations while identifying and fixing mistakes.
- Justify or find counterexamples to our own guesses.

This text is not a comprehensive overview, it is meant only as a reminder and light discussion of the key notions. In a sense logic is innate however our abilities working with logical reasoning can be improved and refined, it is a skill to be studied like any other.

See also the additional exercises associated to this part of the course.

## Models, logical consequences

We take the point of view that "doing science" involves developing well-defined models which describe physical phenomena (anything like the trajectory of a projectile, fluid mechanics, economics, etc.) whilst "doing mathematics" involves analysing the logical consequences of these models. The consequences understood by studying the model can then be used to further test the model or design applications which use these physical phenomena.

We need to be rigorous in our reasoning, otherwise, as we will see in some examples, the conclusions can be erroneous and the difficulties are often subtle.

### Curves of constant width

Shortly we will consider examples in calculus but it is worthwhile to consider a real world application of the rigour and reasoning we aspire to. Suppose we are organising the production facilities which manufacture a component that is round (maybe a rocket body, maybe a gas tube, etc.). As part of the production it is important to have a procedure which guarantees that the fabrication is done to the correct tolerance. The idea proposed is:

"We measure the width from all angles to confirm that the manufactured component is correct."

This is a two-dimensional problem in the sense we assume that the object is a closed curve in

Theorem

A circle has constant width.

However the converse is not true, indeed the following is true.

Theorem

There exist constant width curves which are not circles.

This can be proved by constructing many such curves, for example the Reuleaux triangle. Indeed there are such curves which look similar to regular polygons but still have constant width.

## Mathematical statements

Mathematical reasoning proceeds as a sequence of mathematical statements. Statements are true or false. E.g.,

is not a statement, this combination of symbols fails to have meaning. Similarly

is not a statement since division by zero is not defined. We say such are *ill-formed* or *ill-defined*. Statements may also contain words or consist entirely of words, e.g.,

There are infinitely many prime numbers

is a well-formed mathematical statement. Some statements, e.g.,

are true but are unlikely to be useful. On the other hand the statement

is false but could be useful (we could make this a precise statement describing how this is a true approximation).

We say that a combination of symbols such as,

is an *expression*, not a statement. This expression produces a value, it is not something that is true or false. As with expression, we must work with *well-defined* or *well-formed* expressions. In order to be mathematically rigorous, we must avoid *ill-defined* or *ill-formed* expressions, e.g.,

We often make statements out of expressions by using relations (e.g., *Compound statements* can be formed from other statements by using logical connectives (e.g., and, or, not, if, if and only if,...). We will often do this. E.g., the statement

if and only if

is formed by combining two statements. Note that this statement is well-formed and true (we can prove by calculation). However it is vacuous in the sense that the hypothesis is false.

Exercise

Identify the hypothesis and conclusion in the following statements.

- If
is a positive real number that satisfies , then . - If
is a real number, then either , . - If there exists a real number
such that , then any real number is either an integer or a multiple of . - The inverse of a irrational number is also irrational.
- For each
there exists such that .

### Negation

The negation of statements is often essential. Although a rather natural idea this can sometimes become confusing when combined with logical connectives and quantifiers.

Statement | Negation |
---|---|

Not | |

Not | |

If | |

For all | There exist |

There exists | For every |

Exercise

Think of day-to-day examples which illustrate the logic described in this table.

Exercise

Find the negation of the following statements

- Some prime numbers are odd.
- Nobody is lazy.
- Some horses are black.
- For every
, . - There exists
such that . - For each
there exists such that . - If
then implies that .

## Structure of proofs

Be they calculations or logical steps expressed in words, proofs must be a chain of rigorous steps. The correct conclusion without solid logic is not a proof. Typically there are many different ways to write a proof, often very different one to the other. Here we discuss a few possibilities and introduce some terminology so it is easier to discuss when we work with such.

### Calculation proofs

These are the classic school mathematics problems, often phrased as "evaluate..." or "calculate...". The proof in these cases is simply a chain of equalities to produce the final result. Since we already have seen so many of these we instead look at a couple of false proofs and practice our skill at searching for gaps and errors in proofs.

~~Theorem~~

~~Proof~~

- Since
we know that . - Which we rewrite as
. - Adding
on both sides, . - These are both perfect squares and so
. - Taking the square root of both sides,
. - And so
.

Exercise

In which step in the above argument is there an error?

### Proof by cases

A common scenario is when during a proof we must consider two cases depending on whether a certain quantity is zero or otherwise we can divide through by this quantity. Another example is:

Theorem

Suppose that

Proof

- If
is even, then is also even since the multiple of an even number is even. - If
is odd, then is even and so is even, again because the multiple of an even number is even. - Since
is an integer, is either even or odd so one of these two cases holds.

Observe that, in the proof, one of the first two statements is vacuous in the sense that only one can be true for a given

### Proof by contradiction

It is often convenient to prove a statement by supposing that the conclusion is false and showing this contradicts the hypothesis, this is called proof by contradiction. In the abstract, if

Archibald uses an umbrella whenever it rains. If we see Archibald isn't using an umbrella then we know that it is not raining.

Problem

Let

To prove this statement we can suppose, for the sake of contradiction, that

### Proof by induction

The principle of mathematical induction is often a powerful technique in proofs.

A statement which is amenable to proof by induction is the following.

for all natural numbers .

However, let's take this opportunity to discuss what to do when such statements come to us. In the high school world the is no doubt, we are required to follow a procedure that is clearly prescribed. However as grown up thinkers everything is more open and there are many "correct" solutions. Firstly we need to ask ourselves if the statement is true! In this case we try a few of the smaller natural numbers and we see that it does seem to be true. (If we thought it wasn't true then we would try to find counter examples to prove that it is false.) So now we need to write a proof of the statement. One way to think about this would be to consider the graph

The statement can also be proven by induction in a concise way. To a large degree, the choice of proof is aesthetic.

Again time to practice our skill at finding gaps in proofs.

~~Theorem~~

All sheep are the same colour.

~~Proof~~

We prove by induction that a group of

- The case
is immediate because a single sheep is the same colour as itself.

We will now assume that a group of

- Removing a single sheep gives a group of
sheep. Removing a different one gives another group of sheep. - Within each group all the sheep are the same colour.
- The two groups have
sheep in common so both groups are sheep of the same colour as each other and so all of them are the same colour.

Exercise

Where is the logical gap in the above argument?

## Quantifiers

Almost always, mathematical statements will involve quantifies. As we have already seen, various statements are stated "for all..." or perhaps "there exists... such that". This is a natural concept, like saying "every bird can fly" or "there exists a bird which can swim".

Exercise

What does each of the following statements mean, and which of them are true?

- For every positive number
, and every positive number , we have . - There exists a positive number
such that for every positive number , we have . - There exists a positive number
, and there exists a positive number , such that . - For every positive number
, there exists a positive number such that . - There exists a positive number
such that for every positive number , we have .

The following is more practice for us to understand the process of developing an understanding and proof of a statement.

Problem

Let

As before it is important for us to start by trying things, by guessing and then by adding rigour to the argument. If we didn't try anything until we were certain of the final answer then we would be severely limiting our potential.

## Optimality of statements

- Can we improve some given result?
- Can we show that the assumptions of a given statement are required?

Recall the following result from Mathematical Analysis 1.

Theorem

Let

Exercise

Could we improve the statement with a stronger conclusion? Could we improve the statement with a weaker hypothesis?

Observe that, if we modify the statement with a stronger conclusion or a weaker hypothesis then the new statement implies the original statement. It will often be of practical importance to improve theorems in this way or to show examples which demonstrate that all the hypothesis are required and that it is not possible to strengthen the conclusion. If a statement is an implication then if often makes sense to ask if it can be upgraded to an if-and-only-if statement. Again, if possible, this would produce a statement which implies the original one.

## Why study analysis?

Let's consider some examples which demonstrate some of the motives behind studying analysis (as opposed to calculus).

### Geometric series

The geometric series

and so

and so

### Interchanging sums

If we consider any matrix of numbers, for example,

we can sum first the rows

We would like to believe that also

We often want to swap the order of summing (or integrating) and often need to consider infinite sums (or integrals). When can we do this and can't we?

### Interchanging integrals

Let's try to integrate

Exercise

Calculate,

Does the order of integration matter?

### Interchanging limits

Similar to the question of exchanging integrals, we could exchange the order of limits. Is the following true?

Exercise

Calculate,

Does the order of taking limits matter? What does the graph of this function look like?

Under what circumstances is it legitimate to swap the order of integration or taking limits? We need to be rigorous in our logic otherwise, as we have seen in these examples, the conclusions can be erroneous and the difficulties are often subtle.

## Further reading

- Analysis I: Third Edition (Texts and Readings in Mathematics) (2016) by
*Terence Tao*(particularly §1.2 "Why Analysis?" and Appendix A "The basics of mathematical logic") - The mechanics of proof by
*Heather Macbeth* - How to Think Like a Mathematician: A Companion to Undergraduate Mathematics (2009) by
*Kevin Houston*