Notas del curso de Geometra Analtica I

Adrin Ulises Soto Bauelos

Facultad de Ciencias
UNAM

Correo-e: adrian.u.soto@ciencias.unam.mx

ltima actualizacin: 10 marzo 2016

En este documento vamos a presentar algunos temas y referencias para ser usados en conjuncin con los
textos que usaremos en el curso. Se da permiso para copiar este documento libremente completo o en
parte con el deseo de que sea til, y si acaso con que se haga una referencia a este trabajo y a su autor.
No es mi deseo que este material forme parte de un libro por el que se cobre dinero alguno.

ndice

1 Redaccin de pruebas directas . .. .. .. .. .. ... .. .. .. .. .. .. ... .. .. .. .. .. .. 1

1.1 Lectura de smbolos varios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Esqueletos de pruebas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3 Ejemplos de esqueletos de pruebas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.4 Abreviaturas usadas en clase . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5 Versiones abreviadas de pruebas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.6 Ejemplos de esqueletos abreviados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.7 Reglas de inferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.8 Ejemplos de abreviaturas usadas en pruebas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.9 Negaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2 Rectas y planos . .. .. ... .. .. .. .. .. .. .. ... .. .. .. .. .. .. ... .. .. .. .. .. .. 6

3 Exmenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.1 Examen 1 . .. .. .. ... .. .. .. .. .. .. .. ... .. .. .. .. .. .. ... .. .. .. .. .. .. 9
3.2 Examen 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

1. Redaccin de pruebas directas

1.1. Lectura de smbolos varios

 P (x0) se lee x0 cumple la propiedad P 

 8xP (x) se lee Todos cumplen la propiedad P o Para toda x, x tiene la propiedad P 

 9xP (x) se lee Existe un elemento que cumple la propiedad P  o como Existe un elemento x que
cumple la propiedad P .

. This document has been written using the GNU TEXMACS text editor (see www.texmacs.org).

1
2 Notas del curso de Geometra Analtica I

 A continuacin escribimos la lectura de varios smbolos usados en el pizarrn:

Smbolo Signicado
8 Para toda
9 Existe
9! existe un nico
^, & y
_ o
: No
) implica, entonces, solo si
( Si
, Si y slo si
2 Pertenece
 es un subconjunto de
( Es un subconjunto propio de
) Por lo tanto
fxj P (x)g El conjunto de todos los x que cumplen P

1.2. Esqueletos de pruebas

Notemos que escribir Dem ayuda a delimitar las estructuras. Notar que debajo de cada P.D. hay un
Dem:, y que cada vez que se escribe Dem: se indenta el siguiente rengln.
P.D. 9x P (x)
P.D. P ^ Q
P.D. 8x P (x) Dem: Denimos x0: =
Dem:
P.D. x0 existe
Dem: Sea x0 arbitrario, pero jo P.D. P
Dem: (...)
P.D. P (x0) Dem:(...)
(...argumentos...)
Dem:(...) (...argumentos)
) x0 existe
(...argumentos...) ) P
P.D. P (x0)
) P (x0) P.D. Q
Dem:(...)
Como x0 era arbitrario, Dem:(...)
(...argumentos...)
conclumos que (...argumentos)
) P (x0)
8x P (x) ) Q
Como P (x0), conclumos que
) P ^Q
9x P (x)
P.D. P _ Q
P.D. P ) Q
Dem: Si P , ya terminamos.
Dem: Supongamos P
Supongamos :P
P.D. Q
P.D. Q
Dem:(...)
Dem:(...)
(...argumentos)
(...argumentos..)
) Q
) Q
) P )Q
) P _Q

Algunas variaciones de las anteriores son las siguientes. En el cuadro que sigue, si se hace una prueba por
contrapuesta, se debe indicar al lector que se hace por contrapuesta
P.D. P _ Q
P.D. P ) Q
Dem: Si Q, ya terminamos.
Dem: (Por contrapuesta) Supongamos :Q
Supongamos :Q
P.D. :P
P.D. P
Dem:(...)
Dem:(...)
(...argumentos)
(...argumentos..)
) :P
) P
) P )Q
) P _Q

