设 OOO 为三角形 ABCABCABC 的外心，ADADAD 为过 AAA 的 Γ\GammaΓ 直径。由 OA=OCOA=OCOA=OC，三角形 AOCAOCAOC 中有 ∠DAC=90∘−∠B\angle DAC=90^\circ-\angle B∠DAC=90∘−∠B。第一步给出 B1C1∥BCB_1C_1\parallel BCB1C1∥BC，所以 AD⊥B1C1AD\perp B_1C_1AD⊥B1C1。