展开 狄利克雷函数怎么证明