MathLabs

第3题

凸六边形的每一对对边都满足:它们中点之间的距离 pp 等于两边长度之和的 32\frac{\sqrt3}{2}。证明该六边形为等角六边形。
第 5/7 步:推出对角线长度相等
通俗地说

等号方程与和为零的关系共同迫使三个向量等长。

∣u∣=∣v∣=∣w∣,∠(u,w)=120∘|\mathbf u|=|\mathbf v|=|\mathbf w|,\qquad \angle(\mathbf u,\mathbf w)=120^\circ
详细分析

由 u−v+w=0\mathbf u-\mathbf v+\mathbf w=\mathbf0 得 v=u+w\mathbf v=\mathbf u+\mathbf w。第 3 步的第三个等式为 ∣u∣2+∣w∣2=−4u⋅w|\mathbf u|^2+|\mathbf w|^2=-4\mathbf u\cdot\mathbf w,故 ∣v∣2=(∣u∣2+∣w∣2)/2|\mathbf v|^2=(|\mathbf u|^2+|\mathbf w|^2)/2。代入第一个等式并化简得 3(∣w∣2−∣u∣2)=03(|\mathbf w|^2-|\mathbf u|^2)=0。于是 ∣u∣=∣w∣|\mathbf u|=|\mathbf w|,再得 ∣v∣=∣u∣|\mathbf v|=|\mathbf u|;且 u⋅w=−∣u∣2/2\mathbf u\cdot\mathbf w=-|\mathbf u|^2/2,所以 ∠(u,w)=120∘\angle(\mathbf u,\mathbf w)=120^\circ。