対垂三角形

幾何学において、二つの三角形が対垂^[1]^[2]（たいすい、英: orthologic）であるとは、一方の三角形の頂点から対応するもう一方への、辺へ降ろした垂線が共点であることを指す。 2つの三角形は対称的な性質を示す。 $△ ABC$ と $△ DEF$ について、頂点 $A, B, C$ から辺 $EF, FD, DE$ に降ろした垂線が一点で交われば、頂点 $D, E, F$ から $BC, CA, AB$ に降ろした垂線もまた、別の一点で交わる。この2点を対垂の中心（orthology centers）という^[3]^[4]。

なお、この関係は垂線に限らず、任意の角でも同様に成立する。このとき、2つの三角形は対等角三角形（isologic^[5]）と呼ばれる^[1]。例えば、0°とするならば、マクスウェルの定理となる。