1.3. Ejemplos de esqueletos de pruebas

Ahora veamos dos ejemplos algo ms complicados. Anexamos a cada ejemplo un rbol que indica la estruc-
tura de la demostracin. Recordar, adems, que escribir 9!x P (x) es lo mismo que escribir

 h 
0

0 0
 i
9x P (x) ^ 8x P (x ) ) (x = x )
Adrin Ulises Soto Bauelos 3

P.D. 9!x P (x)

P.D. 9x fP (x) ^ [8x 0 hP (x 0) ) (x = x 0)i]g
Dem: Denamos x0: =
P.D. x0 existe
Dem: (...)
(...argumentos...)
) x0 existe
P.D. P (x0) ^ [8x 0 hP (x 0) ) (x0 = x 0)i]
Dem:
P.D. P (x0)
Dem: (...)
(...Argumentos...)
) P (x0)  
P.D.[8x hP (x 0) ) (x 0 = x0)i] h
 i
9x P (x) ^ 8x 0 P (x 0) ) (x = x 0)
Dem: (Unicidad) Sea x00 arbitrario, pero jo
P.D. hP (x00 ) ) (x00 = x0)i
9x
Dem: Supongamos que P (x00 )
P.D. x00 = x0
Dem: (...) ^
(...Argumentos...)
) x00 = x0
) hP (x00 ) ) (x00 = x0)i P (x) 8x 0
Como x00 era arbitrario, conclumos que
[8x hP (x 0) ) (x 0 = x0)i] )
Por lo tanto, conclumos que fP (x0) ^ [8x 0 hP (x 0) ) (x0 = x 0)i]g
Por lo tanto, tenemos que 9x fP (x) ^ [8x 0 hP (x 0) ) (x = x 0)i]g
Es decir, tenemos que 9!x P (x) P (x 0) x = x0
Q.E.D.

Veamos cmo se escribira el esqueleto de la prueba directa en el siguiente ejemplo:

P.D. 8x 8y f(x y = 0) ) (x = 0 _ y = 0)g
Dem: Sea x0 arbitrario, pero jo. n
o
P.D. 8y f(x0 y = 0) ) (x0 = 0 _ y = 0)g 8x 8y (x y = 0) ) x=0 _ y=0
Dem: Sea y0 arbitrario, pero jo.
P :D: f(x0 y0 = 0) ) (x0 = 0 _ y0 = 0)g 8x
Dem:Supongamos x0 y0 = 0
P.D. x0 = 0 _ y0 = 0 8y
Dem: Si x0 = 0, ya acabamos. Supongamos que x0 =
/0
P.D. y0 = 0
Dem: (...) )
(...argumentos...)
) y0 = 0
xy=0 _
) x0 = 0 _ y0 = 0
) f(x0 y0 = 0) ) (x0 = 0 _ y0 = 0)g
Como y0 era arbitrario, conclumos que x=0 y=0
8y f(x0 y = 0) ) (x0 = 0 _ y = 0)g
Como x0 era arbitrario, conclumos que
8x 8y f(x y = 0) ) (x = 0 _ y = 0)g
Q.E.D.
4 Notas del curso de Geometra Analtica I

1.4. Abreviaturas usadas en clase

 8x 2 A P (x) es lo mismo que 8x [x 2 A ) P (x)]
 9x 2 A P (x) es lo mismo que 9x f[x 2 A] ^ [P (x)]g
 8x; y; z 2 A es lo mismo que 8x 2 A8y 2 A8z 2 A
 fp + t vjt 2 Rg es lo mismo que fxj 9t 2 R [x = p + t v]g . La abreviature sirve, pues no requiere
la introduccin de ms letras.
 A = B = C es lo mismo que (A = B) ^ (B = C)
 / B es lo mismo que :(A = B)
A=
 0 6 t < 1 es lo mismo que ([0 < t] _ [0 = t]) ^ (t < 1)
 x0 2 fyj P (y)g es lo mismo que P (x0)
 A , B es lo mismo que (A ) B) ^ (B ) A)
 Si se est trabajando en un conjunto universo U en particular, entonces
 8x es lo mismo que 8x 2 U
 9x es lo mismo que 9x 2 U

