backwards reasoning working out (1 Viewer)

[ilovemangos]

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]

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]

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]

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]

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]

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]

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.

 

[Luukas.2]

Yeah 1988 Q8b part iv

Thanks, that's it... I thought I was doing well remembering that it was and that it was 267 decimal places!