直交対角線四角形

直交対角線四角形（ちょっこうたいかくせんしかっけい、テンプレート:Lang-en-short）とは、対角線が直交している四角形である^[1]。

凧形、菱形、正方形は直交対角線四角形の特殊なタイプである。

概要

直交対角線四角形においては、向かい合う辺の長さの2乗の合計はもう一方の向かい合う辺の長さの2乗の合計と等しくなる^[2]^[3]。

a^{2} + c^{2} = b^{2} + d^{2} .

これは、ピタゴラスの定理からいえることである。これはまた、余弦定理、空間ベクトル、背理法、複素数の使用など、さまざまな方法で証明できる^[4]。

別の特徴付けによると、凸四角形ABCDの対角線が直交することは、次の式が成り立つことに同値である。ただしPは対角線の交点である。

∠ P A B + ∠ P B A + ∠ P C D + ∠ P D C = π

この等式は、Pの四角形の各辺への射影が共円四角形の頂点となることとも同値である^[4]。

また、凸四角形の対角線が直交することは、そのヴァリニョンの平行四辺形（四角形の辺の中点を結んでできる平行四辺形）が長方形であることに同値である^[4]。

直交対角線四角形の面積Kは、対角線pとqの長さの積の半分で求められる^[5]。

$K = \frac{p \times q}{2}$

逆に、この式で面積を計算できる凸四角形は、対角線が直交している^[4]。

四角形 $A B C D$ は直交対角線四角形である。また、 $P_{1} X_{1} Z_{1} Y_{1}$ 及び $P_{2} X_{2} Z_{2} Y_{2}$ は、四角形 $A B C D$ の対角線に平行な長方形である。
四角形 $A B C D$ は直交対角線四角形である。 $P_{1} V_{1} Q_{1} W_{1}$ 及び $P_{2} V_{2} Q_{2} W_{2}$ は四角形 $A B C D$ に内接する長方形である。
4つの中点は同一円周上にある。さらに、中点から対辺に下ろした垂線の足もこの円周上にある。
対角線の交点から各辺に下ろした垂線の足は、同一円周上にある。さらに、各垂線が対辺と交わる点もこの円周上にある。
台形かつ直交対角線四角形
凹四角形かつ直交対角線四角形
凧形は直交対角線四角形の特殊な場合である。