展开 狄利克雷函数为什么没有最小正周期证明