分式代入消元法例题