Demostración de la desigualdad triangular para ángulos en R3 - Arenas, Gilberto (Universidad del Valle, 2004)