• Congratulations to the Class of 2024 on your results!
    Let us know how you went here
    Got a question about your uni preferences? Ask us here

backwards reasoning working out (1 Viewer)

ilovemangos

Member
Joined
Jan 23, 2023
Messages
48
Gender
Male
HSC
2025
hi, just checking that this is a valid method for proof. also how would you structure it? would you just say "therefore by backwards reasoning ___ is true" or draw arrows going back in your working out? thank you
 

cossine

Well-Known Member
Joined
Jul 24, 2020
Messages
626
Gender
Male
HSC
2017
hi, just checking that this is a valid method for proof. also how would you structure it? would you just say "therefore by backwards reasoning ___ is true" or draw arrows going back in your working out? thank you
You can work from the RHS and show it is equal to the LHS.

Sometimes yes it can be useful forwards/backwards however your final proof should be in one direction only. i.e. you can't work left to right than start working right-to-left. Don't ask me why. Weird quirk of the HSC
 

Trebla

Administrator
Administrator
Joined
Feb 16, 2005
Messages
8,402
Gender
Male
HSC
2006
hi, just checking that this is a valid method for proof. also how would you structure it? would you just say "therefore by backwards reasoning ___ is true" or draw arrows going back in your working out? thank you
Generally I would avoid this type of structure because it is susceptible to logical flaws and it is not really a well argued “proof” if you start with the statement you are trying to prove in the first place. In fact, some arguments in the converse direction may not actually be true.

A classic example would be to prove definite integral inequalities. It is not correct to start with the integral inequality then differentiate both sides to arrive at something that is true. This is because differentiating both sides of an inequality in general does not necessarily preserve the inequality sign (nor does it necessarily flip the inequality sign). It may be a useful hack to find the starting point of the proof (i.e here is a true inequality and then take definite integral of both sides to get the result) but it is not a valid proof itself.
 

ilovemangos

Member
Joined
Jan 23, 2023
Messages
48
Gender
Male
HSC
2025
yeah true, i was introduced to this method in a number proof question: Prove that the second digit after the decimal point of √2 is 1 without a calculator.
and the working out started with this:
1.41 < √2 < 1.42
then it squared everything.
then it evaluated 1.41^2 and 1.42^2 and showed that the inequality was true.

is there an alternate method possible for this question?

but yeah some questions seem to just be unlocked with this method, kind of like reverse engineering the question
 

Luukas.2

Well-Known Member
Joined
Sep 21, 2023
Messages
443
Gender
Male
HSC
2023
hi, just checking that this is a valid method for proof. also how would you structure it? would you just say "therefore by backwards reasoning ___ is true" or draw arrows going back in your working out? thank you
Sometimes a better approach would be to use a proof by contradiction.

For example, if and are unequal and positive reals, then can easily be proven forwards starting from


But equally, rather than working from the result backwards to find the starting point, and then having to re-write forwards, a proof by contradiction can be constructed based on the reasoning used to find the starting point (if it was not already known):

Proof - By Contradiction:

Assume that the theorem is false. Thus, there must exist some real and unequal values and such that . It follows that:


This cannot be true as and thus and so must have a positive square.

This contradiction inevitably follows from the assumption, and so the assumption must be false and the theorem must be true.

PS: @jimmysmith560, maybe this belongs in the current MX2 forum, rather than here in the 2018 archive?
 

Luukas.2

Well-Known Member
Joined
Sep 21, 2023
Messages
443
Gender
Male
HSC
2023
yeah true, i was introduced to this method in a number proof question: Prove that the second digit after the decimal point of √2 is 1 without a calculator.
and the working out started with this:
1.41 < √2 < 1.42
then it squared everything.
then it evaluated 1.41^2 and 1.42^2 and showed that the inequality was true.

is there an alternate method possible for this question?

but yeah some questions seem to just be unlocked with this method, kind of like reverse engineering the question
This method is valid as, for any positive reals,

because
.​

It suffices as a method to establish that the decimal expansion begins


as the function is continuous throughout its domain and changes sign on the open interval , and so there must be at least one solution of within that interval - and since there are only two solutions, , it must be the positive value that satisfies


Note, however, that you would need to show that the root is within to establish that to three significant figures.

A method for finding roots called Newton's method would provide an alternative approach to this problem, but is no longer included in the MX1 or MX2 syllabi.

For example, starting with an initial approximation of , the sequence of approximations would be:


Starting from a better first approximation, , the approximations converge to more rapidly:


... though I do admit that calculating the decimal form of some of these fractions isn't easy without a calculator!

Under the old syllabus, there was a final question on an MX2 paper (1988, if I recall correctly) that showed that using Newton's Method and starting from the first approximation , the 12th approximation to was correct to at least 267 decimal places.
 

ilovemangos

Member
Joined
Jan 23, 2023
Messages
48
Gender
Male
HSC
2025
thank you so much, yep i realised that i could just do a contradiction proof most of the time instead of actually doing it backwards and then having to rewrite it.
 

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

Top