tanA=(1-tanBtanC)/(tanB+tanC)
所以tanA(tanB+tanC)=(1-tanBtanC)
tanAtanB+tanCtanA=1-tanBtanC
所以tanAtanB+tanBtanC+tanCtanA=1