OOO を三角形 ABCABCABC の外心とし、ADADAD を AAA を通る Γ\GammaΓ の直径とする。OA=OCOA=OCOA=OC より三角形 AOCAOCAOC で ∠DAC=90∘−∠B\angle DAC=90^\circ-\angle B∠DAC=90∘−∠B となる。第1段階より B1C1∥BCB_1C_1\parallel BCB1C1∥BC だから、AD⊥B1C1AD\perp B_1C_1AD⊥B1C1 である。