# STEP maths I, II, III 1992 solutions

Watch
(Updated as far as post #159.) SimonM - 23.03.2009

Solutions for earlier STEP papers are not available on the internet, so we're making our own. Please submit any solution to any problem which is currently unsolved (red above); if you see any mistakes in solutions posted, please point them out.

There are still a lot of questions to do in the 1993 thread; don't forget to check there too! Several of the other threads still have one or two unsolved questions too - links are at the bottom of this post.

N.B. the "usual" past paper website has the papers mislabelled; please check the

1: Solution by Lusus Naturae

2: Solution by nota bene / DFranklin

3: Solution by Speleo

4: Solution by Speleo

5: Solution by ad absurdum and DFranklin

6: Solution by brianeverit

7: Solution by DeathAwaitsU, insparato and DFranklin

8: Solution by insparato and DFranklin

9: Solution by *bobo*

10: Solution by *bobo*

11: Solution by *bobo*

12: Solution by brianeverit

13: Solution by *bobo*

14: Solution by brianeverit

15: Solution by TheDuck

16: Solution by generalebriety

1: Solution by Speleo

2: Solution by generalebriety

3: Solution by generalebriety

4: Solution by generalebriety

5: Solution by brianeverit

6: Solution by khaixiang

7: Solution by ad absurdum

8: Solution by Lusus Naturae

9: Solution by generalebriety and mikelbird

10: Solution by generalebriety and khaixiang

11: Solution by *bobo*

12: Solution by brianeverit

13: Solution by *bobo*

14: Solution by generalebriety

15: Solution by ben-smith

16: Solution by brianeverit

1: Solution by khaixiang

2: Solution by nota bene

3: Solution by khaixiang

4: Solution by SimonM

5: Solution by SimonM

6: Solution by khaixiang

7: Solution by generalebriety

8: Solution by khaixiang

9: (Incomplete) Solution by generalebriety Full solution by mikelbird

10: Solution by Glutamic Acid

11: Solution by *bobo*

12: Solution by *bobo*

13: Solution by *bobo*

14: Solution by brianeverit

15: Solution by ben-smith

16: Solution by ben-smith

1987 - 1988 - 1989 - 1990 - 1991 - 1992 - 1993 - 1994 - 1995 - 1996 - 1997 - 1998 - 1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2006 - 2007

Solutions for earlier STEP papers are not available on the internet, so we're making our own. Please submit any solution to any problem which is currently unsolved (red above); if you see any mistakes in solutions posted, please point them out.

There are still a lot of questions to do in the 1993 thread; don't forget to check there too! Several of the other threads still have one or two unsolved questions too - links are at the bottom of this post.

N.B. the "usual" past paper website has the papers mislabelled; please check the

**front of the paper**, not the filename, to see which paper you're doing. (Mathematics = I, further mathematics A = II, further mathematics B = III.)**STEP I:**1: Solution by Lusus Naturae

2: Solution by nota bene / DFranklin

3: Solution by Speleo

4: Solution by Speleo

5: Solution by ad absurdum and DFranklin

6: Solution by brianeverit

7: Solution by DeathAwaitsU, insparato and DFranklin

8: Solution by insparato and DFranklin

9: Solution by *bobo*

10: Solution by *bobo*

11: Solution by *bobo*

12: Solution by brianeverit

13: Solution by *bobo*

14: Solution by brianeverit

15: Solution by TheDuck

16: Solution by generalebriety

**STEP II:**1: Solution by Speleo

2: Solution by generalebriety

3: Solution by generalebriety

4: Solution by generalebriety

5: Solution by brianeverit

6: Solution by khaixiang

7: Solution by ad absurdum

8: Solution by Lusus Naturae

9: Solution by generalebriety and mikelbird

10: Solution by generalebriety and khaixiang

11: Solution by *bobo*

12: Solution by brianeverit

13: Solution by *bobo*

14: Solution by generalebriety

15: Solution by ben-smith

16: Solution by brianeverit

**STEP III:**1: Solution by khaixiang

2: Solution by nota bene

3: Solution by khaixiang

4: Solution by SimonM

5: Solution by SimonM

6: Solution by khaixiang

7: Solution by generalebriety

8: Solution by khaixiang

9: (Incomplete) Solution by generalebriety Full solution by mikelbird

10: Solution by Glutamic Acid

11: Solution by *bobo*

12: Solution by *bobo*

13: Solution by *bobo*

14: Solution by brianeverit

15: Solution by ben-smith

16: Solution by ben-smith

**Solutions written by TSR members:**1987 - 1988 - 1989 - 1990 - 1991 - 1992 - 1993 - 1994 - 1995 - 1996 - 1997 - 1998 - 1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2006 - 2007

0

reply

Report

#2

Oh, and by the way - I'm doing II Q4. Back off.

Unparseable or potentially dangerous latex formula. Error 5: Image dimensions are out of bounds: 626x1033

`\displaystyle \text{Consider }\lozenge (\lambda\mu ) = \lambda\lozenge\mu + \mu\lozenge\lambda \text{ [a]} \\`

\text{But } \lozenge (\lambda\mu ) = \lambda\lozenge\mu \text{ [d]} \\

\therefore \lambda\lozenge\mu + \mu\lozenge\lambda = \lambda\lozenge\mu \Rightarrow \mu\lozenge\lambda = 0 \Rightarrow \lozenge\lambda = 0.\\ \\

\lozenge x^2 = x\lozenge x + x\lozenge x \text{ [a]} \\

= x.1 + x.1 \text{ [c]} \\

= 2x.\\

\lozenge x^3 = x^2 \lozenge x + x \lozenge x^2 \text{ [a]} \\

= x^2.1 + x.2x \text{ [c]} \\

= 3x^2. \\ \\

\text{Proposition: } \lozenge x^n = nx^{n-1}. \text{ Proceed by induction; assume true for } n \leq k. \\

\lozenge x^k = kx^{k-1} \\

\lozenge x^{k+1} = \lozenge (x^k.x) = x^k\lozenge x + x\lozenge x^k \text{ [a]}

= x^k.1 + x.kx^{k-1}\\

= (k+1)x^k \text{as required}. \\

\therefore \lozenge x^n = nx^{n-1}. \\ \\

h(x) = k_0 + k_1x + k_2x^2 + k_3x^3 + \dots + k_rx^r + \dots\\

\lozenge h(x) = \lozenge (k_0 + k_1x + k_2x^2 + k_3x^3 + \dots + k_rx^r + \dots ) \\

\lozenge h(x) = \lozenge (k_0) + \lozenge (k_1x) + \lozenge (k_2x^2) + \lozenge (k_3x^3) + \dots + \lozenge (k_rx^r) + \dots \text{ [b]} \\

\lozenge h(x) = 0 + k_1\lozenge (x) + k_2\lozenge (x^2) + k_3\lozenge (x^3) + \dots + k_r\lozenge (x^r) + \dots \text{ [d]} \\

\lozenge h(x) = k_1(1) + k_2(2x) + k_3(3x^2) + \dots + k_r(rx^{r-1}) + \dots \\

\therefore \lozenge h(x) = \frac{\text{d}}{\text{d}x} h(x).

\text{But } \lozenge (\lambda\mu ) = \lambda\lozenge\mu \text{ [d]} \\

\therefore \lambda\lozenge\mu + \mu\lozenge\lambda = \lambda\lozenge\mu \Rightarrow \mu\lozenge\lambda = 0 \Rightarrow \lozenge\lambda = 0.\\ \\

\lozenge x^2 = x\lozenge x + x\lozenge x \text{ [a]} \\

= x.1 + x.1 \text{ [c]} \\

= 2x.\\

\lozenge x^3 = x^2 \lozenge x + x \lozenge x^2 \text{ [a]} \\

= x^2.1 + x.2x \text{ [c]} \\

= 3x^2. \\ \\

\text{Proposition: } \lozenge x^n = nx^{n-1}. \text{ Proceed by induction; assume true for } n \leq k. \\

\lozenge x^k = kx^{k-1} \\

\lozenge x^{k+1} = \lozenge (x^k.x) = x^k\lozenge x + x\lozenge x^k \text{ [a]}

= x^k.1 + x.kx^{k-1}\\

= (k+1)x^k \text{as required}. \\

\therefore \lozenge x^n = nx^{n-1}. \\ \\

h(x) = k_0 + k_1x + k_2x^2 + k_3x^3 + \dots + k_rx^r + \dots\\

\lozenge h(x) = \lozenge (k_0 + k_1x + k_2x^2 + k_3x^3 + \dots + k_rx^r + \dots ) \\

\lozenge h(x) = \lozenge (k_0) + \lozenge (k_1x) + \lozenge (k_2x^2) + \lozenge (k_3x^3) + \dots + \lozenge (k_rx^r) + \dots \text{ [b]} \\

\lozenge h(x) = 0 + k_1\lozenge (x) + k_2\lozenge (x^2) + k_3\lozenge (x^3) + \dots + k_r\lozenge (x^r) + \dots \text{ [d]} \\

\lozenge h(x) = k_1(1) + k_2(2x) + k_3(3x^2) + \dots + k_r(rx^{r-1}) + \dots \\

\therefore \lozenge h(x) = \frac{\text{d}}{\text{d}x} h(x).

0

reply

Report

#3

II/1

Someone might want to check v.) and vi.), v.) because it seems so easy, vi.) because I'm not certain I can neglect the terms I did... (limit's right though).

