... IJ khi đó (P) // OC.Vậy d(AI, OC) = d(OC, (P )) = d(O,(P )) Kẻ OH AJ ( H AJ) Vì IJ // OC nên OAIJOHIJOBIJDo đó OH (AIJ) hay OH (P).Suy ra D(AI, OC) = d((P), OC) = d((P), O) = OH = ... đếnmf(SFD).Từ D dựng Dx // AC.Gọi (P) là mặt phẳng qua SD vấn đề Dx.Khi đó (P) // ACVậy d(AC, SD) = d(AC, (P )) = d(A, (P )) Dựng AH Dx(F Dx),AH SF(H F)Suy ra AH (SFD) hay AH (P)Do ... CD của hình tứ diệnABCD và () // () .34MNA () ) CBADQ () ) Vì OH AJ (theo cách dựng) nên theo (1 ) ta có: OH (AIJ) OH AI màEF // OH nên suy raEF AI (2 ). Ta lại có: OC (AOB) OC ...