# Proving a function is constant, under certain conditions? [duplicate]

The problem:

Assume $f: \mathbb{R} \rightarrow \mathbb{R}$ satisfies $|f(t) - f(x)| \leq |t - x|^2$ for all $t, x$. Prove $f$ is constant.

I believe I have some intuition about why this is the case; i.e. if $t$ and $x$ are very close, ($|t - x| = \epsilon$), then $\sqrt{\epsilon}$ will converge to 0, so $|f(t) - f(x)|$ will also converge to zero if you keep taking $t$ and $x$ closer and closer to each other. However, how do I formalize this argument? Thanks.

## marked as duplicate by user99914, Saad, TheSimpliFire, Claude Leibovici calculus StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false, relativeToBody: true }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); Mar 14 '18 at 8:55

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

## 3 Answers

For all $x,t\in \Bbb R$ such that $x\neq t$, the equivalence below holds:

$$|f(t) - f(x)| \leq |t - x|^2\iff \left\vert \dfrac{f(t)-f(x)}{t-x}\right\vert\leq |t-x|,$$

taking the limit as $t$ approaches $x$ yields $$\lim \limits_{t\to x}\left(\left\vert \dfrac{f(t)-f(x)}{t-x}\right\vert\right)\leq \lim \limits_{t\to x}|t-x|=0.$$

This proves that $f$ is $\bbox[5px,border:2px solid #FFFFFF]{\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$ and $\forall x\in \Bbb R(f'(x)=\bbox[5px,border:2px solid #FFFFFF]{\_})$, thus $f$ is $\bbox[5px,border:2px solid #FFFFFF]{\_\_\_\_\_\_\_\_\_\_\_}$.

• Thanks! Does this show that $f'(x) \leq 0$, or that $|f'(x)| \leq 0$? I see in the latter case, we can then conclude that $f'(x) = 0$ and thus the function is constant, but how to get rid of the $f'(x) < 0$ case in the former? Thanks again. – Ryan Yu Oct 23 '13 at 18:29
• @RyanYu Since the absolute value function is continuous, $\lim \limits_{t\to x}\left(\left\vert \dfrac{f(t)-f(x)}{t-x}\right\vert\right)=\left\vert \lim \limits_{t\to x}\left(\dfrac{f(t)-f(x)}{t-x}\right)\right\vert$. Does this help? – Git Gud Oct 23 '13 at 18:32
• Excellent, thanks, makes sense! – Ryan Yu Oct 23 '13 at 18:38
• @RyanYu Please note that this is pretty much the same answer Sade gave. – Git Gud Oct 23 '13 at 18:38

From the given expression We Can Write $\lim_{t\to x}-|t-x|\le \lim_{t\to x}{f(t) - f(x)\over t-x} \leq \lim_{t\to x} |t - x|$, now can you conclude $f'(x)=0\forall x$?

Alternative (but of course similar) idea:

The assumption is that $g(a,b):=\left|\frac{f(a)-f(b)}{(a-b)^2}\right|$, $a\ne b$, is bounded, indeed by $1$. Now show that, given $a$, $b$, $a\ne0$ and setting $c:=\frac{a+b}2$, you have $g(a,c)\ge2g(a,b)$ or $g(b,c)\ge2g(a,b)$. Conclude that if there are $a$, $b$ with $f(a)\ne f(b)$, then $g$ is unbounded.

Sorry, no derivatives ;)