1.5. Versiones abreviadas de pruebas

En clase no siempre presentaremos el esqueleto completo de las pruebas con todo detalle. Veamos a conti-
nuacin cmo apareceran las pruebas con un formato un poco abreviado:
Versin completa Versin abreviada
P.D. 9!x P (x)
P.D. 9x fP (x) ^ [8x 0 hP (x 0) ) (x = x 0)i]g
Dem: Denamos x0: =
P.D. x0 existe
Dem: (...) P.D. 9!x P (x)
(...argumentos...) P.D. 9x fP (x) ^ [8x 0 hP (x 0) ) (x = x 0)i]g
) x0 existe Dem: Denamos x0: =
P.D. P (x0) ^ [8x 0 hP (x 0) ) (x0 = x 0)i] P.D. (existencia)
Dem: Dem: (...)
P.D. (cumple la propiedad) P (x0) (...argumentos...)
Dem: (...) ) x0 existe
(...Argumentos...) P.D. (Cumple la propiedad)
) P (x0) Dem: (...)
P.D. (Es nico)[8x hP (x 0) ) (x 0 = x0)i] (...Argumentos...)
Dem: (Unicidad) Sea x00 arbitrario, pero jo ) P (x0)
P.D. hP (x00 ) ) (x00 = x0)i P.D. (es nico)
Dem: Supongamos que P (x00 ) Dem: Sea x00 arbitrario, y supongamos P (x00 )
P.D. x00 = x0 P.D. x00 = x0
Dem: (...) Dem: (...)
(...Argumentos...) (...Argumentos...)
) x00 = x0 ) x00 = x0
) hP (x00 ) ) (x00 = x0)i Por lo tanto x0 es nico.
Como x00 era arbitrario, conclumos que Por lo tanto, tenemos que 9!x P (x)
[8x hP (x 0) ) (x 0 = x0)i] Q.E.D.
Por lo tanto, conclumos que fP (x0) ^ [8x 0 hP (x 0) ) (x0 = x 0)i]g
Por lo tanto, tenemos que 9x fP (x) ^ [8x 0 hP (x 0) ) (x = x 0)i]g
Es decir, tenemos que 9!x P (x)
Q.E.D.

1.6. Ejemplos de esqueletos abreviados

A medida que avancemos en el curso vamos a proceder a usar cada vez ms pruebas abreviadas. Damos a
continuacin una prueba sin abreviar, una abreviatura algo intermadia, y una abreviatura con lo mnimo
necesario.

Ejemplo 1. (Versin sin abreviar)

P.D. 8x 8y f(x y = 0) ) (x = 0 _ y = 0)g
Dem: Sea x0 arbitrario, pero jo.
P.D. 8y f(x0 y = 0) ) (x0 = 0 _ y = 0)g
Dem: Sea y0 arbitrario, pero jo.
P :D: f(x0 y0 = 0) ) (x0 = 0 _ y0 = 0)g
Dem:Supongamos x0 y0 = 0
P.D. x0 = 0 _ y0 = 0
Adrin Ulises Soto Bauelos 5

Dem: Si x0 = 0, ya acabamos. Supongamos que x0 =

/0
P.D. y0 = 0
Dem: (...)
(...argumentos...)
) y0 = 0
) x0 = 0 _ y 0 = 0
) f(x0 y0 = 0) ) (x0 = 0 _ y0 = 0)g
Como y0 era arbitrario, conclumos que
8y f(x0 y = 0) ) (x0 = 0 _ y = 0)g
Como x0 era arbitrario, conclumos que
8x 8y f(x y = 0) ) (x = 0 _ y = 0)g
Q.E.D.

Ejemplo 2. (Una versin abreviada del ejemplo anterior)

