证:连结AM
得AM^2-AD^2=BM^2-BD^2^
AC^2+CM^2=AM^2代入上式得
AC^2+CM^2-AD^2=BM^2-BD^2
因为BM=CM
则上式化简得AC^2+BD^2=AD^2