Chứng minh rằng: AF ⊥ BC. Suy ra điểm N nằm trên hai đường tròn ngoại tiếp các hình vuông AMCD và MBEF.
∆AMF = ∆CMB (c – g – c) => = mà + = 900
=> + = 900 => ∆ANB vuông tại N hay AN⊥BC.
Do đó N nhìn đường chéo AC của hình vuông AMCD dưới góc 900, suy ra N nằm trên đường tròn ngoại tiếp hình vuông AMCD, tương tự N nằm trên đường tròn ngoại tiếp hình vuông BMFE.