幂级数展开式的条件