Do they allow you to use “reversing the step” in the HSC? (Nature of proof) (1 Viewer)

catha230

Member
Joined
Oct 11, 2019
Messages
67
Gender
Undisclosed
HSC
2020
Allow me to elaborate on the title. So the new syllabus has introduced a new topic called “nature of proof” which basically consists of proving problems. At tutor, I was told that according to NESA, you are not allowed to assume something is true and work backwards to the end. However, at school when doing a proving question, my teacher often just write what we're required to prove first and do it backwards until we reach something that is obviously true such as 1>0. Then at the end of the step, he writes "Reverse the steps to get the proof required". I'm really perplexed by that and wonder who I should listen to. I will attach a handwritten example on my school teacher's method to further clarify my query.

Thank you so much in advance!
 

Attachments

Drdusk

Moderator
Moderator
Joined
Feb 24, 2017
Messages
2,022
Location
a VM
Gender
Male
HSC
2018
Uni Grad
2023
Allow me to elaborate on the title. So the new syllabus has introduced a new topic called “nature of proof” which basically consists of proving problems. At tutor, I was told that according to NESA, you are not allowed to assume something is true and work backwards to the end. However, at school when doing a proving question, my teacher often just write what we're required to prove first and do it backwards until we reach something that is obviously true such as 1>0. Then at the end of the step, he writes "Reverse the steps to get the proof required". I'm really perplexed by that and wonder who I should listen to. I will attach a handwritten example on my school teacher's method to further clarify my query.

Thank you so much in advance!
Yeah you are not allowed to do that. Quote from my tutor when I was in 4u "Assumptions that are mathematically incorrect CAN lead to results that are mathematically correct."

Instead what you should do if you really want to work backwards is use a Proof by Contradiction. So instead start by assuming



Which will lead you to



Which is obviously false giving a contradiction. Hence your assumption is false.

However what your teacher is saying I think is do it by assuming its true so you figure out what you need to start with in order to reach the answer. From this then rub out all the steps and write them in reverse. This IS allowed. However you can not just leave the proof like that, you must write the steps in reverse order. It's sort of a 'cheat' method, it works but you MUST remember to cross it out or else you'll lose marks.
 

fan96

617 pages
Joined
May 25, 2017
Messages
543
Location
NSW
Gender
Male
HSC
2018
Uni Grad
2024
At tutor, I was told that according to NESA, you are not allowed to assume something is true and work backwards to the end. However, at school when doing a proving question, my teacher often just write what we're required to prove first and do it backwards until we reach something that is obviously true such as 1>0.
Whether or not you can work backwards depends on if the steps you take are invertible/reversible, or in other words, the implications you use are of the "if and only if" type.

For example,



is an example of such an invertible operation, because is logically equivalent to - each statement implies the other.

Here you can start from the statement and work backwards to get . Then you may conclude that if , then .

However, the function is not invertible.



The first statement implies the second, but the second does not imply the first.

So in this case you could not start from and then conclude that .

You should certainly never assume something is true. So your tutor is correct, but what your teacher is doing is not assuming the statement is true. Rather, they are just finding logically equivalent statements, continuing this process until one of these equivalent statements is true, which proves the original statement.

For your question: your teacher is only using the operations of squaring, multiplication and addition.
Now in general the first two are not invertible, but since all the quantities involved are positive, this is okay.
Of course, addition is always an invertible operation, so this proof is valid.

The key here is ensuring that the steps you take can be done in either direction.
 
Last edited:

catha230

Member
Joined
Oct 11, 2019
Messages
67
Gender
Undisclosed
HSC
2020
Yeah you are not allowed to do that. Quote from my tutor when I was in 4u "Assumptions that are mathematically incorrect CAN lead to results that are mathematically correct."

Instead what you should do if you really want to work backwards is use a Proof by Contradiction. So instead start by assuming



Which will lead you to



Which is obviously false giving a contradiction. Hence your assumption is false.

However what your teacher is saying I think is do it by assuming its true so you figure out what you need to start with in order to reach the answer. From this then rub out all the steps and write them in reverse. This IS allowed. However you can not just leave the proof like that, you must write the steps in reverse order. It's sort of a 'cheat' method, it works but you MUST remember to cross it out or else you'll lose marks.
so in the hsc, simply writing “reverse the steps to get the proof” is not enough? Does it mean that I need to re-write the whole thing? If so, it’s gonna be really time consuming. I reckon I’ll use contradiction as you told. Thank you so much for your reply
 

catha230

Member
Joined
Oct 11, 2019
Messages
67
Gender
Undisclosed
HSC
2020
Whether or not you can work backwards depends on if the steps you take are invertible/reversible, or in other words, the implications you use are of the "if and only if" type.

For example,



is an example of such an invertible operation, because is logically equivalent to - each statement implies the other.

Here you can start from the statement and work backwards to get . Then you may conclude that if , then .

However, the function is not invertible.



The first statement implies the second, but the second does not imply the first.

So in this case you could not start from and then conclude that .

You should certainly never assume something is true. So your tutor is correct, but what your teacher is doing is not assuming the statement is true. Rather, they are just finding logically equivalent statements, continuing this process until one of these equivalent statements is true, which proves the original statement.

