F eを通りabと平行な直線をひき、bcとの交点をfとする。 adeと efcにおいて ab//efで平行線の同位角は等しいから∠dae=∠fec(1) 四角形dbfeは平行四辺形なので db=ef よってaddb=aeecから adef=aeec(2) (1),(2)から2組の辺の比とその間の角がそれぞれ等しいので