Perplex
Dashboard
Topics
Exponents & LogarithmsApproximations & ErrorSequences & SeriesCounting & BinomialsProof and ReasoningComplex NumbersAlgebra Skills
Cartesian plane & linesQuadraticsFunction TheoryTransformations & asymptotesPolynomials
2D & 3D GeometryTrig equations & identitiesVectors
ProbabilityDescriptive StatisticsBivariate StatisticsDistributions & Random Variables
DifferentiationIntegrationDifferential EquationsMaclaurin
Review VideosFormula BookletMy Progress
BlogLanding Page
Sign UpLogin
Perplex
Perplex
Dashboard
Topics
Exponents & LogarithmsApproximations & ErrorSequences & SeriesCounting & BinomialsProof and ReasoningComplex NumbersAlgebra Skills
Cartesian plane & linesQuadraticsFunction TheoryTransformations & asymptotesPolynomials
2D & 3D GeometryTrig equations & identitiesVectors
ProbabilityDescriptive StatisticsBivariate StatisticsDistributions & Random Variables
DifferentiationIntegrationDifferential EquationsMaclaurin
Review VideosFormula BookletMy Progress
BlogLanding Page
Sign UpLogin
Perplex
IB Math AAHL
/
Proof and Reasoning
/
Skills
Edit

Skill Checklist

Track your progress across all skills in your objective. Mark your confidence level and identify areas to focus on.

Track your progress:

Don't know

Working on it

Confident

πŸ“– = included in formula booklet β€’ 🚫 = not in formula booklet

Track your progress:

Don't know

Working on it

Confident

πŸ“– = included in formula booklet β€’ 🚫 = not in formula booklet

IB Math AAHL
/
Proof and Reasoning
/
Skills
Edit

Skill Checklist

Track your progress across all skills in your objective. Mark your confidence level and identify areas to focus on.

Track your progress:

Don't know

Working on it

Confident

πŸ“– = included in formula booklet β€’ 🚫 = not in formula booklet

Track your progress:

Don't know

Working on it

Confident

πŸ“– = included in formula booklet β€’ 🚫 = not in formula booklet

Skill Checklist

Track your progress across all skills in your objective. Mark your confidence level and identify areas to focus on.

12 Skills Available

Track your progress:

Don't know

Working on it

Confident

πŸ“– = included in formula booklet β€’ 🚫 = not in formula booklet

Track your progress:

Don't know

Working on it

Confident

πŸ“– = included in formula booklet β€’ 🚫 = not in formula booklet

Proof by deduction

2 skills
Deductive Proof
SL AA 1.6

A proof is a strict logical argument that demonstrates with mathematical certainty that a statement is true.


For SL students, these proofs will be in the form

Prove that

​
(LHS expression)≑(RHS expression)
​

where ​≑​ means equivalent, i.e. equal for ALL variables in the expression, not just some specific intersections.


We use LHS (left-hand side) and RHS (right-hand side) as an abbreviation for one side of the equivalence.

Even and Odd Numbers
SL AA 1.6

The parity of an integer describes whether or not it is divisible by ​2.Β We say that

​
0,2,4,6… are even
​
​
1,3,5,7… are odd
​

In general, even numbers take the form ​n=2k,Β and odd numbers take the form ​n=2k+1​ for some ​k∈Z.

Proof by induction

6 skills
How induction works
AHL AA 1.15
<p>Purple illustration of mathematical induction using books like dominos on a shelf. In the center, two adjacent books are labeled <span class="math">k</span> and <span class="math">k+1</span>; the <span class="math">k</span>-th leans onto the <span class="math">(k+1)</span>-st. Ellipses indicate more books on both sides, with several upright books to the right. A rounded panel at the top reads: β€œIf the statement is true for <span class="math">k</span>, then it is true for <span class="math">k+1</span>.” Bottom-left panel: β€œBase case (usually <span class="math">n=1</span>) is true.” Bottom-right panel: β€œtherefore the statement is true for all <span class="math">n</span>.” The scene conveys that the base case and inductive step cause all cases to follow, like a domino effect.</p><p></p>
Divisibility
AHL AA 1.15

We say that an integer ​a​ is divisible by ​b​ if ​a=kb​ for some integer ​k.Β In other words ​ba​=k​ is an integer.


We write "​a​ is divisible by ​b​"

​
b∣a
​

To write "​a​ is not divisible by ​b​" we write

​
b∀a
​
Induction with divisibility
AHL AA 1.15

We can prove that an expression is always divisible by some integer ​D​ using induction. The easiest way to do this is to subtract the ​n=k​ case from the ​n=k+1​ case, and show that the difference is divisible by ​D.

Induction with inequalities
AHL AA 1.15

Induction can be used to prove that an inequality holds. These require very careful "chains" of inequalities.


For example: ​2n>n2​ for ​nβ‰₯5.

Induction with summation
AHL AA 1.15

Induction can be used to proved statements involving summations withΒ β€‹Β βˆ‘Β β€‹.Β The key is splitting the sum, which has the form

​
r=1βˆ‘k+1​f(r)
​

into

​
r=1βˆ‘k​f(r)+f(k+1)
​

and use the inductive hypothesis for ​r=1βˆ‘k​f(r).

Induction with derivatives
AHL AA 1.15

