Để chứng minh công thức AD^2 + BE^2 + CF^2 = AF^2 + BD^2 + CE^2, ta sẽ sử dụng định lí Pythagoras và tính chất của hình chiếu. Gọi H là hình chiếu của O trên CF. Ta có OH ⊥ CF, vì vậy OH^2 + CH^2 = CF^2 theo định lí Pythagoras. Tương tự, gọi G là hình chiếu của O trên BD, ta có OG ⊥ BD, nên OG^2 + BG^2 = BD^2. Cuối cùng, gọi I là hình chiếu của O trên AE, ta có OI ⊥ AE, nên OI^2 + AI^2 = AE^2. Tổng cộng, ta có: AD^2 + BE^2 + CF^2 = AH^2 + BH^2 + CH^2 + BG^2 + CG^2 + AI^2 + BI^2 + CI^2 = (AH^2 + BH^2 + CH^2) + (BG^2 + CG^2) + (AI^2 + BI^2 + CI^2) = AF^2 + BD^2 + CE^2 Vậy, ta đã chứng minh được công thức AD^2 + BE^2 + CF^2 = AF^2 + BD^2 + CE^2.