cosB-cosA／sinA-sinB＝tan(a/2＋b/2)の証明。

どう変形してもtanにたどり着けません。どうかお願いします。