求三角函数的最小正周期那个最小公倍数法如何证明?