四角形⊃台形⊃平行四辺形⊃長方形、ひし形

長方形⊃正方形
ひし形⊃正方形

------------------------------------------------------------
<さまざまな四角形の定義・性質・条件>
「対辺」 : 四角形の向かい合う辺
「対角」 : 四角形の向かい合う角

[台形](trapezoid)
	・定義: 1組の対辺が平行である四角形


[平行四辺形](parallelogram)
	・定義: 2組の対辺が、それぞれ平行である(台形の一種)

	・性質(対角線をのぞく):
	�@(定義)2組の対辺が、それぞれ平行である
	�A2組の対辺がそれぞれ等しい(長さ)
	�B2組の対角がそれぞれ等しい
	�Cとなり合う角の和が180度

	・対角線の性質
	�@それぞれの中点で交わる
		→対角線で区切られた4つの三角形はすべて等積(平行四辺形の1/4)

	・条件:
	�@(定義)2組の対辺がそれぞれ平行である
	�A2組の対辺がそれぞれ等しい(長さ)
	�B2組の対角がそれぞれ等しい
	�C対角線がそれぞれの中点で交わる
	�D1組の対辺が平行で等しい

[長方形](rectangle)
	・定義: 4つの角が等しい四角形
	
	・性質(対角線をのぞく):
	�@4つの角が等しい(定義)
	�A平行四辺形の性質すべて(平行四辺形の一種だから)

	・対角線の性質:
	�@それぞれの中点で交わる(平行四辺形の一種だから)
	�A長さが等しい	

	・条件:
	�@4つの角が等しい(定義)
	�A対角線の長さが等しい平行四辺形

[ひし形](rhombus)
	・定義: 4つの辺が等しい四角形

	・性質(対角線をのぞく):
	�@4つの辺が等しい(定義)
	�A平行四辺形の性質すべて(平行四辺形の一種だから)

	・対角線の性質:
	�@それぞれの中点で交わる(平行四辺形の一種だから)
	�A直交する

	・条件
	�@4つの辺が等しい(定義)
	�A対角線が直交する平行四辺形

[正方形](square):
	・定義: 4つの角が等しく、4つの辺が等しい四角形
		   (長方形、ひし形の一種)

	・性質(対角線をのぞく):
	�@4つの角が等しく、4つの辺が等しい(定義)
	�A平行四辺形の性質すべて(平行四辺形の一種だから)
	�B長方形の性質すべて(長方形の一種だから)
	�Cひし形の性質すべて(ひし形の一種だから)

	・対角線の性質:
	�@それぞれの中点で交わる(平行四辺形の一種だから)	
	�A長さが等しい(長方形の一種だから)
	�B直交する(ひし形の一種だから)

	・条件:
	�@4つの角が等しく、4つの辺が等しい(定義)
	�A長方形であり、かつひし形である
	  ex.対角線の長さが等しく、かつ直交する平行四辺形は、正方形

------------------------------------------------------------
〜〜証明編〜〜
※四角形をABCD、対角線の交点をOとする
------------------------------------------------------------
[平行四辺形](parallelogram)
	・定義: 2組の対辺が、それぞれ平行である(台形の一種)

	・性質(対角線をのぞく):
	�@(定義)2組の対辺が、それぞれ平行である
	�A2組の対辺がそれぞれ等しい(長さ)
	�B2組の対角がそれぞれ等しい
	�Cとなり合う角の角の和が180度

	・対角線の性質
	�@それぞれの中点で交わる

	・条件:
	�@(定義)2組の対辺がそれぞれ平行である
	�A2組の対辺がそれぞれ等しい(長さ)
	�B2組の対角がそれぞれ等しい
	�C対角線がそれぞれの中点で交わる
	�D1組の対辺が平行で等しい

<証明>-----------------------------
性質�@: 定義

性質�A: 2組の対辺がそれぞれ等しいことの証明:
対角線を一本引いてできる三角形が合同であることから証明する(2角夾辺)

性質�B-1: 2組の対角がそれぞれ等しいことの証明:
対角線を引き対角をふたつに分ける→ふたつに分けた角のそれぞれの錯角を比べることで対角が等しいことがわかる

性質�B-2: 2組の対角がそれぞれ等しいことの証明:
平行四辺形の一辺を延長し、同位角・錯角・対頂角が等しいことを用いる

性質�C: 同位角を考える

対角線の性質: 対角線がそれぞれの中点で交わることの証明:
対角線を2本引き、対頂角を含む、向かい合う三角形が合同であることで証明する(�Aの"対辺がそれぞれ等しい"という性質と、2角夾辺を用いる)

-----------------------------
条件�@: 定義 

条件�A: "2組の対辺がそれぞれ等しい→平行四辺形" の証明:
対角線を一本引いてできる三角形が合同(3辺相等)→錯角が等しい→対辺が平行

条件�B: "2組の対角がそれぞれ等しい→平行四辺形" の証明:
四角形の一辺を延長し、同位角・錯角が等しいことを用いて対辺が平行であることを証明する(三角形の合同を用いない)

ヒント:
∠A+∠B+∠C+∠D=360°→2組の対角がそれぞれ等しいので、∠C+∠D+∠C+∠D=360°→∠C+∠D=180°

