Welcome to the World of Existence Proofs!
In your H2 Mathematics journey, you’ve spent a lot of time calculating answers—finding the exact value of \(x\) or the specific area under a curve. In H3 Mathematics, we take a step back and ask a more fundamental question: Does a solution even exist?
Proving existence is like being a detective. Sometimes you find the "suspect" (the solution) and point them out directly. Other times, you simply prove that the "crime" couldn't have happened unless someone was there, even if you can't see them. This chapter will teach you how to prove that "there exists" (\(\exists\)) a mathematical object with specific properties.
1. What is a Proof of Existence?
A Proof of Existence is a logical argument that demonstrates at least one object satisfies a given property. In mathematical symbols, we are trying to prove a statement that looks like this:
\( \exists x \in S, P(x) \)
(Translation: There exists an element \(x\) in the set \(S\) such that the property \(P(x)\) is true.)
The Analogy: Imagine you are told there is a hidden treasure in a park.
1. You could find the treasure and show it to everyone (Constructive Proof).
2. You could prove that the treasure must be there because the metal detector is beeping, even if you haven't dug it up yet (Non-constructive Proof).
Key Takeaway:
You don't always need to find the exact value to prove it exists! You just need to show that it is logically impossible for it not to exist.
2. Strategy 1: Constructive Proofs ("Show and Tell")
This is the most straightforward method. To prove something exists, you simply find it. If you can produce one single example that works, your proof is complete!
Step-by-Step Process:
1. Identify the properties the object must have.
2. "Guess" or calculate a specific candidate.
3. Verify that your candidate actually meets all the requirements.
Example: Prove that there exists an even prime number.
Proof: Consider the number \(2\).
- Is it an integer? Yes.
- Is it prime? Yes (its only factors are 1 and 2).
- Is it even? Yes (\(2 = 2 \times 1\)).
Since we have found an object with all three properties, the proof is complete.
Quick Tip: If a question asks you to "Show that there exists...", always try to find a specific example first. It is often the easiest path!
3. Strategy 2: Non-Constructive Proofs ("The Invisible Man")
Sometimes, finding the exact object is too hard, or even impossible. In these cases, we use Non-Constructive Proofs. We prove that an object exists without actually saying what it is.
A. Proof by Contradiction
We assume that no such object exists and show that this assumption leads to a mathematical "explosion" (a contradiction). If the idea of it not existing is impossible, then it must exist.
Example: Prove there exists an irrational number \(x\) such that \(x^2\) is rational.
Wait! Actually, we can do this constructively: let \(x = \sqrt{2}\). We know \(\sqrt{2}\) is irrational, and \((\sqrt{2})^2 = 2\), which is rational.
Don't worry if you find a constructive proof for a problem—it’s usually better! But contradiction is your backup plan when you’re stuck.
B. Using the Pigeonhole Principle (PHP)
This is a favorite in H3 Mathematics! The Pigeonhole Principle states that if you have more "pigeons" than "pigeonholes," at least one hole must contain more than one pigeon.
Analogy: If you have 11 socks but only 10 drawers, at least one drawer must have at least two socks in it. You don't know which drawer it is, but you know it exists!
Example: Prove that in any group of 13 people, there exist at least two people who share the same birth month.
Proof: There are 12 months (the holes) and 13 people (the pigeons). Since \(13 > 12\), by the Pigeonhole Principle, at least two people must have been born in the same month.
C. Using the Intermediate Value Theorem (IVT)
From your H2 Calculus knowledge, the IVT is a powerful existence tool. It says if a continuous function \(f\) goes from a negative value to a positive value, it must cross zero somewhere in between.
Analogy: If you are on one side of a river and later you are on the other side, and you didn't jump or fly, you must have been in the water at some point!
Quick Review Box:
Constructive: "Here is the answer: \(x = 5\)."
Non-Constructive: "I can't tell you what \(x\) is, but it's definitely somewhere between 1 and 10."
4. Common Pitfalls to Avoid
Even the best H3 students can trip up on these:
1. Proving "For All" (\(\forall\)) instead of "There Exists" (\(\exists\)):
If a question asks you to prove a solution exists, you only need one example. You don't need to prove it works for every number in the universe!
2. Circular Reasoning:
Don't assume the object exists to prove it exists.
Incorrect: "Let \(x\) be the solution. Since \(x\) is the solution, it exists."
Correct: "Let's test the value \(x = 3\) and see if it satisfies the equation."
3. Forgetting Continuity:
When using the Intermediate Value Theorem, you must state that the function is continuous. If there's a gap in the graph, the function might "skip" the value you're looking for!
5. "Did You Know?" - The Power of Existence
In higher-level mathematics and physics, existence proofs are used to ensure that computer simulations or engineering models won't crash. Before a computer spends three days trying to find the "best" bridge design, a mathematician proves that an "optimal design" actually exists so the computer isn't searching for a ghost!
6. Summary Checklist
When faced with an Existence Proof question, ask yourself:
- Can I find a specific example? (Try small integers like 0, 1, 2 or simple fractions).
- Can I use the Pigeonhole Principle? (Look for "items" being put into "categories").
- Can I use the Intermediate Value Theorem? (Look for continuous functions and sign changes).
- Can I use Contradiction? (Assume it doesn't exist and look for a logical error).
Final Encouragement: Existence proofs can feel abstract at first because they are more about "logic" than "calculation." Keep practicing, and soon you'll develop the "mathematical intuition" to see the "invisible" solutions!