证明:连接EF
∵FG⊥AC,HE⊥AC,
∴∠FGC=∠HEC=90°( ▲ ).
∴ ▲ ∥ ▲ ( ▲ ).
∴∠3=∠ ▲ ( ▲ ).
又∵∠1=∠2,
∴∠1+∠3=∠2+∠4.
即∠DEF=∠EFC
∴DE∥BC( ▲ ).
解:将方程②变形: ,即 …③,把方程①代入③得: ,y=–1把y=–1代入方程①,得x=4,所以方程组的解为
请你模仿小强同学的“整体代换”法解方程组