P.D. 8x 8y f(x y = 0) ) (x = 0 _ y = 0)g
Dem: Sean x0 y y0 arbitrarios. Supongamos que x0 y0 = 0:Si x0 = 0, ya acabamos. Supongamos, entonces, que x0 =
/ 0.
P.D. y0 = 0
Dem: (...)
(...argumentos...)
) y0 = 0
Como x0 y y0 eran arbitrarios, conclumos que
8x 8y f(x y = 0) ) (x = 0 _ y = 0)g
Q.E.D.

Ejemplo 3. (Una versin mnima)

P.D. 8x 8y f(x y = 0) ) (x = 0 _ y = 0)g
Dem: Sean x0 y y0 arbitrarios. Supongamos que x0 y0 = 0:Supongamos que x0 =
/ 0.
P.D. y0 = 0
Dem: (...)
(...argumentos...)
) y0 = 0


1.7. Reglas de inferencia

Las siguientes son ejemplos de reglas de inferencia. El smbolo  signica se puede deducir que. En los
primeros renglones se ponen las suposiciones.
 Modus ponens
8x (P (x) ) Q (x))
P (x0)
Q (x0)
 Modus Tollens
8x (P (x) ) Q (x))
:Q (x0)
:P (x0)
 Razonamiento Disyuntivo
P (x0) _ Q (x0) P (x0) _ Q (x0)
:P (x0) :Q (x0)
Q (x0) P (x0)

 Otros
x0 es arbitrario P
P (x0) P ^Q P ^Q
P (x0) Q
9xP (x) P Q
8xP (x) P ^ Q

1.8. Ejemplos de abreviaturas usadas en pruebas

Abreviatura Signicado
Hiptesis: fp0 + t v0j t 2 Rg =
/? Hiptesis: fy j 9t 2 R y = p0 + t v0g =
/?
Por hiptesis, podemos tomar x0 y t0 tales que Por hiptesis, tomemos x0 2 fyj 9t 2 R y =
x0 = p0 + t0 v0 p0 + t v0g.
Por lo tanto, 9t 2 R tal que x0 = p0 + t v0.
Tomemos t0 tal que x0 = p0 + t0 v0.
6 Notas del curso de Geometra Analtica I

1.9. Negaciones
A continuacin ponemos algunos esqueletos para negaciones:
 :(8xP (x)) es lo mismo que 9x (:P (x))
 :(9xP (x)) es lo mismo que 8x (:P (x))
 :(P _ Q) es lo mismo que (:P ) ^ (:Q)
 :(P ^ Q) es lo mismo que (:P ) _ (:Q)
 :(P ) Q) es lo mismo que (P ) ^ (:Q)
Con esos esqueletos es posible construr las negaciones siguientes
 :(9!xP (x)) es lo mismo que :(9x fP (x) ^ [8x 0 hP (x 0) ) (x = x 0)i]g) , lo que a su vez es lo mismo
que 8x f(:P (x)) _ [9x 0 hP (x 0) ^ (x =
/ x 0)i]g
 :(8x 8y f(x y = 0) ) (x = 0 _ y = 0)g) es lo mismo que 9x 9y f(x y = 0) ^ (x =
/ 0^ y=
/ 0)g

2. Rectas y planos
En este captulo voy a incluir algunas notas referentes al captulo de rectas y planos del libro de Javier
Bracho. Este captulo supone que el alumno a ido a clase y ledo el captulo correspondiente del libro.
Recordemos las siguientes deniciones

Definicin 4. Dadas a; b; c; d 2 R, decimos que el sistema

as+bt = e
cs+dt = f

tiene solucin si 9s; t f(a0 s + b0 t = e0) ^ (c0 s + d0 t = f0)g. Decimos que el sistema tiene solucin nica
si 9!s; t f(a0 s + b0 t = e0) ^ (c0 s + d0 t = f0)g.

En el libro de Bracho aparece el siguiente teorema con una prueba algo platicada. Vamos a dar una
prueba un poco ms detallada en estas notas:

Teorema 5. (I.10)El sistema de ecuaciones

as+bt = e
cs+dt = f
en las variables s y t tiene una solucin nica si y slo si el determinante a d b c es distinto de cero. Adems,
si a d b c = 0, entonces el sistema o no tiene solucin o tiene una innidad de soluciones.

