罗德里格斯公式证明