HSC Proofs: Study Guide & Outline

This section introduces the booklet's purpose, target audience (HSC Extension students), and usage guidelines. It presents a proof primer covering fundamental techniques: direct proof, proof by contradiction, proof by contrapositive, and mathematical induction. The language of logic is explained, focusing on quantifier statements with $\forall$ and $\exists$, their negations, and the importance of clear logical structure. Key concepts include De Morgan's Laws for negating conjunctions and disjunctions, which are further detailed in the appendix. Students gain a foundational understanding of how to read, write, and analyze mathematical proofs.

This section contains 20 fully solved problems of increasing complexity, designed to demonstrate proof strategies in action. Core topics include irrationality proofs using contradiction (e.g., $\sqrt{23}$, general non-perfect-square roots, $\log_n(n+1)$), divisibility and modular arithmetic (modulo 3, 4, 5, 6, 8, 9, 10), parity arguments, and density of $\mathbb{Q}$ in $\mathbb{R}$. Advanced problems explore continued fractions, nested radicals, exponential Diophantine equations, and quadratic residues. Each solution models step-by-step logical flow, highlights common pitfalls, and provides commentary on technique selection. Key takeaways include mastering contradiction for irrationality, leveraging congruences for divisibility, constructing counterexamples, and understanding the structural properties of number sets.

This section offers 18 additional problems with hints to guide independent practice, followed by concise solutions. The problems extend and reinforce Part 1 techniques, covering parity, sums and products of rationals and irrationals, exponent comparisons, Mersenne primes, divisibility by digit sum, induction modulo 10, leading digits of powers of two, complex arguments, and Pythagorean triple obstructions. Hints encourage students to identify appropriate methods (e.g., contrapositive, parity contradiction, bounding arguments) before consulting the solutions. This active learning approach solidifies proof-writing skills and prepares students for the variety of proof styles encountered in HSC examinations.

The conclusion reflects on the central role of proof in mathematics, emphasizing that rigorous reasoning is both a skill and a mindset. It encourages students to continue practicing and to appreciate the logical beauty of mathematical arguments. The booklet closes by reinforcing the growth mindset—mastery of proof techniques is attainable through persistent effort and careful study.

This appendix provides a concise reference for De Morgan's Laws: $\neg(P \land Q) \equiv \neg P \lor \neg Q$ and $\neg(P \lor Q) \equiv \neg P \land \neg Q$, with examples of their application in negating statements involving quantifiers. These laws are essential for correctly forming contradictions and contrapositives, making this a vital quick-reference for proof construction.