导数不等式证明之变换主元和函数同构