Mostrar que o conjunto de igualdades {a+b=π−(c+d)senbsena=sendsenc
acarreta a igualdade:
cotga−cotgb=cotgc−cotgd