Cho đoạn thẳng AB cố định. Đường tròn (K) thay đổi luôn đi qua A và B. Đường thẳng qua B vuông góc với KA thứ tự cắt đường thẳng qua A vuông góc AB và đường thẳng qua K vuông góc KB tương ứng tại X, Y. Đường thẳng AK cắt lại (K) tại Z. Chứng minh (XYZ) luôn tiếp xúc với một đường tròn cố định.