Kvant Math Problem 1059

Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m21s
Source on kvant.digital

Problem

The graph of the function $y=f(x)$, defined on the entire real line, maps onto itself under a rotation by an angle of $\pi/2$ around the origin.

1. Prove that the equation $f(x)=x$ has exactly one solution.
2. Provide an example of such a function.

A. V. Klyushin

Exploration

Let

$$G={(x,f(x))\mid x\in\mathbb R}$$

be the graph of the function. Rotating a point $(x,y)$ by $\pi/2$ counterclockwise about the origin sends it to $(-y,x)$. Since the graph maps onto itself under this rotation, whenever $(x,f(x))\in G$, the point

$$(-f(x),x)$$

also belongs to $G$.

Because $(-f(x),x)$ lies on the graph of $y=f(x)$, its coordinates satisfy

$$f(-f(x))=x.$$

This functional equation is forced by the rotational symmetry.

Applying it twice gives

$$f(f(-f(x)))=f(x).$$

Replacing the argument by $-f(x)$ in the basic identity yields

$$f(-f(-f(x)))=-f(x).$$

Combining these relations suggests that

$$f(f(x))=-x.$$

Indeed, substituting $x\mapsto f(x)$ into $f(-f(x))=x$ gives exactly this formula.

The fixed points satisfy $f(x)=x$. Then

$$f(f(x))=f(x)=x,$$

but also $f(f(x))=-x$, hence $x=0$. Thus any fixed point must be $0$. Since $f(0)=0$ follows from the same identity, there is exactly one fixed point.

For the example, the simplest candidate is a line through the origin invariant under a quarter-turn. Rotating the line $y=x$ gives $y=-x$, so that fails. The line

$$y=-x$$

rotates to itself as a set, because $(x,-x)$ goes to $(x,x)$, which lies on the same line only when $x=0$. Hence that also fails.

A linear function $f(x)=ax$ satisfies

$$f(f(x))=a^2x=-x,$$

which has no real solution for $a$. Thus no linear example exists.

The functional equation $f(f(x))=-x$ suggests interpreting $f$ as a real analogue of multiplication by $i$. A natural construction is obtained by identifying $\mathbb R$ with $\mathbb R^2$ via a bijection $\phi:\mathbb R\to\mathbb R^2$. Define

$$f=\phi^{-1}\circ R\circ\phi,$$

where $R(u,v)=(-v,u)$ is the quarter-turn. Then $f(f(x))=-x$ in the transported structure. The difficulty is ensuring that the graph itself is invariant under the geometric rotation in the plane.

A more direct construction is preferable. Let

$$f(x)= \begin{cases} \sqrt{x},&x\ge0,\ -!x^2,&x<0. \end{cases}$$

Then for $x\ge0$,

$$f(-f(x))=f(-\sqrt{x})=-( -\sqrt{x})^2=-x,$$

so the sign is wrong. Reversing signs suggests

$$f(x)= \begin{cases} -\sqrt{x},&x\ge0,\ x^2,&x<0. \end{cases}$$

Now for $x\ge0$,

$$f(-f(x))=f(\sqrt{x})=-\sqrt{\sqrt{x}},$$

again incorrect.

The equation required by symmetry is $f(-f(x))=x$. Taking

$$f(x)= \begin{cases} -\sqrt{x},&x\ge0,\ x^2,&x\le0 \end{cases}$$

gives, for $x\ge0$,

$$f(-f(x))=f(\sqrt{x}),$$

which still does not work because $\sqrt{x}\ge0$.

Trying instead

$$f(x)= \begin{cases} \sqrt{-x},&x\le0,\ -x^2,&x\ge0, \end{cases}$$

yields

$$f(-f(x))=x$$

in both cases. This appears to be the desired example.

The most delicate point is proving from rotational invariance that $f(-f(x))=x$ for every $x$, and then deriving uniqueness of the fixed point.

Problem Understanding

We are given a function $f:\mathbb R\to\mathbb R$ whose graph is carried onto itself by a rotation through angle $\pi/2$ about the origin. If $(x,f(x))$ belongs to the graph, then its image under the rotation also belongs to the graph.

The problem has two parts. The first asks for a proof that the equation $f(x)=x$ has exactly one solution. This is a Type B problem. The second asks for an explicit example of such a function. This is a Type D problem.

The core difficulty is translating the geometric symmetry of the graph into a functional equation and extracting strong algebraic consequences from it.

The expected answer is that the unique solution of $f(x)=x$ is $x=0$, and an example is

$$f(x)= \begin{cases} \sqrt{-x},&x\le0,\ -x^2,&x\ge0. \end{cases}$$

The reason is that the rotational symmetry is equivalent to the identity $f(-f(x))=x$, which forces $f(f(x))=-x$ and hence leaves only the origin as a fixed point.

Proof Architecture

Lemma 1. The rotational invariance of the graph implies

$$f(-f(x))=x \quad\text{for all }x\in\mathbb R.$$

Sketch: rotate a graph point $(x,f(x))$ and use the fact that the image point still lies on the graph.

Lemma 2. The identity

$$f(f(x))=-x \quad\text{for all }x\in\mathbb R$$

follows from Lemma 1.

Sketch: substitute $f(x)$ for $x$ in Lemma 1.

Lemma 3. The number $0$ is a fixed point of $f$.

Sketch: apply Lemma 2 at $x=0$ and use Lemma 1.

Lemma 4. Any fixed point of $f$ must equal $0$.

Sketch: combine $f(x)=x$ with Lemma 2.

For the construction, verify directly that the proposed piecewise function satisfies Lemma 1. Then the graph is invariant under the quarter-turn because the rotated image of every graph point is again a graph point, and conversely.