Think I'll attempt Lusus' challenge now, I expect to fail miserably

Someone might want to check v.) and vi.), v.) because it seems so easy, vi.) because I'm not certain I can neglect the terms I did... (limit's right though).

Think I'll attempt Lusus' challenge now, I expect to fail miserably

0

reply

Report

#4

I'll give STEP I q7 a shot.

and

As n, g(0) and g(1) are integers, g(n) must be an integer too.

and

and

and

So

(I is the integer form of a)

We've now got integer forms of an^2, bn and c so f(n) can be expressed as an integer:

All of which are integers. A more complete f(n):

And by the by, in case someone wants a justification of why is an integer:

The left hand side is an integer. This implies that the right hand side is an integer. As I can take out a factor of 2 out of the right hand side, it implies that the right hand side is an even integer. This then implies that the left hand side is an even integer. And so the left hand side is divisible by 2.

Don't have enough time for the last bit.

and

As n, g(0) and g(1) are integers, g(n) must be an integer too.

and

and

and

So

(I is the integer form of a)

We've now got integer forms of an^2, bn and c so f(n) can be expressed as an integer:

All of which are integers. A more complete f(n):

And by the by, in case someone wants a justification of why is an integer:

The left hand side is an integer. This implies that the right hand side is an integer. As I can take out a factor of 2 out of the right hand side, it implies that the right hand side is an even integer. This then implies that the left hand side is an even integer. And so the left hand side is divisible by 2.

