三角形 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 に関する対称な式を得る。