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