Don't have enough time for the last bit.

0

reply

Report

#6

I'll try III/2 (Matrices) I think I'm able to do it but I'm not 100% sure

EDIT:

Furthermore an identity matrix I^n=I (If David reads this he'll probably tell me to prove it Honestly I don't know how much of this we are allowed to assume, either way I'll leave it out for the time being). Also multiplying by an Identity matrix does not change anything (could possibly also require a proof, but I really don't see how we are supposed to prove all these things in 30 minutes (although the proofs are not hard)).

Therefore

As desired...

Using and (for confirmation:

)

Then we have

As desired...

Let's show J^4=2J^3:

Using the previously proven information it can now be rewritten as:

Moving on I will first prove The case n=2 is already proven earlier. Therefore we assume the statement to be true for all n=k where .

Multiply by J we have

Q.E.D. (P(k)->P(k+1) by mathematical induction)

Now we move on to proving the statement that The case n=1 is already proven. Assume true for n=k, and multiply by (I+aJ) (and using a bit of information we know is true).

As desired; therefore by the principle of mathematical induction we have proven that P(k)->P(k+1) Q.E.D.

Now I hope I have not made too many typos or other stupid things...

EDIT:

Furthermore an identity matrix I^n=I (If David reads this he'll probably tell me to prove it Honestly I don't know how much of this we are allowed to assume, either way I'll leave it out for the time being). Also multiplying by an Identity matrix does not change anything (could possibly also require a proof, but I really don't see how we are supposed to prove all these things in 30 minutes (although the proofs are not hard)).

