三角形DMBと三角形EMCにおいて
仮定よりＭＤ=ME
　　　　ＭＢ=MC
　　　　角MDB=角MEC=90℃
以上より直角三角形の斜辺と他の一辺が等しいので
　三角形DMB合同三角形EMC
対応する角は等しいので角DBM=角ECM
三角形ABCにおいて二つの角が等しいので
三角形ABCは二等辺三角形
よってAB=AC