条件�C: "対角線がそれぞれの中点で交わる→平行四辺形" の証明:
対角線を2本引き、対頂角を含む、向かい合う三角形が等しい(対頂角と、それを挟む2辺が等しい)。
↓
合同な2つの三角形の対応する角は等しい→錯角が等しい→対辺が平行
同様に、もう一組の対辺も平行であることを示す。

条件�D: "1組の対辺が平行で等しい→平行四辺形" の証明:
対角線を一本引いてできる三角形は合同である(�@対辺が等しい、�A錯角が等しい、�B対角線は共通→2辺夾角が等しい)→残った1組の対辺も平行(錯角が等しいから)→2組の対辺が平行→平行四辺形

------------------------------------------------------------
[長方形]
	・定義:4つの角が等しい四角形
	・性質:
		�@4つの角が等しい(定義)
		�A平行四辺形の性質すべて(平行四辺形の一種だから)

	・対角線の性質:
	�@それぞれの中点で交わる(平行四辺形の一種だから)
	�A長さが等しい	

	・条件:
		�@4つの角が等しい(定義)
		�A対角線の長さが等しい平行四辺形
<証明>-----------------------------
性質�@: 定義
性質�A: 4つの角が等しい→向かい合う角が等しい→長方形は平行四辺形の一種

対角線の性質�@: 長方形は平行四辺形(の一種)だから
対角線の性質�A: 性質�Aにより長方形は平行四辺形の1種→向かい合う辺は等しい→対角線でつくられる2つの三角形が合同であることを使って証明

-----------------------------
条件�@: 定義

条件�A-1: 平行四辺形ABCDに対角線を2本引く→△ABCと△DCBの合同を示す(三辺相等)→∠B=∠C→またABCDは平行四辺形であるため∠A=∠C,∠B=∠D→4つの角は等しい→長方形

条件�A-2: 対角線を2本引く→平行四辺形なので、対角線は中点で交わり、かつ対角線の長さが等しい→対角線でできる三角形はすべて二等辺三角形→向かい合う二等辺三角形は合同(2辺夾角)→4つの角はすべて等しい→長方形

------------------------------------------------------------
[ひし形]
	・定義:4つの辺が等しい四角形

	・性質:
	�@4つの辺が等しい(定義)
	�A平行四辺形の性質すべて(平行四辺形の一種だから)
	
	・対角線の性質:
	�@それぞれの中点で交わる(平行四辺形の一種だから)
	�A直交する
	
	・条件
	�@4つの辺が等しい(定義)
	�A対角線が直交する平行四辺形
	
<証明>-----------------------------
性質�@: 定義

性質�A: 4つの辺が等しい→2組の対辺がそれぞれ等しい→ひし形は平行四辺形の一種

対角線の性質�@: ひし形は平行四辺形(の一種)だから

対角線の性質�B-1: AB=BCより△ABCは二等辺三角形→∠AOB=∠COBを利用し△AOB≡△COB→∠AOB=∠COB=90°
同様に∠AOD=∠COD=90°

性質�B-2: AB=BCより△ABCは二等辺三角形→∠AOB=∠COB
また、性質�@により2組の対辺も平行→錯角が等しい
これらにより、対角線はそれぞれの角の二等分線であることがわかる。これを利用し、対角線の交点を囲む4つの角がすべて等しいことを示す。4つの角がすべてひとしく、4つの角の総和は360→対角線は直交する

-----------------------------
条件�@: 定義

条件�A: 平行四辺形ABCDに2本の対角線を引くと、直角三角形が4つできる→ABCDは平行四辺形なので対角線は中点で交わる→4つの三角形はすべて合同(2辺夾角)→ABCDの4辺は長さが等しい→ひし形

------------------------------------------------------------
[正方形]
・定義:4つの角が等しく、4つの辺が等しい四角形
・性質:
	�@平行四辺形の性質すべて(平行四辺形の一種だから)
	�A長方形の性質すべて
	�Bひし形の性質すべて

・対角線の性質
	�@それぞれの中点で交わる(平行四辺形の一種だから)	
	�A長さが等しい(長方形の一種だから)
	�B直交する(ひし形の一種だから)
	(※長方形、ひし形の性質をあわせもつ)

・条件:
	�@4つの角が等しく、4つの辺が等しい(定義)
	�A長方形であり、かつひし形である
	  ex.対角線の長さが等しく、かつ直交する平行四辺形は、正方形

<証明>-----------------------------
性質�@-1: 正方形は4つの角が等しい→正方形は長方形の一種→長方形は平行四辺形の一種→正方形は平行四辺形の一種

性質�@-2 正方形は4つの辺が等しい→正方形はひし形の一種→ひし形は平行四辺形の一種→正方形は平行四辺形の一種

性質�A: 正方形は4つの角が等しい→正方形は長方形の一種→長方形は対角線の長さが等しい→正方形も対角線の長さが等しい

性質�B: 4つの辺が等しい→正方形はひし形の一種→ひし形は対角線が直交する→正方形も対角線が直交する

-----------------------------
条件�@: 定義

条件�A: 長方形の条件�Aとひし形の条件�Aを用い、この平行四辺形の角がすべて等しく、またすべての辺が等しいことを示す→正方形である