直交対角線四角形

直交対角線四角形（ちょっこうたいかくせんしかっけい、）とは、対角線が直交している四角形である。
凧形、菱形、正方形は直交対角線四角形の特殊なタイプである。
概要.
直交対角線四角形においては、向かい合う辺の長さの2乗の合計はもう一方の向かい合う辺の長さの2乗の合計と等しくなる。
これは、ピタゴラスの定理からいえることである。これはまた、余弦定理、空間ベクトル、背理法、複素数の使用など、さまざまな方法で証明できる。
別の特徴付けによると、凸四角形"ABCD"の対角線が直交することは、次の式が成り立つことに同値である。ただし"P"は対角線の交点である。
この等式は、"P"の四角形の各辺への射影が共円四角形の頂点となることとも同値である。
また、凸四角形の対角線が直交することは、その（四角形の辺の中点を結んでできる平行四辺形）が長方形であることに同値である。
面積.
直交対角線四角形の面積"K"は、対角線"p"と"q"の長さの積の半分で求められる。
formula_3
逆に、この式で面積を計算できる凸四角形は、対角線が直交している。