>>146

ある直線に対して三角形の２辺(２辺の延長線でも可)が垂直に交わっているとすると、
その直線と三角形は垂直である。

←定義じゃない？
ベクトル使えば証明できると思うけど。