NUMBER ONE

Sea F : I ⊂ R 2 → R I abierto F ( x , y ) y un punto x=(x ¿ ¿ 0 , y 0 )¿ en I tal que:

1
i ¿ F ( x0 , y 0 )=0 tal que F ∈c

∂F ∂F
ii ¿ (x , y), ( x , y ) de clase c1
∂x ∂y
∂F 1
iii¿ ( x y ) ≠ 0 y de clase c
∂ y 0, 0
Entonces:

1. Existen unos entornos N ( x 0 ) y N ( y 0 ) tal que ∀ x' ∈ N ( x ) , F ( x ' , y ) =0 admite una

solución única de y ' en el entorno de N ( y 0 ).
2. Si llamamos a la función implícita y=γ ( x ), dicha función γ es continuamente derivable
en el entorno N ( x 0 )

Segunda pregunta:
En matemáticas, un teorema de existencia, empieza con el enunciado “existen”, o mas
generalmente, o mas generalmente “para todo x=( x ¿ ¿ 0 , y 0 )¿ existen …”.e un
teorema con un enunciado involucrado, el cuantificador existencial.

En matemáticas, un teorema de existencia es un teorema con un enunciado que

comienza 'existe(n)...', o más generalmente 'para todo x, y, ...existe(n) ...'. Esto es, en
términos más formales de lógica simbólica, es un teorema con un enunciado involucrando
el cuantificador existencial. Muchos teoremas no lo hacen explícitamente, como es usual
en el lenguaje matemático estándar, por ejemplo, el enunciado de que la función seno es
una continua, o cualquier teorema escrito en la notación O.
Una controversia que data del temprano siglo XX concierne el tema de teoremas de
existencia puros, y la acusación relacionada de que al admitirlos las matemáticas
traicionan sus responsabilidades de aplicación concreta (ver demostración no
constructiva). El punto de vista matemático es que los métodos abstractos tienen un gran
alcance, mayor que el del análisis numérico