展开 狄利克雷函数周期性证明