两角和正切公式：
tan[(x-y)+(y-z)]=[tan(x-y)+tan(y-z)]/[1-tan(x-y)tan(y-z)]
tan(x-y)+tan(y-z)
=tan(x-y+y-z)*[1-tan(x-y)tan(y-z)]
=tan(x-z)*[1-tan(x-y)tan(y-z)]
=tan(x-z)-tan(x-z)tan(x-y)tan(y-z)
=-tan(z-x)+tan(z-x)tan(x-y)tan(y-z)
所以tan(x-y)+tan(y-z)+tan(z-x)=tan(x-y)tan(y-z)tan(z-x)成立