Triple angles formulae