トレミーの定理
一般化にケイシーの定理がある。