In A.P. commom difference are equal, namely t2 - t1 = t3 - t2
sin(z + x – y) – sin(y + z – x) = sin(x + y – z) – sin(z + x – y)


cos z sin (x – y) = cos x sin (y – z)
cos z (sin x cos y – cos x sin y) = cos x (sin y cos z – cos y sin z)
Divide bothsides by cos x cos y cos z we get

tan x – tan y = tan y – tan z
Multiply both sides by (-1) we get,
tan y – tan x = tan z – tan y
This means tan x, tan y, and tan z are in A.P.
Hence proved.