sinC/sinA=cos(A+C)=-cosB
所以
sinC=sin(A+B)=sinAcosB+cosAsinB=-sinAcosB
所以
cosAsinB=-2sinAcosB
所以tanB/tanA=-2
tanB=-2tanA
因为
tanC=-tan(A+B)=-(tanA+tanB)/(1-tanAtanB)=tanA/[1+2(tanA)^2]
=1/[(1/tanA)+2tanA]
因为(1/tanA)+2tanA>=2√2
所以tanC<=√2/4
所以最大值是√2/4