Módulos / algebra-1 / Capítulo 6 — Funciones en olimpiadas / Lección 6.1

Ecuaciones funcionales básicas

Lección 6.1·Capítulo 6 — Funciones en olimpiadas·11 min·Piloto

Video en producción

El contenido pedagógico de esta lección ya está completo y lo puedes leer abajo. El video con la voz de Eduardo Espinoza Ramos se produce según la Política de IA.

Disclosure de IA: al publicarse, este contenido reproducirá digitalmente, con autorización expresa del autor, la voz y fisonomía de Eduardo Espinoza Ramos. Curaduría revisada por matemáticos profesionales. Política completa →

Objetivo de la lección

Reconocer los tipos de ecuaciones funcionales más frecuentes en olimpiadas de nivel regional; resolver la ecuación de Cauchy $f(x+y)=f(x)+f(y)$ bajo hipótesis de monotonía o continuidad; identificar las familias de soluciones lineales, exponenciales y de potencia; y aplicar sustituciones elementales para extraer información de la función desconocida.

¿Qué es una ecuación funcional?

Una ecuación funcional es una ecuación en la que la incógnita es una función ff, en lugar de un número. La condición debe cumplirse para todos los valores de las variables en un dominio especificado.

Ejemplo simple: halla todas las funciones f:RRf: \mathbb{R} \to \mathbb{R} tales que f(x+y)=f(x)+f(y)f(x + y) = f(x) + f(y) para todos x,yRx, y \in \mathbb{R}. Aquí ff es lo que buscamos; la ecuación impone una relación que ff debe respetar para todo par (x,y)(x, y).

En olimpiadas de nivel ONEM regional, las ecuaciones funcionales aparecen con dominio R\mathbb{R}, Q\mathbb{Q}, Z+\mathbb{Z}^+ o N\mathbb{N}. Los problemas piden: (a) hallar todas las funciones que satisfacen la ecuación, (b) demostrar que no existe ninguna, o (c) determinar el valor de ff en un punto específico.

La estrategia central siempre comienza con sustituciones especiales: elige valores concretos de xx e yy que simplifiquen la ecuación y revelen propiedades de ff (valor en 00, comportamiento en negativos, periodicidad, inyectividad, etc.).

La ecuación de Cauchy: $f(x+y) = f(x) + f(y)$

La ecuación de Cauchy es la ecuación funcional más clásica. Para f:RRf: \mathbb{R} \to \mathbb{R}, si f(x+y)=f(x)+f(y)f(x+y) = f(x) + f(y) para todo x,yRx, y \in \mathbb{R}, entonces:

Paso 1 — Valor en cero: sustituye x=y=0x = y = 0: f(0)=f(0)+f(0)=2f(0)f(0) = f(0) + f(0) = 2f(0), luego f(0)=0f(0) = 0.

Paso 2 — Números enteros: sustituye y=xy = x: f(2x)=2f(x)f(2x) = 2f(x). Por inducción, f(nx)=nf(x)f(nx) = nf(x) para todo nNn \in \mathbb{N}. Con x=y=xx = y = -x: 0=f(0)=f(x)+f(x)0 = f(0) = f(x) + f(-x), luego f(x)=f(x)f(-x) = -f(x) (función impar). Extendemos a Z\mathbb{Z}: f(nx)=nf(x)f(nx) = nf(x) para nZn \in \mathbb{Z}.

Paso 3 — Racionales: sea x=p/qx = p/q con p,qZp, q \in \mathbb{Z}, q>0q > 0. Entonces qf(p/q)=f(qp/q)=f(p)=pf(1)qf(p/q) = f(q \cdot p/q) = f(p) = pf(1), luego f(p/q)=pqf(1)f(p/q) = \frac{p}{q} f(1). Es decir, f(x)=cxf(x) = cx para todo xQx \in \mathbb{Q}, con c=f(1)c = f(1).

**Sobre R\mathbb{R}:** sin hipótesis adicionales, existen soluciones "patológicas" de Cauchy que no son lineales (no medibles, no acotadas en ningún intervalo). En olimpiadas, el problema siempre añade una hipótesis extra: ff es monótona, continua, o acotada en algún intervalo. Bajo cualquiera de estas condiciones, la única solución es f(x)=cxf(x) = cx con cRc \in \mathbb{R}.

f(x+y)=f(x)+f(y)    f(x)=cx (bajo monotonıˊa)f(x+y) = f(x) + f(y) \implies f(x) = cx \text{ (bajo monotonía)}

Ecuaciones funcionales multiplicativas y exponenciales

La ecuación f(xy)=f(x)+f(y)f(xy) = f(x) + f(y) (para x,y>0x, y > 0) caracteriza a los logaritmos: la única solución continua y no trivial es f(x)=clogxf(x) = c \log x para algún c0c \neq 0. La sustitución x=y=1x = y = 1 da f(1)=0f(1) = 0; con y=xy = x: f(x2)=2f(x)f(x^2) = 2f(x).

La ecuación f(x+y)=f(x)f(y)f(x+y) = f(x) \cdot f(y) caracteriza a las exponenciales: si ff no es idénticamente cero, entonces f(0)=1f(0) = 1 (pon x=y=0x = y = 0: f(0)=f(0)2f(0) = f(0)^2, luego f(0)=0f(0) = 0 o f(0)=1f(0) = 1; si f(0)=0f(0) = 0, entonces f(x)=f(x+0)=f(x)f(0)=0f(x) = f(x+0) = f(x)f(0) = 0 para todo xx, caso trivial). La única solución continua no trivial es f(x)=axf(x) = a^x con a>0a > 0, a1a \neq 1.

