两个正方形使得 MMM 周围的两部分成为全等直角三角形。
由于 AM=CMAM=CMAM=CM、MB=MFMB=MFMB=MF,且正方形提供直角,三角形 AFMAFMAFM 与 CBMCBMCBM 全等。因此它们与 ABABAB 所成的角互余,在 N′=AF∩BCN'=AF\cap BCN′=AF∩BC 处有 ∠AN′B=90∘\angle AN'B=90^\circ∠AN′B=90∘。