This could make for a good STEP III question if adapted correctly, something like that question in III 1998 about the beta function in disguise!(Original post by EnglishMuon)
Similar techniques can be used to show the other common properties too.
Did you mean independent for the bit I bolded? Do you have an example of this, I think I kind of get the gist but I'm not entirely sure.If we have the vector equation (where lambda, mu are scalars), we can only say this equation implies iff a and b are linearly dependent (i.e. ) as otherwise a could be expressed in terms of b and vice versa. This can be used in proof by contradictions e.g. showing some expression=0 iff a and b satisfy these properties.

 Follow
 81
 10042016 18:39

EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 82
 10042016 19:20
(Original post by Zacken)
This could make for a good STEP III question if adapted correctly, something like that question in III 1998 about the beta function in disguise!
Did you mean independent for the bit I bolded? Do you have an example of this, I think I kind of get the gist but I'm not entirely sure. 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 83
 12042016 21:44
Day 16 Summary
One important thing for all exams is coping with stress, during revision and the exam itself. I think I need to remember the situation is not as bad as it may first seem for example today, I went to pieces during a STEP III paper. It all started when I went blank and missed the extremely basic idea of rewriting complex conjugates:
Let . Then the roots to the quadratic equation are and the complex conjugate of this root.
But suppose we wanted to write this other conjugate root in terms of alphas, then we do the obvious and reflect in the real axis via . E.g. . So we did something elementary to something obvious and ended up with something easy, and yet somehow it brought me to the verge of tears.
Sure this could well be the worst and wimpiest story of all time, but I thought it was a good reminder for myself in future. I think I still scraped an S on that paper so it goes to show I should stop being a moany old floppy lemon and just get on with it! 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 84
 13042016 21:37
Day 17 Summary
A 'not specifically required' but extremely common and pops up everywhere technique for step is knowledge of the triangle inequality, for any real a,b.
The origin of it comes from looking at two vectors and their resultant combined vector this can be seen by drawing a parallelogram and noting the diagonal (mod (a+b) ) is always less than or equal to the sum of each side length (and the equality case only occurs when the parallelogram has 0 area i.e. the vectors are scalar multiples of eachother).
One thing I didnt think about for a while though is a concrete proof of this, so here is my attempt(s):
By definition,
hence

EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 85
 15042016 21:58
Day 18 Summary
A lovely proof that reminds me of the proper structure proofs should have is of L'Hopitals (insert circumflex where appropriate) rule. This is one of the first (and few) formal limit based questions I managed to (mostly) solve myself so hopefully it makes sense!
Mean Value Theorem
Suppose that f and g are continuous functions on the interval , differentiable on and
Let's choose a constant h so that satisfies (which will then allow us to apply Rolle's theorem).
So
Then by Rolle's theorem, such that .
i.e. for some xi.
L'Hopitals Rule
Now suppose .
Then
But as hence
A nice example of where the application may not be obvious is in evaluating 
 Follow
 86
 15042016 23:02
(Original post by EnglishMuon)
...
The way I think of the mean value theorem is that "okay, given an interval there's one point on the curve that 'gets lucky' and has gradient that's the gradient formed by just drawing the secant line there". So, the mean value theorem states that
where f is some continuous function in the interval [a,b], differentiable in (a,b) and a < c < b.
So whilst this certainly does imply that it's not actually the theorem itself. 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 87
 15042016 23:41
(Original post by Zacken)
Whilst what you've written is true in the first section, it's a consequence of the mean value theorem and not actually the mean value theorem itself, isn't it? (I might be being stupid here).
The way I think of the mean value theorem is that "okay, given an interval there's one point on the curve that 'gets lucky' and has gradient that's the gradient formed by just drawing the secant line there". So, the mean value theorem states that
where f is some continuous function in the interval [a,b], differentiable in (a,b) and a < c < b.
So whilst this certainly does imply that it's not actually the theorem itself. 
 Follow
 88
 15042016 23:43
(Original post by EnglishMuon)
Yep, I just think it's nice to see where the mean value theorem comes from itself. I mean I could carry on working backwards and derive rolles theorem etc. And explain what a limit actually is but it seems the mean value theorem is effectively a direct step in the proof. I suppose it's just that the mean value theorem has many other uses so its labelled separately. 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 89
 16042016 10:04
(Original post by Zacken)
Yeah, okay, fair enough. I was just a little confused because you used it under the title of "mean value theorem" so just wanted to check.
You seem to know a decent amount of analysis for someone who doesn't know any analysis.Last edited by EnglishMuon; 16042016 at 10:05. 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 90
 16042016 17:29
