Definición 2. Cada vértice del cuadrilátero está en el interior del ángulo opuesto.

1. Sean A , B ,C puntos distintos Postulado de la mínima cantidad de puntos

coplanarios no colineales

2. Sea el rayo (BA) y el rayo BC Definición de rayo(1)

3. Existe ∠ ABC Definición de ángulo (1)

4. Sea D ∊ AC de tal manera que Definición de segmento (1)

A−D−C

5. Existe el △ ABC Definición de triángulo (1)

6. D ∊∫ ∠ ABC Teorema lado de un triángulo - interior de un

ángulo (3,4,5)

7. Existe el rayo BD Definición de rayo (1,4)

8. El rayo BD ⋂ AC ={D } Teorema de la barra cruzada (4,6,7) Definición

de intersección

9. Existe un punto E de tal manera que Teorema existencia de puntos al lado (7)
B−D−E

10. BD semirrecta está contenido en el Teorema semirrecta en el interior de un

interior del ángulo ABC ángulo(9)

11. E pertenece a la semirrecta BD

12. El punto E ∊∫ ∠ ABC Def. de contenencia

13. Sean AB , BC , CE , EA lados del Definición de cuadrilátero(1,9)

cuadrilátero ABCE

14. ∠ BAE y ∠ BCE , ∠ ABC y ∠ CEA , Definición de cuadrilátero (1,9)

ángulos opuestos del □ ABCE

Definición 3: Si un cuadrilátero es convexo entonces las diagonales se intersecan

Sean BEy AC diagonales del □ ABCE

1. Sea □ ABCE , un cuadrilátero convexo Dado

2. E ∊∫ ∠ ABC , B ∊∫ ∠CEA , Definición 2 de cuadrilátero convexo (1)

C ∊ ∫ ∠ BAE , A ∊∫ ∠ BCE

3. Sea el rayo BE Definición de rayo (1)

4. Sea el segmento AC Definición de segmento (1)

 5. BErayo ∩ AC={ D} Teorema de la barra cruzada (2, 3, 4)

6. D ∈ BE rayo ∧ D ∈ AC Definición de intersección (5)

7. Sea el rayo EB Definición de rayo (1)

8. EB rayo ∩ AC ={D } Teorema de la barra cruzada (2, 3, 4)

9. D ∈ EB rayo ∧ D ∈ AC Definición de intersección (8)

10. BErayo ∩ EB rayo=EB Conjunción (3,7) y Definición de intersección

(3,7)

11. D ∈ BE rayo ∧ D ∈ EB rayo Conjunción (6,9)

12. D ∈ BE Definición de contenencia (10)

13. BE∩ AC ={D } Conjunción (9,12) y Definición de intersección

(9,12)

14. Las diagonales del □ ABCE se Conclusión (13)

intersecan

Definición 1: La recta que contiene a cada lado del cuadrilátero deja a los otros dos vértices del
mismo lado de esta recta.

1. Sea □ ABCE un cuadrilátero convexo Dado

2. E ∊∫ ∠ ABC , B ∊∫ ∠ CEA , Definición 2 (1)

C ∊ ∫ ∠ BAE , A ∊∫ ∠ BCE

3. E ∊ S BC , A ∩ S AB ,C Definición punto interior de un ángulo e interior

de un ángulo (2)

4. E ∊ S BC , A ∧ E ∊ S AB , C Definición de intersección (3)

5. E ∊ S BC , A Simplificación (4)

6. B∈ S AE ,C , C ∈ S AB , E , A ∈ S CE. B De manera análoga para los demás puntos del

cuadrilátero.(2-5)