任意正有理数是狄利克雷函数的周期