直交対角線四角形
直交対角線四角形においては、向かい合う辺の長さの2乗の合計はもう一方の向かい合う辺の長さの2乗の合計と等しくなる。
a 2 + c 2 = b 2 + d 2 . {\displaystyle \displaystyle a^{2}+c^{2}=b^{2}+d^{2}.}
これは、ピタゴラスの定理からいえることである。これはまた、余弦定理、空間ベクトル、背理法、複素数の使用など、さまざまな方法で証明できる。
別の特徴付けによると、凸四角形ABCDの対角線が直交することは、次の式が成り立つことに同値である。ただしPは対角線の交点である。
∠ P A B + ∠ P B A + ∠ P C D + ∠ P D C = π {\displaystyle \angle PAB+\angle PBA+\angle PCD+\angle PDC=\pi }
この等式は、Pの四角形の各辺への射影が共円四角形の頂点となることとも同値である。
また、凸四角形の対角線が直交することは、そのヴァリニョンの平行四辺形(英語版)(四角形の辺の中点を結んでできる平行四辺形)が長方形であることに同値である。