† Այս պնդումը համարժեք է բոլորիս հայտնի կոսինուսնորի բանաձևին՝ <math> AC^2 = AB^2 + BC^2 - 2\cdot AB\cdot BC\cdot cos(ABC) </math>, քանի որ <math> cos(ABC) = \frac{BD}{AB} </math>:
AC^2 = AB^2 + BC^2 − 2AB*BC*cos(ABC), քանի որ cos(ABC) = BD / AB:
== Պնդում 14 ==