This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps \(F(x,y)\) defined on a finite-dimensional Euclidean space. There are no hypotheses on the continuity of the partial derivatives of \(F\). The proof employs the mean-value theorem, the intermediate-value theorem, Darboux’s property (the intermediate-value property for derivatives), and determinants theory. The proof avoids compactness arguments, fixed-point theorems, and Lebesgue’s measure. A stronger than the classical version of the Inverse Function Theorem is also shown. Two illustrative examples are given.
"The Implicit Function Theorem for Maps that are Only Differentiable: An Elementary Proof." Real Anal. Exchange 43 (2) 429 - 444, 2018. https://doi.org/10.14321/realanalexch.43.2.0429