三角形の三つの角の大きさをA、B、Cとする。
tanA+tanB+tanC=tanAtanBtanC を証明せよ。

お願いします