Solving this equation with both x, sinx and cosx

  • Thread starter lo2
  • Start date
  • #1
lo2
55
0

Homework Statement



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.

Homework Equations





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?
 

Answers and Replies

  • #2
1,796
53

Homework Statement



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.

Homework Equations





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?

When confronted with a big problem, try and learn to scale it down and just focus on a small part or a simplified version of it. So, just for now, assume you only had one problem to solve:

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
HallsofIvy
Science Advisor
Homework Helper
41,833
963
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
lo2
55
0
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
D H
Staff Emeritus
Science Advisor
Insights Author
15,393
686
What's the first tool that comes to mind when you are asked to show something analytically? Have you tried using it?
 
  • #6
lo2
55
0
What's the first tool that comes to mind when you are asked to show something analytically? Have you tried using it?

Ok well I do not know if what I mean can be called analytical.

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
D H
Staff Emeritus
Science Advisor
Insights Author
15,393
686
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
1,796
53
Ok well I do not know if what I mean can be called analytical.

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

Ok, lets do an easier one. Consider:

[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^2-1/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
SammyS
Staff Emeritus
Science Advisor
Homework Helper
Gold Member
11,365
1,032
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
Ray Vickson
Science Advisor
Homework Helper
Dearly Missed
10,706
1,722
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[?

To show that g(x) = sin(x) - x*cos(x) has no root in the first interval, look at its derivative g'(x) = cos(x) - cos(x) + x*sin(x) = x*sin(x). This is > 0 in (0,π), which means that g is strictly increasing throughout the whole interval. Since g(x) --> 0 as x --> 0+, that means that the graph of y = g(x) cannot cross zero within the interval. As for the interval (π,2π): g starts off at g(π) = +π, and ends at g(2π) = -2π, so switches from + to - in the interval. Therefore, it has a root. Within the interval (π,2π) its derivative is < 0, so it is strictly decreasing throughout that interval, and that makes the root unique.

RGV
 
Last edited:
  • #11
21,074
4,648
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
lo2
55
0
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
Ray Vickson
Science Advisor
Homework Helper
Dearly Missed
10,706
1,722
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.

In good English, are you asking how to get Maple to solve the equation in the interval (π, 2π)?
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
 

Related Threads on Solving this equation with both x, sinx and cosx

Replies
4
Views
3K
Replies
2
Views
2K
  • Last Post
Replies
4
Views
12K
  • Last Post
Replies
6
Views
61K
Replies
1
Views
10K
  • Last Post
Replies
5
Views
1K
Replies
2
Views
2K
Replies
34
Views
5K
  • Last Post
Replies
7
Views
6K
Replies
9
Views
21K
Top