Day 19 Summary
A standard technique but one which people often seem to forget about is partial fractions with repeating roots and some of its applications I am even guilty myself of messing this up once or twice so hopefully I won't again after writing this!
Firstly, remember the straight forwards rule about repeating roots that
+ the decomposition of g(x) into linear factors.
Also, remember the fraction associated with the factor is of the form
In the first example, if the order of f(x) is greater than the order of , use algebraic long division first!
Partial fractions are used Extremely often for infinite series. For example, consider the abomination that is
. By dividing out and applying the partial fraction techniques above, we see that
We can use this form to our advantage, e.g. work out the coefficient of .
The preceding working may then start by
so the general term of this factor is...Last edited by EnglishMuon; 27042016 at 20:42. 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 91
 19042016 21:49
Day 20 Summary
Even though more advanced matrix techniques are not of the Alevel/STEP syllabus, knowledge of some of them can prove extremely useful!
Here are a few nice techniques in finding the determinant of any nxn Matrix:
Let be a square matrix. Let be the matrix by swapping any two rows or two columns (only 1 pair).
Then
Let be formed by multiplying a row by the scalar and adding it to another row, or multiplying a column and adding to another column.
Then
And also the "sensicle yet could save a lot of time" theorem:
If has two equal rows or two equal columns (i.e. the elements are the same), then
(Please excuse my italicised 'dets', I have broken a finger so reluctant to type any further! )Last edited by EnglishMuon; 22042016 at 21:10. 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 92
 22042016 22:45
Day 2123 Summary
After having a little bit of a break for the past few days, I thought I would explore some of the more interesting STEP qs out there! I also believe reviewing my work and having other people comment on it with their differing thought processes help me improve further!
So I thought I would write up my solution to the beastly question that is Q3 STEP III 1989 and share some other thoughts on it, especially since I have not seen a solution online
The matrix is given by
. Prove that
A few ideas came to mind when first seeing this question. Firstly, the form above is very reminiscent of a geometric progression, however it would illogical to apply the summation formula in this case as I have no reason for why it should hold (especially as I would have to replace 1 with to get the required answer). Also, it's clear is a rotation matrix this therefore reminded me of the th roots of unity.
For example, if . By then writing as a product of factors, we can see the coefficient of is the sum of the roots, but must equal 0 i.e. let the first root by . Then which is very similar to the expression in the question. The idea that the product of roots of unity can represent a rotation makes me think there is a deeper relevance to complex numbers occurring here.
Anyway, there were two ways I thought worked here. Firstly, writing
seems to get the answer almost straight away by arguing that and as the later terms will cancel with the earlier terms in each summation (hence we get the zero matrix).
I am unsure though on whether this would be enough working to convince an examiner even though I'm sure this works.
We could however proceed by the laborious process of induction to prove that (which, again, could be deduced from noting its a rotation matrix but not sure if it is 'concrete' enough). I think we could then say . As , the second bracket must equal 0.
.
Find and prove an expression for in terms of .
After looking at a couple of terms its easy to see and prove that (hopefully thats right! )
Now for the Group Theory!
NOTE: It turns out I misread the question and I thought we were substituting for and not the other way round, however I still believe it works (and the actual workings would be very similar).
The binary operation * is defined as follows: is the result of substituting in . Show that if , the set forms a finite group under *.
It will be useful to write in terms of : By using the recurrence relation and 'working backwards' from i to j, we can see
Hence
(if , if not the resulting element is still.)
Note how then so an identity element exists.
Also, which is our identity element so a unique inverse exists for each element.
so our group is closed under the product. ij is always less than or equal to i so our group is finite so long as we have a fixed max i value to start with.
The only downfall to this reading mistake is that associativity does not hold:
.
Repeating similar arguments with X0 and Xi the other way round should show is a finite group under *!.
Zacken Good luck reading this in one go Any advice is appreciated! 
 Follow
 93
 23042016 16:49
(Original post by EnglishMuon)
...
1. It's obviously a rotation so let's see if I can work with that. Hmmm, well, rotating m1 anticlockwise is the same as rotating m clockwise (you know what I mean), could I pair these terms up pairwise? Is there some condition on m being even/odd only? *check* nope, damn. I'll have to split casewise... this is getting too long, let me give up this approach.
2. Ah! They want induction, obvioooously. *starts writing out induction* lol nopes this isn't gonna work.
3. Okay, so... what series starts out with a number and then keeps that number constant whilst increasing the power. Is this the exponential series? Naaah, you cray m8, no factorials. AHHH!!!! It's a geometric series you retard.
Okay, so: .
Since then as required. 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 94
 23042016 16:57