Vamos a re-escribir el enunciado para tener ms clara la estructura de la prueba que realizaremos. El cmo
llegamos a las ideas necesarias para la escritura de la prueba fue explicado en clase: Bsicamente tenemos
que intentar resolver el sistema informalmente para obtener ideas; pero una vez que las tenemos,
tenemos que escribir nuestra prueba formalmente.

Teorema 6. (I.10, reescrito)Sean a0 , b0 , c0 , d0 , e0 , f0 2 R. Entonces

1. Si a0 d0 b0 c0 =
/ 0, entonces 9!s; t (a0 s + b0 t = e0) ^ (c0 s + d0 t = f0)
2. Si a0 d0 b0 c0 = 0, entonces el sistema (a0 s + b0 t = e0) ^ (c0 s + d0 t = f0) no tiene solucin o tiene
una innidad de soluciones
3. Si 9!s; t (a0 s + b0 t = e0) ^ (c0 s + d0 t = f0), entonces a0 d0 b0 c0 =
/0

Demostracin.
1. Supongamos que a0 d0 b0 c0 =
/ 0. P.D. 9!s; t (a0 s + b0 t = e0) ^ (c0 s + d0 t = f0)
Adrin Ulises Soto Bauelos 7

e d b f a f e c
Como a0 d0 b0 c0 = / 0, podemos denir s0 = a0 d0 b0 c0 y t0 = a0 d0 b0 c0 .
0 0 0 0 0 0 0 0
P.D. (Satisface la primera ecuacin) a0 s0 + b0 t0 = e0
Dem:     algebra
sustituir e d b f a f e c a0 e0 d0 a0 b0 f0 + b0 a0 f0 b0 e0 c0
a0 s0 + b0 t0 = a0 a0 d0 b0 c0 + b0 a0 d0 b0 c0 = a d b c
0 0 0 0 0 0 0 0 0 0 0 0
inverso aditivo a0 e0 d0 b0 e0 c0 factorizar e0 (a0 d0 b0 c0)
= a0 d0 b0 c0
= (a0 d0 b0 c0)
= e0
Por lo tanto, a0 s0 + b0 t0 = e0
P.D. (Satisface la segunda ecuacin) c0 s0 + d0 t0 = f0
Dem:     algebra
sustituir e d b f a f e c c0 e0 d0 c0 b0 f0 + d0 a0 f0 d0 e0 c0
c0 s0 + d0 t0 = c0 a0 d0 b0 c0 + d0 a0 d0 b0 c0 = a d b c
0 0 0 0 0 0 0 0 0 0 0 0
inverso aditivo c0 b0 f0 + d0 a0 f0 factorizar f0 (a0 d0 b0 c0) inverso multiplicativo
= a0 d0 b0 c0
= (a0 d0 b0 c0)
= f0
Por lo tanto c0 s0 + d0 t0 = f0
P.D. (Es la nica) 8s 0; t 0 2 R, f[(a0 s 0 + b0 t 0 = e0) ^ (c0 s 0 + d0 t 0 = f0)] ) [(s 0 = s0) ^ (t 0 = t0)]g
Dem: Sean s00 y t00 arbitrarios y supongamos que

a0 s00 + b0 t00 = e0
c0 s00 + d0 t00 = f0

P.D s00 = s0
Dem: Mulptiplicando la primera ecuacin por d0 y la segunda por b0 obtenemos que

d0 a0 s00 + d0 b0 t00 = e0 d0
b0 c0 s00 + b0 d0 t00 = f0 b0

restando las ecuaciones y factorizando, obtenemos que

s00 (a0 d0 b0 c0) = e0 d0 f0 b0
de modo que
e0 d0 f0 b0
s00 =
a0 d0 b0 c0
Por lo tanto s00 = s0
P.D. t00 = t0
Dem: Multiplicando la primera ecuacin por c0 y la segunda por a0, obtenemos que

c0 a0 s00 + c0 b0 t00 = e0 c0
a0 c0 s00 + a0 d0 t00 = f0 a0

restando las ecuaciones y factorizando, obtenemos que

