Difference between revisions of "2010 IMO Problems/Problem 1"

Latest revision as of 11:54, 3 April 2024

Problem

Find all functions $f:\mathbb{R}\rightarrow\mathbb{R}$ such that for all $x,y\in\mathbb{R}$ the following equality holds

$f(\left\lfloor x\right\rfloor y)=f(x)\left\lfloor f(y)\right\rfloor$

where $\left\lfloor a\right\rfloor$ is greatest integer not greater than $a.$

Author: Pierre Bornsztein, France

Solutions

Solution 1

Put $x=y=0$ . Then $f(0)=0$ or $\lfloor f(0) \rfloor=1$ .

$\bullet$ If $\lfloor f(0) \rfloor=1$ , putting $y=0$ we get $f(x)=f(0)$ , that is f is constant. Substituing in the original equation we find $f(x)=0, \ \forall x \in \mathbb{R}$ or $f(x)=a, \ \forall x \in \mathbb{R}$ , where $a \in [1,2)$ .

$\bullet$ If $f(0)=0$ , putting $x=y=1$ we get $f(1)=0$ or $\lfloor f(1) \rfloor=1$ .

For $f(1)=0$ , we set $x=1$ to find $f(y)=0 \ \forall y$ , which is a solution.

For $\lfloor f(1) \rfloor=1$ , setting $y=1$ yields $f(\lfloor x \rfloor)=f(x), \ (*)$ .

Putting $x=2, y=\frac{1}{2}$ to the original we get $f(1)=f(2)\lfloor f(\frac{1}{2}) \rfloor$ . However, from $(*)$ we have $f(\frac{1}{2})=f(0)=0$ , so $f(1)=0$ which contradicts the fact $\lfloor f(1) \rfloor=1$ .

So, $f(x)=0, \ \forall x$ or $f(x)=a, \ \forall x, \ a \in [1,2)$ . ( By socrates[1])

Solution 2

Substituting $y=0$ we have $f(0) = f(x) [f(0)]$ . If $[f0)] \ne 0$ then $f(x) = \frac{f(0)}{[f(0)]}$ . Then $f(x)$ is constant. Let $f(x)=c$ . Then substituting that in (1) we have $c=c[c] \Rightarrow c(1-[c])=0 \Rightarrow c=0$ , or $[c]=1$ . Therefore $f(x)=c$ where $c=0$ or $c \in [1,2)$

If $[f(0)] = 0$ then $f(0)=0$ . Now substituting $x=1$ we have $f(y)=f(1)[f(y)]$ . If $f(1) \ne 0$ then $[f(y)] = \frac{f(y)}{f(1)}$ and substituting this in (1) we have $f([x]y)=\frac{f(x)f(y)}{f(1)}$ . Then $f([x]y)=f(x[y])$ . Substituting $x=1/2, y=2$ we get $f(0)=f(1)$ . Then $f(1)=0$ , which is a contradiction Therefore $f(1)=0$ . and then $f(y)=0$ for all $R$

Then the only solutions are $f(x)=0$ or $f(x)=c$ where $c \in [1,2)$ .( By m.candales [2])

Solution 3

Let $y=0$ , then $f(0)=f(x)\left\lfloor f(0)\right\rfloor$ .

Case 1: $\left\lfloor f(0)\right\rfloor\neq 0$

Then $f(x)=\frac{f(0)}{\left\lfloor f(0)\right\rfloor}$ is a constant. Let $f(x)=k$ , then $k=k\left\lfloor k \right\rfloor \Leftrightarrow k=0 \vee 1\leq k<2$ . It is easy to check that this are solutions.

Case 2: $\left\lfloor f(0)\right\rfloor= 0$

In this case we conclude that $\left\lfloor f(0)\right\rfloor= 0\Rightarrow f(0)=0$

Lemma:If $y$ is such that $0\leq f(y)<1$ , $f(y)=0$

Proof of the Lemma: If $x=1$ we have that $f(\left\lfloor x\right\rfloor y)=f(y)=f(x)\left\lfloor f(y)\right\rfloor =0$ , as desired.

Let $0\leq x<1$ , so that we have: $0=f(0)=f(\left\lfloor x\right\rfloor y)=f(x)\left\lfloor f(y)\right\rfloor\Rightarrow$ $\Rightarrow f(x)=0 \vee 0\leq f(y)<1 \Rightarrow f(x)=0 \vee f(y)=0$ , using the lemma.

If $f$ is not constant and equal to $0$ , letting $y$ be such that $f(y)\neq 0$ implies that $f(x)=0, \forall 0\leq x<1$ .

Now it's enough to notice that any real number $x$ is equal to $ky$ , where $k\in \mathbb{Z}$ and $0\leq y< 1$ , so that $f(x)=f(ky)=f(\left\lfloor k\right\rfloor y)=f(k)\left\lfloor f(y)\right\rfloor=0$ . Since $x$ was arbitrary, we have that $f$ is constant and equal to $0$ .

We conclude that the solutions are $f(x)=k$ , where $k=0 \vee 1\leq k<2$ .( By Jorge Miranda [3] )

Solution 4

Clearly $f(\left\lfloor x\right\rfloor y) = f(\left\lfloor \lfloor x \rfloor \right\rfloor y) = f(\lfloor x \rfloor)\left\lfloor f(y)\right\rfloor$ , so $(f(x) - f(\lfloor x \rfloor))\left\lfloor f(y)\right\rfloor = 0$ for all $x,y\in\mathbb{R}$ .

