Il teorema del coseno correla la lunghezza dei lati di un triangolo al coseno di uno dei suoi angoli. Può essere considerato una generalizzazione del teorema di Pitagora al caso di triangoli non rettangoli. Questo teorema è noto anche come teorema di Carnot.
La disuguaglianza di Weitzenböck o disuguaglianza di Ionescu-Weitzenböck
è un teorema riguardante la relazione tra i lati di un triangolo.
Con il foglio di lavoro si possono verificare il teorema di Carnot e la diseguaglianza.
