ヴァリニョンの定理

ユークリッド幾何学において、ヴァリニョンの定理 （ヴァリニョンのていり、英:Varignon's theorem）とは、任意の四角形の辺の中点を結んでできた四角形が平行四辺形になるという定理である。この平行四辺形はヴァリニョンの平行四辺形と呼ばれている。1731年に証明を公表した ピエール・ヴァリニョンにちなむ。 任意の四角形の辺の中点を結んでできた四角形は平行四辺形になる。凸または凹四角形の場合、すなわち自己交叉しない場合、その平行四辺形の面積はもとの四角形の半分の面積である。 多角形に符号付き面積を導入すれば自己交叉する四角形においても、同様のことが成立する。 ヴァリニョンの平行四辺形はどのような斜四角形にも存在する。 またヴァリニョンの定理は任意の多角形に一般化することができる。 四角形ABCDについてAB,BC,CD,DAの中点をそれぞれE,F,G,Hとする。 三角形ADCとHDGは中点連結定理より相似で、HG とACは平行である。同様に、EFとACも平行であるので、HGとEFは平行である。同じようにして、HEとGFは平行であるので四角形EFGHは平行四辺形である。 ヴァリニョンの定理は、線形結合を係数の和が1になるように調整した線形代数を用いて、アフィン幾何学の定理として証明することもできる。 この証明は、あらゆる次元の空間における斜四角形にも適用できる。 任意の3点E,F,GとE-F+Gは平行四辺形を構成するが、E-F+G=(A+B)/2−(B+C)/2+(C+D)/2 =(A+D)/2=Hより、E,F,G,Hは平行四辺形をなす。これより、四点A,B,C,Dの幾何中心はヴァリニョンの平行四辺形の対角線の交点に等しい。 元の四角形の各辺の1/2の大きさのベクトルを用いて、元の四角形の面積を求め、ヴァリニョンの平行四辺形の各辺で分割された4つの三角形の面積を求めることができる。 ヴァリニョンの平行四辺形は以下の性質を持つ。 ヴァリニョンの平行四辺形の各辺は元の四角形の対応する対角線に平行である。 ヴァリニョンの平行四辺形の各辺は元の四角形の平行な対角線の半分の長さを持つ。 元の四角形が凸または凹四角形の場合、ヴァリニョンの平行四辺形の面積は元の四角形の半分の面積に等しい。自己交叉する四角形の場合、それが成す二つの四角形の差を面積として定義することで満たすようになる。 元の三角形の対角線の長さの和はヴァリニョンの平行四辺形の周長と等しい。 四角形の対角線の中点とヴァリニョンの平行四辺形の対角線の中点は共線であるこの線はニュートン線と呼ばれる。 凸四角形の辺の長さをそれぞれa, b, c, d、対角線の長さをそれぞれp, qとし、aとcの中点を結んだ直線の長さは以下の様に与えられる。 m = 1 2 − a 2 + b 2 − c 2 + d 2 + p 2 + q 2 {\displaystyle m={\tfrac {1}{2}}{\sqrt {-a^{2}+b^{2}-c^{2}+d^{2}+p^{2}+q^{2}}}} bとdの中点を結んだ直線の長さは以下の様に与えられる。 n = 1 2 a 2 − b 2 + c 2 − d 2 + p 2 + q 2 . {\displaystyle n={\tfrac {1}{2}}{\sqrt {a^{2}-b^{2}+c^{2}-d^{2}+p^{2}+q^{2}}}.} したがって以下が成り立つ。 p 2 + q 2 = 2 ( m 2 + n 2 ) . {\displaystyle \displaystyle p^{2}+q^{2}=2(m^{2}+n^{2}).} これは中線定理の系である。 対角線の長さは、対角線の中点間の距離xで表すこともできる。これはオイラーの四辺形定理と呼ばれる。 m = 1 2 2 ( b 2 + d 2 ) − 4 x 2 {\displaystyle m={\tfrac {1}{2}}{\sqrt {2(b^{2}+d^{2})-4x^{2}}}} n = 1 2 2 ( a 2 + c 2 ) − 4 x 2 . {\displaystyle n={\tfrac {1}{2}}{\sqrt {2(a^{2}+c^{2})-4x^{2}}}.} 凸四角形において, 対辺の中点を結んだ直線と対角線は 双対 の関係にある。 二つの対角線が直交することと、二つの対辺の中点を結んだ直線の長さは等しいことは同値である。 二つの対辺の中点を結んだ直線が直交することと、二つの対角線の長さは等しいことは同値である。 元の四角形の2つの対角線の長さが等しいこととヴァリニョンの平行四辺形がひし形であることは同値である。 元の四角形の2つの対角線が直交する、つまり直交対角線四角形であることとヴァリニョンの平行四辺形が長方形であることは同値である。 モーリーの定理 ^ Peter N. Oliver: Pierre Varignon and the Parallelogram Theorem. Mathematics Teacher, Band 94, Nr. 4, April 2001, pp. 316-319 ^ a b Coxeter, H. S. M. and Greitzer, S. L. "Quadrangle; Varignon's theorem" §3.1 in Geometry Revisited. Washington, DC: Math. Assoc. Amer., pp. 52–54, 1967. ^ Altshiller-Court, Nathan, College Geometry, Dover Publ., 2007. ^ Mateescu Constantin, Answer to Inequality Of Diagonal ^ Josefsson, Martin (2011), “The Area of a Bicentric Quadrilateral”, Forum Geometricorum 11: 155–164, http://forumgeom.fau.edu/FG2011volume11/FG201116.pdf . ^ a b Josefsson, Martin (2012), “Characterizations of Orthodiagonal Quadrilaterals”, Forum Geometricorum 12: 13–25, http://forumgeom.fau.edu/FG2012volume12/FG201202.pdf . ^ a b de Villiers, Michael (2009), Some Adventures in Euclidean Geometry, Dynamic Mathematics Learning, p. 58, ISBN 9780557102952, https://books.google.com/books?id=R7uCEqwsN40C&pg=PA58  H. S. M. Coxeter, S. L. Greitzer: Geometry Revisited. MAA, Washington 1967, pp. 52-54 Peter N. Oliver: Consequences of Varignon Parallelogram Theorem. Mathematics Teacher, Band 94, Nr. 5, Mai 2001, pp. 406-408 Weisstein, Eric W. "Varignon's theorem". mathworld.wolfram.com (英語). Varignon Parallelogram in Compendium Geometry A generalization of Varignon's theorem to 2n-gons and to 3D at Dynamic Geometry Sketches, interactive dynamic geometry sketches. Varignon parallelogram at cut-the-knot-org