Mặt phẳng (ABB’) chứa AB và song song với trục OO’ của hình trụ. Gọi H là trung điểm của AB’. Ta có OH ⊥ (ABB′). Đường thẳng qua H song song với OO’ cắt AB tại I. Dựng IK // HO cắt OO’ tại K. Ta chứng minh được IK là đoạn vuông góc chung của AB và OO’.
Ta có: IK = HO =