T.

Bisectriz:

Dado ∠ ABC existe ⃗

AD bisectriz de ∠ ABC .
1 ∠ ABC Dado

2 ∠ ABC ⊂ α T. Ángulo figura coplanar (1)

3 ⃗
BA , ⃗
BC D. Ángulo (1)

4 ´ , BC
BA ´ T. Recta-Rayo-Segmento (3)

5 S BA´ , C , S BC,
´ A
D. Semiplano (2,4)
S BA´ ,C , S BC,
´ A
6 ∃ D ∈ S BA´ ,C T. Del semiplano (5)

7 ´
BD P. Dos puntos-Recta (1, 6)

8 ⃗
BD T. Recta-Rayo-Segmento (7)

9 ∃ E ∈ S BC
´ , A T. Del semiplano (5)

10 ´
BE P. Dos puntos-Recta (1, 9)

11 ⃗
BE T. Recta-Rayo-Segmento (10)

12 ⃗
BE=r 0 , ⃗ =0 P. Rayos- Número (3, 8, 10, 11)
BE
⃗
BC =r C , ⃗
BE
=a
⃗
BD=r D , BE
⃗ =b
⃗
BA=r A , ⃗BE
=c
a,b,c ∈R
13 0< a<b< c Propiedad de los reales (12)

14 rC ,⃗
BE
<r D , ⃗
BE
<r A , ⃗
BE Principio de sustitución (12, 13)

15 D ∈∫ ∠ ABC T. Orden- Punto en el interior (5,

6, 13, 14)
16 Semirrecta AD ∈∫ ∠ ABC T. Semirrecta interior del ángulo
(15)
17