サムネイル|300x300ピクセル|四角形EFGHの面積は四角形ABCDの半分の面積と等しい。 ユークリッド幾何学において、ヴァリニョンの定理（ヴァリニョンのていり、）とは、任意の四角形の辺の中点を結んでできた四角形が平行四辺形になるという定理である。この平行四辺形はヴァリニョンの平行四辺形と呼ばれている。1731年に証明を公表した ピエール・ヴァリニョンにちなむ。
定理 任意の四角形の辺の中点を結んでできた四角形は平行四辺形になる。凸または凹四角形の場合、すなわち自己交叉しない場合、その平行四辺形の面積はもとの四角形の半分の面積である。多角形に符号付き面積を導入すれば自己交叉する四角形においても、同様のことが成立する。
ヴァリニョンの平行四辺形はどのような斜四角形にも存在する。またヴァリニョンの定理は任意の多角形に一般化することができる。
証明 四角形についての中点をそれぞれとする。三角形とは中点連結定理より相似で、とは平行である。同様に、とも平行であるので、とは平行である。同じようにして、とは平行であるので四角形は平行四辺形である。
ヴァリニョンの定理はアフィン幾何学の定理として証明することもできる。 この証明は、任意次元の空間における斜四角形に適用できる。
任意の3点とは平行四辺形を構成するが、より、は平行四辺形をなす。これより、4点の幾何中心はヴァリニョンの平行四辺形の対角線の交点に等しい。
元の四角形の各辺の1/2の大きさのベクトルを用いて、元の四角形の面積を求め、ヴァリニョンの平行四辺形の各辺で分割された4つの三角形の面積を求めることができる。 凸四角形凹四角形自己交叉する四角形300x300ピクセル300x300ピクセル300x300ピクセル サムネイル|数式を用いない証明
ヴァリニョンの平行四辺形
性質 ヴァリニョンの平行四辺形は以下の性質を持つ。
ヴァリニョンの平行四辺形の各辺は元の四角形の対応する対角線に平行である。 ヴァリニョンの平行四辺形の各辺は元の四角形の平行な対角線の半分の長さを持つ。 元の四角形が凸または凹四角形の場合、ヴァリニョンの平行四辺形の面積は元の四角形の半分の面積に等しい。自己交叉する四角形の場合、それが成す2つの四角形の差を面積として定義することで満たすようになる。 元の三角形の対角線の長さの和はヴァリニョンの平行四辺形の周長と等しい。 四角形の対角線の中点とヴァリニョンの平行四辺形の対角線の中点は共線であるこの線はニュートン線と呼ばれる。
凸四角形の辺及びその長さをそれぞれ、対角線の長さをそれぞれとし、との中点間の距離は次の様に与えられるMateescu Constantin, Answer to Inequality Of Diagonal。
との中点間の距離は次の様に与えられる。
したがって次の式が成り立つ。
これは中線定理の系である。
対角線の長さは、対角線の中点間の距離で表すこともできる。これはオイラーの四辺形定理の変種である.。
凸四角形において、対辺の中点を結んだ直線と対角線は双対の関係にある.。
2つの対角線が直交することと、2つの対辺の中点を結んだ直線の長さは等しいことは同値である。 2つの対辺の中点を結んだ直線が直交することと、2つの対角線の長さは等しいことは同値である。
特別な場合 元の四角形の2つの対角線の長さが等しいこととヴァリニョンの平行四辺形がひし形であることは同値である。
元の四角形の2つの対角線が直交する、つまり直交対角線四角形であることとヴァリニョンの平行四辺形が長方形であることは同値である。
出典
関連項目 モーリーの定理 外部リンク
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 cut-the-knot-org