A constructive proof is the *most basic* kind of proof there is. It is a proof that starts with a *hypothesis*, and a person uses a series of logical steps and a list of axioms, to arrive at a *conclusion*.

## Parts of a theoremEdit

A theorem is a *proven statement* that was constructed using previously proven statements, such as theorems, or constructed using *axioms*. Some theorems are very complicated and involved, so we will discuss their different parts.

### HypothesisEdit

The hypothesis is the "if" statement of a theorem. In a way, it is similar to an axiom because it is assumed to be true in order to prove a theorem. We will consider a simple example.

**Theorem 2.1.1.***If A and B are sets such that and , then A=B.*

In this theorem, the hypothesis is everything before the word "then." This is a very simple proof. We need to prove that for every *x*, . For the purpose of analyzing proofs, we will define and . The most common way to prove an "if and only if" statement is to *prove necessity and sufficiency separately*

- So we start by showing that Therefore, we assume that
*P(x)*is true. That is, Since we assumed,*by hypothesis*, that , we know that , which means that*Q(x)*is true.

- Now we show that , so we assume that
*Q(x)*is true. This means that . Since we know that we know that so*P(x)*is true.

By these two conclusions, we see that

Now, by axiom 3, *A=B*, since This concludes the proof. This is a very trivial proof, but its point was to show how to use a hypothesis or set of hypotheses in order to reach the desired conclusion. This method here is the most common in proving that two sets are equal. *You prove that each set is a subset of the other.*

### ConclusionEdit

The part of the theorem after the word "then" is called the conclusion. The proof of a theorem is merely the logical connection between the hypothesis and the conclusion. Once you've seen and proved a few theorems, a conclusion is almost predictable. For example, what conclusion would you naturally draw from the following two statements?

- All Americans are people.
- All people live on Earth.

These two statements are the hypotheses. To word this as a theorem, we would have "If all Americans are people and all people live on Earth, then all Americans live on Earth." This statement is what most people would call completely obvious and requires no proof. However, to show how this concept is applied in mathematics, we will abstract this theorem and prove it.

**Theorem 2.1.2.***If and , then .*

To see how this relates to our problem, let *A* be the set of all Americans, *B* the set of all people, and *C* the set of all things that live on Earth.

To show that , we need to show that So we suppose By hypothesis, so Also by hypothesis, , so Since this was true for any arbitrary we have shown that

### DefinitionEdit

While a definition is not usually part of a theorem, they are commonly introduced immediately before a theorem, in order to make the theorem make sense or to help in proving it.

**Definition 2.1.3.**If a set*A*has only finitely many elements, then the*order*of*A*, denoted by |*A*|, is the number of elements in*A*.

This definition gives meaning to the following theorem.

**Theorem 2.1.4.***If A and B are finite sets such that A = B, then |A|=|B|.*

Here we take advantage of the fact that *A* is a finite set. Let *n* be the integer such that *|A| = n*. Then index the elements of *A* so that Now , we have . So we see that *B* has at least *n* elements, that is Also, every element of *B* is in *A* (by hypothesis), so it follows that there are no more elements in *B* than there are in *A*, so , thus *|B| = n = |A|*, which concludes the proof.

## Pseudo TheoremsEdit

There are different terms that mathematicians like to use in stating mathematical results. *Theorem* is probably the most common and well-known, especially to non-mathematicians. There are, however, a couple other main terms used in the mathematical world. For lack of a better term, I have lumped them together in the category of "pseudo-theorems", since they are like theorems, but are different.

### LemmaEdit

A *lemma* is a "small theorem." When a result is less profound, more trivial, or boring, it can be called a lemma. A lemma is also used to make the proof of a theorem shorter. That is, if a chunk of a proof can be pulled off and proved separately, then it is called a lemma and the proof of the theorem will say something to the effect of "as proved in the lemma."

For example, the following lemma will help to make the proof of Theorem 2.1.4 more concise.

**Lemma 2.1.5.***If A and B are finite sets and then .*

As you might guess, this is one motivation for the use of the symbol , since it is similar in appearance to <.

Let *n = |A|.* Then number the elements of *A*, so Then for each *i* from 1 to *n* we see that , which means that *B* has at least *n* different elements, or that which is what we were trying to prove.

Now if we use this lemma twice on Theorem 2.1.4, we will get a very brief proof. Since we know that Also, since , we see that Now we use a fact about numbers, that if and , it must follow that *x = y*.

### CorollaryEdit

A *corollary* is similar to a lemma in that it is usually a small and not as important as a theorem. However, a corollary is usually a result that follows almost immediately from a theorem.

Assume that we had proved the theorem that "All people are pigs." Then a corollary would be "People who have two legs are pigs." which clearly follows from the first result. A slightly more interesting corollary would be "People can be sold for bacon when they die." since it is common knowledge that bacon comes from pigs.

So we see that a corollary is something that follows from a preceding theorem with minimal argument to support it. It is either "common sense" or "obvious" to the reader that it is a direct consequence of the theorem.

## ExercisesEdit

- Prove that the following sets are equal. Verify it with a truth table or a Venn Diagram. You may assume that
*A*,*B*, and*C*are nonempty sets. Also assume that*U*is the universe. - Prove that if
*A*and*B*are finite sets then and that equality holds when

### Something to think aboutEdit

- We have defined the
*order*or size of a set for a finite set. Would it make sense to define this order for an infinite set? How would you tell whether two infinite sets are the same size? - If you know that can you show that