换底公式及其推论