Источник TeX:
AB^2 = AV^2 + BV^2 - 2 \cdot AV \cdot BV \cdot \cos \alpha