Tổng ba góc trong 1 tam giác bằng 180 ° nên:
M ^ + N ^ + P ^ = 180 ° ⇔ M ^ + N ^ = 180 ° - P ^ ⇔ M ^ + N ^ 2 = 90 ° - P ^ 2 ⇒ cos M + N 2 = sin P 2 ; sin M + N 2 = cos P 2 sin M + sin N + sin P = 2 sin M + N 2 . cos M - N 2 + 2 sin P 2 . cos P 2 = 2 cos P 2 . cos M - N 2 + 2 sin P 2 . cos P 2 = 2 cos P 2 . cos M - N 2 + sin P 2 = 2 cos P 2 . cos M - N 2 + cos M + N 2 = 2 cos P 2 . 2 cos M 2 . cos N 2 = 4 cos M 2 . cos N 2 . cos P 2