四角形が平行四辺形の証明

与えられた四角形が平行四辺形であることを証明するには、5つの標準的な方法があります。各方法は異なる幾何学的性質を検証するものであり、そのうちの1つだけで十分です。5つすべてを確認する必要はありません。有効な証明が1つあれば十分です。このチュートリアルでは、解付きの例題を用いて各方法を解説し、これら5つが同値である理由を説明し、与えられた問題に対して最も簡単な方法をどのように選択するかを示します。

5つの方法の概要

これらのいずれでも十分です。これらはすべて同値であり、1つを証明すれば、他のすべても帰結として証明されます。

方法1 — 対辺の組がともに平行

これは平行四辺形の定義です。AB ∥ CD かつ AD ∥ BC を示せれば、図形は定義により平行四辺形となります。

2つの辺が平行であることを示す方法：

• 傾きが等しい（座標幾何学において）。
• 錯角が等しい（横断線で切られる場合）。
• 同位角が等しい（横断線で切られる場合）。
• 同側内角が補角である（横断線で切られる場合）。

方法2 — 対辺の組がともに等しい

AB = CD かつ BC = AD であれば、その四角形は平行四辺形です。

これは、辺の長さの測定値はあるが平行線の情報が得られない場合に有用です。この証明は逆定理に依存しており、対辺が等しいことを示すことで平行性が強制されることを示します（SSSによる合同三角形然后通过、錯角が一致しなければならない）。

方法3 — 一方の対辺が平行かつ等しい

対辺の一方の組だけが平行かつ等しいことが示されれば、その四角形は平行四辺形です。もう一方の組も必然的にそうなります。

これはしばしば最も効率的な方法です。両方の組ではなく、1組だけを完全に検証すればよいからです。

なぜ機能するのか： AB ∥ CD かつ AB = CD の場合、A-D と B-C を結ぶと、対頂角を用いて三角形ABDと三角形CDBがSAS（边角辺）で合同になる構成が生まれます。第3の辺（AD と BC）もまた平行かつ等しくなります。

方法4 — 対角の組がともに等しい

∠A = ∠C かつ ∠B = ∠D であれば、その四角形は平行四辺形です。

これは、辺の長さではなく角度の測定値がある場合に有用です。証明：対角が等しいことは、隣接角が補角の関係にあることを強制し、それが辺の平行性を強制します。

方法5 — 対角線が互いに他方を二等分する

2つの対角線 AC と BD が点 E で交わり、E が両方の対角線の中点である場合（つまり、AE = EC かつ BE = ED）、その四角形は平行四辺形です。

これは平面幾何学における最も美しい「必要十分条件」の一つです。対角線が互いに他方を二等分するのは、必要十分条件として、その四角形が平行四辺形であることと同値です。

証明： AE = EC および BE = ED に加えて、点 E における対頂角から、三角形ABEと三角形CDEはSASで合同です。合同な図形の対応部分もまた合同である（CPCTC）ことから、AB = CD かつ ∠ABE = ∠CDE が得られます。この角の等しさと線分の関係から AB ∥ CD が示されます。対称的な議論により、AD ∥ BC も示せます。したがって、対辺の組がともに平行であり、これは平行四辺形です。

解付き例題1 — 方法2の使用

四角形ABCDにおいて、AB = 5, BC = 8, CD = 5, AD = 8 です。これは平行四辺形ですか？

AB = CD = 5 （対辺の一方の組が等しい）。BC = AD = 8 （もう一方の組）。方法2より、ABCD は平行四辺形です。

解付き例題2 — 方法5の使用

四角形PQRSにおいて、対角線PRと対角線QSが点Eで交わります。PE = ER = 4、かつ QE = ES = 6 です。PQRSは平行四辺形ですか？

対角線は互いに他方を二等分しています（それぞれの中点がEにあります）。方法5より、PQRS は平行四辺形です。

解付き例題3 — 座標幾何学的アプローチ

四角形の頂点は A(0, 0), B(4, 0), C(6, 3), D(2, 3) です。これは平行四辺形ですか？

方法3（一方の組が平行かつ等しい）を使用します：

• ABの傾きは0（水平）、長さは4。
• DCの傾きは0（水平）、長さは4（x = 2 から x = 6 まで）。

AB ∥ DC （ともに水平）かつ AB = DC = 4。方法3より、ABCD は平行四辺形です。

平行四辺形であることを証明しない条件

いくつかの条件は機能するように見えますが、実際にはそうではありません：

• 対辺の一方の組だけが等しい（平行でない場合）。台形（等脚台形）には、平行かつ等しい対辺の組が1つ、平行ではないが等しい対辺の組が1つあります — これは平行四辺形ではありません。
• 対角線の長さだけが等しい（二等分されない場合）。長方形は両方を持っていますが、等脚台形は対角線の長さだけが等しいです — 平行四辺形ではありません。
• 隣接角が等しい。隣接する角が等しいことは、様々な非平行四辺形四角形で起こり得ます。

最も簡単な方法の選択

平行四辺形の性質（それが平行四辺形であることを証明することとの対比）

四角形が平行四辺形であることを証明すると、すべての平行四辺形の性質が自動的に得られます：

• 対辺の組がともに平行である。
• 対辺の組がともに等しい。
• 対角の組がともに等しい。
• 隣接角は補角である（和が180°）。
• 対角線が互いに他方を二等分する。
• 対角線は4つの小さな三角形に分割され、対となる三角形は合同である。

証明の5つの方法は、本質的にこれらの性質の逆命題です — いずれかの性質1つがあれば、他のすべてを証明するのに十分です。

よくある間違い

• 「平行四辺形のように見える」ことを証明として扱う。 図形は実際に平行四辺形でなくても、平行四辺形のように描くことができます。5つの条件のいずれかを明示的に検証する必要があります。
• 対辺の1組だけが等しいことを使う（方法2の誤用）。 方法2では、両方の組が等しい必要があります。1組だけが等しいだけでは不十分です。
• 平行四辺形と台形を混同する。 平行四辺形は対辺の組がともに平行です。台形（米国規格）は1組だけが平行です。
• 「対角線が等しい」を「対角線が互いを二等分する」の代わりに使う。 長さが等しい対角線は長方形（特殊な平行四辺形）を示しますが、一般的な平行四辺形を示すものではありません。正しい一般的な性質は二等分です。