t00 (a0 d0 b0 c0) = f0 a0 e0 c0
de modo que
f 0 a0 e 0 c0
t00 =
a0 d0 b0 c0
Por lo tanto s00 = s0
2. Supongamos que a0 d0 b0 c0=0. Si el sistema no tiene solucin, ya terminamos. Supongamos que el
sistema tiene solucin, y probaremos que tiene una cantidad innita de soluciones.
Supongamos que 9s; t (a0 s + b0 t = e0) ^ (c0 s + d0 t = f0).
P.D.Existen una innidad de soluciones.
Dem:
Por hiptesis, podemos tomar s0 y t0 tales que (a0 s0 + b0 t0 = e0) y (c0 s0 + d0 t0 = f0).
Manipulando las ecuaciones como hicimos en la prueba de unicidad, obtenemos las dos ecuaciones
siguientes:
s00 (a0 d0 b0 c0) = e0 d0 f0 b0
t00 (a0 d0 b0 c0) = f0 a0 e0 c0
8 Notas del curso de Geometra Analtica I

Es decir, tenemos que las dos ecuaciones siguientes son ciertas:

0 = e0 d0 f0 b0
0 = f0 a0 e0 c0
De lo anterior concluimos que e0 d0 = b0 f0 y a0 f0 = c0 e0. Adems por hiptesis a0 d0 = b0 c0.
Caso 1: a0; b0; c0; d0 = 0
En este caso, tenemos que 0 s0 + 0 t0 = e0 y 0 s0 + 0 t0 = f0, de modo que e0 = 0 y f0 = 0, y el
sistema original est formado por puros ceros. En este caso, para cada k 2 R, denimos sk0 = k
y tk0 = k. Para cada k 2 R sk0 y tk0 forman solucin al sistema, y valores distintos de k dan lugar
a soluciones distintas del sistema.
Caso 2: a0 =/0
e b k
Para cada valor de k 2 R, vamos a denir tk0 = k, y denimos sk0 = 0 a 0 . Armamos que tk0
0
y sk0 son soluciones de nuestro sistema original:
Armacin: (a0 sk0 + b0 tk0 = e0)
Dem:  
sust e b0 k algebra algebra
a0 sk0 + b0 tk0 = a0 0 + b0 k = e0 b0 k + b0 k = e0
a0
Por lo tanto: a0 sk0 + b0 tk0 = e0
Armacin: c0 sk0 + d0 tk0 = f0 
sust e0 b0 k algebra c0 e0 c0 b0 k + a0 d0 k
Dem: c0 sk0 + d0 tk0 = c0 a0
+ d0 k = a0
Como ya habamos probado que a0 d0 = b0 c0 y que c0 e0 = f0 a0, tenemos que
c0 e0 c0 b0 k + a0 d0 k sust f0 a0 c0 b0 k + c0 b0 k inverso aditivo f0 a0 inverso mult:
= = = f0
a0 a0 a0
Por lo tanto c0 sk0 + d0 tk0 = f0
De modo que, en el caso 2, tenemos tantas soluciones al sistema original como nmeros reales.
Caso 3: b0 = / 0 o d0 =
/ 0, c0 = /0
En este caso, podemos intercambiar las ecuaciones y cambiar de nombre a las variables, de
modo que lo reducimos al caso 2.
(Podemos tambin hacer cada uno por separado; la prueba sera muy parecida a la que hicimos
para el caso 2)
3. P.D. Si 9!s; t (a0 s + b0 t = e0) ^ (c0 s + d0 t = f0), entonces a0 d0 b0 c0 =
/0
Dem: Supongamos que 9!s; t (a0 s + b0 t = e0) ^ (c0 s + d0 t = f0).
P.D. a0 d0 b0 c0 =/ 0.
Dem:Supongamos por el contrario que a0 d0 b0 c0 = 0.
Por el inciso 2, sabemos que el sistema no tiene solucin o tiene una innidad de soluciones.
Como por hiptesis el sistema tiene una solucin, concluimos que el sistema tiene una in-
nidad de soluciones. Esto contradice nuestra hiptesis que dice que el sistema tiene solucin
nica. Esta contradiccin naci de suponer que a0 d0 b0 c0 = 0. Por lo tanto, concluimos que
a0 d0 b0 c0 =/0


