展开 狄利克雷判别法证明