トレミーの定理と加法定理