一道高中三角函数方面的问题证明:tanA+tanB+tanC=tanAtanBtanC希望给出具体的证明过程,