バー（AB）をCとDで等しいセグメントと等しくないセグメントにカットしましょう。バー（AD）xxDBに含まれる長方形とCDの正方形がCBの正方形に等しいことを示します。

図Cでは、ABはABの中点です。そう #AC = BC#

四角形は #bar（AD）とbar（DB）# 上の広場と一緒に#bar（CD）#

#= bar（AD）xxbar（DB）+ bar（CD）^ 2#

#=（バー（AC）+バー（CD））xx（バー（BC） - バー（CD））+バー（CD）^ 2#

#=（バー（BC）+バー（CD））xx（バー（BC） - バー（CD））+バー（CD）^ 2#

#=小節（BC）^ 2 - キャンセル（小節（CD）^ 2）+キャンセル（小節（CD）^ 2）#

#= bar（BC）^ 2 - >「CB上の広場」# 証明済み