Direct Proof

Introduction

Direct proof is one of the most important ways to show that a mathematical statement is true. In IB Mathematics: Analysis and Approaches HL, students, you will often need to prove statements about numbers, sequences, algebraic expressions, and patterns using clear logical steps. A direct proof starts from known facts, definitions, and assumptions, then moves step by step to the conclusion we want to prove. It does not guess, and it does not rely on checking many examples only. Instead, it uses reasoning that is always valid ✅

The main objective of direct proof is to turn a statement like “for all integers $n$, a certain expression is even” into a chain of logical statements. If every step is true, then the conclusion must also be true. This skill connects strongly to Number and Algebra because proof often depends on properties of integers, divisibility, parity, sequences, and algebraic manipulation. For example, proving that the sum of two odd numbers is even uses the structure of integers and symbolic expressions.

By the end of this lesson, students, you should be able to explain what direct proof is, use it in standard IB-style problems, and understand how it supports reasoning across topics such as sequences, equations, and number systems.

What Direct Proof Means

A direct proof begins with the hypothesis, or given condition, and uses definitions, algebra, and known theorems to reach the conclusion. The structure is usually:

Assume the given statement is true.
Use definitions and algebraic rules.
Transform the expression carefully.
Arrive at the statement that must be proved.

A direct proof is often used for statements of the form “If $P$, then $Q$.” In logic, this is written as $P \rightarrow Q$. The proof shows that whenever $P$ is true, $Q$ must also be true.

For example, consider the statement:

“If $n$ is even, then $n^2$ is even.”

To prove this directly, we use the definition of an even integer. An integer $n$ is even if $n = 2k$ for some integer $k$. Then

$$n^2 = (2k)^2 = 4k^2 = 2(2k^2).$$

Since $2k^2$ is an integer, $n^2$ is of the form $2m$ for some integer $m$. Therefore, $n^2$ is even.

This proof works because it uses a definition and valid algebraic steps. No trial-and-error is needed.

Key Language and Terminology

To write a strong proof, students, you need to understand the vocabulary used in mathematics. Some important terms are:

Hypothesis: the starting condition, such as “$n$ is even.”
Conclusion: the statement that must be shown, such as “$n^2$ is even.”
Definition: the exact meaning of a mathematical idea, such as even, odd, prime, or divisible.
Integer: a whole number, positive, negative, or zero.
Divisible by: $a$ is divisible by $b$ if $a = bk$ for some integer $k$.
Therefore: a word used to signal that a logical conclusion has been reached.

These terms matter because proof is about precision. For example, saying “an even number is divisible by $2$” is a definition, while saying “$n$ is even, so $n = 2k$ for some integer $k$” is the algebraic form of that definition.

When writing proofs in IB Mathematics: Analysis and Approaches HL, it is important to use clear sentences and equations together. The reasoning should be easy to follow, but every step must be mathematically valid.

Example 1: Proving a Statement About Odd and Even Numbers

Let’s prove the statement:

“If $n$ is odd, then $n^2$ is odd.”

Start with the definition of an odd integer. If $n$ is odd, then $n = 2k + 1$ for some integer $k$.

Now square both sides:

$$n^2 = (2k + 1)^2 = 4k^2 + 4k + 1.$$

Factor the expression in a useful way:

$$n^2 = 2(2k^2 + 2k) + 1.$$

Since $2k^2 + 2k$ is an integer, let $m = 2k^2 + 2k$. Then

$$n^2 = 2m + 1,$$

which is the form of an odd integer. Therefore, $n^2$ is odd.

This proof is direct because it begins with the assumption that $n$ is odd and ends by showing the square is odd. It also shows how algebra and number properties work together. This type of proof is very common in Number and Algebra because parity, divisibility, and integer structure are foundational ideas.

Example 2: Proving Divisibility

Another common IB-style statement is:

“If $n$ is divisible by $3$, then $n^2$ is divisible by $9$.”

Assume $n$ is divisible by $3$. Then $n = 3k$ for some integer $k$.

Square both sides:

$$n^2 = (3k)^2 = 9k^2.$$