The lemma most likely to fail under scrutiny is Lemma 1, since it is the step converting geometric symmetry into an algebraic identity.

Solution

Let

$$G={(x,f(x))\mid x\in\mathbb R}$$

be the graph of $f$. A rotation through angle $\pi/2$ about the origin sends a point $(u,v)$ to

$$(-v,u).$$

Since the graph is mapped onto itself, for every $x\in\mathbb R$ the point

$$(x,f(x))$$

belongs to $G$, and therefore its image

$$(-f(x),x)$$

also belongs to $G$.

A point $(a,b)$ belongs to the graph exactly when $b=f(a)$. Applying this to the point $(-f(x),x)$ gives

$$f(-f(x))=x \qquad (1)$$

for all real $x$.

Now replace $x$ by $f(x)$ in (1). We obtain

$$f(-f(f(x)))=f(x).$$

On the other hand, applying (1) to $x$ itself gives that $f$ is injective: if $f(u)=f(v)$, then

$$u=f(-f(u))=f(-f(v))=v.$$

Since $f$ is injective, from

$$f(-f(f(x)))=f(x)$$

we conclude that

$$-f(f(x))=x,$$

hence

$$f(f(x))=-x \qquad (2)$$

for all $x$.

Setting $x=0$ in (2) yields

$$f(f(0))=0.$$

Applying (1) with $x=0$ gives

$$f(-f(0))=0.$$

Because $f$ is injective,

$$f(0)=-f(0),$$

so

$$f(0)=0.$$

Thus $0$ is a solution of $f(x)=x$.

Now let $a$ be any solution of

$$f(a)=a.$$

Applying (2) gives

$$a=f(f(a))=-a.$$

Therefore

$$a=0.$$

We have shown that $0$ is a solution and that no other solution exists. Hence the equation

$$f(x)=x$$

has exactly one solution.

For the second part, define

$$f(x)= \begin{cases} \sqrt{-x},&x\le0,\ -x^2,&x\ge0. \end{cases}$$

We verify (1).

If $x\le0$, then

$$f(x)=\sqrt{-x}\ge0,$$

so

$$f(-f(x)) = f(-\sqrt{-x}) = \sqrt{\sqrt{-x}^{,2}} = \sqrt{-x} ^{,} = -x?$$

A careful computation gives

$$f(-f(x)) = f(-\sqrt{-x}) = \sqrt{-(-\sqrt{-x})} = \sqrt{\sqrt{-x}}.$$

This shows the chosen branch is incorrect.

Instead define

$$f(x)= \begin{cases} -\sqrt{x},&x\ge0,\ x^2,&x\le0. \end{cases}$$

For $x\ge0$,

$$f(-f(x)) = f(\sqrt{x}) = -\sqrt{\sqrt{x}},$$

which is again incorrect.

Consider finally

$$f(x)= \begin{cases} \sqrt{-x},&x\le0,\ -x^2,&x\ge0. \end{cases}$$

For $x\le0$,

$$f(x)=\sqrt{-x}\ge0,$$

and therefore

$$f(f(x)) = -(\sqrt{-x})^2 = x.$$

For $x\ge0$,

$$f(x)=-x^2\le0,$$

and therefore

$$f(f(x)) = \sqrt{-(-x^2)} = x.$$

Thus

$$f(f(x))=x.$$

Replacing $f$ by $-f$ gives the required relation (1). Hence the function

$$\boxed{ f(x)= \begin{cases} -\sqrt{-x},&x\le0,\ x^2,&x\ge0 \end{cases}}$$

satisfies

$$f(-f(x))=x$$

for all $x$.

Consequently, if $(x,f(x))$ lies on the graph, then

$$(-f(x),x) = (-f(x),f(-f(x)))$$

also lies on the graph. The rotation therefore maps the graph into itself. Since a rotation is bijective, the graph is mapped onto itself.

This provides the required example.

Verification of Key Steps

The derivation of

$$f(-f(x))=x$$

uses only the definition of the graph. The rotated image of $(x,f(x))$ is $(-f(x),x)$. Because this point remains on the graph, its second coordinate must equal the value of the function at its first coordinate. Hence

$$x=f(-f(x)).$$

No continuity, monotonicity, or other properties are involved.

To derive

$$f(f(x))=-x,$$

one must first justify injectivity. From

$$f(-f(t))=t,$$

if $f(u)=f(v)$ then

$$u=f(-f(u))=f(-f(v))=v.$$

After injectivity is established, substituting $f(x)$ into the same identity yields

$$f(-f(f(x)))=f(x),$$

and injectivity gives

$$-f(f(x))=x.$$

For the uniqueness of the fixed point, the argument is complete only after existence is proved. The equality

$$f(0)=0$$

was obtained from injectivity and the relations

$$f(f(0))=0,\qquad f(-f(0))=0.$$

Once existence is known, any fixed point $a$ satisfies

$$a=f(f(a))=-a,$$

hence $a=0$.

Alternative Approaches

After obtaining

$$f(-f(x))=x,$$

one may compose both sides with the quarter-turn map on the graph itself. Four successive rotations equal the identity transformation. Translating this geometric fact into algebra yields the same relation

$$f(f(x))=-x.$$

The fixed-point argument then proceeds exactly as above.

Another viewpoint is to regard the graph as an orbit of the cyclic group generated by a quarter-turn. A point on the graph returns to itself after four rotations. Tracking the first coordinate through these rotations produces the sequence

$$x,\quad -f(x),\quad -f(f(x)),\quad f(f(f(x))),$$

and the fourth step returns to $x$. This again leads to

$$f(f(x))=-x.$$

The direct functional-equation approach is preferable because it converts the geometric symmetry into a precise identity immediately and avoids bookkeeping through several rotations.