Ël teorema dël cosen, conossù ëdcò tanme teorema ëd Carnot, a l'é na generalisassion dël teorema ëd Pitàgora. A fortiss che ant un triàngol ël quadrà ëd na banda a l'é ugual a la soma dij quadrà dj'àutre doe bande meno ël dobi prodot dj'àutre doe bande për ël cosen ëd l'àngol comprèis antra 'd lor:

.

An efet, ch'as consìdero dij vetor arlongh le còte dël triàngol ëd fasson che

.

An fasend ël prodot ëscalar ëd sa relassion con chila-midema, un a oten

,

visadì l'enonsià fortì.