Intereting Posts

What is the transformation representation/interpretation of symmetric matrices?
Prove that $x^{2} \equiv -1$ (mod $p$) has no solutions if prime $p \equiv 3\pmod 4$.
How to prove $\frac{1}{x}=\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+2\sqrt{\frac{1}{ab}+\frac{1}{ac}+\frac{1}{bc}}$
Get location of vector/circle intersection?
How to prove: $\sum_{k=m+1}^{n} (-1)^{k} \binom{n}{k}\binom{k-1}{m}= (-1)^{m+1}$
Prove that $\Big|\frac{f(z)-f(w)}{f(z)-\overline{f(w)}}\Big|\le \Big|\frac{z-w}{z-\overline w}\Big|$
Dimensions of a box of maximum volume inside an ellipsoid
$\angle ABD=38°, \angle DBC=46°, \angle BCA=22°, \angle ACD=48°,$ then find $\angle BDA$
Non wandering Set
why are subextensions of Galois extensions also Galois?
Axiom schema and the definition of natural numbers
Maximum number of edges in a non-Hamiltonian graph
The Three Princesses (distinguishing truth-teller with 1 question)
Local coefficients involved in the obstruction class for a lift of a map
Non-existence of a Surjective Function from a Set to Its Subsets (Cantor's theorem)

Given $f:R \to R$, $f$ is differentiable on $R$ and $\lim_{x \to \infty}(f(x)-f(-x))=0$.

I need to show that there is $x_0 \in R$ such that $f'(x_0)=0$

I am trying to prove it by contradiction …. so i assume there is no $x_0 \in R$ such that $f'(x_0)=0$ this means this function is strictly monotonic because the derivative “respects” the mean value theorem so it cannot be negative and positive without passing a zero value ….

(from what i understand the derivative function of a continuous/differentiable functions isn’t necessarily continuous but it still respect the mean value theorem i think it’s called darboux’s theorem )

now from $\lim_{x \to \infty}(f(x)-f(-x))=0$ ,we get $\lim_{x \to \infty}f(x)=\lim_{x \to \infty}f(-x)$

- Can we differentiate equations without changing the solutions?
- Help solving a limit
- Does $a_n$ converges if and only if $a_{2n},a_{3n},a_{2n-1}$ converge?
- Finding $\int_0^{\frac{\pi}{2}}\arctan\left(\sin x\right)dx$
- Confusion regarding proof of Boundedness Theorem as given in Apostol's Calculus Volume 1
- Evaluate the integral $\int_0^{\infty} \lfloor x \rfloor e^{-x}\mathrm dx$

now the last step is the contradiction its very intuitive and even maybe obvious that we can’t get $\lim_{x \to \infty}f(x)=\lim_{x \to \infty}f(-x)$ for strictly monotonic function but i cant think of a formal way to prove it .

- Confusion regarding proof of Boundedness Theorem as given in Apostol's Calculus Volume 1
- Understanding differentials
- What is the precise definition of 'between'?
- Continued fraction for $\tan(nx)$
- Evaluating $\lim_{n\to \infty}\frac1{2n}\log\left({2n \choose n}\right)$
- Finding the limit of $\frac{Q(n)}{P(n)}$ where $Q,P$ are polynomials
- Limits and derivatives - two questions
- There is a unique polynomial interpolating $f$ and its derivatives
- Sphere on top of a cone. Maximum volume?
- Find a number $\alpha > 1$ such that the following holds

**Hint:** Consider the function $g(x)=f(x)-f(-x)$. Since $g(0)=0$ and $\lim\limits_{x\to\infty}g(x)=0$, $g$ is either identically $0$ or it has a local maximum or minimum at $x_0\in(0,\infty)$. In the same way it was shown for Rolle’s Theorem, we have that $g'(x_0)=0$. Thus,

$$

f'(x_0)+f'(-x_0)=0

$$

If $f’$ is not identically $0$ and $x_0\ne0$, apply the Intermediate Value Theorem.

Although I feel that robjohn’s answer is much simpler and better, I am providing an alternative proof.

Suppose that $f'(x) \neq 0$ for all $x \in \mathbb{R}$. Then since derivatives possess intermediate value property, $f'(x)$ is of constant sign. Let’s take the case when $f'(x) > 0$ for all $x$ (the case $f'(x) < 0$ can be handled similarly). Clearly $f(x)$ is increasing everywhere and hence either $\lim\limits_{x \to \infty}f(x) = L$ or $\lim\limits_{x \to \infty}f(x) = \infty$. Also now $f(-x)$ is decreasing and hence either $\lim\limits_{x \to \infty}f(-x) = M$ or $\lim\limits_{x \to \infty}f(-x) = -\infty$. Considering each alternative we can see that we have the following two possibilities:

