P1: Toda recta de un plano π contiene al menos 2 puntos.

*Todo plano tiene al menos 3 puntos no colineales

P2: Para cada par de puntos, existe una recta que pasa por ellos.
Corolario: Sean m y l rectas en un plano π y distintas que se cortan en un punto.

P3: *Dado un plano π a cada par de puntos, se le asocia una distancia d:

*Hay una correspondencia biunívoca entre los puntos de una recta l c π y el
conjunto de los números reales y es tal que la distancia entre 2 puntos de
recta se obtiene mediante el valor absoluto de la recta de los números
reales que le corresponden, llamado sistema de coordenada de la recta.
Teorema punto medio: Todo segmento AB, tiene un único punto medio.
Teorema localización de puntos: Sea AB un rayo y x>o, XEIR,  ∃! PE AB (existe
un único p) tal que AP=X
Postulado plano 3.5: *A todo plano le pertenece 3 puntos no colineales
*Al espacio le pertenece al menos 4 puntos distintos que no
están sobre un mismo plano.
Postulado del plano 3.6: Tres puntos arbitrarios están en algún plano y 3 puntos
no colineales están en un único plano.
Postulado 3.7: si dos planos distintos se intersecan su intersección es una recta.
Teorema del plano: si dos puntos distintos de una recta están sobre un mismo
plano, entonces la recta está totalmente contenida en el plano.
Teorema unicidad del punto en un semiplano: dada una recta l y un punto que
no esta en la recta, existe un único plano, al cual pertenece la recta y que contiene
un punto
Teorema (ejercicio) intersección de rectas: tengo 2 rectas distintas que
intersectan en un punto, demuestre que están contenidas en un solo plano.
Postulado (separación del plano): sea l una recta en un plano π. El conjunto de
puntos del plano π que no está en l es la unión de dos conjuntos A1 y A2. Dado
que:
1. A1 y A2 son convexos
2. Dados A1 E A1, y B E A2, el segmento AB N l = {C}
Postulado circunferencia: dada una circunferencia C su longitud siempre existe.
 x
Postulado 2 circunferencia: la longitud de la semicircunferencia es
2
Teorema longitud arco: toda longitud de arco l AB > O
Teorema la medida de un ángulo: la medida de un ángulo es un número real
mayor que o menor que π
Teorema par lineal: si dos ángulos forman un par lineal ellos son suplementarios.
Teorema opuestos por el vértice: si < ABC ≡ <DBE
Postulado correspondencia L-A-L: la correspondencia L-A-L es una
congruencia, es decir, si tengo Δ ABC y Δ DEF, con dos lados correspondientes,
congruentes y los ángulos comprendidos entre dichos lados congruentes,
entonces Δ ABC congruente a Δ DEF. Δ ABC ≡ Δ DEF.
Postulado L-A-L:
Teorema (A-L-A): la correspondencia A-L-A es una correspondencia
Teorema triángulo isósceles: sea Δ ABC un triángulo isósceles, con AB≡AC,
entonces < B ≡ < C
Corolario: los ángulos, tres, de un triángulo equilátero son congruentes
Teorema (lado-lado-lado) (LLL). Toda correspondencia LLL es una congruencia
Teorema bisectriz: dado un ángulo <BAC su bisectriz, siempre existe y es única