Therefore

As desired...

Using and (for confirmation:

)

Then we have

As desired...

Let's show J^4=2J^3:

Using the previously proven information it can now be rewritten as:

Moving on I will first prove The case n=2 is already proven earlier. Therefore we assume the statement to be true for all n=k where .

Multiply by J we have

Q.E.D. (P(k)->P(k+1) by mathematical induction)

Now we move on to proving the statement that The case n=1 is already proven. Assume true for n=k, and multiply by (I+aJ) (and using a bit of information we know is true).

As desired; therefore by the principle of mathematical induction we have proven that P(k)->P(k+1) Q.E.D.

Now I hope I have not made too many typos or other stupid things...

0

reply

Report

#7

STEP II Q8

i)

But

We will now sort this out into partial fractions:

Setting gives us

Setting gives us (*)

Setting gives us (#)

Solving (*) and (#) by the elimination method gives us:

Therefore we now have to solve

Taking out a constant gives

Which integrates to

ii.

Let

So now we are integrating:

iii.

Let

So:

Using the cover rule for partial fractions gives

Done.

i)

But

We will now sort this out into partial fractions:

Setting gives us

Setting gives us (*)

Setting gives us (#)

Solving (*) and (#) by the elimination method gives us:

Therefore we now have to solve

Taking out a constant gives

Which integrates to

ii.

Let

So now we are integrating:

iii.

Let

So:

Using the cover rule for partial fractions gives

Done.

0

reply

Report

#8

STEP II

Q8 ii) Turn the denominator into 5cos (x - arctan3/4) and integrates easily

Q8 iii) put it in to exponentials and use the substitution u = e^x i get ln |(e^x -1)/(e^x+1)| + C

Q8 ii) Turn the denominator into 5cos (x - arctan3/4) and integrates easily

Q8 iii) put it in to exponentials and use the substitution u = e^x i get ln |(e^x -1)/(e^x+1)| + C

0

reply

Report

#9

(Original post by

STEP II

Q8 ii) Turn the denominator into 5cos (x - arctan3/4) and integrates easily

Q8 iii) put it in to exponentials and use the substitution u = e^x i get ln |(e^x -1)/(e^x+1)| + C

**insparato**)STEP II

Q8 ii) Turn the denominator into 5cos (x - arctan3/4) and integrates easily

Q8 iii) put it in to exponentials and use the substitution u = e^x i get ln |(e^x -1)/(e^x+1)| + C

0

reply

Report

#12

Just need to finish off the general solution on Q2 im having alittle bit of difficulty at the near the end. You might as well finish it off .

0

reply

Report

#13

My question is done up there ^

Also, good job on the clickable links to each question

Also, good job on the clickable links to each question

0

reply

Report

#14

I/3.

(i)

(ii)

(iii)

Edit: ah, to hell with it. I'll change the first post, Speleo corrected me on everything. Left the stuff above for easy LaTeXing.

(i)

(ii)

(iii)

Edit: ah, to hell with it. I'll change the first post, Speleo corrected me on everything. Left the stuff above for easy LaTeXing.

0

reply

Report

#15

II/8 is now complete.

(Aaron, do I have any corrections to make, or do you agree?)

(Aaron, do I have any corrections to make, or do you agree?)

0

reply

Report

#19

(Original post by

Just did I/3, got a different answer for every part

Pretty sure I'm right, too

**Speleo**)Just did I/3, got a different answer for every part

Pretty sure I'm right, too

Cheers.

Edit: gah, I got all the working right, I just put in the limits wrongly. I'm so stupid sometimes. Hmm... what's wrong with my answer to part (iv)? I mean I can see you're right straight off, but what have I done wrong?

0

reply

Report

#20

You sure your last part is correct? I mean I know you went to all that trouble, but I still think the answer is 0...

0

reply

X

### Quick Reply

Back

to top

to top