在三角形 ABDABDABD 和 ACDACDACD 中应用余弦定理,并利用 AD2=3CD2AD^2=3CD^2AD2=3CD2。于是得到 cosA=(AB2+AC2)/(4AB AC)\cos A=(AB^2+AC^2)/(4AB\,AC)cosA=(AB2+AC2)/(4ABAC),也就是所示的关于 AB/ACAB/ACAB/AC 的对称表达式。