Induction can be used to prove statements involving the ​nth​ derivative of a function. Almost always, the product rule will be the key technique.

Contradiction and Counterexamples

4 skills
Rational Numbers
AHL AA 1.15

A rational number is one that can be written in the form

​
p=ba​,a,b∈Z
​


Note that any fraction can be reduced to the point where the numerator and denominator share no common factors:

​
155​=31​
​
Proof by contradiction
AHL AA 1.15

To prove a statement by contradiction, we essentially show that if the statement were not true, math would "break".


In practice, we assume the opposite of the statement, and and derive a contradiction - a mathematical inconsistency.

Prime Numbers
AHL AA 1.15

A prime number is a natural number greater than 1 that has exactly two distinct positive divisors: 1 and itself. For example, the set of prime numbers begins as

​
{2,3,5,7,11…}
​

Notice that 1 is not included in this list because it has only one positive divisor (namely, itself), and thus does not meet the definition.

Counterexamples
AHL AA 1.15

The easiest way to show a statement is not true is to find a specific example for which it is not true.

Skill Checklist

Track your progress across all skills in your objective. Mark your confidence level and identify areas to focus on.

12 Skills Available

Track your progress:

Don't know

Working on it

Confident

πŸ“– = included in formula booklet β€’ 🚫 = not in formula booklet

Track your progress:

Don't know

Working on it

Confident

πŸ“– = included in formula booklet β€’ 🚫 = not in formula booklet

Proof by deduction

2 skills
Deductive Proof
SL AA 1.6

A proof is a strict logical argument that demonstrates with mathematical certainty that a statement is true.


For SL students, these proofs will be in the form

Prove that

​
(LHS expression)≑(RHS expression)
​

where ​≑​ means equivalent, i.e. equal for ALL variables in the expression, not just some specific intersections.


We use LHS (left-hand side) and RHS (right-hand side) as an abbreviation for one side of the equivalence.

Even and Odd Numbers
SL AA 1.6

The parity of an integer describes whether or not it is divisible by ​2.Β We say that

​
0,2,4,6… are even
​
​
1,3,5,7… are odd
​

In general, even numbers take the form ​n=2k,Β and odd numbers take the form ​n=2k+1​ for some ​k∈Z.

Proof by induction

6 skills
How induction works
AHL AA 1.15
<p>Purple illustration of mathematical induction using books like dominos on a shelf. In the center, two adjacent books are labeled <span class="math">k</span> and <span class="math">k+1</span>; the <span class="math">k</span>-th leans onto the <span class="math">(k+1)</span>-st. Ellipses indicate more books on both sides, with several upright books to the right. A rounded panel at the top reads: β€œIf the statement is true for <span class="math">k</span>, then it is true for <span class="math">k+1</span>.” Bottom-left panel: β€œBase case (usually <span class="math">n=1</span>) is true.” Bottom-right panel: β€œtherefore the statement is true for all <span class="math">n</span>.” The scene conveys that the base case and inductive step cause all cases to follow, like a domino effect.</p><p></p>
Divisibility
AHL AA 1.15

We say that an integer ​a​ is divisible by ​b​ if ​a=kb​ for some integer ​k.Β In other words ​ba​=k​ is an integer.


We write "​a​ is divisible by ​b​"

​
b∣a
​

To write "​a​ is not divisible by ​b​" we write

​
b∀a
​
Induction with divisibility
AHL AA 1.15

We can prove that an expression is always divisible by some integer ​D​ using induction. The easiest way to do this is to subtract the ​n=k​ case from the ​n=k+1​ case, and show that the difference is divisible by ​D.

Induction with inequalities
AHL AA 1.15

Induction can be used to prove that an inequality holds. These require very careful "chains" of inequalities.


For example: ​2n>n2​ for ​nβ‰₯5.

Induction with summation
AHL AA 1.15

Induction can be used to proved statements involving summations withΒ β€‹Β βˆ‘Β β€‹.Β The key is splitting the sum, which has the form

​
r=1βˆ‘k+1​f(r)
​

into

​
r=1βˆ‘k​f(r)+f(k+1)
​

and use the inductive hypothesis for ​r=1βˆ‘k​f(r).

Induction with derivatives
AHL AA 1.15

Induction can be used to prove statements involving the ​nth​ derivative of a function. Almost always, the product rule will be the key technique.

Contradiction and Counterexamples

4 skills
Rational Numbers
AHL AA 1.15

A rational number is one that can be written in the form

​
p=ba​,a,b∈Z
​


Note that any fraction can be reduced to the point where the numerator and denominator share no common factors:

​
155​=31​
​
Proof by contradiction
AHL AA 1.15

To prove a statement by contradiction, we essentially show that if the statement were not true, math would "break".


In practice, we assume the opposite of the statement, and and derive a contradiction - a mathematical inconsistency.

Prime Numbers
AHL AA 1.15

A prime number is a natural number greater than 1 that has exactly two distinct positive divisors: 1 and itself. For example, the set of prime numbers begins as

​
{2,3,5,7,11…}
​

Notice that 1 is not included in this list because it has only one positive divisor (namely, itself), and thus does not meet the definition.

Counterexamples
AHL AA 1.15

The easiest way to show a statement is not true is to find a specific example for which it is not true.