(Original post by Zacken)
Currently doing this question and I've just finished the first "prove that" bit, so I thought I'd come here and read your bit on it. I had something slightly similar:
1. It's obviously a rotation so let's see if I can work with that. Hmmm, well, rotating m1 anticlockwise is the same as rotating m clockwise (you know what I mean), could I pair these terms up pairwise? Is there some condition on m being even/odd only? *check* nope, damn. I'll have to split casewise... this is getting too long, let me give up this approach.
EDIT: It works now
2. Ah! They want induction, obvioooously. *starts writing out induction* lol nopes this isn't gonna work.
3. Okay, so... what series starts out with a number and then keeps that number constant whilst increasing the power. Is this the exponential series? Naaah, you cray m8, no factorials. AHHH!!!! It's a geometric series you retard.
Okay, so: .
Since then as required.Last edited by EnglishMuon; 23042016 at 17:00. 
 Follow
 95
 23042016 18:18
(Original post by EnglishMuon)
XD yea I did change my mind a fair few times when doing this! Apparently your latex is 'dangerous' (which is understandable when looking at the question that it's based upon . So did you just apply geometric series straight up or argue that since its a rotation matrix you can apply it, first? 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 96
 23042016 18:59
(Original post by Zacken)
It doesn't need to be a rotation matrix for it to be a geomtrical series!
Also, just to check in your earlier post you said . Im probably wrong but does that form only hold if as in the proof above, we have not so the factorisation is different? 
 Follow
 97
 23042016 19:04
(Original post by EnglishMuon)
Hmm yep ok, that makes sense!. I thought it did have to be a type of matrix like the rotation matrix in that successive powers produce 'linear effects', but I get your point that if we apply slight variation on the normal geometric series proof, we can get the same result independent of the type of matrix we are talking about. I guess you were thinking along the lines of .
Also, just to check in your earlier post you said . Im probably wrong but does that form only hold if as in the proof above, we have not so the factorisation is different?
I haven't done the rest of the question 'cause I had to go out, but I'm looking forward to doing the next part in like an hour or so.
You been doing any other old interesting STEP q's? 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 98
 23042016 19:13
(Original post by Zacken)
I meant to do your form but I flipped it around because I was rushing out and was typing that as I headed out of the door. Yours is the correct one. Although, it doesn't really matter in this problem because one of the matrices is the zero matrix which is trivially commutative with any other matrix.
I haven't done the rest of the question 'cause I had to go out, but I'm looking forward to doing the next part in like an hour or so.
You been doing any other old interesting STEP q's? 
EnglishMuon
 Follow
 18 followers
 14 badges
 Send a private message to EnglishMuon
 Thread Starter
Offline14ReputationRep: Follow
 99
 23042016 20:13
Day 24 Summary
After completing STEP II 2007 today, it turns out I could have narrowly missed out on an S solely by stupid mistakes! (Question specifics may be shown below)
Consider the question
By considering the derivatives of and , find
Its straight forwards to show the log differentiates to and the other root differentiates to .
I immediately knew that I could rewrite as  the first term of which can be easily integrated using the second deriv. above, but the second was not so obvious. That lead me to think "Maybe my first derivative fraction can simplify to give me the one in the integral?". For some reason, I missed the obvious fact that even though I knew this was exactly what I wanted to get too! It seems like such a dumb mistake, and could have cost me many marks as I ended up using a sub. instead to find the integral which isnt what they asked for. Effectively, If I followed through with my intuition I would definitely have an S in this paper, so I will stick with gut feeling in future!!! 
 Follow
 100
 23042016 20:28
(Original post by EnglishMuon)
Now for the Group Theory!
Reply
Submit reply
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:
 TSR Moderator
 usycool1
 Changing Skies
 James A
 rayquaza17
 randdom
 davros
 charco
 Gingerbread101
 Kvothe the Arcane
 The Financier
 The Empire Odyssey
 Protostar
 TheConfusedMedic
 Notnek
 Mr M
 nisha.sri
 Reality Check
 claireestelle
 Doonesbury
 furryface12
 Amefish
 harryleavey
 Lemur14
 brainzistheword
 Rexar
 Sonechka
 LeCroissant
 EstelOfTheEyrie
 CoffeeAndPolitics
 an_atheist
 Moltenmo
Updated: June 3, 2016
Share this discussion:
Tweet