MathLabs

第3問

凸六角形の各対向辺について、その中点間の距離 pp は二辺の長さの和の 32\frac{\sqrt3}{2} 倍である。この六角形が等角であることを証明せよ。
ステップ 4/7: すべての段階で等号を強制する
ざっくり言うと

三つの非正の差の和がノルムの二乗になるので、そのノルムはゼロでなければならない。

2∣u−v+w∣2≤02|\mathbf u-\mathbf v+\mathbf w|^2\le0
詳しい解説

三つの不等式を加えて右辺を左へ移すと 2∣u−v+w∣2≤02|\mathbf u-\mathbf v+\mathbf w|^2\le0 となる。Step 1 よりこの二乗ノルムは 00 だから、u−v+w=0\mathbf u-\mathbf v+\mathbf w=\mathbf0 である。Step 3 の三つの差はすべて非正で、和が 00 なので、各差が 00 である。従って Step 2 の三角不等式は三つとも等号である。