Skip to main content
The original argument is flawed: g is undefined on (0,1/2) and does not have 1 as an attractor (observe g(z) < z for z< 1). I added a bit to the argument to fix the flaw.
Source Link

Yes. If $f$ were not constant, then (since ${\bf R}^+$ is connected) it could not be locally constant, thus there exists $x_0 \in {\bf R}^+$ such that $f$ is not constant in any neighbourhood of $x_0$. By rescaling (replacing $f(x)$ with $f(x_0 x)$) we may assume without loss of generality that $x_0=1$.

For any $y \in {\bf R}^+$, there thus exists $x$ arbitrarily close to $1$ for which $f(x) \neq f(y)$, hence $f((x+y)/2) = f(\sqrt{xy})$. By continuity, this implies that $f((1+y)/2) = f(\sqrt{y})$ for all $y \in {\bf R}^+$. Making the substitution $z := (1+y)/2$, we conclude that $f(z) = f(g(z))$ for all $z \in {\bf R}^+$$z > 1/2$, where $g(z) := \sqrt{2z-1}$. TheThe function $g$ hasattracts $[1, \infty)$ to the fixed point $z=1$ as an attractor, so on iteration and by using the continuity of $f$ we conclude that $f(z)=f(1)$ for all $z \in {\bf R}^+$$z >1$. Similarly, $h = g^{-1}$ defined by $h(z) = (z^2 + 1)/2$ attracts $(0, 1]$ to the fixed point $z = 1$, so by the same argument $f(z) = f(1)$ for $z < 1$, making $f$ is indeed constant on all of $\bf R^+$.

Yes. If $f$ were not constant, then (since ${\bf R}^+$ is connected) it could not be locally constant, thus there exists $x_0 \in {\bf R}^+$ such that $f$ is not constant in any neighbourhood of $x_0$. By rescaling (replacing $f(x)$ with $f(x_0 x)$) we may assume without loss of generality that $x_0=1$.

For any $y \in {\bf R}^+$, there thus exists $x$ arbitrarily close to $1$ for which $f(x) \neq f(y)$, hence $f((x+y)/2) = f(\sqrt{xy})$. By continuity, this implies that $f((1+y)/2) = f(\sqrt{y})$ for all $y \in {\bf R}^+$. Making the substitution $z := (1+y)/2$, we conclude that $f(z) = f(g(z))$ for all $z \in {\bf R}^+$, where $g(z) := \sqrt{2z-1}$. The function $g$ has the fixed point $z=1$ as an attractor, so on iteration and by using the continuity of $f$ we conclude that $f(z)=f(1)$ for all $z \in {\bf R}^+$, so $f$ is indeed constant.

Yes. If $f$ were not constant, then (since ${\bf R}^+$ is connected) it could not be locally constant, thus there exists $x_0 \in {\bf R}^+$ such that $f$ is not constant in any neighbourhood of $x_0$. By rescaling (replacing $f(x)$ with $f(x_0 x)$) we may assume without loss of generality that $x_0=1$.

For any $y \in {\bf R}^+$, there thus exists $x$ arbitrarily close to $1$ for which $f(x) \neq f(y)$, hence $f((x+y)/2) = f(\sqrt{xy})$. By continuity, this implies that $f((1+y)/2) = f(\sqrt{y})$ for all $y \in {\bf R}^+$. Making the substitution $z := (1+y)/2$, we conclude that $f(z) = f(g(z))$ for all $z > 1/2$, where $g(z) := \sqrt{2z-1}$. The function $g$ attracts $[1, \infty)$ to the fixed point $z=1$, so on iteration and by using the continuity of $f$ we conclude that $f(z)=f(1)$ for all $z >1$. Similarly, $h = g^{-1}$ defined by $h(z) = (z^2 + 1)/2$ attracts $(0, 1]$ to the fixed point $z = 1$, so by the same argument $f(z) = f(1)$ for $z < 1$, making $f$ constant on all of $\bf R^+$.

Source Link
Terry Tao
  • 114.2k
  • 33
  • 462
  • 539

Yes. If $f$ were not constant, then (since ${\bf R}^+$ is connected) it could not be locally constant, thus there exists $x_0 \in {\bf R}^+$ such that $f$ is not constant in any neighbourhood of $x_0$. By rescaling (replacing $f(x)$ with $f(x_0 x)$) we may assume without loss of generality that $x_0=1$.

For any $y \in {\bf R}^+$, there thus exists $x$ arbitrarily close to $1$ for which $f(x) \neq f(y)$, hence $f((x+y)/2) = f(\sqrt{xy})$. By continuity, this implies that $f((1+y)/2) = f(\sqrt{y})$ for all $y \in {\bf R}^+$. Making the substitution $z := (1+y)/2$, we conclude that $f(z) = f(g(z))$ for all $z \in {\bf R}^+$, where $g(z) := \sqrt{2z-1}$. The function $g$ has the fixed point $z=1$ as an attractor, so on iteration and by using the continuity of $f$ we conclude that $f(z)=f(1)$ for all $z \in {\bf R}^+$, so $f$ is indeed constant.