tanA+tanB+tanC-(tanAtanBtanC)=0、
両辺にcosAcosBcosCをかけてから、加法定理の逆を2回使いまとめると、sin(A+B+C)=0