Since $k^2$ is an integer, $n^2$ has the form $9m$ for some integer $m$. Therefore, $n^2$ is divisible by $9$.

Notice how the proof depends on the definition of divisibility. The phrase “divisible by $9$” means exactly that the number can be written as $9m$ where $m$ is an integer. In direct proof, definitions are not optional; they are the engine of the argument ⚙️

This kind of reasoning is useful in sequences too. For example, if a sequence is defined by a formula involving multiples of $3$ or $9$, you may use direct proof to show certain terms have special properties.

Example 3: Direct Proof with Algebraic Expressions

Direct proof is not limited to integers. It also appears in algebraic statements such as inequalities. Consider this claim:

“If $x > 3$, then $(x-1)^2 > 4$.”

Start from the hypothesis $x > 3$. Subtract $1$ from both sides:

$$x - 1 > 2.$$

Since $x - 1 > 2$, squaring both sides preserves the inequality because both sides are positive:

$$(x - 1)^2 > 2^2 = 4.$$

So $(x - 1)^2 > 4$.

This is a direct proof because the conclusion follows from the assumption through legal operations on inequalities. In IB Math, you must always be careful about whether an operation keeps an inequality direction the same. For example, multiplying by a negative number reverses the inequality, so every step must be justified.

Direct proofs like this connect to symbolic manipulation, which is a major part of Number and Algebra. You are not just calculating; you are proving that a pattern is always true.

How Direct Proof Fits Into IB Mathematics: Analysis and Approaches HL

In IB Mathematics: Analysis and Approaches HL, direct proof supports several areas of the syllabus. It is especially useful when working with:

integers and divisibility
sequences and patterns
algebraic identities
inequalities
properties of functions and equations

For sequences, direct proof may be used to show that a formula produces terms with a certain property. For example, you might prove that a sequence term is always positive, always even, or always increasing. For algebraic structures, you may prove identities by expanding both sides and showing they are equal.

Direct proof also strengthens mathematical communication. In HL, students are expected to explain reasoning clearly, not just give answers. A proof must show the chain of logic, with no missing steps that would make the argument unclear.

Another reason direct proof matters is that it builds a foundation for more advanced proof methods, such as proof by contradiction or proof by induction. Even when those methods are used later, direct proof helps you understand how to structure a mathematical argument and how to use definitions precisely.

Common Features of a Strong Direct Proof

A strong direct proof usually has these features:

It states the hypothesis clearly.
It uses correct definitions, such as even, odd, prime, or divisible.
It shows each step logically.
It avoids unsupported claims.
It ends with a clear conclusion.

A good proof also uses notation carefully. For example, if you write $n = 2k$, you should say that $k$ is an integer. If you write $a \in \mathbb{Z}$, that means $a$ is an integer. Careful notation helps prevent confusion.

It is also important to avoid examples that are too specific. Showing that $n = 4$ works does not prove a statement for all even integers. Proof must cover every allowed case, not just a few examples. This is a major difference between testing a pattern and proving it.

Conclusion

Direct proof is a clear, logical way to show that a mathematical statement is true. In this lesson, students, you saw that it begins with a known condition and uses definitions, algebra, and reasoning to reach the conclusion. It is widely used in Number and Algebra because many statements about integers, divisibility, inequalities, and sequences can be proved this way.

The key idea is simple but powerful: if the hypothesis is true, and every step in the argument is valid, then the conclusion must be true. Direct proof helps you write mathematically precise arguments, understand patterns deeply, and build skills needed for more advanced proof methods later in IB Mathematics: Analysis and Approaches HL 📘

Study Notes

Direct proof shows that if $P$ is true, then $Q$ is true.
Start with the hypothesis and use definitions, algebra, and known facts.
Common definitions are essential, such as $n = 2k$ for even integers and $n = 2k + 1$ for odd integers.
Direct proof is often used for divisibility, parity, inequalities, sequences, and identities.
A proof must be general, not based only on examples.
Every step should be logically justified and clearly written.
Direct proof is a key part of Number and Algebra and supports later proof methods such as contradiction and induction.