Sign In
| | 14 Theory slides |
| | 11 Exercises - Grade E - A |
| | Each lesson is meant to take 1-2 classroom sessions |
Another type of analytical thinking is deductive reasoning. In deductive reasoning, claims are supported by facts and are connected to consequent facts. Coming to a conclusion is like putting together the pieces of a jigsaw puzzle. Since all of the pieces fit neatly together, conclusions drawn by this type of reasoning tend to be stronger than those drawn by inductive reasoning.
For example, if a house was robbed and there is only one forced door, it is a fact that the thief entered through that door. Interested in knowing more about these types of reasoning? Stay and enjoy!
Kevin loves movies and television shows where mysteries are solved. When he grows up he would like to be a detective 🕵🏾♂️. He is always helping his friends to clear their doubts. Last week, Dylan and Maya came to him for help.
When not all the information about a particular situation is known, the existing information can be analyzed to look for some kind of pattern. If such a pattern exists, it can lead to some conclusions. This way of thinking is known as inductive reasoning.
Inductive reasoning is the process of finding patterns in specific observations and writing a conclusion or conjecture. Since the conjecture is based on observations, it might be false. For example, suppose an observer notices that all the birds around them are white. The observer might inductively reason that all birds in the world are white, which is not true.
| n | Number of Cubes | |
|---|---|---|
| Figure 1 | 0 | 1+ 3* 0 = 1 |
| Figure 2 | 1 | 1+ 3* 1 = 4 |
| Figure 3 | 2 | 1+ 3* 2 = 7 |
| Figure 4 | 3 | 1 + 3* 3 = 10 |
| Figure 121 | 120 | 1+3* 120 = 361 |
It is Saturday night and Kevin, his parents, and his sister are gathered in the living room watching an action movie. The movie is about a thief who leaves riddles for the police at every crime scene. The police have collected the following cards from the first four robberies.
Each card has a riddle written on the back that the police must solve to determine where the next robbery will take place.
What is the number of the house that the gang plans to rob?
Write the results in a table to organize the information. Make a column for the number of the card and a column for the number of green triangles on the card.
| Card | Green Triangles |
|---|---|
| 1 | 1 |
| 2 | 3 |
| 3 | 6 |
| 4 | 10 |
The next step is trying to find a relation between the numbers in the table. Comparing the rows, the following relations can be written.
If this pattern continues, then Card 5 would have five more triangles than Card 4. Therefore, the fifth card will have 15 green triangles.
| Card | Green Triangles |
|---|---|
| 1 | 1 |
| 2 | 3 |
| 3 | 6 |
| 4 | 10 |
Card 2 has 3 green triangles, which can be written as 1+ 2. Similarly, Card 3 has 6 green triangles, which can be written 1+2+ 3. The same happens with Card 4.
| Card | Green Triangles |
|---|---|
| 1 | 1=1 |
| 2 | 1+ 2=3 |
| 3 | 1+2+ 3=6 |
| 4 | 1+2+3+ 4=10 |
If this pattern continues, the number of green triangles in the {\color{#A800DD}{17}}^\text{th} card is equal to the sum of the first 17 natural numbers. 1+2+⋯ + 17 = 153 Consequently, Card 17 will have 153 green triangles. With this information, the police now have the complete address of the next robbery!
Another way of analyzing facts is through deductive reasoning. Unlike inductive reasoning, deductive reasoning does not rely on approximations or guesses. It is a process of logical reasoning through which two or more pieces of information are combined to arrive at a conclusion.
Deductive reasoning is the process of reaching logical conclusions from given statements. As long as the given statements are true, the conclusions drawn using deductive reasoning are also true. Consider the following two statements.
The police arrived at house 153 on Boulevard Avenue too late and the gang got away. At the new crime scene, the police found the fifth card, which had the following riddle.
Determine the answer to the thief's question using both inductive and deductive reasoning.
| Definition | |
|---|---|
| Inductive Reasoning | The process of finding patterns in specific observations and writing a conclusion |
| Deductive Reasoning | The process of reaching logical conclusions from given statements |
Keeping the definitions in mind, the answer will be found by applying each reasoning procedure.
The thief's question involves the sum of two odd numbers. Think of two arbitrary odd numbers and calculate their sum.
| Odd Numbers | Sum | |
|---|---|---|
| -21 | -13 | -21+(-13) = -34 |
| -7 | 3 | -7+3 = 4 |
| 5 | -5 | 5+(-5) = 0 |
| 1 | 5 | 1+5 = 6 |
| 11 | 51 | 11+51 = 62 |
| 33 | 45 | 33+45 = 78 |
Take a look at the numbers in the right-hand side column. All of the numbers are even, so it is natural to say that the sum of two odd numbers is always even.
The sum of two odd numbers is an even number.
Note that this conclusion is based on the pattern observed in the table. In other words, there is no 100 % certainty that the conclusion is true for any two odd numbers. This is not good news to the detective.
Considering random odd numbers does not qualify as deductive reasoning because this type of reasoning is not based on guesses. Instead, consider two odd numbers written in a general form. Recall that any odd number can be written as 2n+1, where n is an integer number. Let A and B be two different odd numbers. A &= 2n +1 B &= 2m+1 Since the purpose is to study the sum of two odd numbers, add A and B and simplify as much as possible.
Commutative Property of Addition
Add terms
Factor out 2
Notice that the sum of A and B is equal to 2 times (n+m+1). Since n and m are integers, the sum inside the parentheses is an integer. Then, the sum of the two odd numbers has the form 2K, where K=n+m+1. A + B = 2K This form matches the general form of even numbers. Therefore, A+B is an even number.
The sum of two odd numbers is an even number.
As shown, both conclusions are the same but were found using different types of reasoning. ccc Deductive & & Inductive Reasoning & & Reasoning ↘ & & ↙ c The sum of two odd numbers is an even number. However, deductive reasoning is the most formal way to solve the question because it shows that the sum is an even number, no matter what odd numbers are chosen. Understanding this and fed up with being played for a fool by the gang, the detective put all his efforts into catching them and discovered the next target very quickly.
Mathematicians often make claims after detecting patterns. However, these claims cannot be accepted as fact until they are rigorously verified. The term used to describe this type of claim is conjecture.
A conjecture is an unproven statement based on observations of a pattern. It is an educated guess that holds true for many supporting cases. A conjecture about the sum of any three consecutive numbers, for example, is shown in the table.
| Sum of Any Three Consecutive Integers | ||
|---|---|---|
| Observation I | Observation II | Observation III |
| 2+ 3+4& =9 & =3* 3 | 7+ 8+9& =24 & =3* 8 | 13+ 14+15& =42 & =3* 14 |
| Conjecture: The sum of any three consecutive integers is three times the second number. | ||
However, it is unknown whether any given conjecture holds true for all cases. It could be false under some circumstances and, therefore, cannot be used to support other claims. A counterexample is enough to prove that a conjecture is false.
|
Goldbach's Conjecture |
|
Every even whole number greater than 2 is the sum of two prime numbers. |
For example, the even numbers below follow the rule. 14 & = 3+ 11 24 & = 11+13 40 & = 17+23 As of 2013, the conjecture has been verified by a computer for all integers less than 4 * 10^(18). In March 2000, it was announced that anyone who could prove Goldbach's Conjecture and whose proof was accepted by other mathematicians would be awarded a one million dollar prize. Although the prize was kept open for two years, nobody claimed it.
The process of verifying that a conjecture is true is called a proof.
In mathematics, a proof is a series of logical steps of reasoning that lead to a conclusion. The reasoning should be strict enough so that the conclusion must be true if the given circumstances it uses are true.
There are several different methods that can be used to construct and visually present a mathematical proof.
| Proof Methods | |
|---|---|
| Visual Styles | Proof Types |
| Paragraph Proof |
Direct Proof |
A direct proof is a proof that uses the given information and other known facts until the statement is shown to be true. Consider the following statement.
|
If n is an odd number, then n^2 is also an odd number. |
A direct proof is dependent on what information is available, and what is the statement to be proven. The following steps summarize, in general, how to do a direct proof.
| n | n^2 | Is n^2 odd? |
|---|---|---|
| 1 | 1 | Yes |
| 3 | 9 | Yes |
| 5 | 25 | Yes |
| 7 | 49 | Yes |
In the above table, the statement was proven to be true for just a few odd numbers, but the goal is to prove that it is true for any odd number.
| Statement | Reason |
|---|---|
| n is odd | Given. |
| n= 2k+ 1 | Every odd number is equal to twice an integer plus 1. |
| n^2 = (2k+1)^2 | Raise the equation to the power of 2. |
| n^2 = 4k^2+4k+1 | Expand the square. |
| n^2 = 2(2k^2+2k)+ 1 | Factor out 2. |
| n^2 is odd | It is written as twice an integer plus 1. |
Once a conjecture is proven, it is no longer called a conjecture but a theorem.
A theorem is a statement which is not self-evident but has been proven to be true using deductive reasoning. Many theorems come in the form of conditional statements — if-then statements that combine a hypothesis and a conclusion.
|
If a triangle has a right angle, then the hypotenuse squared equals the sum of the squares of the legs. |
There are various ways of visually presenting the proof of a certain statement. One way is to write all of the statements and reasons in a single paragraph.
A paragraph proof, or informal proof, is a way of presenting a mathematical proof that consists of statements and reasons written as complete sentences in a paragraph. The reasons can be postulates, theorems, or other mathematical reasoning that the reader is assumed to be able to follow without difficulty. For example, consider the following prompt.
|
Let C be a point on AE, B be a point on AC, and D be a point on CE, such that AB ≅ DE and BC ≅ CD. Prove that AC ≅ CE. |
The following steps can be used to prove this particular statement.
Also, it is given that B is a point on AC and D is a point on CE.
From the last piece of given information, AB is congruent to DE and BC is congruent to CD.
When the gang reached their next target, the police were already waiting for them. Finding themselves cornered, the gang split up to escape out to sea. One group flew out to sea in a helicopter. However, due to bad weather, their escape was foiled and the police captured them.
The triangular hatch marks indicate that AB and CE are parallel. This fact is not derived, so it is considered as given information. No more information is given, so continue by identifying what is desired to prove.
| Given | Prove |
|---|---|
| AB ∥ CE | Angles α and β are supplementary ⇕ α + β = 180^(∘) |
Develop logical conclusions that lead to the desired statement using the given information. For example, the alternate interior angles ABC and BCE are congruent because AB ∥ CE. ∠ ABC &≅ ∠ BCE &⇓ α &= m∠ BCE Additionally, the angles BCE and DCE form a linear pair. Therefore, these two angles are supplementary.
From the definition of supplementary angles, their measures add up to 180^(∘). Write an equation representing this fact. AnglesBCE andDCE are supplementary ⇓ m∠ BCE + β = 180^(∘) Next, substitute α for m∠ BCE. α + β = 180^(∘) The last equation confirms the fact that the angles α and β are supplementary, just as the helicopter's radar said. Finally, condense all the information written above into one paragraph. Given: & AB ∥ CE Prove: & α + β = 180^(∘) Proof: Since AB ∥ CE, the alternate interior angles ABC and BCE are congruent. Therefore, α = m∠ BCE. Also, ∠ BCE and ∠ DCE form a linear pair, which means they are supplementary. As such, m∠ BCE + β = 180^(∘). By the Substitution Property of Equality, α+β = 180^(∘). Consequently, the angles α and β are supplementary.
Sometimes, compacting an entire proof into one paragraph results in a very long block of text that might be difficult to follow. A different way of presenting the proof is through a two-column table.
A two-column proof, or formal proof, is a compact way of showing the reasoning behind a mathematical proof. It consists of two columns, one for the statements and one for the reasons. The reasons can be postulates, theorems, or other mathematical reasoning the reader is assumed to be able to follow without difficulty. For example, consider proving the following statement.
|
If M is the midpoint of AB, then AB=2AM. |
Three main steps can be followed when writing a two-column proof.
Statements
|
Reasons
|
1. M is the midpoint of AB
|
1. Given
|
If possible, draw a diagram that helps to derive the information that will be written in the table. This diagram will not be included in the table, though.
Statements
|
Reasons
|
1. M is the midpoint of AB
|
1. Given
|
2. MB=AM
|
2. Definition of Midpoint
|
Statements
|
Reasons
|
1. M is the midpoint of AB
|
1. Given
|
2. MB=AM
|
2. Definition of Midpoint
|
The Segment Addition Postulate says that the length of a segment equals the sum of the lengths of its parts. Then, the following equation can be derived. AB = AM + MB As before, write the equation in the left-hand side and the reason in the right-hand side.
Statements
|
Reasons
|
1. M is the midpoint of AB
|
1. Given
|
2. MB=AM
|
2. Definition of Midpoint
|
3. AB=AM+MB
|
3. Segment Addition Postulate
|
Next, use the Substitution Property of Equality to substitute the equation written in the second row into the equation written in the third row.
Statements
|
Reasons
|
1. M is the midpoint of AB
|
1. Given
|
2. MB=AM
|
2. Definition of Midpoint
|
3. AB=AM+MB
|
3. Segment Addition Postulate
|
4. AB=AM+AM
|
4. Substitution Property of Equality
|
The right-hand side of the last equation can be simplified by adding the two terms.
Statements
|
Reasons
|
1. M is the midpoint of AB
|
1. Given
|
2. MB=AM
|
2. Definition of Midpoint
|
3. AB=AM+MB
|
3. Segment Addition Postulate
|
4. AB=AM+AM
|
4. Substitution Property of Equality
|
5. AB=2AM
|
5. Simplify
|
Notice that the last statement is the desired one. Therefore, the proof is done!
It is the climax of the movie. The police are chasing the rest of the gang who had escaped the last crime scene. Suddenly, the Internet connection is lost and the movie stops — right in the middle of the police chase! While waiting for the connection to be restored, Kevin tells his parents that the beams of the police car's light bar make vertical angles.
Then, Kevin's sister basically states that if two angles are vertical, then they are congruent. This statement will be proven using a two-column proof. Remember, the first step when writing a proof is to identify the given and desired statements. In this case, they can be written as follows. Given:& ∠ 1 and∠ 2 are vertical angles Prove:& ∠ 1 ≅ ∠ 2 It seems that just because ∠ 1 and ∠ 2 are vertical is not enough information to confirm that they are congruent. Some additional information is needed. Let ∠ 3 be one of the angles between ∠ 1 and ∠ 2.
From the diagram, ∠ 1 and ∠ 3 form a linear pair, as do ∠ 2 and ∠ 3. This means that the sum of the measures of each pair of angles is 180^(∘). Write two equations representing this information. m∠ 1 + m∠ 3 = 180^(∘) m∠ 2 + m∠ 3 = 180^(∘) Since both equations are equal to 180^(∘), by the Substitution Property of Equality, they can be equated. m∠ 1 + m∠ 3 = m∠ 2 + m∠ 3 Finally, subtract m∠ 3 from both sides. m∠ 1 = m∠ 2 The last equation is the desired statement, so the proof is done! To finish, summarize all the steps in a two-column table.
Statements
|
Reasons
|
1. ∠ 1 and ∠ 2 are vertical angles
|
1. Given
|
2. ∠ 1 and ∠ 3 form a linear pair ∠ 2 and ∠ 3 form a linear pair |
2. From the diagram
|
3. m∠ 1+m∠ 3 = 180^(∘) m∠ 2 + m∠ 3 = 180^(∘) |
3. Definition of linear pair
|
4. m∠ 1 +m∠ 3 = m∠ 2 + m∠ 3
|
4. Substitution Property of Equality
|
5. m∠ 1 = m∠ 2
|
5. Subtraction Property of Equality
|
How to prove a statement largely depends on the statement itself. Writing direct proofs may not be always easy. For example, consider the following statement.
|
sqrt(2) is an irrational number. |
Proving this statement using direct proof is not as simple as it may sound. In cases like these, alternative ways of proving statements come into action. The most classic way of proving the above statement is via indirect proof.
| Description | |
|---|---|
| Indirect Proof or Proof by Contradiction | A claim is proven by showing how the opposite conclusion of the claim creates a contradiction. |
The first step in writing an indirect proof for the given statement is to temporarily assume that sqrt(2) is not irrational. Based on this new hypothesis, logical conclusions are developed until a contradiction is obtained. Other types of proofs are listed in the table below.
| Description | |
|---|---|
| Proof by Contrapositive | A claim is proven by stating and proving the contrapositive of the claim. |
| Proof by Mathematical Induction | One special case is shown to be true. Next, it is shown that if the statement is true for any special case, then it is also true for some other special case. |
| Coordinate Proof | It is used to prove geometric statements by placing geometric figures in a coordinate plane and assigning variables to the coordinates of points. |
When it comes to visually displaying the proof of a statement, there are three main styles: paragraph proofs, two-column proofs, and flowchart proofs. This last style consists of a flowchart with statements in boxes, reasons below each box, and arrows indicating the flow of the reasoning.
Q.E.D.,which comes from a Latin phrase that means
what was to be shown.
Which word correctly fills in the blank?
|
When a conjecture is rigorously proved, it becomes a . |
Let's start by recalling what a conjecture is.
A conjecture is an unproven statement based on observations of a pattern.
Here, unproven
is a keyword. Let's also check the definitions of postulate, theorem, and proof.
| Definition | |
|---|---|
| Postulate | A postulate or axiom is a statement that is accepted without a proof. |
| Theorem | A theorem is a statement which is not self-evident but has been proven to be true using deductive reasoning. |
| Proof | A proof is a series of logical steps of reasoning leading to a conclusion. |
Although postulates are unproven statements like conjectures, postulates do not require proof because they are accepted to be true. Now let's move on to the definition of a theorem. The definition tells us that for an unproven
statement to be a theorem, it must be proven. When a conjecture is proved, it becomes a theorem.
When a conjecture is rigorously proved, it becomes a theorem.
Consider Ali's next thought.
|
👦🏽: Every time I go to Dominika's house to watch a Cleveland Cavaliers game 🏀, they lose. Therefore, I will watch the next game at home. |
What type of reasoning did Ali use?
According to Ali, whenever he watches a Cavaliers game at Dominika's house, they lose. Ali sees a pattern in this and decides to watch the next game at his house. The reasoning applied, in this case, is inductive reasoning because the conclusion is drawn based on a pattern. The Cleveland Cavaliers lose when the games are watched at Dominaka's house. ⇓ Inductive Reasoning ⇓ Do not watch the games at Dominika's house! Watch them at your own home! Note that Ali might also think the Cavaliers lose because he watches the games with Dominika. In this case, an inductive conclusion might be to watch the next game alone. However, keep in mind that these conclusions are illogical. Where or with whom he watches a game does not affect how the Cavaliers play at all.
Magdalena's teacher asked her to draw a quadrilateral with four equal angles. Magdalena's reasoning was the following.
|
👧🏼: I have to draw a quadrilateral with four equal angles. A square is a quadrilateral with four right angles. All right angles have the same measure. So, I will draw a square. |
What type of reasoning did Magdalena use?
We can start by noticing that Magdalena had no pattern to study. This could indicate that she did not use inductive reasoning. Additionally, she derived logical conclusions based on what the teacher asked for and her prior knowledge about squares. Teacher's Request Draw a quadrilateral with four equal angles. With the request in mind, Magdalena recalled that a square is a quadrilateral with four right angles. All right angles measure 90^(∘), so they all have the same measure. Consequently, a square meets the teacher's request.
After going through Magdalena's reasoning, we can see that she used the definition of squares and their properties. Therefore, her statements and conclusion are well justified. This means that she used deductive reasoning. Magdalena used deductive reasoning.
Let w be the quantity described as follows.
|
w = the product of any two even integers |
Select the best conjecture about the quantity w.
Let's begin by recalling what a conjecture is.
A conjecture is an unproven statement based on observations of a pattern. It is an educated guess that holds true for many supporting cases.
Keep this definition in mind as we study the quantity w to look for a pattern. Since w is the product of any two even integers, let's try to find the products of some even integers.
| First Even Integer | Second Even Integer | Product |
|---|---|---|
| 2 | 2 | 4 |
| 2 | 4 | 8 |
| 4 | 10 | 40 |
| 12 | 22 | 264 |
| 94 | 168 | 15 792 |
We can see that none of the results is an odd number. For this reason, we can discard that statement. The quantitywis odd. * Since all the results are even numbers greater than 2, we might think that the other three statements are valid conjectures. However, notice that in the first table we only considered positive even integers. When we want to write a conjecture, we have to consider all the possible cases first. Let's make a second table including some negative values.
| First Integer | Second Integer | Product |
|---|---|---|
| -2 | -2 | 4 |
| -10 | 2 | -20 |
| 8 | -32 | -256 |
| 0 | -942 | 0 |
This time, we can see that some results are less than 2 and even negative. This means that we can discard two more statements. & The quantitywis positive. & * & The quantitywis greater than2. & * From the two tables, it seems that the common characteristic of the results is that they are all even numbers. Therefore, we can confidently choose the best conjecture. The quantitywis even. ✓
On the way to school, Dylan and Paulina saw that the grass in Mr. Michael's garden was wet. Dylan said that it had rained last night. Intrigued, Paulina asked how he came to that conclusion. It was deductive reasoning, Dylan said.
Is Dylan's reasoning correct?
Let's analyze Dylan's thoughts, sentence by sentence. His first thought is a conditional statement, which is a combination of two statements. If it rains, the grass gets wet,right ? It is true that when it rains, the grass gets wet. There is no logical error here. Let's now check the second sentence. This morning the grass is wet. We can see that this sentence is the second part of the conditional statement. Next, let's check Dylan's conclusion. So, it rained last night. This last sentence corresponds to the first part of the conditional statement. Conditional statements are one-way statements. Making logical conclusions in the other way, as in this situation, may be incorrect. The grass could get wet because of something else — for example, a sprinkler. Therefore, Dylan's reasoning is not correct.