Đôi khi việc tìm nghiệm của phương trình trên là không thể, tốn nhiều tài nguyện hoặc thậm chí là không cần thiết. Thay vào đó, một nhu cầu khác thường phát sinh, đó là lúc ta nghi ngờ rằng có sự phụ thuộc ngầm giữa các biến (có thể chỉ tồn tại trong một phạm vi cục bộ nào đó) và ta muốn xác định điều kiện để biểu diễn một (hoặc một vài biến) biến dưới dạng hàm của các biến còn lại. Nội dung của Định lí hàm ẩn (Implicit Function Theorem) chính là để giải quyết vấn đề này.