Welcome to the World of H3 Mathematics!
Welcome to H3 Mathematics (9820)! If you’ve chosen this subject, you’re likely someone who enjoys the "why" and "how" of math, not just the "what." In this first section, Mathematical Statements, we are going to look at the very building blocks of mathematical language. Think of this as learning the grammar and vocabulary of a new language so you can write beautiful, logical "sentences" later on.
Don’t worry if some of these terms seem abstract at first. By the end of these notes, you’ll see that they are just a way to organize our thoughts so that we can prove complicated things with 100% certainty!
1. The Foundation: What is a Definition?
In everyday life, words can be fuzzy. If you say a "big house," one person might think of five bedrooms, while another thinks of fifty. In mathematics, we cannot have that kind of confusion. A Definition is an agreement on the exact meaning of a term.
Key Point: A definition is not something you prove. It is a starting point. It simply says, "Whenever I use this word, I mean exactly this."
Example: Even Numbers
We define an integer \( n \) as even if there exists an integer \( k \) such that \( n = 2k \).
Why is this helpful? Because now, if we want to talk about even numbers in a proof, we don't just say "numbers like 2, 4, 6." We use the precise algebraic form \( 2k \).
Memory Aid: The "Dictionary Rule"
Think of a Definition as a dictionary entry. It doesn't tell you if something is "true" or "good"; it just tells you what the word represents so everyone is on the same page.
Quick Review: Definitions are the "names" and "rules" we agree upon before we start doing any math.
2. Making a Claim: What is a Proposition?
Once we have our definitions, we can start making statements. A Proposition is a mathematical statement that is either True or False, but not both.
Common Mistake to Avoid: Not every sentence is a proposition!
- "Is 5 a prime number?" (This is a question, not a proposition).
- "Math is fun!" (This is an opinion, not a mathematical proposition).
- "\( x > 5 \)" (This is not a proposition yet, because we don't know what \( x \) is. We call this an open sentence).
Examples of Propositions:
1. "The sum of two even integers is always even." (This is a True proposition).
2. "7 is an even number." (This is a False proposition, but it is still a proposition because we can say for sure it is false).
Analogy: The Witness in Court
Think of a Proposition like a witness giving a statement in court. The statement must be a clear claim that can be verified as either a truth or a lie.
Key Takeaway: A proposition is a "claim" that has a truth value (True or False).
3. The Gold Standard: What is a Theorem?
In H3 Math, you will encounter many "Theorems." Simply put, a Theorem is a proposition that has been proved to be true using logic, definitions, and previously established theorems.
Did you know? Unlike in science, where "theories" can be updated with new evidence, a mathematical Theorem is true forever. The Pythagorean Theorem is just as true today as it was 2,000 years ago!
The Hierarchy of Truth
Sometimes mathematicians use different words for theorems depending on how "big" or "important" they are:
- Axiom: A statement we assume to be true without proof (the absolute starting point).
- Theorem: A major, important result.
- Lemma: A "stepping stone" result. It’s a smaller theorem used to help prove a bigger theorem.
- Corollary: A "bonus" result. It is a proposition that follows almost immediately once a theorem has been proved.
Example:
Theorem: The sum of the interior angles of a triangle is \( 180^\circ \).
Corollary: A triangle cannot have more than one obtuse angle. (This is a "bonus" fact that is obviously true once you know the Theorem above!)
Key Takeaway: All Theorems are Propositions, but only the proven true ones get to be called Theorems.
4. Putting it all Together: How they Connect
It helps to see how these three work together in a chain of logic. Don't worry if this seems a bit formal; it’s just the structure of how mathematicians think!
The Logic Chain:
- Definition: We define what "Prime" and "Even" mean.
- Proposition: Someone makes a claim: "All prime numbers are odd."
- Investigation: We check the claim. We find that 2 is prime but even.
- New Proposition: We revise the claim: "There is only one even prime number, which is 2."
- Theorem: Once we prove this revised claim using our definitions, it becomes a Theorem.
Quick Summary Table
Term: Definition
What is it? An agreed-upon meaning for a word or symbol.
Example: Let \( n \) be an integer. \( n \) is odd if \( n = 2k + 1 \) for some integer \( k \).
Term: Proposition
What is it? A statement that is either True or False.
Example: "The square of any odd number is odd."
Term: Theorem
What is it? A proposition that has been logically proven to be true.
Example: The Binomial Theorem or Pythagoras' Theorem.
Encouraging Note:
If these distinctions feel a bit "picky" right now, hang in there! As you move into the next chapter on "Conditionals" and "Logical Connectives," you’ll see exactly how having these clear labels helps you solve complex problems without getting confused. You're building the toolkit of a master mathematician!