Register to reply 
Solving this equation with both x, sinx and cosx 
Share this thread: 
#1
Sep2212, 08:05 AM

P: 55

1. The problem statement, all variables and given/known data
I have this function: [itex]f(x) = \frac{1}{x}\frac{\cos{(x)}}{\sin{(x)}}[/itex] For all [itex]x \in R[/itex] where [itex] x \neq n \pi, n \in Z [/itex] And then I have to solve this equation f(x)=0: [itex]f(x) = \frac{1}{x}\frac{\cos{(x)}}{\sin{(x)}}[/itex] Where I have to show that it has no solutions in the interval 0 < x < Pi and that it has got one solution in the interval Pi < x < 2Pi, and then I have to approximate that solution using Maple. 2. Relevant equations 3. The attempt at a solution You get this equation: [itex]0 = \frac{1}{x}\frac{\cos{(x)}}{\sin{(x)}} ⇔ \frac{1}{x}=\frac{\cos{(x)}}{\sin{(x)}}[/itex] Or you can rewrite it to: [itex]0 = \frac{\sin{(x)}x \cos{(x)}}{x \sin{(x)}}[/itex] And then just show that the nominator will never be 0. But anyhow I cannot really see how to make proper progess, so how can I solve this? And is it true that an equation with both x and sin(x) (or cos(x)) will not have an algebraic solution? 


#2
Sep2212, 10:03 AM

P: 1,666

For [itex]f(x)=1/x\frac{\cos(x)}{\sin(x)}[/itex], show that it doesn't have a zero in the interval [itex](0,\pi)[/itex] Now lets cheat a little bit. Huh? Nothing's wrong with that. I mean just plot them for heaven's sake. Yeah, I did and I can see 1/x and cot(x) don't. Now when you combined them you determined that in order for it to have a solution there, the expression: [tex]\sin(x)x\cos(x)[/tex] would have to have a zero there. Alright, I'm not proud. Plot those two also. Yeah, they both start at the origin and one is . . . ALWAYS . . . below the other one. Now, for f(x)=sin(x) and g(x)=x cos(x) with g(x) always being lower than the other, what analytic property of g(x) would ensure it to always be lower if they start off at the same point? 


#3
Sep2212, 11:30 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,348

There is, in general, no "algebraic" method to get an exact value of an equation in which the uknown, x, appears both inside transcendental functions (such as sin(x) and cos(x)) and outside. I suppose you might be able to write sine and cosine as complex exponentials ([itex]sin(x)= (e^{ix} e^{ix})/2i[/itex] and [itex]cos(x)= (e^{ix}+ e^{ix})/2[/itex]) and use a complex version of the "Lambert W function" (defined as the inverse function to [itex]f(x)= xe^x[/itex]) but that would be extremely complex. Best to use a numerical method like "Newton's method".



#4
Sep2212, 01:35 PM

P: 55

Solving this equation with both x, sinx and cosx
Ok thanks for the answers.
But is there an analytical way of showing that the equation has no solution in the interval ]0;Pi[ and has got one solution ]Pi;2Pi[? 


#5
Sep2212, 02:36 PM

Mentor
P: 15,067

What's the first tool that comes to mind when you are asked to show something analytically? Have you tried using it?



#6
Sep2212, 03:01 PM

P: 55

I just wanted to be able to reach an expression from which I can show that there is no solution and one solution respectively. 


#7
Sep2212, 03:41 PM

Mentor
P: 15,067

You posted this in the "Calculus & Beyond" section. What is one of the first things you learn when you are taking calculus, just after learning about limits?



#8
Sep2212, 05:01 PM

P: 1,666

[tex]f(x)=x^2[/tex] [tex]g(x)=1/2 x^2[/tex] They too start at zero and never cross so the expression [itex]x^21/2 x^2[/itex] is never zero for x ne 0. Note also that the plot of [itex]1/2 x^2[/itex] is always below the plot for [itex]x^2[/itex]. Now, they both start at zero and one way (the simplest) for g(x) to always be lower than the other is for the rate at which g(x) is changing to be always less than the rate at which f(x) is changing. Now, how can you analytically represent that rate phrase in terms of Calculus? 


#9
Sep2212, 05:33 PM

Emeritus
Sci Advisor
HW Helper
PF Gold
P: 7,801

I don't think I see the following approach used in this thread so far, but I have a history of missing stuff that's been previously posted in a thread.
Finding the zeros of [itex]\displaystyle f(x)=\frac{1}{x}\frac{\cos(x)}{\sin(x)}[/itex] is equivalent to solving [itex]\displaystyle \frac{1}{x}=\cot(x)\ .[/itex] But that's equivalent to solving [itex]\displaystyle x=\tan(x)\,,[/itex] for all x in the domain of [itex]f(x)\ .[/itex] The solutions to the equation [itex]\displaystyle x=\tan(x)[/itex] are the same as the zeros of the function [itex]\displaystyle g(x)=\tan(x)x\ .[/itex] It's not too difficult to show that [itex]g(x)[/itex] has no zeros on the interval, (0, π). 


#10
Sep2212, 05:37 PM

Sci Advisor
HW Helper
Thanks
P: 4,958

RGV 


#11
Sep2212, 06:21 PM

Sci Advisor
HW Helper
Thanks
PF Gold
P: 5,062

Are you allowed to plot a graph of y = x and y = tan (x) on the same plot, or is that against the rule? On such a graph, you will see right away that the two plots don't cross over eachother until the third quadrant.



#12
Sep2312, 07:56 AM

P: 55

Ah ok I think I got it now!
I just showed that in the first interval ]0;Pi[ it starts out at f(x) > 0 and that it then heads toward infinity and since it is both only growing and continuous it will not cross the x axis. And in the other interval ]Pi;2Pi[ it starts out coming from infinity and goes toward infinity and since it also only growing and continuous in this interval, it has to cross the x axis just once. Btw does anyone how to approximate this solution in Maple? Where you only get this one solution. 


#13
Sep2312, 12:07 PM

Sci Advisor
HW Helper
Thanks
P: 4,958

It's easy: > eq:=1/x  cot(x)=0; eq := 1/x  cot(x) = 0 > fsolve(eq,x=Pi..2*Pi); 4.493409458 If you want more accuracy, just increase the Digits count: > Digits:=20; Digits := 20 > fsolve(eq,x=Pi..2*Pi); 4.4934094579090641753 RGV 


Register to reply 
Related Discussions  
Integral 1/(cosx sinx)²  Calculus & Beyond Homework  7  
Sinx+cosx> = 1  Calculus  20  
Lim (sinxcosx)/(pi4x) where x>pi/4  Calculus & Beyond Homework  9  
Sinx and cosx diverge?  Calculus & Beyond Homework  6  
Differentiate y=x sinx cosx  Differential Equations  6 