Suppose that $f=f(x,y)$ is $C^1$ in $x$ and $y$,
where $x,y\in\mathbb{R}$ and $f(x_0,y_0)=0$.
Moreover, $\frac{\partial f(x,y)}{\partial y}>0$ for all $x,y\in\mathbb{R}$.
Could we conclude that $y$ can be solved implicitly from $f(x,y)=0$
in terms of $x$ as $y=y(x)$ for all $x\in\mathbb{R}$?
If the answer is no and an additional assumption is imposed,
i.e. we can obtain $y'(x)>0$ for all $x\in\mathbb{R}$
by implicitly differentiating $f(x,y(x))=0$ with respect to $x$,
then these assumptions are enough to get the same conclusion?
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.39.2.228
※ 文章網址: http://www.ptt.cc/bbs/Math/M.1420282027.A.B46.html