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