Valor Absoluto de a menor que b
Así se puede recordar este teorema, cuya demostración puedes ir descubriendo paso a paso, en la ventana de la derecha.

Idea y Método de la Demostración
La idea es empezar con la hipótesis y mediante una cadena de dobles implicaciones llegar a la conclusión, utilizando el llamado Método Directo. Recordar la definición de valor absoluto es fundamental:

Es importante recordar que por la ley de tricotomía un real es mayor que cero o igual a cero o menor que cero. Por ello, la definición incluye la disyunción, aunque en los libros no aparece explícitamente.

Para construir
Para construir tales cadenas se deben utilizar exclusivamente los axiomas de los reales, las hipótesis del teorema, la definición de valor absoluto, teoremas o resultados anteriores.

En particular se hace uso del Teorema 16 y su recíproco que establecen:

Conclusión
Este resultado es muy importante para resolver desigualdades con valores absolutos.