无穷的0次方型公式推导