狄利克雷函数可导的原因