If $\left\lfloor f(y)\right\rfloor = 0$ for all $y \in \mathbb{R}$ , then by taking $x=1$ we get $f(y)=f(1)\left\lfloor f(y)\right\rfloor = 0$ , so $f$ is identically null (which checks).

If, contrariwise, $\left\lfloor f(y_0)\right\rfloor \neq 0$ for some $y_0 \in \mathbb{R}$ , it follows $f(x) = f(\lfloor x \rfloor)$ for all $x \in \mathbb{R}$ .

Now it immediately follows $f(x) = f(\lfloor x \rfloor \cdot 1) = f(x)\lfloor f(1) \rfloor$ , hence $f(x)(1 - \lfloor f(1) \rfloor) = 0$ .

For $x=y_0$ this implies $\lfloor f(1) \rfloor = 1$ . Assume $\lfloor f(0) \rfloor=0$ ; then $1 \leq f(1) = f\left ( 2\cdot \dfrac {1} {2} \right ) = f(2)\left \lfloor f \left ( \dfrac {1} {2} \right ) \right \rfloor = f(2)\left \lfloor f \left ( \left \lfloor \dfrac {1} {2} \right \rfloor \right ) \right \rfloor = f(2)\left \lfloor f(0) \right \rfloor = 0$ , absurd.

Therefore $\lfloor f(0) \rfloor \neq 0$ , and now $y=0$ in the given functional equation yields $f(0) = f(x)\lfloor f(0) \rfloor$ for all $x \in \mathbb{R}$ , therefore $f(x) = c \neq 0$ constant, with $\lfloor c \rfloor = \lfloor f(1) \rfloor = 1$ , i.e. $c \in [1,2)$ (which obviously checks).( By mavropnevma [4])

Video Solution

https://youtu.be/rY5YgNnVn7g [Video Solution by little fermat]

@@ Line 1: / Line 1: @@
 == Problem ==
-Find all function <math>f:\mathbb{R}\rightarrow\mathbb{R}</math> such that for all <math>x,y\in\mathbb{R}</math> the following equality holds
+Find all functions <math>f:\mathbb{R}\rightarrow\mathbb{R}</math> such that for all <math>x,y\in\mathbb{R}</math> the following equality holds
 <math>f(\left\lfloor x\right\rfloor y)=f(x)\left\lfloor f(y)\right\rfloor </math>
+where <math>\left\lfloor a\right\rfloor </math> is greatest integer not greater than <math>a.</math>
-where <math>\left\lfloor a\right\rfloor </math> is greatest integer not greater than <math>a.</math>
+''Author: Pierre Bornsztein, France ''
 == Solutions ==
-== Solution 1 ==
+=== Solution 1 ===
 Put <math>x=y=0</math>. Then <math>f(0)=0</math> or <math>\lfloor f(0) \rfloor=1</math>.
@@ Line 29: / Line 29: @@
 So, <math>f(x)=0, \ \forall x</math> or <math>f(x)=a, \ \forall x, \ a \in [1,2)</math>. ( By socrates[http://www.artofproblemsolving.com/Forum/memberlist.php?mode=viewprofile&u=10045&])
-== Solution 2 ==
+=== Solution 2 ===
 Substituting <math>y=0</math> we have    <math>f(0) = f(x) [f(0)]</math>.
@@ Line 43: / Line 43: @@
 Then the only solutions are <math>f(x)=0</math> or <math>f(x)=c</math> where <math>c \in [1,2)</math>.( By m.candales [http://www.artofproblemsolving.com/Forum/memberlist.php?mode=viewprofile&u=35756&])
-== Solution 3 ==
+=== Solution 3 ===
 Let <math>y=0</math>, then <math>f(0)=f(x)\left\lfloor f(0)\right\rfloor</math>.
@@ Line 74: / Line 74: @@
 )
-== Solution 4 ==
+=== Solution 4 ===
 Clearly <math>f(\left\lfloor x\right\rfloor y) = f(\left\lfloor \lfloor x \rfloor \right\rfloor y) = f(\lfloor x \rfloor)\left\lfloor f(y)\right\rfloor</math>, so <math>(f(x) - f(\lfloor x \rfloor))\left\lfloor f(y)\right\rfloor = 0</math> for all <math>x,y\in\mathbb{R}</math>.
@@ Line 88: / Line 88: @@
 Therefore <math>\lfloor f(0) \rfloor \neq 0</math>, and now <math>y=0</math> in the given functional equation yields <math>f(0) = f(x)\lfloor f(0) \rfloor</math> for all <math>x \in \mathbb{R}</math>, therefore <math>f(x) = c \neq 0</math> constant, with <math>\lfloor c \rfloor = \lfloor f(1) \rfloor = 1</math>, i.e. <math>c \in [1,2)</math> (which obviously checks).( By mavropnevma [http://www.artofproblemsolving.com/Forum/memberlist.php?mode=viewprofile&u=64716&])
+== Video Solution ==
+https://youtu.be/rY5YgNnVn7g  [Video Solution by little fermat]
-== See also ==
+== See Also ==
 {{IMO box|year=2010|before=First question|num-a=2}}
 [[Category:Olympiad Algebra Problems]]
+[[Category:Functional Equation Problems]]

2010 IMO (Problems) • Resources
Preceded by First question	1 • 2 • 3 • 4 • 5 • 6	Followed by Problem 2
All IMO Problems and Solutions

Page

Toolbox

Search