Sistema Teórico GP
Sistema Teórico GP
Sistema Teórico GP
POSTULADOS
P. Existencia Puntos, rectas y planos existen.
P. Conjunto de puntos Rectas y planos son conjuntos no vacíos de puntos.
P. Dos Puntos – Recta Dados dos puntos diferentes existe una única recta que los
contiene.
P. Recta – Reales Dada una recta m, se establece una correspondencia con ℝ tal que:
1) A cada punto 𝐴 en m le corresponde un único 𝑥 ∈ ℝ.
2) A cada 𝑥 ∈ ℝ le corresponde un único punto A en m.
Nota: El número 𝑥 asignado al punto 𝐴 se denotará como 𝑐(𝐴) y se leerá coordenada de
𝐴.
P. de la Distancia Dados dos puntos A y B diferentes, existe un único 𝑥 ∈ ℝ con 𝑥 > 0 tal
que 𝑥 = 𝐴𝐵.
P. Llaneza del plano Dados dos puntos A y B diferentes en un plano 𝛼 entonces ⃡𝐴𝐵 ⊂ 𝛼.
P. Tres Puntos – Plano Dados tres puntos A, B y C existe un plano que los contiene y si son
no colineales, entonces existe un único plano 𝛽 que los contiene.
P. Separación del plano Dados una recta 𝑚 y un plano 𝛼 tal que 𝑚 ⊂ 𝛼, sean 𝛿1 y 𝛿2
semiplanos determinados por m en 𝛼. Entonces
1. 𝛿1 y 𝛿2 son conjuntos convexos de puntos.
2. Si 𝐴 ∈ 𝛿1 y 𝐵 ∈ 𝛿2 entonces ̅̅̅̅
𝐴𝐵 ∩ 𝑚 ≠ ∅.
P. Ángulo número Dado ∠𝐴𝐵𝐶, existe un único 𝑥 ∈ ℝ, con 𝑥 entre 0 y 180 tal que
𝑚∠𝐴𝐵𝐶 = 𝑥.
P. Adición medida de ángulo Si 𝐾 ∈ 𝑖𝑛𝑡∠𝐴𝐵𝐶 entonces 𝑚∠𝐴𝐵𝐶 = 𝑚∠𝐴𝐵𝐾 + 𝑚∠𝐾𝐵𝐶.
P. Par lineal – Suplementarios ∠𝐴𝐵𝐶 y ∠𝐴𝐵𝐷 par lineal entonces ∠𝐴𝐵𝐶 y ∠𝐴𝐵𝐷 son
suplementarios.
𝑁𝑜𝑡𝑎𝑐𝑖ó𝑛: 𝐴 − 𝐵 − 𝐶
D. Colinealidad 𝐴, 𝐵 y 𝐶 son colineales si y solo si existe una recta 𝑚 tal que 𝐴, 𝐵, 𝐶 ∈ 𝑚.
D. Bisecar Un objeto geométrico biseca a un segmento si y solo si contiene o es punto medio del
segmento.
D. Puntos coplanares Dos o más puntos son coplanares si y solo si están contenidos en un mismo
plano.
̅̅̅̅ ≅ 𝐶𝐷
D. Segmentos congruentes 𝐴𝐵 ̅̅̅̅ si y solo si 𝐴𝐵 = 𝐶𝐷.
a) 𝛿1 ∩ 𝛿2 = ∅.
b) 𝛿1 ∩ 𝑚 = ∅.
c) 𝑚 ∩ 𝛿2 = ∅.
d) 𝛿1 ∪ 𝛿2 ∪ 𝑚 = 𝛼.
D. Conjunto convexo 𝜏 es un conjunto convexo de puntos si y solo si para todos 𝐴 y 𝐵 ∈ 𝜏
diferentes entonces ̅̅̅̅
𝐴𝐵 ∈ 𝜏.
Nota: 𝛿𝐴𝐵 ⃡
⃡ ,𝐶 es el semiplano determinado por la 𝐴𝐵 en el cual está el punto 𝐶.
D. Ángulos congruentes ∠𝐴𝐵𝐶 ≅ ∠𝑀𝑁𝑂 si y solo si 𝑚∠𝐴𝐵𝐶 = 𝑚∠𝑀𝑁𝑂.
D. Ángulos opuestos por el vértice Dados ∠𝐴𝐵𝐶 y ∠𝑀𝐵𝑁. ∠𝐴𝐵𝐶 es opuesto por el vértice al
∠𝑀𝐵𝑁 si y solo si:
a) 𝑊 ∈ 𝑖𝑛𝑡∠𝐴𝐵𝐶.
b) ∠𝐴𝐵𝑊 ≅ ∠𝑊𝐵𝐶.
D. Ángulo Obtuso ∠𝐴𝐵𝑁 es obtuso si y solo si 𝑚∠𝐴𝐵𝑁 > 90.
D. Ángulos complementarios ∠𝐴𝐵𝑁 y ∠𝑃𝑄𝑅 son complementarios si y solo si 𝑚∠𝐴𝐵𝑁 +
𝑚∠𝑃𝑄𝑅 = 90.
D. Ángulo agudo ∠𝐴𝐵𝑁 es agudo si y solo si 𝑚∠𝐴𝐵𝑁 < 90.
D. Ángulo recto ∠𝐴𝐵𝑁 es recto si y solo si 𝑚∠𝐴𝐵𝑁 = 90.
⃡ ⊥ 𝐶𝐷
D. Rectas perpendiculares 𝐴𝐵 ⃡ si y solo si 𝐴𝐵
⃡ ∩ 𝐶𝐷
⃡ = {𝑋} y∠𝐶𝑋𝐴 recto
TEOREMAS
T. Recta – Punto Dada una recta 𝑚, existe un punto 𝐴 ∈ 𝑚.
T. Recta – Dos puntos Dada la recta 𝑚, existen puntos 𝐴 y 𝐵 en ella diferentes.
T. Recta – Infinitos puntos Dada la recta 𝑚, existen infinitos puntos en ella diferentes.
T. Interestancia – doble orden Dados puntos 𝐴, 𝐵 y 𝐶 con 𝑥 = 𝑐 (𝑎), 𝑦 = 𝑐(𝐵) y 𝑧 = 𝑐(𝐶). Si
𝐴 − 𝐵 − 𝐶 entonces 𝑥 > 𝑦 > 𝑧 o 𝑥 < 𝑦 < 𝑧.
T. Orden – interestancia Dados puntos 𝐴, 𝐵, 𝐶 colineales y 𝑥 = 𝑐 (𝐴), 𝑦 = 𝑐(𝐵) y 𝑧 = 𝑐(𝐶). Si
𝑥 < 𝑦 < 𝑧 o 𝑥 > 𝑦 > 𝑧 entonces 𝐴 − 𝐵 − 𝐶.
T. Punto entre Dados puntos 𝐴 y 𝐵 diferentes, existen un punto 𝐶 tal que 𝐴 − 𝐶 − 𝐵.
T. Punto al lado Dados puntos 𝐴 y 𝐵 diferentes existen un punto 𝐶 tal que 𝐴 − 𝐵 − 𝐶.
T. Tres puntos Dados tres puntos 𝐴, 𝐵 y 𝐶 colineales entonces uno de ellos está entre los otros dos.
T. Transitividad – Interestancia
• Si 𝐴 − 𝐵 − 𝐶 y 𝐵 − 𝐶 − 𝐷 entonces se cumple que 𝐴 − 𝐵 − 𝐷 y 𝐴 − 𝐶 − 𝐷.
• Si 𝐴 − 𝐵 − 𝐶 y 𝐴 − 𝑍 − 𝐵 entonces se cumple que 𝐴 − 𝑍 − 𝐶 y 𝑍 − 𝐵 − 𝐶.
̅̅̅̅.
T. Existencia segmento Dados puntos 𝐴 y 𝐵 diferentes, existe 𝐴𝐵
• Si se tiene ̅̅̅̅
𝐴𝐵, entonces existe ⃡𝐴𝐵, 𝐴𝐵 y ̅̅̅̅
𝐴𝐵 ⊂ ⃡𝐴𝐵, ̅̅̅̅
𝐴𝐵 ⊂ 𝐴𝐵
• Si se tiene 𝐴𝐵, entonces existe 𝐴𝐵, 𝐴𝐵 y 𝐴𝐵 ⊂ 𝐴𝐵, 𝐴𝐵 ⊂ ⃡𝐴𝐵
̅̅̅̅ ⃡ ̅̅̅̅
• ⃡ , entonces existe 𝐴𝐵
Si se tiene 𝐴𝐵 ̅̅̅̅, 𝐴𝐵 y 𝐴𝐵
̅̅̅̅ ⊂ 𝐴𝐵
⃡ , 𝐴𝐵 ⊂ 𝐴𝐵
⃡
T. Existencia del punto medio Dados los puntos 𝐴 y 𝐵 diferentes existe un único punto 𝐶 tal que 𝐶
̅̅̅̅.
es punto medio del 𝐴𝐵
T. Desigualdad – Punto interior Dado el ∠𝐴𝐵𝐶 y ∠𝐷𝐵𝐶 si 𝑚∠𝐴𝐵𝐶 > 𝑚∠𝐷𝐵𝐶 y 𝐷 ∈ 𝛿⃡𝐵𝐶 ,𝐴
entonces 𝐷 ∈ 𝑖𝑛𝑡∠𝐴𝐵𝐶.
T. Punto interior – Adyacentes Dado el ∠𝐴𝐵𝐶. Si 𝑃 ∈ 𝑖𝑛𝑡∠𝐴𝐵𝐶 entonces ∠𝐴𝐵𝑃 y ∠𝑃𝐵𝐶 son
adyacentes.
T. Par lineal – Punto interior Dados ∠𝐴𝐵𝐶 y ∠𝐴𝐵𝐷 par lineal. Si 𝐾 ∈ 𝑖𝑛𝑡∠𝐴𝐵𝐶 y 𝑃 ∈ 𝑖𝑛𝑡∠𝐴𝐵𝐷
entonces 𝐴 ∈ 𝑖𝑛𝑡∠𝐾𝐵𝑃.
T. Existencia perpendicular punto interior Dados recta 𝑙 y plano 𝛼, 𝑙 ⊂ 𝛼 y un punto 𝐴 ∈ 𝑙
entonces existe una única recta 𝑚 en 𝛼 tal que 𝑚 ⊥ 𝑙 por 𝐴.
T. Existencia perpendicular punto externo Dados recta 𝑙 y plano 𝛼 y un punto 𝐴 ∉ 𝑙 entonces
existe una única recta 𝑚 en 𝛼 tal que 𝑚 ⊥ 𝑙 por 𝐴.
T. Suplementarios congruentes Suplementos de ángulos congruentes son congruentes.
T. Par lineal – Congruentes Si ∠𝐴𝐵𝐶 y ∠𝐴𝐵𝐷 par lineal con ∠𝐴𝐵𝐶 ≅ ∠𝐴𝐵𝐷 entonces ∠𝐴𝐵𝐶 y
∠𝐴𝐵𝐷 rectos.
T. Cuatro Ángulos rectos Si 𝑙 y m son perpendiculares, entonces determinan cuatro ángulos rectos.
T. Adición medida de ángulos Dados ∠𝐴𝐵𝑃 y ∠𝐶𝐵𝑃 coplanares. Si 𝑚∠𝐴𝐵𝑃 + 𝑚∠𝐶𝐵𝑃 =
𝑚∠𝐴𝐵𝐶 entonces 𝑃 ∈ 𝑖𝑛𝑡∠𝐴𝐵𝐶.