展开 狄利克雷函数的单调性证明