2. Tứ giác BIKH là tứ giác nội tiếp

Để chứng minh điều này, ta sẽ sử dụng các tính chất của hình học và phép đối xứng.

1. Ta có tứ giác BCHK là tứ giác nội tiếp vì tứ giác BCHK nằm trong đường tròn ngoại tiếp tứ giác ABMN (do BC vuông góc MN tại C).

2. Ta có tứ giác BIKH là tứ giác nội tiếp vì tứ giác BIKH nằm trong đường tròn ngoại tiếp tứ giác BCHK (do KH là đường phân giác của góc BKC).

Vậy ta đã chứng minh được hai điều cần chứng minh.