Pappus of Alexandria
であることに注意してパップス–ギュルダンの定理を用いると、