Summer is a great time to explore cool problems to keep your skills sharp!  Schedule a class today!

G
Topic
First Poster
Last Poster
set with c+2a>3b
VicKmath7   49
N an hour ago by wangyanliluke
Source: ISL 2021 A1
Let $n$ be a positive integer. Given is a subset $A$ of $\{0,1,...,5^n\}$ with $4n+2$ elements. Prove that there exist three elements $a<b<c$ from $A$ such that $c+2a>3b$.

Proposed by Dominik Burek and Tomasz Ciesla, Poland
49 replies
1 viewing
VicKmath7
Jul 12, 2022
wangyanliluke
an hour ago
No more topics!
Find f
Redriver   7
N May 24, 2025 by aaravdodhia
Find all $: R \to R : \ \ f(x^2+f(y))=y+f^2(x)$
7 replies
Redriver
Jun 25, 2006
aaravdodhia
May 24, 2025
Find f
G H J
G H BBookmark kLocked kLocked NReply
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Redriver
72 posts
#1 • 2 Y
Y by Adventure10, Mango247
Find all $: R \to R : \ \ f(x^2+f(y))=y+f^2(x)$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cefer
294 posts
#2 • 2 Y
Y by Adventure10, Mango247
Firstly if $f(x)=f(y)$ then $f(a^2+f(x))=f(a^2+f(y))$
From here $x+f(a)^2=y+f(a)^2 \Longrightarrow x=y$
We get that $f(x)$ is injective.
Taking $x=0$ we get $f(f(y))=y+f(0)^2$ $(1)$
So there exists $t\in R$ such that $f(t)=0$
Taking $x=y=t$ we get $f(t^2)=t \Longrightarrow f(f(t^2))=f(t) \Longrightarrow t^2+f(0)^2=0$
So $t=f(0)=0$
Taking $y=0$ we get $f(x^2)=f(x)^2=f(-x)^2$
From injectivity of $f$ we get $f(-x)=-f(x)$
Taking $y=0$ we get $f(x^2)=f(x)^2$.So $f(x)\ge 0$ if and only if $x\ge 0$ $(2)$
Taking $y=-x^2$ we have $f(x^2+f(-x^2))=-x^2+f(x)^2$
$f(x^2-f(x^2))=f(x)^2-x^2$
From $(2)$ we get that $f(x)=x$
That's all ;)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Blackbeam999
32 posts
#3
Y by
cefer wrote:
Firstly if $f(x)=f(y)$ then $f(a^2+f(x))=f(a^2+f(y))$
From here $x+f(a)^2=y+f(a)^2 \Longrightarrow x=y$
We get that $f(x)$ is injective.
Taking $x=0$ we get $f(f(y))=y+f(0)^2$ $(1)$
So there exists $t\in R$ such that $f(t)=0$
Taking $x=y=t$ we get $f(t^2)=t \Longrightarrow f(f(t^2))=f(t) \Longrightarrow t^2+f(0)^2=0$
So $t=f(0)=0$
Taking $y=0$ we get $f(x^2)=f(x)^2=f(-x)^2$
From injectivity of $f$ we get $f(-x)=-f(x)$
Taking $y=0$ we get $f(x^2)=f(x)^2$.So $f(x)\ge 0$ if and only if $x\ge 0$ $(2)$
Taking $y=-x^2$ we have $f(x^2+f(-x^2))=-x^2+f(x)^2$
$f(x^2-f(x^2))=f(x)^2-x^2$
From $(2)$ we get that $f(x)=x$
That's all ;)

Why f(x)=x? I am confused
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jasperE3
11395 posts
#4 • 1 Y
Y by Blackbeam999
Blackbeam999 wrote:
.

Why f(x)=x? I am confused

it is kinda confusing yeah

