求证 y^log x=x^ log y