ula_1的边formula_2上任意取一点formula_3，则：该定理由苏格兰数学家在1746年发表。这个定理以他的名字命名，来纪念他的贡献。
证明.设"a"与"p"的交点为"P"。对互补角"APB"和"APC"应用余弦定理，可得：把第一个等式乘以"x"，把第二个等式乘以"y" ：两式相加，得：证毕。