3角形を考え180°より小さい各度の頂点からその対辺上に一点を取り
頂点からその点までの線分を引いた場合にその角度がもとの頂角より
小さくなくことは、ベクトルの内積から計算可能と思われる。