TARC05 - Dedução de sen(a+b)