a+b+y=n派,求证tanatanbtanc=tana+tanb+tanc