On appelle cosinus de l’angle aigu ABC^\widehat{ABC}ABC, le nombre noté cos(ABC^)\cos(\widehat{ABC})cos(ABC) défini par :