Chứng minh rằng DJ là tiếp tuyến của đường tròn (O₁).sđ

Theo chứng minh trên CKJM là tứ giác nội tiếp, suy ra JMK^=JCK^.

Mà JCK^=ACK^=ABK^=12sđAK⏜ (các góc nội tiếp cùng chắn cung AK⏜).

Nên ta có được JMK^=ABK^ ở vị trí đồng vị. Suy ra JM/​/AB.

Mà AB⊥CH nên ta có JM⊥CH.

Vậy tứ giác CKJM nội tiếp đường tròn đường kính JC.

Theo chứng minh trên, ta có AC⊥DJ hay JC⊥DJ.

Do đó DJ là tiếp tuyến của đường tròn O1.