How to Write a Proof by Contrapositive (Example with Integers)

TL;DR

This video explains how to use proof by contrapositive to prove the statement "If n^2 is even, then n is even."

Transcript

hello everyone in this video we're going to do a proof and we're going to do it using something called proof by contravene squared is even then n is even so this is an if P then Q type statement so this is our P and this is our Q so a direct proof would involve assuming that P is true and then showing that Q is true a proof by contour positive woul... Read More

Key Insights

• 👍 Proof by contrapositive is a useful technique in mathematics to prove statements by assuming the opposite of the conclusion.
• 🦕 Understanding the definitions of even and odd numbers is crucial for this type of proof.
• 👍 The proof demonstrates how to manipulate the terms and equations to prove that n^2 is odd.
• ❓ The concept of assuming the opposite and arriving at a contradiction is a foundational principle in many mathematical proofs.

Questions & Answers

Q: What is the difference between a proof by contrapositive and a direct proof?

A direct proof involves assuming the statement is true and showing that the conclusion must also be true. In contrast, a proof by contrapositive assumes the opposite of the conclusion is true and shows that the opposite of the statement must also be true.

Q: How are even and odd numbers defined?

An even number can be expressed as 2k, where k is an integer. An odd number can be expressed as 2m + 1, where m is an integer.

Q: How does the proof show that n^2 is odd?

By assuming n is odd (not even), it can be expressed as 2m + 1. Substituting this into n^2 = (2m + 1)^2, the equation is simplified to n^2 = 2(2m^2 + 2m) + 1. This shows that n^2 is of the form 2p + 1, where p is an integer, confirming that it is odd.

Q: Why is it important to show that P is an integer in the proof?

It is important because the definition of an odd number requires an integer value for the expression 2p + 1. By proving that P, which represents 2m^2 + 2m, is an integer, it establishes that n^2 is indeed an odd number.

Summary & Key Takeaways

• The video discusses proof by contrapositive, an alternative method to prove a statement by assuming the opposite of the conclusion is true.

• The proof starts by assuming that n is odd (not even) and then shows that n^2 is odd (not even).

• The definitions of even and odd numbers are explained and used to support the proof.

• By showing that n^2 can be expressed as 2p + 1 (where p is an integer), it is proven that n^2 is odd and not even.