Помогите доказать тождество, даю 27 баллов

 доказать тождество
( cos6 -cos7 -cos8+cos9 ) / ( sin6 -sin7-sin8 + sin9)
----------------------------
Можно обосновать разными методами :
a)
( (cos6 -cos7) -(cos8 - cos9) ) / ( ( sin6 -sin7)-(sin8 -sin9) )  =
(2sin/2*sin13/2-2sin/2*sin17/2)/(-2sin/2*cos13/2 +2sin/2*cos17/2)
=2sin/2*(sin13/2 -sin17/2) / 2sin/2*(cos17/2 - cos13/2) =
 -2sin *cos15/2 /-2sin*sin15/2= ctq15/2.
-------
b)
( (cos9 +cos6) -(cos8+ cos7)) /  ( ( sin9+sin6 -(sin8 +sin7) ) =
( 2cos3/2*cos15/2 -2cos/2*cos15/2) /  ( 2sin15/2*cos3/2 -2sin15/2*cos/2 ) = .
2cos15/2*(cos3/2-cos/2)  /  2sin15/2*(cos3/2 -cos/2 ) = ctq15/2.
-------
c)
( (cos9 -cos7) -(cos8 -cos6) ) / ( ( sin9 -sin7 -(sin8 -sin6) ) =
 ( -2sin *sin8 +2sin*sin7)  /  (2 sin *cos8 -2sin *cos7)   =
 2sin (sin7 - sin8) /  2sin (cos8 - cos7) =
-2sin/2*cos15/2 / -2sin/2*sin15/2 = cos15/2 /sin15/2 = ctq15/2.
======= Формулы =======
сos - cos = -2sin( - )/2 *sin( + )/2 ;  * * * 2sin( - )/2 *sin( + )/2 * * *
sin - sin  = 2sin( - )/2 *cos( + )/2 ;
---
сos + cos  = 2cos( - )/2 *cos( + )/2 ;
sin + sin = 2sin(+ )/2 *cos( - )/2 ;
sin(-) = - sin