Prove that 1−cosA+cosB−cos(A+B)1+cosA−cosB−cos(A+B)=tanA2cot(B2).
If cos(A−B)cos(A+B)+cos(C+D)cos(C−D)=0, prove that tanA tanB tanC tanD=−1