If A+B+C=180°, prove that
tan(A/2)tan(B/2)+ tan(B/2)tan(C/2)+ tan(C/2)tan(A/2)= 1
If cos(A−B)cos(A+B)+cos(C+D)cos(C−D)=0, prove that tanA tanB tanC tanD=−1