Author 
Message 
Theo P Prolific poster
Post Number: 235
 Posted on Friday, 13 September, 2013  05:54 pm:  
Hi. I've been doing some revision of A Level Maths using the 'Mathematics Workbook' sent to me from the university. I've collected a few assorted questions / things I didn't quite understand. Sorry to post them all together, but I didn't want to start loads of threads! Series Expansions What is the meaning of 'wellbehaved' in the context of functions? The relevant question was to find the series expansion of [inline]\frac{1\cos^2{x}}{x^2}[/inline] which is [inline]1  \frac{x^2}{3} + \cdots[/inline]. I guess the point they're getting at is that it looks like the function is undefined at x=0, but it actually isn't?! Trig What does [inline]\tan^{1}{a} + \tan^{1}{b} = \tan^{1}{\left(\frac{a+b}{1ab}\right)} + n\pi[/inline] mean? It looks like something to do with adding angles, but I'm not sure how to interpret it. I drew a diagram of my thoughts ... Conic Sections Can anyone recommend somewhere I could read up on conic sections? We didn't really cover them as such in Alevel, and I'm finding them quite confusing. How can I find the directrix / focus / eccentricity of a conic section, given the equation for it? I was thinking that I could compare to a known form. Or more satisfying would be a method directly from their definition? I found this question particularly tricky: Show [inline]r^{1} = k\cos{\theta} + m[/inline] can describe any conic section. What I did was to fiddle about with it to get it into cartesian form ... [inline]1 = kr\cos{\theta} + mr[/inline] [inline]1 = kx + m\sqrt{x^2 + y^2}[/inline] [inline]x^2 \left(m^2  k^2\right) + my^2 = 12kx[/inline] Then considering [inline]k=m[/inline] gives [inline]y^2 = 1/k  2x[/inline] which is a parabola. If [inline]m>k[/inline] the coefficient of [inline]x^2[/inline] is positive, so it looks like an ellipse. If [inline]m<k[/inline] then the opposite is true, so it's a hyperbola. However, this all looks very messy and the forms aren't exactly the same as the standard ones: [inline](xx_0)^2 / a^2 + y^2 / b^2 = 1[/inline] as opposed to simply [inline]x^2 / a^2 + y^2 / b^2 = 1[/inline], for example. Is there a neater way to show it? Also, how would I go about classifying the conic sections  finding focus, etc? Parametric Differentiation Show that if [inline]x=a\cos{\theta}[/inline], [inline]y=b\sin{\theta}[/inline] then [inline]\frac{d^2y}{dx^2} < 0[/inline] for [inline]y>0[/inline]. This question was under parametric differentiation, and I tried doing it parametrically but got lost and converted to cartesian instead. How would one go about doing it parametrically? I found myself wanting to use secondorder equivalents of [inline]1 / \frac{dx}{dy} = \frac{dy}{dx}[/inline] and the chain rule, which aren't allowed! This is what I did ... Converting to cartesian: [inline]x^2/a^2 + y^2/b^2 = 1[/inline] Differentiating implicitly: [inline]2x/a^2 + dy/dx 2y/b^2 = 0[/inline] Same again: [inline]2/a^2 + (\frac{dy}{dx}^2 \frac{2}{b^2} + \frac{d^2y}{dx^2} \frac{2y}{b^2} = 0[/inline] Rearranging: [inline]\frac{d^2y}{dx^2} = \frac{b^2}{2y}\left(\frac{2}{a} + \frac{2}{b^2}\left(\frac{dy}{dx}\right)^2\right)[/inline] which is <0 for y>0. Differential Equations / SHM The first DE is [inline]\frac{d^2y}{dx^2} + k^2 y = 0[/inline]. I'm told to rewrite it as [inline]z \frac{dx}{dy} + k^2 y = 0[/inline] where [inline]z = \frac{dy}{dx}[/inline]. It follows that [inline]z = \pm \sqrt{c^2  k^2 y^2}[/inline] (with c a constant of integration). We then have that [inline]\frac{dy}{dx} = \pm \sqrt{c^2  k^2 y^2}[/inline] and can solve by reciprocating to find x in terms of y. [inline]x = \pm \frac{1}{k} \sin^{1}{\frac{ky}{c}} + c_2[/inline] Rearranging gives [inline]y = R \sin{k\left(\pm x  x_0 \right) }[/inline] where [inline]R = c/k[/inline] and [inline]x_0[/inline] is a constant (of integration). The answers give it without the plus/minus sign  is that because the [inline]x_0[/inline] takes account of it? The second part is very similar except for a signchange: [inline]\frac{d^2y}{dx^2}  k^2 y = 0[/inline]. The solution comes out as [inline]y = R \sinh{k\left(xx_0 \right)}[/inline], and the question then asks if, in this case, it is the general solution? The presence of the question makes me doubtful, but I don't see why it wouldn't be. Also, by expanding the sinh, you can transform the solution to the form [inline]y = Ae^{kx} + Be^{kx}[/inline] which looks right for a general solution. Is the first (sin) solution general too, or not? Thanks in advance! 
Quixote (Tim King) Prolific poster
Post Number: 204
 Posted on Friday, 13 September, 2013  09:31 pm:  
Let's do these one at a time, in the order that you posted them. 'Well behaved' is a nonspecific term. In my opinion, if we say that an object is 'wellbehaved' we mean that 'it has enough nice properties for us to draw some interesting conclusions about it.' For example, a general function from [inline]R[/inline] to [inline]R[/inline] needn't be wellbehaved. For example, consider the function defined by [inline]f(x)=0[/inline] when [inline]x \neq 1[/inline] and [inline]f(1)=1[/inline]. This has the disturbing property that [inline]\int_0^2 f(x) dx =0[/inline], even though [inline]f(x) \geq 0[/inline] for all [inline]x[/inline], and [inline]f[/inline] isn't identically zero. If we don't want such counterintuitive things to be true, we might restrict our study to that of 'continuous' functions  those that have no 'jumps'. As another example, when studying Taylor functions and the like, we need to state the values of [inline]x[/inline] for which our series expansion is valid. For example, the GP sum formula says that [inline]\frac{1}{1x}=1+x+x^2+x^3...[/inline] We can substitute [inline]x=2[/inline] this formula to 'prove' that [inline]1=1+2+4+8+16...[/inline] which is obviously rubbish. We say that the sum on the right is only wellbehaved (or, in precise language, 'converges') when [inline]x<1[/inline] In your example of [inline]f(x)=\frac{1cos(x)^2}{x^2}[/inline], we can (correctly) assume that your series expansion is wellbehaved for [inline]x=0[/inline] to deduce that, when [inline]x[/inline] is close to zero, [inline]f(x)[/inline] is close to 1. In fact, if we extend the definition of [inline]f[/inline] to include zero as well, by specifying that [inline]f(0)=1[/inline], it can be shown that we get a continuous function which is differentiable for every value of [inline]x[/inline], including zero. This is certainly wellbehaved. Do post back if you want to discuss anything in this post. Otherwise, I guess we can move on to trig :P

Theo P Prolific poster
Post Number: 236
 Posted on Friday, 13 September, 2013  10:07 pm:  
I think that I understand the examples you've made up. They make sense. I still don't really get the original one, though. Why can you correctly assume the series expansion is valid for [inline]x=0[/inline]? I can see that if I were to carry on finding terms in the expansion, it would just be a polynomial  is that the justification? And why do you switch from the precise [inline]x=0[/inline] to saying 'when [inline]x[/inline] is close to zero, [inline]f(x)[/inline] is close to 1.'? If [inline]f[/inline] is already 'wellbehaved for [inline]x=0[/inline]', then why do we need to extend the definition to include zero in the domain by specifying that [inline]f(0)=1[/inline]? Or does having a potential division by zero automatically exclude any offending values in the domain? What about [inline]x^2 / x[/inline]? How can it be shown that you get a continuous function? I plotted the graph on the computer, and it looks continuous but that's hardly justification! 
Daniel Fretwell Veteran poster
Post Number: 1981
 Posted on Friday, 13 September, 2013  10:37 pm:  
At Alevel maths the "it looks about right" ethos works...I guess the purpose of these questions is to show you that actually you need to be more rigorous if you are to study for a degree in maths. So the point is you cannot actually evaluate [inline]f(0)[/inline] directly, the function isn't "well defined" there...but you CAN evaluate it's series expansion at [inline]x=0[/inline]. The question is, will it give something meaningful? Of course in this case comparing both sides at [inline]x=0[/inline] is ridiculous (one side of the equation doesn't even exist there), however if you look at values close to [inline]0[/inline] then you find that both sides DO give the same value. What you are really doing by plugging [inline]x=0[/inline] into the series expansion is getting the "most likely" value of [inline]f(0)[/inline] based on its surrounding values. You are getting the value that you would expect to find if [inline]f[/inline] were continuous at [inline]x=0[/inline]. If you look at your graph you see that at [inline]x=0[/inline] the function looks like it SHOULD have value [inline]1[/inline] yet we know it doesn't. Rigorously what you are getting when plugging in [inline]x=0[/inline] is the limit of [inline]f(x)[/inline] as [inline]x[/inline] tends to [inline]0[/inline]. There is a subtle difference between this and [inline]f(0)[/inline] which you have probably never met before since at Alevel most functions you use are continuous everywhere. I guess the purpose of this question is to stop you thinking that series expansions (and other things) are just tools for plugging in random values, they are more delicately defined than that. 
Theo P Prolific poster
Post Number: 237
 Posted on Friday, 13 September, 2013  11:02 pm:  
Okay so ... [inline]\frac{1\cos^2{x}}{x^2}[/inline] is not defined for [inline]x = 0[/inline] and never will be. However, by using a series expansion (or trying small values), we can show that as [inline]x[/inline] tends to zero, the value tends to 1. To make [inline]f[/inline] 'well behaved', we can then specify that [inline]f(0)=1[/inline]. Is that right? The wording in the workbook makes it sound like [inline]f[/inline] is 'well behaved' even without defining [inline]f(0)=1[/inline]. "The interesting thing about the function in part (v) is that the series shows it is 'wellbehaved' at [inline]x=0[/inline], despite appearances." 
Quixote (Tim King) Prolific poster
Post Number: 205
 Posted on Saturday, 14 September, 2013  01:49 am:  
"Why can you correctly assume the series expansion is valid for x=0?" What I meant here was, 'Let's assume that the series expansion is valid for numbers close to x=0. In fact, while we cannot prove it at this stage, this assumption is correct.' By substituting in x=0 we obtain [inline]lim_{x \rightarrow 0} f(x)=1[/inline]. Nonrigourous chitchat coming up: Most of the time, a series expansion about a point [inline]a[/inline] will approximate f(x) very well provided x is close to a. There are a couple of functions which don't work. If we let [inline]f(x)=exp(1/x^2)[/inline] and [inline]f(0)=0[/inline] then the Taylor series for [inline]f[/inline] about [inline]x=0[/inline] is identically zero so doesn't converge to the function anywhere apart from the initial point of [inline]x=0[/inline], but such perverse examples are rare and 99% of the time a Taylor expansion will provide a good local approximation to the function. "How can it be shown that you get a continuous function?" Wait until your first year at uni, or see below. Fact 1: any 'nice' function that you know, such as cos(x) and x^2 are continuous. Fact 2: When you multiply continuous functions or divide them (provided you aren't dividing by zero) what you get is still continuous. Fact 3: If you have a function of the form [inline]f(x)=\frac{P(x)}{Q(x)}[/inline] where [inline]lim_{x \rightarrow 0}P(x)=lim_{x \rightarrow 0}Q(x)=0[/inline], then [inline]lim_{x \rightarrow 0} f(x)=\frac{P'(0)}{Q'(0)}[/inline] (This is called 'L'hopital's rule') The combination of facts 1 and 2 tell us that [inline]\frac{1cos^2(x)}{x^2}[/inline] is continuous for all nonzero [inline]x[/inline]. Fact 3 tells us that [inline]lim_{x \rightarrow 0} f(x)=1[/inline], so it follows that if we extend the definition of [inline]f[/inline] to include zero (at present, we have not specified the value of f at zero) such that f(0)=1, the extension of [inline]f[/inline] is continuous over [inline]R[/inline]. (I haven't actually defined what continuous means, so you have to take this on faith a little bit, but if you accept the 'facts' above, what I have written here is essentially a rigourous proof.) "Okay so ... 1−cos2xx2 is not defined for x=0 and never will be. However, by using a series expansion (or trying small values), we can show that as x tends to zero, the value tends to 1. To make f 'well behaved', we can then specify that f(0)=1. " Correct. If I define [inline]h(x)=x/x[/inline] then I have not defined [inline]f(0)[/inline], because 0/0 is undefined. However you can see that [inline]h(x)[/inline] is 'really' just the constant function that sends everything to 1, so [inline]h[/inline] has the following 'natural extension' which is wellbehaved: [inline]h(x)=x/x[/inline] for [inline]x \neq 0[/inline] and h(0)=1. In your example, you have defined [inline]f(x)=\frac{1cos^2(x)}{x^2}[/inline], but this on its own doesn't define [inline]f(0)[/inline]. However, we can use the Taylor series to show that [inline]lim_{x \rightarrow 0} f(x)=1[/inline] and hence that [inline]f[/inline] has a 'natural extension' to the real line, which is [inline]f(0)=1[/inline] and [inline]f(x)=\frac{1cos^2(x)}{x^2}[/inline] for [inline]x \neq 0[/inline]. (As I have said, we are assuming (at this stage I cannot actually prove it) that the Taylor expansion does in fact provide a good local approximation to [inline]f[/inline]. Most of the time, this assumption is ok.) The remark in the workbook is just saying 'f(x) looks at first sight horrible at [inline]x=0[/inline] because you are dividing by zero. However, it turns out that this function doesn't exhibit bad behaviour by 'blowing up' at [inline]x=0[/inline] (compare with [inline]g(x)=1/x^2[/inline]) but 'behaves nicely' by tending to 1. Sorry for the long post! 
Theo P Prolific poster
Post Number: 238
 Posted on Saturday, 14 September, 2013  09:07 am:  
Fantastic  thank you Tim and Daniel. ... trig? :D 
Quixote (Tim King) Prolific poster
Post Number: 206
 Posted on Sunday, 15 September, 2013  09:39 pm:  
"What does it mean to say that [inline]\tan^{1}{a} + \tan^{1}{b} = \tan^{1}{\left(\frac{a+b}{1ab}\right)} + n\pi[/inline]? I suppose it's the [inline]+n \pi[/inline] that's confusing you. Let's work this through one at a time. i) What general property does a realvalued function need in order for it to have to have an inverse? ii) Show that [inline]f: R \rightarrow R, \space x \mapsto tan(x)[/inline] doesn't have an inverse, but that the restriction of [inline]f[/inline] to a domain which you should specify (there is more than one possible choice for the domain  choose what you consider to be the 'most natural') does have an inverse. Your answer to part (ii) gives you a way of defining [inline]tan^{1}(x)[/inline] for any real number [inline]x[/inline]. Now let [inline]a[/inline] and [inline]b[/inline] be real such that [inline]ab \neq 1[/inline]. Then: Is it true that [inline]\tan^{1}{a} + \tan^{1}{b} = \tan^{1}{\left(\frac{a+b}{1ab}\right)}[/inline]? Hopefully considering the above will tell you why there's a [inline]+ n\pi[/inline] in the identity which you were asked to prove.

Theo P Prolific poster
Post Number: 239
 Posted on Sunday, 15 September, 2013  10:05 pm:  
I think I may have misinterpreted the question "What exactly does part (v) mean?" I thought it was asking to give some deeper meaning to the equation, but it might just be 'explain the [inline]+n\pi[/inline]'. "What general property does a realvalued function need in order for it to have to have an inverse?" It needs to be a bijection? "Show that [inline]f: R \rightarrow R, \space x \mapsto tan(x)[/inline] doesn't have an inverse, but that the restriction of [inline]f[/inline] to a domain which you should specify (there is more than one possible choice for the domain  choose what you consider to be the 'most natural') does have an inverse." tan is a periodic function, with period [inline]\pi[/inline]. E.g. [inline]\tan(\pi / 4) = \tan(5 \pi / 4) = 1[/inline]. The restriction of the domain to [inline][\pi /2, \pi /2][/inline] makes sense and is probably most natural. It's not true that [inline]\tan^{1}{a} + \tan^{1}{b} = \tan^{1}{\left(\frac{a+b}{1ab}\right)}[/inline]. Does the [inline]+n\pi[/inline] just allow adjustment of the answer so that the restricted domain doesn't throw things off by a factor of pi? I think it should be read as 'for some integer n' as opposed to 'for all n'? I can only think of examples where it's off by [inline]\pm \pi[/inline]. 
Quixote (Tim King) Prolific poster
Post Number: 207
 Posted on Monday, 16 September, 2013  06:44 pm:  
Precisely. If [inline]a[/inline] and [inline]b[/inline] are real with [inline]ab \neq 1[/inline], then define [inline]P=tan^{1}(a)+tan^{1}(b)[/inline] [inline]Q=tan^{1}\frac{a+b}{1ab}[/inline] Then it is easy to show that [inline]tan(P)=tan(Q)[/inline], and so it follows immediately that [inline]P=Q+n \pi[/inline] for some integer [inline]n[/inline]. However, it is also clear that [inline]\pi/2 < Q <\pi/2[/inline] and [inline]\pi<P<\pi[/inline] so you can only ever be off by [inline]\pi[/inline], as you suggest. I don't know much about conics so can somebody else discuss this? If nobody replies, I'll do my best.

Theo P Prolific poster
Post Number: 240
 Posted on Monday, 16 September, 2013  11:33 pm:  
Thanks. That all makes sense. We could move onto Parametric Differentiation or D.E.s temporarily, if you like? 
Quixote (Tim King) Prolific poster
Post Number: 208
 Posted on Tuesday, 17 September, 2013  04:45 pm:  
For parametric differentiation, rather than trying to 'remember' secondorder derivative formulae, it's better to derive them yourself, using the firstorder chain rule. Here's a hint: If [inline]x[/inline] and [inline]y[/inline] both depend on [inline]t[/inline], then it is possible to express any formula involving [inline]x[/inline] and [inline]y[/inline] in terms of [inline]t[/inline] only. In particular, we can express [inline]\frac{dy}{dx}[/inline] as a function of [inline]t[/inline]. Now let [inline]F(t)[/inline] be the function given by [inline]F(t)=\frac{dy}{dx}[/inline]. Then to find [inline]\frac{d^2y}{dx^2}[/inline], you need to differentiate [inline]F[/inline] with respect to [inline]x[/inline]. How can you do this?

Theo P Prolific poster
Post Number: 241
 Posted on Tuesday, 17 September, 2013  05:52 pm:  
[inline]\frac{d^2y}{dx^2} = \frac{d}{dx}\left(F(t)\right) = F'(t) . \frac{dt}{dx} = F'(t) / \frac{dx}{dt}[/inline] In this case, [inline]x=a\cos{\theta}[/inline] and [inline]y=b\sin{\theta}[/inline] so [inline]\frac{dx}{d\theta} = a \sin{\theta}[/inline] and [inline]\frac{dy}{d\theta} = b \cos{\theta}[/inline]. So [inline]\frac{dy}{dx} = \frac{b}{a} \cot{\theta}[/inline]. Then [inline]\frac{d^2y}{dx^2} = \frac{d}{d\theta} (\frac{b}{a} \cot{\theta}) / \left(a \sin{\theta}\right) = \frac{b}{a^2} \text{cosec}^3{\theta} = \frac{b^2 \text{cosec}^2{\theta}}{a^2 y} < 0[/inline] for [inline]y > 0[/inline]. If that's right, it's much neater. 
Quixote (Tim King) Prolific poster
Post Number: 209
 Posted on Tuesday, 17 September, 2013  07:11 pm:  
Correct. For differential equationss, the [inline]x_0[/inline] and [inline]R[/inline] do take into account the plus or minus. Can you make this precise? (Hint: [inline]sinh(x)=sinh(x)[/inline].) I will have a think about the hyperbolic thing, but I can't see why it wouldn't be the general solution either.

Theo P Prolific poster
Post Number: 242
 Posted on Tuesday, 17 September, 2013  07:21 pm:  
Great, I thought that was the case with the DEs. And yes, I can see where it comes from with sin(x)=sin(x) and sinh(x) = sinh(x). Now, I wonder if there are any conic experts snooping around here ... ? 
kmsquared Veteran poster
Post Number: 821
 Posted on Tuesday, 17 September, 2013  07:42 pm:  
I wouldn't claim to be a conic expert, but if I wanted to derive an equation for a general conic in polar coordinates I'd make the origin a focus and a line x=a the directrix and let the eccentricity be e. Then you can transform what you get into the form given in the question. Kate 
Theo P Prolific poster
Post Number: 243
 Posted on Thursday, 19 September, 2013  01:08 pm:  
If the origin is the focus and [inline]x=a[/inline] is the directrix, then to satisfy the property "distance from focus is e times distance from directrix", we have [inline]r = e \left( a  r\cos{\theta} \right)[/inline]. Rearranging gives [inline]r^{1} = a^{1} \cos{\theta} + \left(ae\right)^{1}[/inline]. The form in the question is [inline]r^{1} = k \cos{\theta} +m[/inline] so we have the same form with [inline]k = a^{1}[/inline] and [inline]m = \left( ae \right )^{1}[/inline]. So this shows that the given form can describe any conic section. How can one do transformations with polar coordinates  for example a translation or rotation? I can only think how to do transformations with Cartesian coordinates. The Cartesian form of the above equation is rather messy  I make it to be: [display]\dfrac{\left(1e^2\right)^2}{\left(ae\right)^2} \left(x + \dfrac{ae^2}{\left(1e^2\right)}\right)^2 + \dfrac{1e^2}{\left(ae\right)^2} y^2 = 1[/display] I guess I could compare coefficients with that, but surely there's a nicer way?! Can anyone recommend a book or online notes that covers the basics on conics and would answer these sorts of questions? 
Adam P Goucher Prolific poster
Post Number: 249
 Posted on Thursday, 19 September, 2013  08:31 pm:  
Hehe, I thought that this would be the least useful chapter in MODA (covering both the Cartesian and polar forms, focusdirectrix property, reflector property and applications): http://cp4space.files.wordpress.com/2012/11/modach13.pdf I guess you've proved me wrong. 
Theo P Prolific poster
Post Number: 246
 Posted on Sunday, 22 September, 2013  02:15 pm:  
Sorry, I kept meaning to have a proper look at this, but only just got round to it. I'm stuck on the first question ... What do you mean by 'Prove that the directrix is the polar of the focus'? What is the polar of something? What are projective and affine transformations? I think this might be a bit too highlevel for me, with talk of nondegenerate quadratic curves, affine transformed circles, Steiner's porism, and quoted IMO questions. I was looking more for a basic text on conics. Perhaps my current understanding will suffice for now. 
Kiran Ashtekar Frequent poster
Post Number: 102
 Posted on Sunday, 20 October, 2013  09:52 pm:  
About the conic sections questions : I have a few queries myself, which I am asking about in a separate thread. I hope the responses to those may throw some (indirect) light on the q.s asked here by Theo P. 
Theo P Prolific poster
Post Number: 248
 Posted on Monday, 21 October, 2013  09:30 am:  
In the end, I managed to work through some of the first bit of Adam's MODA chapter. It cleared up a few things. I'll probably come back to it when conics crop up (I think in Dynamics & Relativity, next term). I'll be sure to look at your thread too, Kiran, to see if there are any useful replies  thanks for the headsup! 
