No existe [math] h [/ math] (suponiendo que [math] h [/ math] es de [math] \ mathbb {R} [/ math] a [math] \ mathbb {R} [/ math]) . Por ahora, suponga que [math] h [/ math] existe. Es útil aplicar [matemáticas] h [/ matemáticas] a ambos lados de la ecuación funcional dada (que llamaré la ecuación funcional alterada):
[matemáticas] h (x ^ 2 – 1) = h (h (h (x))) = h (x) ^ 2 – 1 [/ matemáticas].
Recuerde la proporción áurea [math] \ varphi = \ frac {1 + \ sqrt {5}} {2} [/ math] y su conjugado [math] \ bar {\ varphi} = \ frac {1 – \ sqrt {5 }} {2} [/ math], las dos raíces del polinomio [math] x ^ 2 – x – 1 [/ math]. Ya sea [math] h (\ varphi) = \ varphi [/ math] o [math] h (\ varphi) = [/ math] [math] \ bar {\ varphi} [/ math]. ¿Por qué? Al conectar [math] \ varphi [/ math] en la ecuación funcional alterada se obtiene [math] h (\ varphi) = h (\ varphi ^ 2 – 1) = h (\ varphi) ^ 2 – 1 [/ math]. Esto muestra que [math] h (\ varphi) [/ math] en sí es una raíz de [math] x ^ 2 – x – 1 [/ math]. El mismo argumento es válido para [math] h (\ bar {\ varphi}) [/ math].
Además, [math] \ varphi [/ math] y [math] \ bar {\ varphi} [/ math] son los únicos candidatos para puntos fijos de [math] h [/ math]. (Si [matemática] x = h (x) [/ matemática] es un punto fijo, entonces a través de la ecuación funcional original: [matemática] x ^ 2 – 1 = h (h (x)) = h (x) = x [/matemáticas]. )
- Sé que la gente está harta de preguntas como esta. Si 400 = 200 + 100 + 100. ¿Cuál sería el valor de 200 + 100 + 100 x 3, mejor dicho multiplicado por 3?
- Cómo resolver F (x) = (3x-1) ^ 4 (2x + 1) ^ -3 usando la regla de la cadena
- ¿Cómo se deriva el discriminante de una fórmula cuadrática?
- ¿Cómo integraría [math] [/ math] [math] \ displaystyle \ int \ frac {1} {(x ^ 4 + x ^ 2 + 1)} dx [/ math]?
- ¿Cómo diferenciar f (x) = 1, utilizando los primeros principios?
Además, estos son los únicos puntos que evalúan a [math] \ varphi [/ math] o [math] \ bar {\ varphi} [/ math]. Para ver esto, suponga que [math] h (a) = \ varphi [/ math]. Entonces, [math] a ^ 2 – 1 = h (h (a)) = h (\ varphi) [/ math] que mostramos es [math] \ varphi [/ math] o [math] \ bar {\ varphi} [/ math]. El argumento es análogo para [math] h (a) = \ bar {\ varphi} [/ math].
A continuación, intentemos enchufar 0 y -1 en la ecuación funcional alterada. Obtenemos [matemáticas] h (-1) = h (0) ^ 2 – 1 [/ matemáticas] y [matemáticas] h (0) = h (-1) ^ 2 – 1 [/ matemáticas]. Es sencillo resolver este sistema de dos ecuaciones para ver que uno de los siguientes debe cumplir:
- [matemáticas] h (0) = 0, h (-1) = -1 [/ matemáticas]
- [matemáticas] h (0) = -1, h (-1) = 0 [/ matemáticas]
- [matemáticas] h (0) = h (-1) = \ varphi [/ matemáticas]
- [matemáticas] h (0) = h (-1) = \ bar {\ varphi} [/ matemáticas]
El caso 1 no puede ocurrir, ya que demostramos que [math] \ varphi [/ math] y [math] \ bar {\ varphi} [/ math] son los únicos candidatos para puntos fijos de [math] h [/ math]. El caso 2 no puede ocurrir ya que contradice la ecuación funcional original (¡verifique esto!). Los casos 3 y 4 no pueden ocurrir ya que mostramos que los únicos números que pueden mapearse a [math] \ varphi [/ math] y [math] \ bar {\ varphi} [/ math] son ellos mismos. Uno de los casos debe ser válido, pero ninguno lo es, por lo que tenemos una contradicción. QED