You are Here: Home >< Maths

# Proof watch

1. Prove that is an even number.

How is this deduced? What should I be thinking about in order to derive a sequence of logical steps leading to the solution?
2. (Original post by Illidan2)
Prove that is an even number.

How is this deduced? What should I be thinking about in order to derive a sequence of logical steps leading to the solution?
you can start by just putting in a few numbers to see how it works.

then think what you could do with the expression...
3. (Original post by Illidan2)
Prove that is an even number.

How is this deduced? What should I be thinking about in order to derive a sequence of logical steps leading to the solution?
You should factorise then inspect the parity of both numbers, thus logically deduce that the product MUST be even.
4. When I factorise I get , do I not? So the parity of -1 is odd, but n can in itself be even or odd as n can be any number, right? I'm not sure where I should go from there, or if what I have done is even the logical form of progression one would make when trying to prove that .
5. Think about the relationship between n and n-1. When n is odd, what is n-1? When n is even, what is n-1?
6. (Original post by Illidan2)
When I factorise I get , do I not? So the parity of -1 is odd, but n can in itself be even or odd as n can be any number, right? I'm not sure where I should go from there, or if what I have done is even the logical form of progression one would make when trying to prove that .
So you know that can be either even or odd. You have 2 cases to consider. First, go with 'if is even, then...' and arrive at a conclusion that the product must be even. Repeat similarly for the second case.
7. (Original post by Illidan2)
When I factorise I get , do I not? So the parity of -1 is odd, but n can in itself be even or odd as n can be any number, right? I'm not sure where I should go from there, or if what I have done is even the logical form of progression one would make when trying to prove that .
What is true about the parity of two neighbouring numbers?
8. When n is odd, n-1 is even.

When n is odd, n(n-1) is even.

When n is even, n-1 is odd.

When n is even, , n(n-1) is even.

I notice that in both cases of , or , the result is even. I think I know how to prove this now. Give me a few minutes...
9. (Original post by Illidan2)
When n is odd, n-1 is even.

When n is odd, n(n-1) is even.

When n is even, n-1 is odd.

When n is even, , n(n-1) is even.

I notice that in both cases of , or , the result is even. I think I know how to prove this now. Give me a few minutes...
You already proved it in this post though lol
10. Oh. I'm allowed to just write that as my proof? If I were to write something to that effect in an A-Level exam(naturally, I assume i'll be proving something more complex), would I receive the marks? Can I prove it in sentences? I thought I had to figure out some method of conversion into algebra that expresses my thoughts in a logical way. Am I overthinking it?
11. (Original post by Illidan2)
Oh. I'm allowed to just write that as my proof? If I were to write something to that effect in an A-Level exam(naturally, I assume i'll be proving something more complex), would I receive the marks? Can I prove it in sentences? I thought I had to figure out some method of conversion into algebra that expresses my thoughts in a logical way. Am I overthinking it?
Yes you can just write that down. There are different methods of proof to use and it often depends on the statement you're trying to prove. This one requires proof by cases. I don't think you'd encounter a proof by cases in an A-Level exam.

If you REALLY want to be more rigorous about it, you can say that in each case you have or then in each case you can proceed to work with algebra and factor out a 2 to show that the product is even.
12. Oh, I see. Thank you so much! :3

Proof by cases(or exhaustion), is part of the specification for the A-Level Maths course I am working my way through, as well as deduction, counter-example and contradiction. Is proof by cases a derivative of proof by deduction? My textbook had that question listed as a "proof by deduction". I assume that because proof by cases is listed as part of the Edexcel A-Level Maths 2017 linear specification, it may be possible that I may encounter a question requiring me to use proof by cases?
13. Well an easy way to do it is notice these are consecutive numbers and therefore the product is even.
14. (Original post by Illidan2)
Oh. I'm allowed to just write that as my proof? If I were to write something to that effect in an A-Level exam(naturally, I assume i'll be proving something more complex), would I receive the marks? Can I prove it in sentences? I thought I had to figure out some method of conversion into algebra that expresses my thoughts in a logical way. Am I overthinking it?
You could say that n(n-1) is the product of two consecutive numbers. Any two consecutive numbers will be a pair of odd and even numbers. The product of an odd and even number is always even (it will always have a factor of 2).
15. (Original post by Illidan2)
Oh, I see. Thank you so much! :3

Proof by cases(or exhaustion), is part of the specification for the A-Level Maths course I am working my way through, as well as deduction, counter-example and contradiction. Is proof by cases a derivative of proof by deduction? My textbook had that question listed as a "proof by deduction". I assume that because proof by cases is listed as part of the Edexcel A-Level Maths 2017 linear specification, it may be possible that I may encounter a question requiring me to use proof by cases?
If it was under 'Proof by deduction' then they'd probably want you to just immediately think "Oh it's the product of two alternative parities, so it must be even" without much maths going on like it would if it was under cases. If you can't deduce it, you can just use cases like you did here. (given that the proposition can be done by cases, of course)
16. I just checked the solution online. They deduced it by saying "If n is even, n-1 is odd and even*odd=even", and then repeated that for n being odd. Is that proof by deduction or cases?
17. (Original post by Illidan2)
I just checked the solution online. They deduced it by saying "If n is even, n-1 is odd and even*odd=even", and then repeated that for n being odd. Is that proof by deduction or cases?
Strictly speaking, it's cases. But deduction isn't its own way of proving a statement.
18. I see. Thank you!

TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Updated: November 11, 2017
Today on TSR

### Are exams rubbish?

Is the exam system out of date?

### University open days

• University of Chichester
Thu, 25 Oct '18
• Norwich University of the Arts
Fri, 26 Oct '18
• University of Lincoln
Sat, 27 Oct '18
Poll
Useful resources

### Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

### How to use LaTex

Writing equations the easy way

### Study habits of A* students

Top tips from students who have already aced their exams