En análisis matemático, el teorema de la función implícita establece condiciones suficientes bajo las cuales una ecuación o conjunto de ecuaciones de varias variables permite definir a una de ellas o varias de ellas como función de las demás. Una función y(x) está dada de forma implícita cuando está definida de la forma F (x, y) = 0 en lugar de la habitual.