inversa de f(x)=sqrt(4-x)+3
La función es estrictamente monótona en x ≤ 4: tiene una inversa en su imagen y ≥ 3
Aislamos la raíz: 4 -x = y -3, con y ≥ 3. Bajo esta condición, elevar al cuadrado da 4 -x = (y -3)2
Resolvamos en ℝ: 4 -x = (y -3)2
ⓘ Agrupamos los términos con x a la derecha y los demás a la izquierda
4 -(y -3)2 = x
ⓘ Elevar una suma a una potencia entera estrictamente positiva consiste en multiplicarla por sí misma tantas veces como indica el exponente: (y -3)2 = (y -3)·(y -3)
4 -(y -3)·(y -3) = x
ⓘ Desarrollamos por distributividad, multiplicando cada término de la suma por el otro factor: -(y -3)·(y -3) = -(y·y + y·(-3) -3y -3·(-3))
4 -(y·y + y·(-3) -3y -3·(-3)) = x
ⓘ Un signo menos delante de un paréntesis cambia el signo de cada término de su interior: -(y·y + y·(-3) -3y -3·(-3)) = -y·y -y·(-3) + 3y + 3·(-3)
4 -y·y -y·(-3) + 3y + 3·(-3) = x
ⓘ Multiplicar potencias de la misma base equivale a sumar los exponentes: y·y = y2■Dos signos menos se cancelan: -y·(-3) = 3y■Las multiplicaciones se realizan antes que las sumas y las restas. Un único signo menos no se cancela: el producto de un número negativo por uno positivo es negativo: 3·(-3) = -9
4 -y2 + 3y + 3y -9 = x
ⓘ Partimos de 4 y retrocedemos 9 en la recta numérica, pasando por debajo del cero: 4 -9 = -5■Agrupamos los términos semejantes sumando sus coeficientes: 3y + 3y = 6y
-5 -y2 + 6y = x
Solución encontrada: x = -y2 + 6y -5
Al renombrar la salida como x, la inversa es -x2 + 6x -5, con dominio x ≥ 3
▶Función inversa:   (-x2 + 6x -5 para x ≥ 3)