已知：如图，点D，E，F分别是三角形ABC的边AB，AC，BC上的点，AB∥EF，∠DEF＝∠B．

求证：∠AED＝∠C．

证明：∵AB∥EF，

∴            ▲            ＝∠EFC（            ▲             ．

∵∠DEF＝∠B，

∴∠DEF＝∠EFC（            ▲            ）．

∴            ▲             （            ▲            ）．

∴∠AED＝∠C．

动手操作：在如图所示的平面直角坐标系中描出A，B，C三点，并连接 ， ；

观察发现：写出 ， 的中点坐标，观察中点坐标与线段两个端点的坐标，你能发现什么规律？

猜想验证：连接 ， 直接写出中点的坐标；

总结应用：已知点 ， ， 写出中点的坐标．