多夫曼斯泰勒条件推导