Доказать, что уравнение x2+y2-5=0 не определяет неявную функцию в прямоугольнике -1<x<1, 0≤y≤2. Какое условие

Доказать, что уравнение x2+y2-5=0 не определяет неявную функцию в прямоугольнике -1<x<1, 0≤y≤2. Какое условие теоремы о существовании неявной функции не выполнено в данном случае?

Не было следующего условия: Если Fx0,y0=0 и при этом существует (Fy'x0,y0)-1 (uFy'x0,y0)-1, то найдутся окрестность U=Ux0 точки x0 в Х, окрестность V=V(y0) точки (y0) в Y и такая функция f:U→Vнепрерывная в x0, что U×V ∁ W и Fx,y=0 в U×V↔y=fx, x∈U Иными словами, при условиях теоремы заданное соотношение Fx,y=0 множество в пределах окрестности U×V является графиком функции y=fx. В указанном уравнении графиком функции является окружность, о функции не может быть речи, так как указано уравнение.