Demostrar:

T. Doble orden-interestancia: Dados tres puntos 𝐴, 𝐵 y 𝐶 de la recta 𝑚, c ( A)<c ( B)< c (C) o

𝑐(𝐶) < 𝑐(𝐵) < 𝑐(𝐴), entonces 𝐴 − 𝐵 − 𝐶.

Afirmación Garantía

1.
A,B,C
A,B,C∈m Dato
c ( A)<c ( B)< c (C) ó c ( A)>c (B)> c (C)

2.
A , B , C Colineales. D. Colinealidad (1)

3. c ( A )=a , c ( B )=b , c ( C ) =c
a,b.c∈ R D. Coordenada de un punto (1)

4.
AB> 0 ; BC > 0 ; AC > 0 ; P. Puntos número (1)

5.
AB=BA
BC=CB D. Distancia (4)
AC=CA

6.
AB=|c ( B )−c ( A )|

BC=|c ( C )−c ( B )| D. Métrica (5)

AC=|c ( C )−c ( A )|

7. AB=|a−b|

BC=|c−b|
Principio de sustitución (3) en (6)
AC=|c−a|

8. |b−a|=b−a
|c −b|=c−b
|c −a|=c−a D. Valor absoluto (1,7)

9.
AB=b−a
 BC=c−b Transitividad (7,8)
AC=c−a

10.
( b−a ) + ( c−b )
¿ b−a+ c−b
¿ c−a Propiedad de los reales (9)

( b−a ) + ( c−b ) =(c−a)

11.
AB+ BC = AC Principio de sustitución (9) en (10)

12.
A−B−C D. Interestancia (2, 11)