プトレミーの定理

プトレミー(85~165?)　天文学者として有名であった。後期アレキサンドリア学派。CDEFを正方形にしてみよう。