重心と垂心と外心の重心座標から3点が一直線上(オイラー線)にあることの証明のために
行列式を手計算で出来なかったのでした.
Determinant({{1,1,1},{sin(2A),sin(2B),sin(2C)},{tan(A),tan(B),tan(C)}})=
-2 sec(A) sec(B) sec(C) sin(A - B) sin(A - C) sin(B - C) sin(A + B + C)