To prove properties of specific types of numbers, they must first be defined using a general integer :
Even Numbers: Represented as , because any integer multiplied by 2 is divisible by 2.
Odd Numbers: Represented as or , as these are one unit away from an even number.
Consecutive Integers: Represented as , showing a sequence where each term increases by 1.
Consecutive Even/Odd Numbers: Represented with a difference of 2, such as for even, or for odd.
Multiples of : Any number that can be written in the form , where is an integer.
Direct Proof: Start with the algebraic expressions for the given conditions, perform operations (like addition or squaring), and simplify to reach the target form.
Proving Divisibility: To prove a result is divisible by , factorize the final expression to show it is in the form . For example, proves the result is a multiple of 3.
Proving Parity: To prove a result is even, show it can be written as . To prove it is odd, show it can be written as .
LHS vs RHS: In 'show that' problems involving identities, manipulate the Left Hand Side (LHS) independently until it matches the Right Hand Side (RHS).
A common requirement is to prove an expression is always positive or non-negative for all real values of .
The Square Property: The most powerful tool is the fact that any real number squared is non-negative: .
Completing the Square: By rewriting a quadratic expression into the form , you can determine its minimum value. If and , the expression is always positive.
For example, is always at least 5, because the minimum value of is 0 when .
| Feature | Equation | Identity |
|---|---|---|
| Definition | True for specific values of the variable. | True for ALL values of the variable. |
| Symbol | Uses the equals sign (). | Uses the identity sign (). |
| Goal | To find the unknown value (solve). | To show both sides are mathematically equivalent. |
| Example | (only true if ) | (true for any ) |
The Conclusion Sentence: Always end your proof with a concluding statement that mirrors the question's wording. For example: 'Since the result is in the form , it is a multiple of 2 and therefore even.'
Bracket Expansion: Be extremely careful with signs when expanding brackets like . Expand the square first inside brackets before applying the negative sign.
Variable Choice: Use different letters (e.g., and ) if the question refers to two different, non-consecutive integers.
Verification: While not a proof, substituting a few small integers into your final algebraic expression can help catch expansion errors before you finalize your answer.