【面積が等しい証明】
n
⊿ＡＤＢ∽⊿ＢＣＤより
n
ＡＤ：ＢＤ＝ＢＤ：ＣＤ
n
よって ＢＤ
２
＝ＡＤ×ＣＤ
n
ところで ＣＤ＝ＤＥ
n
ゆえに ＢＤ
２
=AD
×ＤＥ
n
＝長方形ＡＤＥＦ
n
【証明終】
