Explicação passo-a-passo:

Expandindo as tangentes:

Como a e b são complementares, vamos usar a seguinte relação:

sen(90 - x) = cos(x)

sen(b) = cos(a) e cos(b) = sen(a)

Substituindo:

Chegando numa verdade!