MathLabs

第3問

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

長さの二乗を展開すると、幾何的な評価が内積の不等式になる。

∣u∣2+∣v∣2≤4u⋅v,∣v∣2+∣w∣2≤4v⋅w,∣w∣2+∣u∣2≤−4w⋅u|\mathbf u|^2+|\mathbf v|^2\le4\mathbf u\cdot\mathbf v,\quad |\mathbf v|^2+|\mathbf w|^2\le4\mathbf v\cdot\mathbf w,\quad |\mathbf w|^2+|\mathbf u|^2\le-4\mathbf w\cdot\mathbf u
詳しい解説

第一の不等式を二乗すると ∣u∣2+2u⋅v+∣v∣2≥3(∣u∣2−2u⋅v+∣v∣2)|\mathbf u|^2+2\mathbf u\cdot\mathbf v+|\mathbf v|^2\ge3(|\mathbf u|^2-2\mathbf u\cdot\mathbf v+|\mathbf v|^2) であり、従って ∣u∣2+∣v∣2≤4u⋅v|\mathbf u|^2+|\mathbf v|^2\le4\mathbf u\cdot\mathbf v となる。他の二つを展開すると ∣v∣2+∣w∣2≤4v⋅w|\mathbf v|^2+|\mathbf w|^2\le4\mathbf v\cdot\mathbf w と ∣w∣2+∣u∣2≤−4w⋅u|\mathbf w|^2+|\mathbf u|^2\le-4\mathbf w\cdot\mathbf u を得る。