Vamos ahora a dar una denicin necesaria para algunos resultados que sern algo tiles para el curso:

Definicin 7. Dados h1; k1; h2; k2; x1; x2 2 R, el sistema de ecuaciones asociado a la ecuacin
(h1; k1) + s (x1; y1) = (h2; k2) + t (x2; y2)
en las variables s y t es el sistema de ecuaciones
x1 s + (x2) t = h2 h1
y1 s + (y2) t = k2 k1
en las variables s y t.
Adrin Ulises Soto Bauelos 9

Teorema 8. Sean l1 = f(h1; k1) + s (x1; y1)j s 2 Rg y l2 = f(h2; k2) + s (x2; y2)j t 2 Rg dos rectas. Sea S el
sistema de ecuaciones asociado a la ecuacin
(h1; k1) + s (x1; y1) = (h2; k2) + t (x2; y2) (1)

1. l1 y l2 se intersectan en un solo punto si y slo si S tiene una solucin nica

2. l1 y l2 no se intersectan si y slo si S no tiene solucin
3. l1 y l2 es la misma recta si y slo si S tiene una innidad de solucines.

3. Exmenes

A continuacin presentamos los textos de los exmenes que hemos tenido hasta ahora con algunas res-
puestas.

3.1. Examen 1
Este examen consisti en esqueletos, negaciones y abreviaturas. Les fue bastante mal en la parte de las
abreviaturas; los esqueletos quedaron relativamente bien.
Geometra Analtica I. 19/feb/2016 Nombre: #Cuenta:
Problema 1 2 3 Total
Puntos 50 30 20 100
Total
En este examen, los siguientes sern los esqueletos a seguir:
P.D. 9x P (x)
P.D. P ^ Q
Dem: Denimos x0: =
P.D. 8x P (x) Dem:
P.D. x0 existe
Dem: Sea x0 arbitrario, pero jo P.D. P
Dem: (...)
P.D. P (x0) Dem:(...)
(...argumentos...)
Dem:(...) (...argumentos)
) x0 existe
(...argumentos...) ) P
P.D. P (x0)
) P (x0) P.D. Q
Dem:(...)
Como x0 era arbitrario, Dem:(...)
(...argumentos...)
conclumos que (...argumentos)
) P (x0)
8x P (x) ) Q
Como P (x0), conclumos que
) P ^Q
9x P (x)
P.D. P _ Q
P.D. P ) Q
Dem: Si P , ya terminamos.
Dem: Supongamos P
Supongamos :P
P.D. Q
P.D. Q
Dem:(...)
Dem:(...)
(...argumentos)
(...argumentos..)
) Q
) Q
) P )Q
) P _Q
Suponga que todas las cuanticaciones estn en un conjunto universo U dado, por lo que 8x signica 8x 2 U .
En este examen no es necesario escribir x 2 U ; de manera similar ocurre con otras letras.
1. Usando los esqueletos dados anteriormente, y usando una indentacin correcta. construya el esqueleto
de la prueba para la siguientes proposiciones. Solo haga el esqueleto; no la prueba.
Recuerde que debe usar x0 o y0 en lugares apropiados, como convenimos en clase.
a. 9x [( x es bonito) ) 8y ( y es bonito)]


P.D. 9x [( x es bonito) ) 8y ( y es bonito)]

Dem: Denamos x0 :=
P.D. x0 existe:
Dem:
(...argumentos...)
) x0 existe
P.D. (x0 es bonito) )8y ( y es bonito)
Dem: Supongamos que x0 es bonito.
10 Notas del curso de Geometra Analtica I

P.D. 8y ( y es bonito)
Dem: Sea y0 arbitrario, pero jo.
P.D. y0 es bonito
Dem:
(...argumentos...)
) y0 es bonito.
Como y0 era arbitrario, conclumos que
8y ( y es bonito)
) (x0 es bonito) )8y ( y es bonito)
Como x0 satiszo que (x0 es bonito) )8y ( y es bonito), conclumos que
9x [( x es bonito) ) 8y ( y es bonito)]
Q.E.D.

