Para nombrar la "longitud" de un lado, por lo general se utiliza el nombre del vértice opuesto, convertido a minúscula latina: formula_5 para BC, formula_6 para AC, formula_7 para AB.