La ecuación f(xy)=f(x)f(y)f(xy) = f(x) \cdot f(y) (para x,y>0x, y > 0) caracteriza a las funciones potencia: la solución continua es f(x)=xcf(x) = x^c para algún cRc \in \mathbb{R}. Sustituyendo x=y=1x = y = 1: f(1)=f(1)2f(1) = f(1)^2, luego f(1)=0f(1) = 0 o f(1)=1f(1) = 1; la solución no trivial tiene f(1)=1f(1) = 1.

Estas tres familias (lineal, logarítmica, exponencial, potencia) aparecen reiteradamente en ONEM. Memorizarlas permite "adivinar" la solución y luego verificarla.

Sustituciones estratégicas: técnica de extracción de información

El primer movimiento ante cualquier ecuación funcional es hacer sustituciones especiales para revelar propiedades de ff. Las más útiles:

(1) x=y=0x = y = 0: revela f(0)f(0). (2) y=0y = 0 (o x=0x = 0): relaciona f(x)f(x) con f(0)f(0). (3) y=xy = -x: revela f(x)f(-x) en términos de f(x)f(x) y f(0)f(0). (4) y=xy = x: relaciona f(2x)f(2x) con f(x)f(x). (5) Intercambiar xx e yy: revela simetría o antisimetría.

Ejemplo: Sea f:RRf: \mathbb{R} \to \mathbb{R} tal que f(x+y)+f(xy)=2f(x)f(y)f(x+y) + f(x-y) = 2f(x)f(y) para todo x,yx, y. Esto es la ecuación funcional del coseno. Con x=y=0x = y = 0: 2f(0)=2f(0)22f(0) = 2f(0)^2, luego f(0)=0f(0) = 0 o f(0)=1f(0) = 1. Con x=0x = 0: f(y)+f(y)=2f(0)f(y)f(y) + f(-y) = 2f(0)f(y); si f(0)=1f(0) = 1, entonces f(y)+f(y)=2f(y)f(y) + f(-y) = 2f(y), es decir f(y)=f(y)f(-y) = f(y) (ff es par). La solución trigonométrica es f(x)=cos(cx)f(x) = \cos(cx); la solución hiperbólica es f(x)=cosh(cx)f(x) = \cosh(cx); y también f0f \equiv 0 (con f(0)=0f(0) = 0).

Regla práctica: **nunca declares "la única solución es f(x)=f(x) = \ldots" sin verificar** que esa función efectivamente satisface la ecuación original. Y nunca olvides el caso de la función identicamente nula.

Problemas del Capítulo 6 — con solución

8 problemas verificados. Intenta cada uno antes de abrir la solución.

A1-6.1

Halla todas las funciones f:RRf: \mathbb{R} \to \mathbb{R} tales que f(x+y)=f(x)+f(y)f(x + y) = f(x) + f(y) para todo x,yRx, y \in \mathbb{R}, sabiendo que ff es monótona creciente.

A1-6.2

Halla todas las funciones f:RRf: \mathbb{R} \to \mathbb{R} tales que f(x+y)=f(x)f(y)f(x + y) = f(x) \cdot f(y) para todo x,yRx, y \in \mathbb{R}, sabiendo que ff no es idénticamente cero y que ff es monótona.

A1-6.3

Sea f:RRf: \mathbb{R} \to \mathbb{R} tal que f(2x+1)=2f(x)+1f(2x + 1) = 2f(x) + 1 para todo xRx \in \mathbb{R}. Determina f(2023)f(2023) sabiendo que f(0)=1f(0) = 1.

A1-6.4★★

Halla todas las funciones f:RRf: \mathbb{R} \to \mathbb{R} tales que f(f(x))=x+1f(f(x)) = x + 1 para todo xRx \in \mathbb{R}.

A1-6.5★★

Sea f:R+R+f: \mathbb{R}^+ \to \mathbb{R}^+ tal que f(xy)=f(x)+f(y)f(xy) = f(x) + f(y) para todo x,y>0x, y > 0. Sabiendo que ff es estrictamente creciente y f(2)=1f(2) = 1, calcula f(32)f(32).

A1-6.6★★

Halla todas las funciones f:ZZf: \mathbb{Z} \to \mathbb{Z} tales que f(m+n)+f(mn)=2f(m)+2f(n)f(m + n) + f(m - n) = 2f(m) + 2f(n) para todo m,nZm, n \in \mathbb{Z}.

A1-6.7★★★

Halla todas las funciones f:RRf: \mathbb{R} \to \mathbb{R} tales que f(x+f(y))=f(x)+yf(x + f(y)) = f(x) + y para todo x,yRx, y \in \mathbb{R}.

A1-6.8★★★Problema estilo ONEM regional

Halla todas las funciones f:R+R+f: \mathbb{R}^+ \to \mathbb{R}^+ tales que f ⁣(x+1f(y))=f(x)f ⁣(1f(y))f\!\left(x + \dfrac{1}{f(y)}\right) = f(x) \cdot f\!\left(\dfrac{1}{f(y)}\right) y f(f(x))=1xf(f(x)) = \dfrac{1}{x} para todo xR+x \in \mathbb{R}^+.