b. 8x8y f(x2 + y 2 = 0 ) [x = 0] ^ [y = 0])g



P.D.8x8y f(x2 + y 2 = 0 ) [x = 0] ^ [y = 0])g

Dem: Sea x0 arbitrario, pero jo.
P.D. 8y f(x20 + y 2 = 0 ) [x0 = 0] ^ [y = 0])g
Dem: Sea y0 arbitrario, pero jo.
P.D. f(x20 + y02 = 0 ) [x0 = 0] ^ [y0 = 0])g
Dem: Supongamos que x20 + y02 = 0
P.D. [x0 = 0] ^ [y0 = 0]
Dem:
P.D. x0 = 0
Dem:
(...argumentos...)
) x0 = 0
P.D. y0 = 0
Dem:
(...argumentos...)
) y0 = 0
)[x0 = 0] ^ [y0 = 0]
)f(x20 + y02 = 0 ) [x0 = 0] ^ [y0 = 0])g
Como y0 era arbitrario, conclumos que
8y f(x20 + y 2 = 0 ) [x0 = 0] ^ [y = 0])g
Como x0 era arbitrario, conclumos que
8x8y f(x2 + y 2 = 0 ) [x = 0] ^ [y = 0])g
Q.E.D.

2. Construya las negaciones de las siguientes proposiciones:

a. 9x [( x es bonito) ) 8y ( y es bonito)]

La negacin es:
8x [(x es bonito) ^ [9y (y no es bonito)]]
b. 8x8y f(x2 + y 2 = 0 ) [x = 0] ^ [y = 0])g

La negacin es:
9x9y f(x2 + y 2 = 0) ^ [(x =/ 0) _ (y =
/ 0)]g
c. 9x f(P (x)) ^ [8y fP (y) ) (y = x)g]g

La negacin es:
8xf:[P (x)] _ [9y fP (y) ^ (y =/ x)g]g
Adrin Ulises Soto Bauelos 11

3. Escriba el signicado de las abreviaturas siguientes:

a. x = y = z

[x = y] ^ [y = z]
b. fp + t vj t 2 Rg

fz j 9t [(t 2 R) ^ (z = p + t v)] g
c. x 2 fyj y 2 + y = yg

x2 + x = x
d. x 2 fp + t vj t 2 Rg

9t (t 2 R) ^ (x = p + t v)

3.2. Examen 2
Intrucciones:
El ejercicio 1 es obligatorio
Debes resolver 3 y slo 3 ejercicios, considerando lo antes mencionado.
Cada vez que tomes o denas un punto debes decir donde se encuentra este.
1. Dados dos vectores u y v en Rn, el paralelogramo que denen tiene como vrtices los puntos 0, u, v,
u + v. Demuestra que sus diagonales, es decir, los segmentos de 0 a u + v y de u a v se intersectan en
su punto medio.
2. Si x 2 R2, y t 2 R son tales que t x = 0 entonces t = 0 o x = 0.
3. Demuestra que si u y v no son colineales con el origen, entonces el conjunto fs u + t vjs; t 2 Rg es un
plano por el origen.(Usa que s u + t v = r 0 + s u + t v para cualquier r; s; t 2 R.
4. Demuestra que si p y q estn en el plano  de la Denicin 1.4.2, entonces la recta que pasa por ellos
est contenida en .
Definicin 1.4.2: Dados tres puntos a, b y c en R3 no colineales (es decir, que no estan en una
sola lnea ), el el plano que pasa por ellos es el conjunto:
 = f a +  b + c j ;  ; 2 R;  +  + = 1g

5. A una expresin de la forma  a +  b + c con  +  + = 1 la llamremos combinacin a fn (o

baricntrica) de los puntos a; b; c y los coecientes ; ; las coordenadas baricntricas del punto
 a +  b + c.
Del ejercio 3 del exmen 1:
Escriba el signicado de las abreviaturas siguientes:
1. 0 6 t < 1
2. w0 2 fxjx2 = 2 xg
3. fp + s wjs 2 Rg