a,b,cは正の実数で

tanA=1/√((b/a)^2+(c/a)^2)
tanB=1/√((a/b)^2+(c/b)^2)
tanC=1/√((a/c)^2+(b/c)^2)

と表されてるとき、

tan(A+B+C)が最小となるのは、a=b=cのときであることを示す方法を教えてください。