$4\cos(x) -x = 0$: There exist at least two solutions [closed]

proof-writing solution-verification continuity

Solution 1:

Hint: evaluate the given function at the four points $x\in\{-2\pi,-\pi,0,\pi\}$ and use the Intermediate value theorem.

Note: these points were found by mere inspection of the graph.

Related

In the Garling's proof of 'AC implies Zorn's lemma'
Solve $\sin x + \cos x = \sin x \cos x.$
Is $S(K (S I I))(S(S (K S)(S(K K)I)))(K (S I I))$ really a fixed-point combinator or is this a typo?
Proving operator is self-adjoint w.r.t. given inner product
how does sqrt(n)/n equal 1/sqrt(n)?
Is this true: $\ \lim_{n\to\infty} \left( \frac{1}{n} \sum_{i=0}^{n-1} \frac{i}{n-i} \right) = e$?
Prove $\int_0^1 \frac{x^{p-1}}{1-x} \log \Big(\frac{1}{x} \Big) = \sum_{n=0}^{\infty} \frac{1}{(n+p)^2}$ [duplicate]
Transitive sets: problem in proof of Lemma I.8.6 of Kunen's 'Foundations of Mathematics'
Paths of Brownian motion
How to find the limit of the sequence defined by $x_{n+1}=\sqrt{4 x_n -3}\,$?
Optimal stopping of a Poisson Process with a risky reward
integral of $x^{-\frac{1}{x}}\cos x$ from $1$ to $\infty$ does not converge: