展开 狄利克雷函数连续性与可导性