Thread: Tricky equation

I can see one solution straight away ( ), but I can't actually solve the equation.

I hate these kind of equations.

to solve this equation we'll use the following identities:

1. 1+(tan(x))^2 = 1/(cosx)^2
2. 1+(cot(x))^2 = 1/(sinx)^2

after applying them to the given equation we get:

(tan(x))^2 + cos(x) - sin(x) - (cot(x))^2 = 0

<=> [(sin(x))^4 - (cos(x))^4]/[(sin(x)*cos(x))^2] + cos(x) - sin(x) = 0
<=> (sin(x)^2 + cos(x)^2)*(sin(x)^2 - cos(x)^2) + (cos(x)^3)*(sin(x)^2) - (sin(x)^3)*(cos(x)^2) = 0

this equation holds only in those places where sin(2x)^2 doesn't vanish -> x != (pi/2) * k

<=> (sin(x) + cos(x))*(sin(x) - cos(x)) + (cos(x)^2)*(sin(x)^2)*[cos(x) - sin(x)] = 0
<=> (sin(x) - cos(x))*[sin(x) + cos(x) - (cos(x)^2)*(sin(x)^2)] = 0

sin(x) = cos(x)

as you've already mentioned one solution to the equation is pi/4 + pi*k...

Originally Posted by Peritus

to solve this equation we'll use the following identities:

1. 1+(tan(x))^2 = 1/(cosx)^2
2. 1+(cot(x))^2 = 1/(sinx)^2

after applying them to the given equation we get:

(tan(x))^2 + cos(x) - sin(x) - (cot(x))^2 = 0

<=> [(sin(x))^4 - (cos(x))^4]/[(sin(x)*cos(x))^2] + cos(x) - sin(x) = 0
<=> (sin(x)^2 + cos(x)^2)*(sin(x)^2 - cos(x)^2) + (cos(x)^3)*(sin(x)^2) - (sin(x)^3)*(cos(x)^2) = 0

this equation holds only in those places where sin(2x)^2 doesn't vanish -> x != (pi/2) * k

<=> (sin(x) + cos(x))*(sin(x) - cos(x)) + (cos(x)^2)*(sin(x)^2)*[cos(x) - sin(x)] = 0
<=> (sin(x) - cos(x))*[sin(x) + cos(x) - (cos(x)^2)*(sin(x)^2)] = 0

sin(x) = cos(x)

as you've already mentioned one solution to the equation is pi/4 + pi*k...

Indeed. This is where I got to as well. The real trick is to solve sin(x) + cos(x) - (cos(x)^2)*(sin(x)^2) = 0. At best, it looks like getting exact solutions will be rather difficult. At worst, well .......

What about the other root(s)?

What I'm really supposed to do is to show that the function is monotonic on the interval , so I thought this would be the easiest approach. I guess it wasn't.

EDIT: And the function is

Are you allowed to use computer software?
If you do, you can use matlab to find the roots numerically (gradient descent, Newton's method, Picard's iterative process....) to show that the derivative has no roots in the interval [0, pi/4], and thus proving that the function is indeed monotonic (it is continues and well defined in this interval). Alternatively you can follow a more simple approach by defining a vector of sufficiently large resolution in the given interval and and defferentiating the function in this interval (diff), the indexes where the function is within some empirical range from 0 are the extrema points.

Let . Then you need to solve the following pair of equations:





By symmetry, .

Originally Posted by JaneBennet

Let . Then you need to solve the following pair of equations:





By symmetry, .

Nice method.

Still, that's only one of the two solutions. How do I get the other (plot it and you'll see that there're two types of roots)?

Also, I'm not quite sure this is how I'm supposed to solve the original problem (showing that the function is monotonic on the specified interval). I think I'm supposed to use the Mean Value Theorem, but I can't really find any use for it if I don't know what the derivative is.