First consider the case $x\ge0$, we use the equation $f\left(x^2-f\left(x^2\right)\right)=f(x)^2-x^2~(1)$.
We got earlier that $f$ is odd, so:
$$f\left(f\left(x^2\right)-x^2\right)=-f\left(x^2-f\left(x^2\right)\right)=-\left(f(x)^2-x^2\right)=x^2-f(x)^2~(2).$$So
$$f\left\lvert f\left(x^2\right)-x^2\right\rvert=-\left|f(x)^2-x^2\right|,$$since if $\left\lvert f\left(x^2\right)-x^2\right\rvert=f\left(x^2\right)-x^2$ this is equivalent to $(2)$ and if $\left\lvert f\left(x^2\right)-x^2\right\rvert=x^2-f\left(x^2\right)$ this is equivalent to $(1)$.
Then, recall that $f(x)\ge0$ for all $x\ge0$, so:
$$0\ge-\left|f(x)^2-x^2\right|=f\left|f\left(x^2\right)-x^2\right|\ge0,$$and equality must hold everywhere so $f\left(x^2\right)=x^2$. Using oddness, $f(x)=x$ everywhere.
This post has been edited 2 times. Last edited by jasperE3, Apr 30, 2025, 5:18 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Blackbeam999
32 posts
#5
Y by
jasperE3 wrote:
Blackbeam999 wrote:
.

Why f(x)=x? I am confused

it is kinda confusing yeah

First consider the case $x\ge0$, we use the equation $f\left(x^2-f\left(x^2\right)\right)=f(x)^2-x^2~(1)$.
We got earlier that $f$ is odd, so:
$$f\left(f\left(x^2\right)-x^2\right)=-f\left(x^2-f\left(x^2\right)\right)=-\left(f(x)^2-x^2\right)=x^2-f(x)^2~(2).$$So
$$f\left\lvert f\left(x^2\right)-x^2\right\rvert=-\left|f(x)^2-x^2\right|,$$since if $\left\lvert f\left(x^2\right)-x^2\right\rvert=f\left(x^2\right)-x^2$ this is equivalent to $(2)$ and if $\left\lvert f\left(x^2\right)-x^2\right\rvert=x^2-f\left(x^2\right)$ this is equivalent to $(1)$.
Then, recall that $f(x)\ge0$ for all $x\ge0$, so:
$$0\ge-\left|f(x)^2-x^2\right|=f\left|f\left(x^2\right)-x^2\right|\ge0,$$and equality must hold everywhere so $f\left(x^2\right)=x^2$. Using oddness, $f(x)=x$ everywhere.

Thank!
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cefer
294 posts
#6 • 1 Y
Y by Blackbeam999
Blackbeam999 wrote:
cefer wrote:
Firstly if $f(x)=f(y)$ then $f(a^2+f(x))=f(a^2+f(y))$
From here $x+f(a)^2=y+f(a)^2 \Longrightarrow x=y$
We get that $f(x)$ is injective.
Taking $x=0$ we get $f(f(y))=y+f(0)^2$ $(1)$
So there exists $t\in R$ such that $f(t)=0$
Taking $x=y=t$ we get $f(t^2)=t \Longrightarrow f(f(t^2))=f(t) \Longrightarrow t^2+f(0)^2=0$
So $t=f(0)=0$
Taking $y=0$ we get $f(x^2)=f(x)^2=f(-x)^2$
From injectivity of $f$ we get $f(-x)=-f(x)$
Taking $y=0$ we get $f(x^2)=f(x)^2$.So $f(x)\ge 0$ if and only if $x\ge 0$ $(2)$
Taking $y=-x^2$ we have $f(x^2+f(-x^2))=-x^2+f(x)^2$
$f(x^2-f(x^2))=f(x)^2-x^2$
From $(2)$ we get that $f(x)=x$
That's all ;)

Why f(x)=x? I am confused

We have
$$f(x^2-f(x)^2)=f(x)^2-x^2$$and we also know that $f(x) \geq 0$ if and only if $x \geq 0$. If $x^2 > f(x)^2$, then we get that $f$ gets negative value at positive input. Similarly, if $x^2 < f(x)^2$, then $f$ gets positive value at negative input. So $x^2 = f(x)^2$ and this gives us $f(x) = x$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Unique_solver
3 posts
#7
Y by
Does $f^{2}(x)$ meant $f(x) * f(x)$ or $f(f(x))$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
aaravdodhia
2622 posts
#8
Y by
The latter (function composition).
Z K Y
N Quick Reply
G
H
=
a