展开 讨论狄利克雷函数单调性