Direct and LHS to RHS proofs
In direct proofs, we start with a fact (whether it be an equation, an inequality, or a statement or sentence), and use algebra and other techniques to derive additional facts.
For an equation, one way is to start with one true equation, or many of them, then simultaneously arrive at both the left and right sides of the desired equation.
Another way is to start from a single side, typically the more complicated side, then manipulate this expression to equal to the other side. This variation is more commonly known as “LHS to RHS proof”, ie left-hand side to right-hand side. “RHS to LHS proof” is also accepted.
IB may refer to either method with the command term “show that”.
Example: Show that for prime numbers greater than , it is either one more than a multiple of , or one less than a multiple of .
All positive integers can be written as , , , ie is the remainder when the integer is divided by .
When the integer is , it is divisible by .
When the integer is or , the integer will be divisible by .
When the integer is , the integer will be divisible by .
This means and are not divisible by or , hence may be prime. Furthermore, . Hence, all primes greater than and must be either one more or one less than a multiple of
This does not show that all such numbers are prime, but merely have a chance to be prime.
Tips
- Your proof must only use the givens or derive one side of the equation from the other, meaning that you cannot assume the target statement is true. “Show that” problems are derivations, not verifications.
- As IB accepts both LHS to RHS, and RHS to LHS, you should start with the more complicated side then simplify to the more simplified side.
- You can work backwards, as long as you cross out such portions, and rewrite them in the proper order in your solution. Remember, the reading order is not necessarily the writing order. Trust me I got a 5 in English A.
- In HL, you may also have to prove an inequality. This typically involves first finding that one side is greater than some intermediate result, which is then shown to be greater than the other side.