MathLabs

第2問

外心 OO、垂心 HH、外接円の半径 RR をもつ非退化三角形 ABCABC に対して、∣OH∣<3R|OH|<3R を証明せよ。
ステップ 2/4: 垂心の座標を用いる
h=a+b+ch=a+b+c
詳しい解説

原点を中心とする円上の3点について、垂心の標準的な複素座標公式は h=a+b+ch=a+b+c である。したがって ∣OH∣=∣h∣=∣a+b+c∣|OH|=|h|=|a+b+c| となる。