证明:(已知),
▲ ▲ , ( ▲ )
▲ , (两直线平行,内错角相等)
又(已知)
▲ , (等量代换)
▲ ▲ , (内错角相等,两直线平行)
. ( ▲ )
解方程组: .
观察发现:如果用代入消元法或加减消元法求解,运算量比较大,容易出错.如果把方程组中的看成一个整体,把看成一个整体,通过换元,可以解决问题.