展开 狄利克雷函数有没有最小正周期