Construct trigonometric proofs and apply direct proof, proof by contrapositive and proof by contradiction, choosing the appropriate method and writing each step with correct logical structure and justification

What this dot point is asking

QCAA wants you to prove statements using the right logical structure, not just verify them on examples. Beyond induction you must handle direct proof, proof by contrapositive and proof by contradiction, and you must prove trigonometric identities by transforming one side into the other. The marks here reward a watertight chain of implications with justified steps, so sloppy logic loses credit even when the final claim is true.

The answer

Direct proof

A direct proof of "if $P$ then $Q$" assumes $P$ and derives $Q$ through a sequence of valid steps. For example, to prove that the product of two even integers is even, write $m = 2a$ and $n = 2b$ for integers $a, b$, so $mn = 4ab = 2(2ab)$, which is even because $2ab$ is an integer. Every step must follow from a definition or an earlier line.

Proof by contrapositive

The statement "if $P$ then $Q$" is logically equivalent to its contrapositive "if not $Q$ then not $P$". When the negation of $Q$ is easier to work with, prove the contrapositive instead. To prove "if $n^2$ is even then $n$ is even", the contrapositive "if $n$ is odd then $n^2$ is odd" is direct: $n = 2k+1$ gives $n^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$, which is odd.

Proof by contradiction

Assume the statement is false and derive a contradiction. The classic example is the irrationality of $\sqrt2$: assume $\sqrt2 = \frac{p}{q}$ in lowest terms, so $p^2 = 2q^2$. Then $p^2$ is even, so $p$ is even, say $p = 2r$, giving $4r^2 = 2q^2$, hence $q^2 = 2r^2$, so $q$ is also even. But then $p$ and $q$ share the factor $2$, contradicting "lowest terms". The assumption fails, so $\sqrt2$ is irrational.

Trigonometric proofs

To prove an identity such as $\frac{\sin 2\theta}{1 + \cos 2\theta} = \tan\theta$, work on one side using known identities until it matches the other. Standard tools include the Pythagorean identity $\sin^2\theta + \cos^2\theta = 1$, the double-angle formulas $\sin 2\theta = 2\sin\theta\cos\theta$ and $\cos 2\theta = 2\cos^2\theta - 1$, and the compound-angle formulas. Never move terms across the equals sign as if solving an equation; an identity proof transforms one expression, it does not manipulate both sides simultaneously.

Choosing a method

Direct proof suits constructive "build it forward" claims. Contrapositive helps when the negation of the conclusion is concrete (odd, nonzero, rational). Contradiction is the tool for non-existence and irrationality claims, where you assume the thing exists and break it. State which method you are using so the marker can follow the logic.

Writing valid logic

Each line must be justified: cite the definition, identity or earlier result used. Avoid the circular trap of assuming what you are proving. In an identity proof, declare a left-hand side (LHS) and right-hand side (RHS) and show LHS equals RHS by manipulating only one of them.