Formulating a conjecture

Welcome to the Heart of Mathematical Discovery!

In H2 Mathematics, you are often given a formula and asked to prove it or apply it. In H3 Mathematics (9820), we take a step back and ask: "Where did that formula come from in the first place?"

This chapter focuses on Formulating a Conjecture. This is the process of being a "math detective"—looking at patterns, testing ideas, and making an educated guess about a general rule. Don't worry if this seems a bit abstract at first; by the end of these notes, you'll see that it’s all about organized observation!

1. What is a Conjecture?

A conjecture is a mathematical statement that is proposed as being true, but has not yet been proven or disproven. Think of it as a "scientific hypothesis" for math.

Analogy: Imagine you see three different cats, and all of them have tails. You might form a conjecture: "All cats have tails." This is a great starting point, but you haven't seen every cat in the world yet, so it isn't a theorem (a proven fact) yet!

Quick Review: The Math Hierarchy

1. Observation: "I noticed that \( 2 + 2 = 4 \) (even) and \( 4 + 6 = 10 \) (even)."
2. Conjecture: "I think the sum of any two even numbers is always even."
3. Theorem: Once you use a formal proof (like the ones in Section 2 of your syllabus) to show it's always true, your conjecture gets promoted to a Theorem!

Key Takeaway: A conjecture is an educated guess based on patterns. It is the "bridge" between seeing a pattern and proving a law.

2. How to Formulate a Conjecture: Step-by-Step

If you are faced with a complex problem and need to find a general rule, follow these steps:

Step A: Test Special Cases

Start with the simplest versions of the problem. Use small integers like \( n = 1, 2, 3 \). These are called special cases. They are the "data points" of your investigation.

Step B: Look for Patterns and Structure

Once you have your results, organize them! A table is your best friend here. Look for: - Arithmetic progressions (adding the same number) - Geometric progressions (multiplying by the same number) - Squares, cubes, or factorials

Step C: Make the Generalization

Try to write a formula in terms of \( n \) that fits all your special cases. This formula is your conjecture.

Example: Sum of Odd Numbers
- Let \( n = 1 \): Sum = \( 1 \)
- Let \( n = 2 \): Sum = \( 1 + 3 = 4 \)
- Let \( n = 3 \): Sum = \( 1 + 3 + 5 = 9 \)
- Let \( n = 4 \): Sum = \( 1 + 3 + 5 + 7 = 16 \)
Observation: The results are \( 1^2, 2^2, 3^2, 4^2 \).
Conjecture: The sum of the first \( n \) odd numbers is \( n^2 \).

Key Takeaway: Always start small. Solving a simpler/similar problem (a key heuristic) helps you see the "skeleton" of the math before things get complicated.

3. Extension and Generalisation

Once you have a conjecture, H3 Math asks you to push it further. This involves two main actions:

Generalisation

This is the process of moving from a specific set of numbers to a broader set. Example: If you find a pattern for positive integers, does it also work for all real numbers? Or for complex numbers?

Extension

This involves applying your idea to a related but different area. Example: If you found a rule about the area of a triangle, can you extend it to a 3D tetrahedron?

Did you know? Many famous mathematical breakthroughs happened because someone looked at a simple rule and asked, "What if I make this more general?" The AM-GM Inequality you study is a generalisation of the simple fact that \( (a-b)^2 \geq 0 \)!

4. Common Pitfalls (What to Avoid)

Don't worry if your first conjecture is wrong! Even famous mathematicians made mistakes. Here are two things to watch out for:

1. The "Small Numbers" Trap: Sometimes a pattern works for \( n = 1, 2, \) and \( 3 \), but fails at \( n = 4 \). Advice: Always test at least 4 or 5 cases if possible to be sure the pattern is "stable."

2. Forgetting the Context: If the question involves modular arithmetic or congruence, your pattern might "reset" or "loop." Always keep the constraints of the problem in mind.

Memory Aid (The 3 S's): To form a good conjecture, remember Small cases, Structure (look for it!), and Symmetry (often patterns are symmetrical).

5. Summary and Quick Review

In this section of the 9820 syllabus, your goal is to transition from a student who follows rules to an investigator who discovers them.

Quick Review Box: - Conjecture: An unproven statement that looks true based on evidence. - Heuristic: Using "rules of thumb" like working backwards or solving simpler problems to find a pattern. - Special Cases: Testing \( n=1, 2, 3 \) to gather data. - Generalisation: Turning your specific observations into a universal formula \( f(n) \).

Encouragement: Formulating a conjecture is about being brave enough to guess. If your guess is wrong, you've still learned something valuable—you've found a counterexample! Keep exploring, and the patterns will start to reveal themselves.