This topic covers the fundamental structure of mathematical proof, requiring students to proceed from given assumptions to a conclusion through logical ste
Topic Synopsis
This topic covers the fundamental structure of mathematical proof, requiring students to proceed from given assumptions to a conclusion through logical steps. It includes specific methods such as proof by deduction, proof by exhaustion, disproof by counter-example, and proof by contradiction, with applications including the irrationality of √2 and the infinity of primes.
Key Concepts & Core Principles
- Population vs sample: The population is the entire set of interest; the sample is a subset used to represent it.
- Simple random sampling: Every member of the population has an equal chance of selection, often using random number generators or lottery methods. It reduces bias but can be time-consuming.
- Opportunity sampling: Selecting individuals who are easiest to reach. It's quick and cheap but highly prone to bias (e.g., only surveying people in a specific location).
- Inference: Using sample data to draw conclusions about the population. The reliability of inference depends on sample size and sampling method.
- Sampling variability: Different samples from the same population can produce different estimates. This is expected and quantified using standard error.
Exam Tips & Revision Strategies
- State the method of proof being used clearly at the start
- Ensure all logical steps are explicitly written out; do not skip steps
- For proof by contradiction, clearly state the assumption that the statement is false
- Check that the conclusion follows directly from the preceding logical steps
- Use precise mathematical language and avoid vague statements
Common Misconceptions & Mistakes to Avoid
- Failing to cover all cases in a proof by exhaustion
- Assuming the result to be proved in a deductive proof
- Incorrectly negating a statement for proof by contradiction
- Providing an example that satisfies the statement instead of a counter-example that disproves it
- Lack of logical connectivity between steps in a proof
Examiner Marking Points
- Clear, logical progression from assumptions to conclusion
- Correct use of mathematical notation and symbols
- Accurate application of the chosen proof method
- For proof by exhaustion, ensuring all cases are covered and verified
- For disproof by counter-example, providing a single case that invalidates the statement
- For proof by contradiction, correctly assuming the negation of the statement and deriving a logical contradiction
- Rigorous mathematical argument construction