。它等价于平行四边形恆等式。
中线定理.对任意三角形formula_1，设formula_2是线段formula_3的中点，formula_4为中线，则有如下关系：formula_5
证明.用莱布尼茨标量函数约简，可以容易导出这性质：只需要在两个平方中引入formula_2：得出formula_2是formula_3的中点，因此formula_11和formula_12相反，可知式中两个标积抵消。又因formula_13，得出Section::