罗德里格斯公式推导过