Problema. Encontrar todas las funciones continuas $f : \mathbb{R} \to \mathbb{R}$ tal que para todos los $x \in \mathbb{R}$, $$f(1-x) = 1 - f(f(x)).$$
He obtenido ese $f(x) = f(f(f(f(x))))$ todos los $x \in \mathbb{R}$, pero no puede ir más allá. Para ver esto, sustituimos $x = f(f(y))$ para obtener $$ f(1-f(f(y))) = 1-f(f(f(f(y)))) \\ \implica f(f(1-y)) = 1-f(f(f(f(y)))) \\ \implica 1-f(y) = 1-f(f(f(f(y)))) \\ \implica f(y) = f(f(f(f(y)))). $$ Supongo que las únicas soluciones son $f(x) = x$$f(x) = 1/2$. ¿Alguien tiene una prueba?
Edit: puedo demostrar que si $f$ es continua y $f(f(f(x))) = x$ todos los $x \in \mathbb{R}$, $f(x) = x$ es la única solución. Pero la condición aquí es ligeramente más débil que el, y por eso $f(x) = 1/2$ también funciona. Pero, ¿es posible la adaptación de la prueba?