For your question: your teacher is only using the operations of squaring, multiplication and addition.
Now in general the first two are not invertible, but since all the quantities involved are positive, this is okay.
Of course, addition is always an invertible operation, so this proof is valid.

The key here is ensuring that the steps you take can be done in either direction.
Hi, thanks for your interest in my thread. Does that mean that in the HSC it is simply not enough just to write “reverse the steps to get the proof”?
 

Drdusk

Moderator
Moderator
Joined
Feb 24, 2017
Messages
2,022
Location
a VM
Gender
Male
HSC
2018
Uni Grad
2023
so in the hsc, simply writing “reverse the steps to get the proof” is not enough? Does it mean that I need to re-write the whole thing? If so, it’s gonna be really time consuming. I reckon I’ll use contradiction as you told. Thank you so much for your reply
Yeah you must re-write the whole thing or you can lose marks. It is time consuming but sometimes it actually helps believe it or not. Some questions are really hard and you just don't know where to start so by working backwards you can figure it out. However yes first try the Proof by Contradiction and other normal ways of proving it and if you can't get it out then work backwards.
 

fan96

617 pages
Joined
May 25, 2017
Messages
543
Location
NSW
Gender
Male
HSC
2018
Uni Grad
2024
Hi, thanks for your interest in my thread. Does that mean that in the HSC it is simply not enough just to write “reverse the steps to get the proof”?
For the proof to be mathematically valid, you need to show that these steps actually are reversible. Then the proof is correct.

But I don't know how an HSC marker would react to this - this sort of logic wasn't touched on at all in the old HSC. But it is covered in first year uni math so I would expect most markers to accept an explanation of why the steps are reversible.
 
Last edited:

stupid_girl

Active Member
Joined
Dec 6, 2009
Messages
221
Gender
Undisclosed
HSC
N/A
I think "Reverse the steps to get the proof required" actually means you have to write the whole stuff again in reversed order.

The technique of working backwards is extremely useful when you learn how to prove limit in university. (It would be very difficult to think of a correct bound otherwise.) However, ultimately you still need to write the proof in correct order to get marks.
 

Drdusk

Moderator
Moderator
Joined
Feb 24, 2017
Messages
2,022
Location
a VM
Gender
Male
HSC
2018
Uni Grad
2023
The technique of working backwards is extremely useful when you learn how to prove limit in university. (It would be very difficult to think of a correct bound otherwise.) However, ultimately you still need to write the proof in correct order to get marks.
Don't even get me started on that. My friends and I have been arguing about the Epsilon Delta crap for 3 trimesters now.
 

TheOnePheeph

Active Member
Joined
Dec 13, 2018
Messages
241
Gender
Male
HSC
2019
I think "Reverse the steps to get the proof required" actually means you have to write the whole stuff again in reversed order.

The technique of working backwards is extremely useful when you learn how to prove limit in university. (It would be very difficult to think of a correct bound otherwise.) However, ultimately you still need to write the proof in correct order to get marks.
When you say this do you mean like proving that the limit of a function at a certain x, a, is a certain value, l (l and a are both given), by showing that for all positive epsilon, a positive value of delta exists so that for all x, if |x-a|<delta then |f(x)-l|<epsilon?
 

stupid_girl

Active Member
Joined
Dec 6, 2009
Messages
221
Gender
Undisclosed
HSC
N/A
When you say this do you mean like proving that the limit of a function at a certain x, a, is a certain value, l (l and a are both given), by showing that for all positive epsilon, a positive value of delta exists so that for all x, if |x-a|<delta then |f(x)-l|<epsilon?
Yes. It's very difficult (or nearly impossible) to choose a delta without working backwards on a rough work paper.o_O
 

no_arg

Member
Joined
Mar 25, 2004
Messages
67
Gender
Undisclosed
HSC
N/A
Consider the following

Theorem: -2=2.

Proof: -2=2 implies that |-2|=|2| and hence 2=2 which is true.

Therefore -2=2.

Logic, like water, usually only flows in one direction.

Even in the old days, HSC markers were brutal on responses which ran in the wrong direction, particularly inequality proofs.
Maaaaaaaaaannnnny looooooooooooost marks.
You should not start the proof of a theorem with the theorem.

Cheers
 

no_arg

Member
Joined
Mar 25, 2004
Messages
67
Gender
Undisclosed
HSC
N/A
Consider the following

Theorem: -2=2.

Proof: -2=2 implies that |-2|=|2| and hence 2=2 which is true.

Therefore -2=2.

Logic, like water, usually only flows in one direction.

Even in the old days, HSC markers were brutal on responses which ran in the wrong direction, particularly inequality proofs.
Maaaaaaaaaannnnny looooooooooooost marks.
You should not start the proof of a theorem with the theorem.

Cheers
With regard to epsilon-delta arguments remember that lines of a proof do not need justification.
They just needs to be true.
If your proof starts with the statement 0<1 there is no need to agonise over why you started there..........that is your choice.
 
Last edited:

Users Who Are Viewing This Thread (Users: 0, Guests: 1)

Top