Demostrar:

T. Interestancia-doble orden: Si 𝐴−𝐵−𝐶 entonces 𝑐(𝐴)< 𝑐(𝐵)< 𝑐(𝐶) o 𝑐(𝐶)< 𝑐(𝐵)< 𝑐(𝐴).

Afirmación Garantía

1.
A−B−C Dato

2.
A , B , C Colineales D. Interestancia (1)
AB+ BC = AC

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

4.
a< b<c ; ó
a< c< b ; ó
b< a<c ; ó Tricotomía de los números Reales (3)
b< c< a ; ó
c <a< b ; ó
c <b< a ;

5.
c ( A ) <c ( B ) < c ( C ) ;
c ( A ) <c (C ) <c ( B ) ;
c ( B )< c ( A ) < c ( C ) ; Principio de sustitución (4) en (3)
c ( B )< c ( C ) < c ( A ) ;
c ( C ) <c ( A ) <c ( B ) ;
c ( C ) <c ( B )< c ( A ) ;

6.
i B−A−C
ii A−B−C T. Orden interestancia (5,2)
iii A−C−B

7.
i AB+ AC=BC
ii A B+ BC = AC D. Interestancia (6)
iii AC+ BC =AB

8.
AB> 0 ;BC > 0 ; AC > 0 ; P. Puntos- número (7)
9.
Definición mayor que (7,8)
i ¿ BC > AC ; AC > BC ; i(7 ( i, ii ) )
ii ¿ AC > AB ; AB> AC ; ii(7 ( i i, iii ))

10.
¬(c ( A ) <c ( C ) <c ( B ) )
¬(c ( B ) < c ( A ) <c ( C ) )
¬(c ( B ) < c ( C )< c ( A ) ) Contradicción (5,6,7,8,9)
¬(c (C ) <c ( A ) <c ( B ) )