Ta có: tan.([TEX]\frac{\pi}{3}[/TEX]-x).([TEX]\frac{\pi}{3}[/TEX]+x)
= tan.([TEX]\frac{tan\frac{\pi}{3}-tanx}{1+\frac{\pi}{3}.tanx}[/TEX].( [TEX]\frac{tan\frac{\pi}{3}+tanx}{1-\frac{\pi}{3}.tanx}[/TEX]
= tan.[TEX]\frac{\sqrt{3}-tanx}{1+\sqrt{3}tanx[/TEX].[TEX]\frac{\sqrt{3}+tanx}{1-\sqrt{3}.tanx[/TEX]
= tan.[TEX]\frac{3-tan^{2}x}{1-3tan^{2}x}[/TEX]
= tan3x
\Rightarrow ĐPCM.