- $\lim\limits_{x \to \infty}\{f(x) – f(-x)\} = L – M > 0$
- $\lim\limits_{x \to \infty}\{f(x) – f(-x)\} = \infty$

But this contradicts the fact $\lim_{x \to \infty}\{f(x) – f(-x)\} = 0$. Note that in the above we must have $L > M$ because $f(x)$ is strictly increasing ($\lim\limits_{x \to \infty}f(-x) = M \leq f(0) < f(1) \leq L = \lim_{x \to \infty}f(x)$).

**Update**: From OP’s comment below I guess further explanation is needed which I provide below. First I would advise OP to convince himself of the following result:

If $f(x)$ is increasing on interval $[a, \infty)$ then either $\lim\limits_{x \to \infty}f(x)$ exists or $f(x) \to \infty$ as $x \to \infty$.

There is a counterpart for decreasing functions:

If $f(x)$ is decreasing on interval $[a, \infty)$ then either $\lim\limits_{x \to \infty}f(x)$ exists or $f(x) \to -\infty$ as $x \to \infty$.

You can see the following examples $f(x) = -1/x, \arctan(x)$ for the increasing case with existing limits and $f(x) = \log x, e^{x}$ for diverging to $\infty$. Their negatives would serve as examples for the decreasing case. The function $f(x) = \cos x$ mentioned in comments by Hurkyl is not increasing and hence the above result does not apply to it. Once you are convinced to some extent by the above examples it is time to prove the result. I will establish the case for increasing function. So here goes the proof.

Let $f(x)$ be increasing on $[a, \infty)$. Clearly we can have only two possibilities: either $f$ is bounded on $[a, \infty)$ in which case $\sup_{x \in [a, \infty)} f(x) = A$ exists and is finite or $f$ is unbounded on $[a, \infty)$.

If $f$ is bounded I will show that $\lim_{x \to \infty}f(x) = A$. Clearly since $A = \sup f(x)$ for any given $\epsilon > 0$ there is a number $x_{0} \in [a, \infty)$ such that $A – \epsilon < f(x_{0}) \leq A$. Since $f$ is increasing therefore if $x > x_{0}$ we get $A – \epsilon < f(x_{0}) \leq f(x) \leq A$. It follows that we have $$A – \epsilon < f(x) < A + \epsilon$$ for all $x > x_{0}$ and hence $\lim_{x \to \infty}f(x) = A$.

If $f$ is unbounded then for any given positive number $N$ we have a value $x_{0} \in [a, \infty)$ such that $f(x_{0}) > N$. Again if $x > x_{0}$ we get $f(x) \geq f(x_{0}) > N$ and thus we have $f(x) > N$ for all $x > x_{0}$. It follows that $f(x) \to \infty$ as $x \to \infty$.

There is another issue which OP is facing and that is regarding split of limits in case of expressions like $f(x) \pm g(x)$ when $x \to \infty$. Clearly the rule $$\lim_{x \to \infty}\{f(x) \pm g(x)\} = \lim_{x \to \infty}f(x) \pm \lim_{x \to \infty}g(x)$$ holds when both the limits $\lim_{x \to \infty}f(x)$ and $\lim_{x \to \infty}g(x)$ exist. *What happens when either one or both of them don’t exist?* In case one of them exists (say $\lim_{x \to \infty}g(x)$) then the behavior of $\{f(x) \pm g(x)\}$ as $x \to \infty$ is same as that of $f(x)$ as $x \to \infty$. When both the limits don’t exist then we have only one case when we can say with guarantee and that is:

*If $f(x) \to \infty$ and $g(x) \to \infty$ then $f(x) + g(x) \to \infty$ as $x \to \infty$.*

Similar remarks can be made when the limits are $-\infty$.

- question about construction of real numbers
- Power set representation of a boolean ring/algebra
- Calculate angle on bent bar based on height
- Classes, sets and Russell's paradox
- If $\alpha$ is an irrational real number, why is $\alpha\mathbb{Z}+\mathbb{Z}$ dense in $\mathbb{R}$?
- The homomorphism defined by the system of genus characters
- Invertibility of compact operators in infinite-dimensional Banach spaces
- What is the correct integral of $\frac{1}{x}$?
- In how many ways we can place $N$ mutually non-attacking knights on an $M \times M$ chessboard?
- What's the solution of the functional equation
- 2 aliens walk on a line meeting probability.
- Two Dirichlet's series related to the Divisor Summatory Function and to the Riemann's zeta-function, $\zeta(s)$
- Tiling a $3 \times 2n$ rectangle with dominoes
- Showing $1+2+\cdots+n=\frac{n(n+1)}{2}$ by induction (stuck on inductive step)
- solution for integral $\int_0^{\infty} \frac{k}{k^3-a}J_0\left(k \, r\right) dk $ involving Bessel function (Hankel transform)