加法定理（cos）

プトレミーの定理を使った加法定理の証明。とても簡単！