Sometimes, we must attempt different proof methods to prove a certain theorem or complete a certain proof. This is what you will find usually in practice.
Think about it, you are doing some research, you think something is true under certain conditions, you create a conjecture, and now you have to prove it. No one will tell you to use this or that method. You should try different methods according to the knowledge you have.
Let’s attempt a direct proof as this is one of the easiest proof methods.
If m+n and n+p are even, then m+n=2k for some integer k (by definition of an even number) and n+p=2t for some integer p.
Now we use rules of inferences to take subsequent steps and proof that the assumptions of m+n and n+p being even leads to the conclusion that m + p is even.
m + n + n + p = 2k + 2t
m + 2n + p = 2k + 2t
m + p = 2k + 2t – 2n = 2(k+t-n)
By definition of an even number, m+p is also even.
⧠
We used direct proof in this case.
Related exercises:
- 3. Show that the square of an even number is an even number using a direct proof
- 4. Show that the additive inverse, or negative, of an even number is an even number using a direct proof
- 6- Use a direct proof to show that the product of two odd numbers is odd
- 7. Use a direct proof to show that every odd integer is the difference of two squares.