因為A點和C點關於DB對稱，所以AM=MC。
也就是AM=MC=EF。
也可以證明
AB=BC，& ltABM = & ltMBE=45度，MB=BM
三角形ABM和三角形MBE同余(SAS)
所以AM=MC
因為EF=MC
也就是AM=EF。