证明:(已知),
▲ ▲ , ( )
, (两直线平行,内错角相等)
又(已知)
▲ , (等量代换)
▲ ▲ , (内错角相等,两直线平行)
. ( )
问题情境:小明同学在学习二元一次方程组时遇到了这样一个问题:
解方程组: .